Sign-In
Cart
The Logic, Philosophy, and History of the Lambda-Calculus: Theory and Applications
Hardcover
Series: History of Analytic Philosophy
Currently unavailable to order
Please enter your email and a message will be sent to you when this product becomes available on our website.
ISBN13: 9783031728501
Publisher: Palgrave MacMillan
Published: Jan 7 2025
Pages: 255
Weight: 1.02
Height: 0.80 Width: 6.24 Depth: 8.52
Language: English
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 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.
Also in
Logic
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends 1
Carley, Shane
Paperback
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Hans
Bluedorn, Nathaniel
Paperback
The Thinking Toolbox: Thirty-Five Lessons That Will Build Your Reasoning Skills
Bluedorn, Hans
Bluedorn, Nathaniel
Paperback
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends
Carley, Shane
Hardcover
Walden - On Walden Pond - Life in the Woods - The Transcendentalist Masterpiece
Thoreau, Henry David
Paperback
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
The Pig That Wants to Be Eaten: 100 Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Hardcover
Socratic Logic: Edition 3.1: A Logic Text Using Socratic Method, Platonic Questions, & Aristotelian Principles
Kreeft, Peter
Hardcover
The Art of Logical Thinking: Inductive, Deductive and Hypothetical Reasoning and the Use of Syllogisms and Fallacies
Atkinson, William Walker
Paperback
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Paperback
The Power of Critical Thinking: Effective Reasoning about Ordinary and Extraordinary Claims
Vaughn, Lewis
Paperback
Nonsense: Red Herrings, Straw Men and Sacred Cows: How We Abuse Logic in Our Everyday Language
Gula, Robert J.
Paperback
Deleuze's Philosophy of Time and Logic: Kant, Bergson, and the Labyrinth of the Continuum
Paetsch, John
Hardcover
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
Frege, Gottlob
Paperback
Good Reasoning Matters!: A Guide to Critical Thinking in a Digital Age, Sixth Edition
Tindale, Christopher W.
Groarke, Leo
Carozza, Linda
Paperback
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Cooke, Belinda
Morris, Laurence
Beesley, Paula
Paperback
Tractatus Logico-Philosophicus (Chiron Academic Press - The Original Authoritative Edition)
Wittgenstein, Ludwig
Paperback
The Duck That Won the Lottery: 100 New Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
With All Your Mind: A Course on Logic and Argument for the Christian Classroom
Finkbeiner, Brad Paul
Paperback
How to Think about the Great Ideas: From the Great Books of Western Civilization
Adler, Mortimer
Paperback
Swirling Symmetry: Thoughts and Images on Mathematics, Motion & Pattern
Coleman, Sandra DeLozier
Hardcover
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Cooke, Belinda
Morris, Laurence
Beesley, Paula
Hardcover
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
Paperback
Master Your Mind: Critical-Thinking Exercises and Activities to Boost Brain Power and Think Smarter
Danesi, Marcel
Paperback
Critical Thinking: Tools for Taking Charge of Your Professional and Personal Life
Elder, Linda
Paul, Richard
Hardcover
Gateway to the Stoics: Marcus Aurelius's Meditations, Epictetus's Enchiridion, and Selections from Seneca's Letters
Seneca
Aurelius, Marcus
Epictetus
Paperback
The Theory of Moral Sentiments (Royal Collector's Edition) (Case Laminate Hardcover with Jacket)
Smith, Adam
Hardcover
Critical Reasoning: A Romp through the Foothills of Logic for the Complete Beginner
Talbot, Marianne
Paperback
Playing God with Emerging Technologies: How to Avoid the Traps of Techno-Optimism and Techno-Pessimism
Mizrahi, Moti
Hardcover
Stoic Quotes: 365 Daily Reflections & Thoughts of Wisdom to Strengthen your Perspective.
Harris, Tate
Paperback
Good Thinking: Why Flawed Logic Puts Us All at Risk and How Critical Thinking Can Save the World
Grimes, David Robert
Paperback
Autonomy, Consciousness, and Personhood: A Primer for the Public Dialogue on Abortion
Bujno, Stephen
Hardcover