The Palgrave Centenary Companion to Principia Mathematica

Download The Palgrave Centenary Companion to Principia Mathematica PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 1137344636
Total Pages : 479 pages
Book Rating : 4.1/5 (373 download)

DOWNLOAD NOW!


Book Synopsis The Palgrave Centenary Companion to Principia Mathematica by : Bernard Linsky

Download or read book The Palgrave Centenary Companion to Principia Mathematica written by Bernard Linsky and published by Springer. This book was released on 2013-11-29 with total page 479 pages. Available in PDF, EPUB and Kindle. Book excerpt: To mark the centenary of the 1910 to 1913 publication of the monumental Principia Mathematica by Alfred N. Whitehead and Bertrand Russell, this collection of fifteen new essays by distinguished scholars considers the influence and history of PM over the last hundred years.

The Bloomsbury Companion to Bertrand Russell

Download The Bloomsbury Companion to Bertrand Russell PDF Online Free

Author :
Publisher : Bloomsbury Publishing
ISBN 13 : 147427806X
Total Pages : 449 pages
Book Rating : 4.4/5 (742 download)

DOWNLOAD NOW!


Book Synopsis The Bloomsbury Companion to Bertrand Russell by : Russell Wahl

Download or read book The Bloomsbury Companion to Bertrand Russell written by Russell Wahl and published by Bloomsbury Publishing. This book was released on 2018-10-18 with total page 449 pages. Available in PDF, EPUB and Kindle. Book excerpt: A founder of modern analytic philosophy and one of the most important logicians of the twentieth century, Bertrand Russell has influenced generations of philosophers. The Bloomsbury Companion to Bertrand Russell explores this influence in detail and responds to renewed interest in Russell's philosophical approach, presenting the best guide to research in Russell studies today. Bringing new insights into Russell's relationship with his contemporaries, a team of experts explore his life-long battles with important philosophical issues. They consider how he influenced thinkers and schools of thought, from Schröder, Frege and Meinong to Wittgenstein and the Vienna Circle, while also covering his impact on individual issues in epistemology, logic, metaphysics, philosophy of mind, philosophy of language, and political philosophy. Importantly this companion discusses often overlooked topics. Focusing on Russell's later views, including his moral philosophy and his politics, reveals that Russell did make significant contributions to ethics - both theoretical and practical - in the course of his career. Through a combination of enlightening historical background and sustained focus on Russell's impact on contemporary areas of philosophy, The Bloomsbury Companion to Bertrand Russell demonstrates why Russell continues to influence philosophers of language, mathematics, epistemology and metaphysics.

A Companion to Wittgenstein

Download A Companion to Wittgenstein PDF Online Free

Author :
Publisher : John Wiley & Sons
ISBN 13 : 1118641167
Total Pages : 805 pages
Book Rating : 4.1/5 (186 download)

DOWNLOAD NOW!


Book Synopsis A Companion to Wittgenstein by : Hans-Johann Glock

Download or read book A Companion to Wittgenstein written by Hans-Johann Glock and published by John Wiley & Sons. This book was released on 2017-01-30 with total page 805 pages. Available in PDF, EPUB and Kindle. Book excerpt: A COMPANION TO WITTGENSTEIN The most comprehensive survey of Wittgenstein’s thought yet compiled, this volume of fifty newly commissioned essays by leading interpreters of his philosophy is a keynote addition to the Blackwell Companions to Philosophy series. Full of penetrating insights into the life and work of the most important philosopher of the twentieth century, the collection explores the full range of Wittgenstein’s contribution to philosophy. It includes essays on his intellectual development, his work in logic and mathematics, philosophy of language, philosophy of mind and action, epistemology, ethics, philosophy of religion, and much else. As well as examining Wittgenstein’s contribution to human understanding in detail, the Companion features vital contextual analysis that traces the relationship between his ideas and those of other philosophers and schools of thought, including the Aristotelian and continental philosophical traditions. Authors also address prominent themes that remain current in today’s philosophical debates, explaining Wittgenstein’s continuing legacy alongside his historical significance. Essential reading for scholars of philosophy at all levels, A Companion to Wittgenstein combines engaging commentary with unrivaled academic authority.

