Computer Proof, Apriori Knowledge, and Other Minds

Noûs 32 (S12):1-37 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Against A Priori reductions.Laura Schroeter - 2006 - Philosophical Quarterly 56 (225):562-586.
Self‐Knowledge and Externalism about Empty Concepts.Ted Parent - 2015 - Analytic Philosophy 56 (2):158-168.
Testimony and Computer Proof.Kai-Yee Wong - 2008 - Proceedings of the Xxii World Congress of Philosophy 53:317-323.
Pt. 3. the enlightenment and its critics.Alan Kors - 2000 - In Darren Staloff, Louis Markos, Jeremy duQuesnay Adams, Phillip Cary, Dennis Dalton, Alan Charles Kors, Jeremy Shearmur, Robert C. Solomon, Robert Kane, Kathleen Marie Higgins, Mark W. Risjord & Douglas Kellner (eds.), Great Minds of the Western Intellectual Tradition. Teaching Co..
Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
The four-color theorem and mathematical proof.Michael Detlefsen & Mark Luker - 1980 - Journal of Philosophy 77 (12):803-820.
What is a Proof?Reinhard Kahle - 2015 - Axiomathes 25 (1):79-91.
Logic and analyticity.Tyler Burge - 2003 - Grazer Philosophische Studien 66 (1):199-249.
Frontloading, Supposition, and Contraction.Bryan Pickel - 2016 - Philosophical Quarterly 66 (264):559-578.

Analytics

Added to PP
2009-01-28

Downloads
456 (#38,367)

6 months
24 (#97,576)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tyler Burge
University of California, Los Angeles

References found in this work

No references found.

Add more references