The Logic in Philosophy of Science
Seiten
2019
Cambridge University Press (Verlag)
978-1-107-11099-1 (ISBN)
Cambridge University Press (Verlag)
978-1-107-11099-1 (ISBN)
The discovery of the 'new logic' in the late nineteenth century led to a revolution in philosophy. This book examines the role of formal logic in the analytic approach to philosophy, and includes a valuable introduction to cutting-edge mathematical techniques, metalogic, basic topology, set theory, and category theory.
Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in answering philosophical questions.
Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in answering philosophical questions.
Hans Halvorson is Stuart Professor of Philosophy at Princeton University, New Jersey. He has written extensively on philosophical issues in physics and the other sciences, on mathematical logic, and on the relationship between science and religion.
Introduction: 1. Invitation to metatheory; 2. The category of sets; 3. The category of propositional theories; 4. Syntactic metalogic; 5. Syntactic metalogic redux; 6. Semantic metalogic; 7. Semantic metalogic redux; 8. From metatheory to philosophy.
| Erscheinungsdatum | 01.07.2019 |
|---|---|
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 178 x 254 mm |
| Gewicht | 690 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Naturwissenschaften | |
| ISBN-10 | 1-107-11099-8 / 1107110998 |
| ISBN-13 | 978-1-107-11099-1 / 9781107110991 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Gegenentwurf zum kurzfristigen Denken : so werden wir zu den …
Buch | Hardcover (2023)
REDLINE (Verlag)
CHF 27,90
