{"product_id":"the-logic-philosophy-and-history-of-the-lambda-calculus-9783031728501","title":"The Logic, Philosophy, and History of the Lambda-Calculus: Theory and Applications","description":"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.\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003ePublication date:\u003c\/strong\u003e 7 January 2025\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePage count:\u003c\/strong\u003e 255\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e Height 210 mm; Width 148 mm\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePublisher:\u003c\/strong\u003e Springer International Publishing AG\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFormat:\u003c\/strong\u003e Hardback\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eISBN-13:\u003c\/strong\u003e 9783031728501\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Levis Zerpa","offers":[{"title":"Hardback","offer_id":50128174842106,"sku":"9783031728501","price":99.11,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/9783031728501.jpg?v=1787053410","url":"https:\/\/shulphink.com\/products\/the-logic-philosophy-and-history-of-the-lambda-calculus-9783031728501","provider":"Shulph Ink","version":"1.0","type":"link"}