The Philosophy of Logical Atomism

Download The Philosophy of Logical Atomism PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319943642
Total Pages : 358 pages
Book Rating : 4.3/5 (199 download)

DOWNLOAD NOW!


Book Synopsis The Philosophy of Logical Atomism by : Landon D. C. Elkind

Download or read book The Philosophy of Logical Atomism written by Landon D. C. Elkind and published by Springer. This book was released on 2018-12-11 with total page 358 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers a comprehensive critical survey of issues of historical interpretation and evaluation in Bertrand Russell's 1918 logical atomism lectures and logical atomism itself. These lectures record the culmination of Russell's thought in response to discussions with Wittgenstein on the nature of judgement and philosophy of logic and with Moore and other philosophical realists about epistemology and ontological atomism, and to Whitehead and Russell’s novel extension of revolutionary nineteenth-century work in mathematics and logic. Russell's logical atomism lectures have had a lasting impact on analytic philosophy and on Russell's contemporaries including Carnap, Ramsey, Stebbing, and Wittgenstein. Comprised of 14 original essays, this book will demonstrate how the direct and indirect influence of these lectures thus runs deep and wide.

Repairing Bertrand Russell’s 1913 Theory of Knowledge

Download Repairing Bertrand Russell’s 1913 Theory of Knowledge PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030663566
Total Pages : 405 pages
Book Rating : 4.0/5 (36 download)

DOWNLOAD NOW!


Book Synopsis Repairing Bertrand Russell’s 1913 Theory of Knowledge by : Gregory Landini

Download or read book Repairing Bertrand Russell’s 1913 Theory of Knowledge written by Gregory Landini and published by Springer Nature. This book was released on 2022-01-22 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book repairs and revives the Theory of Knowledge research program of Russell’s Principia era. Chapter 1, 'Introduction and Overview', explains the program’s agenda. Inspired by the non-Fregean logicism of Principia Mathematica, it endorses the revolution within mathematics presenting it as a study of relations. The synthetic a priori logic of Principia is the essence of philosophy considered as a science which exposes the dogmatisms about abstract particulars and metaphysical necessities that create prisons that fetter the mind. Incipient in The Problems of Philosophy, the program’s acquaintance epistemology embraced a multiple-relation theory of belief. It reached an impasse in 1913, having been itself retrofitted with abstract particular logical forms to address problems of direction and compositionality. With its acquaintance epistemology in limbo, Scientific Method in Philosophy became the sequel to Problems. Chapter 2 explains Russell’s feeling intellectually dishonest. Wittgenstein’s demand that logic exclude nonsense belief played no role. The 1919 neutral monist era ensued, but Russell found no epistemology for the logic essential to philosophy. Repairing, Chapters 4–6 solve the impasse. Reviving, Chapters 3 and 7 vigorously defend the facts about Principia. Studies of modality and entailment are viable while Principia remains a universal logic above the civil wars of the metaphysicians.

Early Analytic Philosophy - New Perspectives on the Tradition

Download Early Analytic Philosophy - New Perspectives on the Tradition PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319242148
Total Pages : 459 pages
Book Rating : 4.3/5 (192 download)

DOWNLOAD NOW!


Book Synopsis Early Analytic Philosophy - New Perspectives on the Tradition by : Sorin Costreie

