CS 337 Programming Languages Logic Programming I (Logic, Intro to Prolog)
Topics in Programming Languages. A Philosophical Analysis Through the Case of Prolog
-
Upload
chartridge-books-oxford -
Category
Documents
-
view
222 -
download
0
Transcript of Topics in Programming Languages. A Philosophical Analysis Through the Case of Prolog
-
7/28/2019 Topics in Programming Languages. A Philosophical Analysis Through the Case of Prolog
1/2
Chartridge Books Oxford
New Book Informat ion
Topics in Programming LanguagesA Philosophical Analysis Through the Case of Prolog
Lus Manuel Cabrita Pais Homem
SummaryTopics in Programming Languages explores the arch from the formation of alphabet and classical
philosophy to artificial programming languages in the structure of one argumentative topics list: as if itwere philosophy interpreted and programmed. One such endeavour is taken to tend toward phoneticsand sounds of speech analysis with -calculus, and, ultimately, Prolog - the programming language ofchoice in artificial intelligence - born of the natural language processing reverie and delusion. The well-ordered list of arguments targets the conceptual tree behind both the functional and the logical, theprocedural and the declarative paradigms in programming languages by studying close the ascendum(convolution) of the Aristotelian efficient cause into the notions of function (Leibniz), rule (Kant) andalgorithm as effective procedures in computation (Church-Turing).
Key Features
Advances a synthesis between the rise of the modern alphabet and classical philosophy as ascience, and the emergence of programming languages and computationalism, invitingphilosophy of language to take part in artificial programming languages.
Explores a route to understand how the innovative analytical cosmogony of the four causestheory put forward by Aristotle shaped satisfactorily and consistently the future frontiers ofartificial intelligence.
Seeks to take advantage of the classical Greek geometrical analysis, and particularly,anthyphairesis or continuous subtraction as defined by David Fowler (Euclidian algorithm), to
assert a continuous interpretation from phonetics and sounds of speech to computation andprogramming languages.
Discerns complementarily two full-size phases that help to extricate more efficiently the historical,social, cultural and scientific causes behind the rise of computation: the Calculus and theComputus moments.
Helps to comprehend the origin of Computability Theory by convoking to the debate the seminalinsights of authors such as Hilbert, Gdel, Church or Turing and the philosophy of mathematics,different stances or mathematical domains, such as Model Theory.
Facilitates the bridge from -calculus to Prolog, disentangling predicate calculus from Prolog and
unravelling its clausal form.
Encompasses the declarative power of Prolog, in the form of arguments, into discussing theprime philosophical foundations of artificial intelligence, congregating the mathematical function,the computational algorithm and the philosophical rule.
-
7/28/2019 Topics in Programming Languages. A Philosophical Analysis Through the Case of Prolog
2/2
Approximates philosophy and programming through Prolog, one such programming languagethat has its place in the frontier between formal semantics and natural language processing,capable of revaluating the duo declarative-procedural views from the absolutist and relativisttraditions in philosophy.
The AuthorLus Manuel Cabrita Pais Homem graduated in philosophy in the Faculty of Letters of the University ofLisbon in 2005. He concluded the Master in the same He is currently completing his doctoral thesis. thePost-Graduate Program holds a Quality Grant, taking in automatic passage to Doctorate, the author is
currently preparing the PhD thesis subordinated to the same theme. The author is an integratedmember of the Centre for Philosophy of Science of the University of Lisbon since the summer of 2011.
ReadershipScholars, students, programmers, computer scientists
ContentsLogic and philosophy of scienceProgramming languages-calculusPrologModel theoryPhoneticsPhilosophy of mathematicsComputationalismArtificial Intelligence
Publication: September 2013 Pages: c150 Size: 234 x 156 mm
Paperback:
ISBN 978190928772318.00/$28.00/21.00/Australian $29.00/$28.00 Canadian
Ebook:
Digital PDF: ISBN 978190928773018.00/$28.00/21.00/Australian $29.00/$28.00 Canadian
EPUB: ISBN 978190928774718.00/$28.00/21.00/Australian $29.00/$28.00 Canadian
MOBI: ISBN 978190928775418.00/$28.00/21.00/Australian $29.00/$28.00 Canadian
Territorial rights: worldwideAvailability status: NYPReadership: university and professionalBIC2 code(s): UYQ, PDABISAC code(s): COM051140, COM051000
Orders
Turpin Distribution Ltd, Stratton Business Park, Pegasus Drive, Biggleswade, Bedfordshire SG18 8QB, UK. Telephone:
+44 (0) 1767 604951, fax: +44 (0) 1767 601640, email: [email protected]
mailto:[email protected]:[email protected]:[email protected]