The logic in philosophy of science / Hans Halvorson.
Halvorson, Hans| Call Number | 501 |
| Author | Halvorson, Hans, author. |
| Title | The logic in philosophy of science / Hans Halvorson. |
| Physical Description | 1 online resource (viii, 296 pages) : digital, PDF file(s). |
| Notes | Title from publisher's bibliographic system (viewed on 05 Jul 2019). |
| Summary | 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. |
| Subject | Science Philosophy. |
| Multimedia |
Total Ratings:
0
02194nam a22003498i 4500
001
vtls001594007
003
VRT
005
20220808222200.0
006
m|||||o||d||||||||
007
cr||||||||||||
008
220808s2019||||enk o ||1 0|eng|d
020
$a 9781316275603 (ebook)
020
$z 9781107110991 (hardback)
020
$z 9781107527744 (paperback)
035
$a (UkCbUP)CR9781316275603
039
9
$y 202208082222 $z santha
040
$a UkCbUP $b eng $e rda $c UkCbUP
050
0
0
$a Q175 $b .H2475 2019
082
0
0
$a 501 $2 23
100
1
$a Halvorson, Hans, $e author.
245
1
4
$a The logic in philosophy of science / $c Hans Halvorson.
264
1
$a Cambridge : $b Cambridge University Press, $c 2019.
300
$a 1 online resource (viii, 296 pages) : $b digital, PDF file(s).
336
$a text $b txt $2 rdacontent
337
$a computer $b c $2 rdamedia
338
$a online resource $b cr $2 rdacarrier
500
$a Title from publisher's bibliographic system (viewed on 05 Jul 2019).
520
$a 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.
650
0
$a Science $x Philosophy.
776
0
8
$i Print version: $z 9781107110991
856
4
0
$u https://doi.org/10.1017/9781316275603
999
$a VIRTUA
No Reviews to Display
| Summary | 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. |
| Notes | Title from publisher's bibliographic system (viewed on 05 Jul 2019). |
| Subject | Science Philosophy. |
| Multimedia |