Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
Open Access
- 1 November 2000
- journal article
- Published by Elsevier BV in Annals of Pure and Applied Logic
- Vol. 105 (1-3), 51-82
- https://doi.org/10.1016/s0168-0072(99)00048-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Epistemic theories and the interpretation of Gödel's incompleteness theoremsJournal of Philosophical Logic, 1986
- Absolute Versions of Incompleteness TheoremsNoûs, 1985
- Church's Thesis is Consistent with Epistemic ArithmeticPublished by Elsevier BV ,1985
- Epistemic and Intuitionistic ArithmeticPublished by Elsevier BV ,1985
- Necessity predicates and operatorsJournal of Philosophical Logic, 1980
- The disjunction property implies the numerical existence propertyProceedings of the National Academy of Sciences of the United States of America, 1975
- Disjunction and existence under implication in elementary intuitionistic formalismsThe Journal of Symbolic Logic, 1962