One of philosophy's preeminent logicians argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. Hintikka's new logic is highly original and will prove appealing to logicians, philosophers of mathematics, and mathematicians concerned with the foundations of the discipline.
One of philosophy's preeminent logicians argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. Hintikka's new logic is highly original and will prove appealing to logicians, philosophers of mathematics, and mathematicians concerned with the foundations of the discipline.
1. The functions of logic and the problem of truth definition 2. The game of logic 3. Frege's fallacy foiled: Independence-friendly logic 4. The joys of independence: Some uses of IF logic 5. The complexities of completeness 6. Who's afraid of Alfred Tarski? Truth-definitions for IF first-order languages 7. The liar belied: negation in IF logic 8. Axiomatic set theory: Frankenstein's monster? 9. IF logic as a framework for mathematical theorizing 10. Constructivism reconstructed 11. The epistemology of mathematical objects.
1. The functions of logic and the problem of truth definition 2. The game of logic 3. Frege's fallacy foiled: Independence-friendly logic 4. The joys of independence: Some uses of IF logic 5. The complexities of completeness 6. Who's afraid of Alfred Tarski? Truth-definitions for IF first-order languages 7. The liar belied: negation in IF logic 8. Axiomatic set theory: Frankenstein's monster? 9. IF logic as a framework for mathematical theorizing 10. Constructivism reconstructed 11. The epistemology of mathematical objects.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309