Topics in Programming Languages : A Philosophical Analysis Through the Case of Prolog
Saved in:
| Title: | Topics in Programming Languages : A Philosophical Analysis Through the Case of Prolog |
|---|---|
| Description: | Summary: ‘Topics 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 it were philosophy interpreted and programmed. One such endeavour is taken to tend toward phonetics and sounds of speech analysis with λ-calculus, and, ultimately, Prolog - the programming language of choice 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, the procedural 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) and algorithm as effective procedures in computation (Church-Turing). Key Features: Advances a synthesis between the rise of the modern alphabet and classical philosophy as a science, and the emergence of programming languages and ‘computationalism', inviting philosophy of language to take part in artificial programming languages; Explores a route to understand how the innovative analytical cosmogony of the four causes theory put forward by Aristotle shaped satisfactorily and consistently the future frontiers of artificial 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 and programming 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 the Computus moments; Helps to comprehend the origin of Computability Theory by convoking to the debate the seminal insights of authors such as Hilbert, Gödel, 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 the prime philosophical foundations of artificial intelligence, congregating the mathematical function, the computational algorithm and the philosophical rule; Approximates philosophy and programming through Prolog, one such programming language that 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 relativist traditions in philosophy. Readership: Scholars, students, programmers, computer scientists. Contents: Section I - Arguments; α) The phonetics and philosophical argument; β) The symbolic or rational argument; γ) The difficulty argument; δ) The content-and-form artificial intelligence argument; ε) The efficient cause argument; ζ) The model theory argument; Notes; Section II – Arguments; The endogenous to exogenous language argument; θ) The efficient cause continuance argument; ι) The reviewing incommensurability argument; κ) The functional and declarative programming languages argument; Notes; Section III – Arguments; λ) The λ-calculus argument; μ) The Prolog argument, Notes; Section IV - Topics in programming languages: a philosophical analysis through the case of prolog; Summary; State of the art; Goal; Detailed description; Bibliography |
| Authors: | Homem, Luís Manuel Cabrita Pais |
| Resource Type: | eBook. |
| Subjects: | Programming languages (Electronic computers)--Philosophy, Prolog (Computer program language) |
| Categories: | COMPUTERS / Languages / General, COMPUTERS / Programming / General |
| Database: | eBook Collection (EBSCOhost) |
| FullText | Links: – Type: ebook-epub Text: Availability: 0 |
|---|---|
| Header | DbId: nlebk DbLabel: eBook Collection (EBSCOhost) An: 629644 RelevancyScore: 1051 AccessLevel: 6 PubType: eBook PubTypeId: ebook PreciseRelevancyScore: 1050.81640625 |
| IllustrationInfo | |
| ImageInfo | – Size: thumb Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$629644$EPUB&s=r – Size: medium Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$629644$EPUB&s=d |
| Items | – Name: Title Label: Title Group: Ti Data: Topics in Programming Languages : A Philosophical Analysis Through the Case of Prolog – Name: Abstract Label: Description Group: Ab Data: Summary: ‘Topics 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 it were philosophy interpreted and programmed. One such endeavour is taken to tend toward phonetics and sounds of speech analysis with λ-calculus, and, ultimately, Prolog - the programming language of choice 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, the procedural 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) and algorithm as effective procedures in computation (Church-Turing). Key Features: Advances a synthesis between the rise of the modern alphabet and classical philosophy as a science, and the emergence of programming languages and ‘computationalism', inviting philosophy of language to take part in artificial programming languages; Explores a route to understand how the innovative analytical cosmogony of the four causes theory put forward by Aristotle shaped satisfactorily and consistently the future frontiers of artificial 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 and programming 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 the Computus moments; Helps to comprehend the origin of Computability Theory by convoking to the debate the seminal insights of authors such as Hilbert, Gödel, 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 the prime philosophical foundations of artificial intelligence, congregating the mathematical function, the computational algorithm and the philosophical rule; Approximates philosophy and programming through Prolog, one such programming language that 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 relativist traditions in philosophy. Readership: Scholars, students, programmers, computer scientists. Contents: Section I - Arguments; α) The phonetics and philosophical argument; β) The symbolic or rational argument; γ) The difficulty argument; δ) The content-and-form artificial intelligence argument; ε) The efficient cause argument; ζ) The model theory argument; Notes; Section II – Arguments; The endogenous to exogenous language argument; θ) The efficient cause continuance argument; ι) The reviewing incommensurability argument; κ) The functional and declarative programming languages argument; Notes; Section III – Arguments; λ) The λ-calculus argument; μ) The Prolog argument, Notes; Section IV - Topics in programming languages: a philosophical analysis through the case of prolog; Summary; State of the art; Goal; Detailed description; Bibliography – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Homem%2C+Luís+Manuel+Cabrita+Pais%22">Homem, Luís Manuel Cabrita Pais</searchLink> – Name: TypePub Label: Resource Type Group: TypPub Data: eBook. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Programming+languages+%28Electronic+computers%29--Philosophy%22">Programming languages (Electronic computers)--Philosophy</searchLink><br /><searchLink fieldCode="DE" term="%22Prolog+%28Computer+program+language%29%22">Prolog (Computer program language)</searchLink> – Name: SubjectBISAC Label: Categories Group: Su Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Languages+%2F+General%22">COMPUTERS / Languages / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Programming+%2F+General%22">COMPUTERS / Programming / General</searchLink> |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=629644 |
| RecordInfo | BibRecord: BibEntity: Classifications: – Code: 005.13 Scheme: ddc Type: prePub Languages: – Code: eng Text: English Subjects: – SubjectFull: Programming languages (Electronic computers)--Philosophy Type: general – SubjectFull: Prolog (Computer program language) Type: general Titles: – TitleFull: Topics in Programming Languages : A Philosophical Analysis Through the Case of Prolog Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Homem, Luís Manuel Cabrita Pais – PersonEntity: Name: NameFull: Homem, Luís Manuel Cabrita Pais IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2013 – D: 05 M: 11 Type: profile Y: 2014 Identifiers: – Type: isbn-print Value: 9781909287723 – Type: isbn-electronic Value: 9781909287747 Titles: – TitleFull: Topics in Programming Languages : A Philosophical Analysis Through the Case of Prolog Type: main |
| ResultId | 1 |
