Logic in Philosophy of Science

The book explores the impact of formal logic on twentieth-century philosophy, arguing that mathematical discoveries have challenged traditional philosophical beliefs. It examines arguments such as the Löwenheim-Skølem theorem, empiricism, and the distinction between analytic and synthetic truths, and presents a systematic account of the key notions arising from these debates.

Format: Paperback / softback
Length: 304 pages
Publication date: 11 July 2019
Publisher: Cambridge University Press

The impact of the revolution in formal logic on twentieth-century philosophy was profound, leading to a multitude of arguments rooted in novel mathematical discoveries. Hilary Putnam, for instance, argued that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world. Bas van Fraassen contended that arguments against empiricism in the philosophy of science are ineffective when approached from a semantic perspective. W. V. O. Quine further asserted 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.

In response to these and other arguments, this book delves into the mathematical foundations underlying these debates. It offers a comprehensive and mathematically rigorous account of the key notions that arise from these discussions, including theory, equivalence, translation, reduction, and model. Through this in-depth investigation, the book aims to provide a far-reaching reconceptualization of the role of formal methods in addressing philosophical questions.

The significance of this work lies in its ability to bridge the gap between philosophy and mathematics, offering a new perspective on the relationship between these two disciplines. By examining the mathematical facts underlying philosophical arguments, the book enables readers to gain a deeper understanding of the philosophical issues at hand and to evaluate the strength and validity of different philosophical positions.

Furthermore, the book's approach is interdisciplinary, drawing on insights from various fields such as logic, mathematics, and philosophy. This interdisciplinary nature makes it accessible to a wide range of readers, including scholars, students, and anyone interested in the intersection of these disciplines.

In conclusion, this book is a valuable contribution to the field of philosophy and mathematics, providing a comprehensive and rigorous account of the debates surrounding formal logic and its implications for philosophy. By exploring the mathematical facts undergirding these arguments, the book offers a fresh perspective on the role of formal methods in addressing philosophical questions and sheds light on the complex interplay between these two disciplines.

Weight: 534g
Dimension: 401 x 289 x 16 (mm)
ISBN-13: 9781107527744