國立虎尾科技大學 |

The logic, philosophy, and history of the lambda-calculus = theory and applications /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	The logic, philosophy, and history of the lambda-calculus/ by Levis Zerpa.
其他題名:	theory and applications /
作者:	Zerpa, Levis.
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xxxi, 255 p. :ill., digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Theory of Computation. -
電子資源:	https://doi.org/10.1007/978-3-031-72851-8
ISBN:	9783031728518

The logic, philosophy, and history of the lambda-calculus = theory and applications /
Zerpa, Levis.

The logic, philosophy, and history of the lambda-calculustheory and applications /[electronic resource] :by Levis Zerpa. - Cham :Springer Nature Switzerland :2024. - xxxi, 255 p. :ill., digital ;24 cm. - History of analytic philosophy,2634-6001. - History of analytic philosophy..

Part 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): Viè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.

This 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 Viè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.

ISBN: 9783031728518

Standard No.: 10.1007/978-3-031-72851-8doiSubjects--Topical Terms:

669322
Theory of Computation.

LC Class. No.: QA9.5

Dewey Class. No.: 511.35

The logic, philosophy, and history of the lambda-calculus = theory and applications /
LDR:04459nam a2200337 a 4500 001 1153233
003 DE-He213
005 20250107115235.0
006 m o d
007 cr nn 008maaau
008 250618s2024 sz s 0 eng d
020 $a 9783031728518 $q (electronic bk.)
020 $a 9783031728501 $q (paper)
024 7 $a 10.1007/978-3-031-72851-8 $2 doi
035 $a 978-3-031-72851-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.5
072 7 $a HPCF5 $2 bicssc
072 7 $a PHI039000 $2 bisacsh
072 7 $a QDHR9 $2 thema
082 0 4 $a 511.35 $2 23
090 $a QA9.5 $b .Z58 2024
100 1 $a Zerpa, Levis. $3 1480486
245 1 4 $a The logic, philosophy, and history of the lambda-calculus $h [electronic resource] : $b theory and applications / $c by Levis Zerpa.
260 $a Cham : $c 2024. $b Springer Nature Switzerland : $b Imprint: Palgrave Macmillan,
300 $a xxxi, 255 p. : $b ill., digital ; $c 24 cm.
490 1 $a History of analytic philosophy, $x 2634-6001
505 0 $a Part 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): Viè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 $a This 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 Viè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 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Formal Logic. $3 1366141
650 1 4 $a Analytic Philosophy. $3 1104995
650 0 $a Lambda calculus. $3 673621
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a History of analytic philosophy. $3 836181
856 4 0 $u https://doi.org/10.1007/978-3-031-72851-8
950 $a Religion and Philosophy (SpringerNature-41175)