Download or read book Early Analytic Philosophy - New Perspectives on the Tradition written by Sorin Costreie and published by Springer. This book was released on 2016-01-21 with total page 459 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume discusses some crucial ideas of the founders of the analytic philosophy: Gottlob Frege, Bertrand Russell and Ludwig Wittgenstein, or the ‘golden trio’. The book shows how these ‘old’ ideas are still present and influential in the current philosophical debates and to what extent these debates echo the original ideas. The collection aim is twofold: to better understand these fruitful ideas by placing them in the original setting, and to systematically examine these ideas in the context of the current debates animating philosophical discussions today. Divided into five sections, the book first sets the stage and offers a general introduction to the background influences, as well as delimitations of the initial foundational positions. This first section contains two papers dedicated to the discussion of realism and the status of science at that time, followed by two papers that tackle the epistemic status of logical laws. The next three sections constitute the core of the volume, each being dedicated to the most important figures in the early analytic tradition: Frege, Russell, and Wittgenstein. The last section gathers several essays that discuss either the relation between two or more analytic thinkers, or various important concepts such as ‘predicativism’ and ‘arbitrary function’, or the principles of abstraction and non-contradiction.​

The Philosophers and Mathematics

Download The Philosophers and Mathematics PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319937332
Total Pages : 357 pages
Book Rating : 4.3/5 (199 download)

DOWNLOAD NOW!


Book Synopsis The Philosophers and Mathematics by : Hassan Tahiri

Download or read book The Philosophers and Mathematics written by Hassan Tahiri and published by Springer. This book was released on 2018-08-14 with total page 357 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays that examine the distinctive historical relationship between mathematics and philosophy. Readers learn what key philosophers throughout the ages thought about mathematics. This includes both thinkers who recognized the relevance of mathematics to their own work as well as those who chose to completely ignore its many achievements. The essays offer insight into the role that mathematics played in the formation of each included philosopher’s doctrine as well as the impact its remarkable expansion had on the philosophical systems each erected. Conversely, the authors also highlight the ways that philosophy contributed to the growth and transformation of mathematics. Throughout, significant historical examples help to illustrate these points in a vivid way. Mathematics has often been a favored interlocutor of philosophers and a major source of inspiration. This book is the outcome of an international conference held in honor of Roshdi Rashed, a renowned historian of mathematics. It provides researchers, students, and interested readers with remarkable insights into the history of an important relationship throughout the ages.

Bertrand Russell’s Life and Legacy

Download Bertrand Russell’s Life and Legacy PDF Online Free

Author :
Publisher : Vernon Press
ISBN 13 : 1622733185
Total Pages : 213 pages
Book Rating : 4.6/5 (227 download)

DOWNLOAD NOW!


Book Synopsis Bertrand Russell’s Life and Legacy by : Peter Stone

Download or read book Bertrand Russell’s Life and Legacy written by Peter Stone and published by Vernon Press. This book was released on 2018-01-01 with total page 213 pages. Available in PDF, EPUB and Kindle. Book excerpt: Almost five decades after his death, there is still ample reason to pay attention to the life and legacy of Bertrand Russell. This is true not only because of his role as one of the founders of analytic philosophy, but also because of his important place in twentieth-century history as an educator, public intellectual, critic of organized religion, humanist, and peace activist. The papers in this anthology explore Russell’s life and legacy from a wide variety of perspectives. This is altogether fitting, given the many-sided nature of Russell, his life, and his work. The first section of the book considers Russell the man, and draws lessons from Russell’s complicated personal life. The second examines Russell the philosopher, and the philosophical world within which his work was embedded. The third scrutinizes Russell the atheist and critic of organized religion, inquiring which parts of his critical stance are worth emulating today. The final section revisits Russell the political activist; it directs an eye both at Russell’s own long career of peace activism, but also at his place in a highly political family tradition of which he was justifiably proud. This book thus constitutes an invitation, if one were needed, to the world of Bertrand Russell. Those new to Russell, but with an interest in biography, philosophy, religion, or politics, will hopefully find something to learn here. This may spark an interest in learning more about Russell. But this book is not just intended for the Russell neophyte. The book sheds fresh light on a number of topics central to Russell studies—his connections to other philosophers, for example. Scholars well-versed in Russell studies will enjoy grappling with the treatment given to these topics here.

Axiomatic Thinking I

