Knowledge, Machines, and the Consistency of Reinhardt's Strong Mechanistic Thesis

Annals of Pure and Applied Logic 105 (1--3):51--82 (2000)
  Copy   BIBTEX

Abstract

Reinhardt 's strong mechanistic thesis, a formalization of “I know I am a Turing machine”, is shown to be consistent with Epistemic Arithmetic.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Wittgenstein and strong mathematical verificationism.Cyrus Panjvani - 2006 - Philosophical Quarterly 56 (224):406–425.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Mechanistic Evidence: Disambiguating the Russo–Williamson Thesis.Phyllis McKay Illari - 2011 - International Studies in the Philosophy of Science 25 (2):139-157.
Die starke KI-These.Stephan Zelewski - 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22 (2):337 - 348.
Die starke KI-TheseThe strong AI-thesis.Stephan Zelewski - 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22 (2):337-348.
Legal theory and value judgments.Vittorio Villa - 1997 - Law and Philosophy 16 (4):447-477.
A dao of technology?Barry Allen - 2010 - Dao: A Journal of Comparative Philosophy 9 (2):151-160.
A Note on Jaakko Hintikka's "Knowledge and Belief".Paul Weingartner - 1994 - Grazer Philosophische Studien 49 (1):135-147.
Tacit Knowledge.Zhenhua Yu - 2006 - Tradition and Discovery 33 (3):9-25.
Levels of Reflexivity: Unnoted Differences within the "Strong Programme" in the Sociology of Knowledge.Edward Manier - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:197-207.

Analytics

Added to PP
2011-03-20

Downloads
32 (#514,490)

6 months
15 (#185,076)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Elementary patterns of resemblance.Timothy J. Carlson - 2001 - Annals of Pure and Applied Logic 108 (1-3):19-77.
Proving that the Mind Is Not a Machine?Johannes Stern - 2018 - Thought: A Journal of Philosophy 7 (2):81-90.
A Machine That Knows Its Own Code.Samuel A. Alexander - 2014 - Studia Logica 102 (3):567-576.
Patterns of resemblance of order 2.Timothy J. Carlson - 2009 - Annals of Pure and Applied Logic 158 (1-2):90-124.

View all 16 citations / Add more citations