![]() ![]() ![]() Propositional functions dressed up as classes. ![]() See also: John Harrison's bibliography on formalised mathematics. The Lambda Calculus - Its Syntax and Semantics, Henk Barendregt A comprehensive reference on lambda-calculi and combinatory algebras. Set Theory - an Introduction to Independence Proofs, Kenneth Kunen an introduction to relative consistency proofs in axiomatic set theory, intended as a text for graduate coursesĬombinatory Logic and The Lambda Calculus Introduction to Combinators and the Lambda Calculus, Roger Hindley and Jonathan Seldin A clear and thorough introduction to a topic fundamental to logic and computer science. Sets, Functions, and Logic, Keith Devlin Provides a solid foundation in the basic logical concepts for university/college mathematics. Set Theory and its Logic, Willard Van Ormon Quine In the spirit of Principia Mathematica, Quine cleans up the story on how to formalise mathematics using logic (via set theory). Alfred North Whitehead, English mathematician and philosopher who collaborated with Bertrand Russell on Principia Mathematica (191013) and, from the mid-1920s, taught at Harvard University and developed a comprehensive metaphysical theory. Victor Lowe, Charles Hartshorne & Allison Heartz Johnson (eds.) - 1972 - Freeport, N.Y.,: Books for Libraries Press. Johnstone A starter for those who want to understand how logic and set theory provide a foundation for mathematics. Whitehead and the modern world science, metaphysics, and civilization. Logic and Set Theory Notes on Logic and Set Theory, P.T. Logic and Computing Computability and Logic, George Boolos and Richard Jeffrey A computationally oriented text for graduate or advanced undergraduate philosophy or mathematics students. Varieties of Constructive Mathematics, Douglas Bridges and Fred Richman An introduction to and survey of the constructive approaches to pure mathematics. To understand it today, read first.įoundations of Constructive Mathematics, Michael Beeson A wide ranging study of the surprisingly diverse constructive approaches to the logical foundations of mathematics. Of it, Quine said: "This is the book that has meant most to me.". Logic and Mathematics Principia Mathematica to *56, Bertrand Russell and Alfred North Whitehead The logical and set theoretic 1 parts of this great masterpiece, the first consistent logical formalisation of mathematics. Possible Worlds - an introduction to Logic and its Philosophy, Raymond Bradley and Norman Swartz A substantial (391pp) introduction with the emphasis on propositional and modal logics. Philosophical Logic - An Introduction, Sybil Wolfram A worthwhile fairly recent introduction to the kind of problems raised by philosophical logic. Metalogic - An Introduction to the Metatheory of Standard First-Order Logic, Geoffrey Hunter An excellent second course for philosophy students who want a good technical understanding of classical first order logic. Philosophy of Logic, Willard Van Orman Quine An excellent short (109pp) introduction with the emphasis on the philosophy. Logic and Philosophy Philosophy of Logics, Susan Haack A readable introduction with a slightly broader interpretation of "logic" than the average philosophy text. Methods of Logic, Willard Van Ormon Quine A lucid introductory text from one of the best. The book was designed for a first course in logic using the Tarki's World 4.0 software ( Logic Software from CLSI), which comes with the book. all in 80 pp.įirst-order logic The Language of First Order Logic, Jon Barwise and John Etchemendy A practical approach to learning logic. This book has pace: historical survey, completeness, models, turing machines, Gödel and set theory. Yet, just as the first space-based images of our planet forever changed humanity’s understanding of its place in the universe, shifting the alleged center of, or even decentering of the view on, Whitehead’s “philosophy of organism” to the later works, we might discover previously obscured ideas or new vistas of thought relevant not only to our current philosophical landscape, but also to the pressing issues of our fragile and endangered world.What is logic? What is Mathematical Logic?, J.N. The aim of this preferencing is meant not to invalidate earlier approaches to Whitehead’s thought nor is the inference that the later works are more authoritative. Yet, is it also possible that the dominance of this perspective has obscured or even distorted further creative developments of Whitehead’s thought? This volume offers a sort of Copernican revolution in Whitehead interpretation, methodologically and conceptually inviting its contributors to observe Whitehead’s work from the perspective of his later works. Process and Reality is taken to be the definitive center of the Whiteheadian universe and the later works, thereby, appear to many only as applications or elaborations of themes already introduced earlier. Alfred North Whitehead’s interpreters usually pay less attention to his later monographs and essays. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |