| 000 | 05484nam a22005655i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-72851-8 | ||
| 003 | DE-He213 | ||
| 005 | 20251030114920.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 250107s2024 sz | s |||| 0|eng d | ||
| 020 |
_a9783031728518 _9978-3-031-72851-8 |
||
| 024 | 7 |
_a10.1007/978-3-031-72851-8 _2doi |
|
| 050 | 4 | _aB808.5.A-Z | |
| 072 | 7 |
_aHPCF5 _2bicssc |
|
| 072 | 7 |
_aPHI039000 _2bisacsh |
|
| 072 | 7 |
_aQDHR9 _2thema |
|
| 100 | 1 |
_aZerpa, Levis. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _990177 |
|
| 245 | 1 | 4 |
_aThe Logic, Philosophy, and History of the Lambda-Calculus _h[electronic resource] : _bTheory and Applications / _cby Levis Zerpa. |
| 250 | _a1st ed. 2024. | ||
| 264 | 1 |
_aCham : _bSpringer Nature Switzerland : _bImprint: Palgrave Macmillan, _c2024. |
|
| 300 |
_aXXXI, 255 p. 10 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aHistory of Analytic Philosophy, _x2634-6001 |
|
| 505 | 0 | _aPart I Introduction -- 1 General Introduction and Motivation -- Part II: The Logic and Philosophy of the Lambda-Calculus: Lambda-Philosophy -- 2 Lambda-Philosophy: The General Program -- 3 The λ-Calculus as a Solution to a Problem of Philosophical Analysis -- 4 The λ-Calculus as a Formal System of Symbolic Logic and the Container Notation -- Part III: Two Applications: Arithmetic and Propositional Logic -- 5 The Container Notation in the λ-Calculus (1): Arithmetic -- 6 The Container Notation in the λ-Calculus (2): Propositional Logic -- Part IV: The Philosophy of Computer Science and Computability Theory in Lambda-Philosophy -- 7 Questioning a Dogma of Algorithmic Thinking in Our Time -- Part V: Ontology in Lambda-Philosophy -- 8 The Criterion of Ontological Commitment as a Logical Tester in Ontology -- 9 Church’s Ontological Development -- 10 Compiler Output as a Programming Tester in Ontology -- Part VI: The History of The Lambda-Calculus: Three Comparative Studies -- 11 Comparative Historical Studies (0): Introduction -- 12 Comparative Historical Studies (1): Viète’s Analytic Art in λ-Philosophy -- 13 Comparative Historical Studies (2): A Brief Analysis of Descartes’ Correlation-Hypothesis and Church’s Thesis -- 14 Comparative Historical Studies (3): Wittgenstein Anticipation of Church Numerals. | |
| 520 | _aThis is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new field called “lambda-philosophy”: a branch of logic-based analytic philosophy in the tradition of Frege and Russell, directly constructed from the lambda-calculus. Another innovation of the book is a new graphical and intuitive logico-mathematical notation for the lambda-calculus called “the container notation”. The book covers in detail some episodes of the history of the subject, including three comparative studies of the lambda-calculus with Viète's algebra, Descartes' analytic geometry, and Wittgenstein’s Tractatus. A didactic approach to the logico-mathematical aspects of the lambda-calculus, partially based on cognitive science, provides the technical basis for the analysis. In this way, the book provides a systematic and coherent treatment of diverse logico-philosophical aspects and applications of the lambda-calculus as part of the platform offered by lambda-philosophy. The book includes the following: a detailed treatment of the ambiguities of the concept of function (under the traditional or Euler’s notation); an elucidation of the notion of transformative philosophical analysis; an account of Church’s methodology which shows that the lambda-calculus is an adequate solution to the problem of a philosophical analysis of functions as rules of computation; a didactic treatment of the formal aspects of the lambda-calculus through the container notation; and diverse arithmetical and logical examples of the container notation. The book questions a dogma of algorithmic thinking by arguing that the lambda-calculus is more intuitive and natural than Turing machines. The Logic, Philosophy, and History of the Lambda-Calculus is essential reading for all scholars and researchers of the history of analytic philosophy and especially those focussing on logic-based analytic philosophy. Levis Zerpa is Researcher-Professor at Yachay Tech University, Ecuador. | ||
| 650 | 0 |
_aAnalysis (Philosophy). _971325 |
|
| 650 | 0 |
_aLogic. _970674 |
|
| 650 | 0 |
_aMathematical logic. _966195 |
|
| 650 | 0 |
_aComputer science. _958552 |
|
| 650 | 1 | 4 |
_aAnalytic Philosophy. _971326 |
| 650 | 2 | 4 |
_aFormal Logic. _976707 |
| 650 | 2 | 4 |
_aMathematical Logic and Foundations. _966198 |
| 650 | 2 | 4 |
_aTheory of Computation. _967552 |
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031728501 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031728525 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031728532 |
| 830 | 0 |
_aHistory of Analytic Philosophy, _x2634-6001 _971329 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-72851-8 |
| 912 | _aZDB-2-REP | ||
| 912 | _aZDB-2-SXPR | ||
| 999 |
_c66351 _d66351 |
||