Download Axiomatic Thinking I PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030776573
Total Pages : 209 pages
Book Rating : 4.0/5 (37 download)

DOWNLOAD NOW!


Book Synopsis Axiomatic Thinking I by : Fernando Ferreira

Download or read book Axiomatic Thinking I written by Fernando Ferreira and published by Springer Nature. This book was released on 2022-10-13 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name from David Hilbert's seminal talk Axiomatisches Denken, given at a meeting of the Swiss Mathematical Society in Zurich in 1917. This marked the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic. Hilbert also used the opportunity to bring Paul Bernays back to Göttingen as his main collaborator in foundational studies in the years to come. The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations. Chapter 8 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

The Formalization of Dialectics

Download The Formalization of Dialectics PDF Online Free

Author :
Publisher : Taylor & Francis
ISBN 13 : 100381364X
Total Pages : 121 pages
Book Rating : 4.0/5 (38 download)

DOWNLOAD NOW!


Book Synopsis The Formalization of Dialectics by : Elena Ficara

Download or read book The Formalization of Dialectics written by Elena Ficara and published by Taylor & Francis. This book was released on 2023-12-01 with total page 121 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book explores the relationship between Hegel’s dialectics and formal logic. It examines the concept of dialectics, its meaning, and its use in contemporary thought. The volume opens the “old” debate about the formalization of Hegel’s dialectics and is motivated by the idea that asking about the connection between Hegel’s dialectics and formal logic is still relevant, for various reasons: Firstly, a new Hegel is circulating nowadays in the philosophical literature, with specific reference to Hegel’s dialectical logic and its relation to the history and philosophy of logic. Secondly, new research about the connection between contradictory logical systems and Hegel's dialectics is also being developed. Finally, there have been recent confirmations that the concept of dialectics is of general interest, and that the usual perplexities about the Hegelian triadic and fairly mechanic device of ‘yes, not, and not not’ are in remission. The chapters feature philosophically and historically motivated presentations of formal features of Hegel’s dialectics, critical considerations about the very idea of ‘formalizing dialectics’ and presentations of past attempts to formalize Hegel’s dialectics. The Formalization of Dialectics will be a key resource for scholars and researchers of the history and philosophy of logic and Hegel’s dialectics. It will also be of interest to anyone who wants to know more about the concept of dialectics, its meaning and its use in contemporary thought. This book was originally published as a special issue of History and Philosophy of Logic.

The Rise of Analytic Philosophy, 1879–1930

Download The Rise of Analytic Philosophy, 1879–1930 PDF Online Free

Author :
Publisher : Routledge
ISBN 13 : 1317689712
Total Pages : 506 pages
Book Rating : 4.3/5 (176 download)

DOWNLOAD NOW!


Book Synopsis The Rise of Analytic Philosophy, 1879–1930 by : Michael Potter

Download or read book The Rise of Analytic Philosophy, 1879–1930 written by Michael Potter and published by Routledge. This book was released on 2019-10-08 with total page 506 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book Michael Potter offers a fresh and compelling portrait of the birth of modern analytic philosophy, viewed through the lens of a detailed study of the work of the four philosophers who contributed most to shaping it: Gottlob Frege, Bertrand Russell, Ludwig Wittgenstein, and Frank Ramsey. It covers the remarkable period of discovery that began with the publication of Frege's Begriffsschrift in 1879 and ended with Ramsey's death in 1930. Potter—one of the most influential scholars of this period in philosophy—presents a deep but accessible account of the break with absolute idealism and neo-Kantianism, and the emergence of approaches that exploited the newly discovered methods in logic. Like his subjects, Potter focusses principally on philosophical logic, philosophy of mathematics, and metaphysics, but he also discusses epistemology, meta-ethics, and the philosophy of language. The book is an essential starting point for any student attempting to understand the work of Frege, Russell, Wittgenstein, and Ramsey, as well as their interactions and their larger intellectual milieux. It will also be of interest to anyone who wants to cast light on current philosophical problems through a better understanding of their origins.

