60% Proof Lakatos, Proof, and Paraconsistency
60% Proof Lakatos, Proof, and Paraconsistency
复制标题
60%%20Proof%20Lakatos、%20Proof、%20和%20Para一致性
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
N. Thomason
中科院分区：
文献类型：
--
作者：
G. Priest;N. Thomason
伊姆雷拉卡托斯'证明和反驳是一本书众所周知的那些谁的工作在哲学的数学，虽然它可能不是广泛提及。它的主旨与基础主义观点格格不入，而基础主义观点自世纪初以来一直主导着数学哲学的工作。然而，在我们看来，这本书包含了对证明本质的深刻见解，本文的目的就是探索和应用其中的一些。
Imre Lakatos’ Proofs and Refutations is a book well known to those who work in the philosophy of mathematics, though it is perhaps not widely referred to. Its general thrust is out of tenor with the foundationalist perspective that has dominated work in the philosophy of mathematics since the early years of the 20th century. It seems to us, though, that the book contains striking insights into the nature of proof, and the purpose of this paper is to explore and apply some of these.