The Logic, Philosophy, and History of the Lambda-Calculus : Theory and Applications - Levis Zerpa

eBOOK

The Logic, Philosophy, and History of the Lambda-Calculus

Theory and Applications

By: Levis Zerpa

eBook | 7 February 2025

At a Glance

eBook


RRP $229.00

$206.99

10%OFF

or 4 interest-free payments of $51.75 with

 or 

Instant Digital Delivery to your Booktopia Reader App

Read on
Android
eReader
Desktop
IOS
Windows

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 Viete'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.

Read on
Android
eReader
Desktop
IOS
Windows

More in Analytical Philosophy & Logical Positivism

Aristotle's Organon in Old and New Logic : 1800-1950 - Colin Guthrie King

eBOOK

Susan Stebbing : Philosophical Papers - Siobhan Chapman

eBOOK

RRP $150.98

$135.99

10%
OFF
Wittgenstein : A Very Short Introduction - A. C. Grayling

eBOOK

Vagueness and Degrees of Truth - Nicholas J. J. Smith

eBOOK

RRP $75.48

$67.99

10%
OFF
Cuts and Clouds : Vagueness, its Nature, & its Logic - Richard Dietz

eBOOK

Persistence and Spacetime - Yuri Balashov

eBOOK

RRP $62.06

$55.99

10%
OFF
The Emergent Self - William Hasker

eBOOK

RRP $36.89

$33.99

Ojai 1958 : J Krishnamurti Lecture Series - J. Krishnamurti

eBOOK