The Best Writing on Mathematics 2017

Download The Best Writing on Mathematics 2017 PDF Online Free

Author :
Publisher : Princeton University Press
ISBN 13 : 0691178631
Total Pages : 242 pages
Book Rating : 4.6/5 (911 download)

DOWNLOAD NOW!


Book Synopsis The Best Writing on Mathematics 2017 by : Mircea Pitici

Download or read book The Best Writing on Mathematics 2017 written by Mircea Pitici and published by Princeton University Press. This book was released on 2017-11-14 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: The year's finest mathematics writing from around the world This annual anthology brings together the year’s finest mathematics writing from around the world. Featuring promising new voices alongside some of the foremost names in the field, The Best Writing on Mathematics 2017 makes available to a wide audience many articles not easily found anywhere else—and you don’t need to be a mathematician to enjoy them. These writings offer surprising insights into the nature, meaning, and practice of mathematics today. They delve into the history, philosophy, teaching, and everyday occurrences of math, and take readers behind the scenes of today’s hottest mathematical debates. Here Evelyn Lamb describes the excitement of searching for incomprehensibly large prime numbers, Jeremy Gray speculates about who would have won math’s highest prize—the Fields Medal—in the nineteenth century, and Philip Davis looks at mathematical results and artifacts from a business and marketing viewpoint. In other essays, Noson Yanofsky explores the inherent limits of knowledge in mathematical thinking, Jo Boaler and Lang Chen reveal why finger-counting enhances children’s receptivity to mathematical ideas, and Carlo Séquin and Raymond Shiau attempt to discover how the Renaissance painter Fra Luca Pacioli managed to convincingly depict his famous rhombicuboctahedron, a twenty-six-sided Archimedean solid. And there’s much, much more. In addition to presenting the year’s most memorable writings on mathematics, this must-have anthology includes a bibliography of other notable writings and an introduction by the editor, Mircea Pitici. This book belongs on the shelf of anyone interested in where math has taken us—and where it is headed.

Naturalizing Logico-Mathematical Knowledge

Download Naturalizing Logico-Mathematical Knowledge PDF Online Free

Author :
Publisher : Routledge
ISBN 13 : 1351998447
Total Pages : 319 pages
Book Rating : 4.3/5 (519 download)

DOWNLOAD NOW!


Book Synopsis Naturalizing Logico-Mathematical Knowledge by : Sorin Bangu

Download or read book Naturalizing Logico-Mathematical Knowledge written by Sorin Bangu and published by Routledge. This book was released on 2018-02-01 with total page 319 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The question about this distinctive kind of knowledge is rooted in Plato’s dialogues, and virtually all major philosophers have expressed interest in it. The essays in this collection tackle this important philosophical query from the perspective of the modern sciences of cognition, namely cognitive psychology and neuroscience. Naturalizing Logico-Mathematical Knowledge contributes to consolidating a new, emerging direction in the philosophy of mathematics, which, while keeping the traditional concerns of this sub-discipline in sight, aims to engage with them in a scientifically-informed manner. A subsequent aim is to signal the philosophers’ willingness to enter into a fruitful dialogue with the community of cognitive scientists and psychologists by examining their methods and interpretive strategies.

Composition as Identity

Download Composition as Identity PDF Online Free

Author :
Publisher : OUP Oxford
ISBN 13 : 0191022160
Total Pages : 249 pages
Book Rating : 4.1/5 (91 download)

DOWNLOAD NOW!


Book Synopsis Composition as Identity by : A. J. Cotnoir

