TY - JOUR
AU - Priest, Graham
AU - Thomason, Neil
PY - 2007
TI - 60% Proof Lakatos, Proof, and Paraconsistency
JF - The Australasian Journal of Logic; Vol 5 (2007): Australasian Journal of Logic
DO - 10.26686/ajl.v5i0.1789
KW -
N2 - 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.
UR - https://ojs.victoria.ac.nz/ajl/article/view/1789