{"product_id":"history-of-analytic-philosophy-9783031728518","title":"History of Analytic Philosophy","description":"\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 \u0026amp;quote;lambda-philosophy\u0026amp;quote;: 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 \u0026amp;quote;the container notation\u0026amp;quote;.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.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":53578575937815,"sku":null,"price":14978.1,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031728518.jpg?v=1782463287","url":"https:\/\/payment.letskitaboo.com\/te\/products\/history-of-analytic-philosophy-9783031728518","provider":"Kitaboo One eStore","version":"1.0","type":"link"}