Download or read book Composition as Identity written by A. J. Cotnoir and published by OUP Oxford. This book was released on 2014-08-07 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: Composition is the relation between a whole and its parts--the parts are said to compose the whole; the whole is composed of the parts. But is a whole anything distinct from its parts taken collectively? It is often said that 'a whole is nothing over and above its parts'; but what might we mean by that? Could it be that a whole just is its parts? This collection of essays is the first of its kind to focus on the relationship between composition and identity. Twelve original articles--written by internationally renowned scholars and rising stars in the field--argue for and against the controversial doctrine that composition is identity. An editor's introduction sets out the formal and philosophical groundwork to bring readers to the forefront of the debate.

The Best Writing on Mathematics 2015

Download The Best Writing on Mathematics 2015 PDF Online Free

Author :
Publisher : Princeton University Press
ISBN 13 : 1400873371
Total Pages : 408 pages
Book Rating : 4.4/5 (8 download)

DOWNLOAD NOW!


Book Synopsis The Best Writing on Mathematics 2015 by : Mircea Pitici

Download or read book The Best Writing on Mathematics 2015 written by Mircea Pitici and published by Princeton University Press. This book was released on 2016-01-12 with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt: The year's finest writing on mathematics from around the world This annual anthology brings together the year's finest mathematics writing from around the world. Featuring promising new voices alongside some of the foremost names in the field, The Best Writing on Mathematics 2015 makes available to a wide audience many articles not easily found anywhere else—and you don’t need to be a mathematician to enjoy them. These writings offer surprising insights into the nature, meaning, and practice of mathematics today. They delve into the history, philosophy, teaching, and everyday occurrences of math, and take readers behind the scenes of today’s hottest mathematical debates. Here David Hand explains why we should actually expect unlikely coincidences to happen; Arthur Benjamin and Ethan Brown unveil techniques for improvising custom-made magic number squares; Dana Mackenzie describes how mathematicians are making essential contributions to the development of synthetic biology; Steven Strogatz tells us why it’s worth writing about math for people who are alienated from it; Lisa Rougetet traces the earliest written descriptions of Nim, a popular game of mathematical strategy; Scott Aaronson looks at the unexpected implications of testing numbers for randomness; and much, much more. In addition to presenting the year’s most memorable writings on mathematics, this must-have anthology includes a bibliography of other notable writings and an introduction by the editor, Mircea Pitici. This book belongs on the shelf of anyone interested in where math has taken us—and where it is headed.

Wittgenstein and the Vienna Circle

Download Wittgenstein and the Vienna Circle PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 303107789X
Total Pages : 615 pages
Book Rating : 4.0/5 (31 download)

DOWNLOAD NOW!


Book Synopsis Wittgenstein and the Vienna Circle by : Friedrich Stadler

Download or read book Wittgenstein and the Vienna Circle written by Friedrich Stadler and published by Springer Nature. This book was released on 2023-03-03 with total page 615 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers a critical update of current Wittgenstein research on the Tractatus logico-philosophicus (TLP) and its relation to the Vienna Circle. The contributions are written by renowned Wittgenstein scholars, on the occasion of the "Wittgenstein Years" 1921/1922 with a special focus on its origin, reception, and interpretation then and now. The main topic is the mutual relation between Wittgenstein and the Vienna Circle (esp. Schlick, Waismann, Carnap, Gödel), but also Russell and Ramsey. In addition, included in this volume are new studies on Wittgenstein's life and work, on the philosophy of the TLP, and on the Wittgenstein family in philosophical and historical context. Furthermore, unpublished documents on Wittgenstein and Waismann from the archives are provided in form of edited and commented primary sources. As per the book series' usual format, a general part of this Yearbook covers a study on Neurath's economy as well as reviews of related publications.

The Great Formal Machinery Works

Download The Great Formal Machinery Works PDF Online Free

Author :
Publisher : Princeton University Press
ISBN 13 : 0691174172
Total Pages : 392 pages
Book Rating : 4.6/5 (911 download)

DOWNLOAD NOW!


Book Synopsis The Great Formal Machinery Works by : Jan von Plato

Download or read book The Great Formal Machinery Works written by Jan von Plato and published by Princeton University Press. This book was released on 2017-08-02 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution. Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later. Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.