{"product_id":"9783031728532","title":"History of Analytic Philosophy: Theory and Applications","description":"\u003ch1\u003eHistory of Analytic Philosophy: Theory and Applications\u003c\/h1\u003e \u003ch2\u003eZerpa, Levis\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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”.\u003c\/p\u003e\n\n\u003cp\u003eThe 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 \u003cem\u003eTractatus\u003c\/em\u003e. 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.\u003c\/p\u003e\n\n\u003cp\u003eThe 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.\u003c\/p\u003e\n\n\u003cp\u003e\u003cem\u003eThe Logic, Philosophy, and History of the Lambda-Calculus \u003c\/em\u003eis essential reading for all scholars and researchers of the history of analytic philosophy and especially those focussing on logic-based analytic philosophy.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Palgrave Macmillan\u003c\/p\u003e \u003cp\u003ePublication Date: 2026-01-07\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783031728532\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-031-72851-8\u003c\/p\u003e \u003cp\u003eDimensions: 210cm x148cm\u003c\/p\u003e \u003cp\u003ePages: 255\u003c\/p\u003e ","brand":"Springer Nature Switzerland","offers":[{"title":"Default Title","offer_id":45937860411532,"sku":"9783031728532","price":143.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783031728532.jpg?v=1777997366","url":"https:\/\/lateknightbooks.com\/products\/9783031728532","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}