Logic Philosophy Symbols
Download Logic Philosophy Symbols PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Logic Philosophy Symbols book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Principia Mathematica
Author: Alfred North Whitehead
language: en
Publisher: Cambridge University Press
Release Date: 1927
The Principia Mathematica has long been recognised as one of the intellectual landmarks of the century.
Logic for Philosophy
Author: Theodore Sider
language: en
Publisher: Oxford University Press
Release Date: 2010-01-07
Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.
The Principles of Mathematics Revisited
Author: Jaakko Hintikka
language: en
Publisher: Cambridge University Press
Release Date: 1998-04-28
This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities.