The Logic in Philosophy of Science

The Logic in Philosophy of Science
复制标题

科学哲学中的逻辑

DOI:
--
复制
发表时间:
2019
期刊:
影响因子:
--
通讯作者:
Hans Halvorson
Hans Halvorson
中科院分区:
--
文献类型:
--
作者:
Hans Halvorson

文献摘要

参考文献

被引文献

相似文献

20世纪哲学的主要人物被形式逻辑的革命所吸引,他们的许多论点都是基于新的数学发现。希拉里·普特南声称洛温汉-斯科勒姆定理驳斥了客观的、独立于任何事物的世界的存在;巴斯·货车·弗拉森声称,反对科学哲学中的抽象主义的论点对科学理论的语义学方法无效; W. V. O.奎因声称,分析真理和综合真理之间的区别是微不足道的,因为任何理论都可以归结为一个所有真理都是分析真理的理论。这本书剖析这些和其他论点通过深入调查的数学事实巩固他们。它提出了一个系统的,数学上严格的帐户的关键概念所产生的这种辩论,包括理论,等价,翻译,减少和模型。其结果是对形式方法在回答哲学问题中的作用进行了意义深远的重新概念化。
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 Lowenheim-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.
关于结构现实主义你一直想知道但又不敢问的一切
DOI: 10.1007/s13194-011-0025-7
发表时间: 2011
影响因子: 1.5
作者:
I. Votsis
通讯作者: I. Votsis