The Logic in Philosophy of Science
Research output: Book/Report › Book › Research › peer-review
Standard
The Logic in Philosophy of Science. / Halvorson, Hans.
Cambridge University Press, 2019. 296 p.Research output: Book/Report › Book › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - BOOK
T1 - The Logic in Philosophy of Science
AU - Halvorson, Hans
N1 - Publisher Copyright: © Hans Halvorson 2019. All rights reserved.
PY - 2019
Y1 - 2019
N2 - 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-Skolem 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.
AB - 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-Skolem 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.
U2 - 10.1017/9781316275603
DO - 10.1017/9781316275603
M3 - Book
AN - SCOPUS:85053429101
SN - 9781107110991
BT - The Logic in Philosophy of Science
PB - Cambridge University Press
ER -
ID: 289118828