- On the computational complexity of ethics: moral tractability for minds and machines.Jakob Stenseke - 2024 - Artificial Intelligence Review 57 (105):90.details
|
|
Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.details
|
|
On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscriptdetails
|
|
[Challenged by [challenged by [challenged by the Incompleteness Theorems]]] - a review of K. Godel, "Uber fromal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I", translated and commented by Susumu Hayashi and Mariko Yasugi , / Kazuyuki Tanaka, "Challenged by Godel".Sakaé Fuchino - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):63-80.details
|
|
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.details
|
|
Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscriptdetails
|
|
Generalizations of gödel’s incompleteness theorems for ∑ N-definable theories of arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2017 - Review of Symbolic Logic 10 (4):603-616.details
|
|
Minds, Machines and Gödel.John R. Lucas - 1961 - Philosophy 36 (137):112-127.details
|
|
On Teaching Critical Thinking1.Jim Mackenzie - 1991 - Educational Philosophy and Theory 23 (1):56-78.details
|
|
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.details
|
|
Gödel’s Incompleteness Phenomenon—Computationally.Saeed Salehi - 2014 - Philosophia Scientiae 18:23-37.details
|
|
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.details
|
|
Buttresses of the Turing Barrier.Paolo Cotogno - 2015 - Acta Analytica 30 (3):275-282.details
|
|
Maximally Consistent Sets of Instances of Naive Comprehension.Luca Incurvati & Julien Murzi - 2017 - Mind 126 (502).details
|
|
Index sets for< i> Π_< sup> 0< sub> 1 classes.Douglas Cenzer & Jeffrey Remmel - 1998 - Annals of Pure and Applied Logic 93 (1):3-61.details
|
|
Does Gödel's Incompleteness Theorem Prove that Truth Transcends Proof?Joseph Vidal-Rosset - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 51--73.details
|
|
Passive induction and a solution to a Paris–Wilkie open question.Dan E. Willard - 2007 - Annals of Pure and Applied Logic 146 (2-3):124-149.details
|
|
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.details
|
|
The Two Selves: Their Metaphysical Commitments and Functional Independence.Stan Klein - 2014 - Oxford University Press.details
|
|
Representing the knowledge of turing machines.Hyun Song Shin & Timothy Williamson - 1994 - Theory and Decision 37 (1):125-146.details
|
|
The Failure of Leibniz's Infinite Analysis view of Contingency.Joel Velasco - manuscriptdetails
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Misunderstanding gödel: New arguments about Wittgenstein and new remarks by Wittgenstein.Victor Rodych - 2003 - Dialectica 57 (3):279–313.details
|
|
Logic and limits of knowledge and truth.Patrick Grim - 1988 - Noûs 22 (3):341-367.details
|
|
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.details
|
|
Computing machines can't be intelligent (...And Turing said so).Peter Kugel - 2002 - Minds and Machines 12 (4):563-579.details
|
|
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.details
|
|
Aspects of the Real Numbers: Putnam, Wittgenstein, and Nonextensionalism.Juliet Floyd - 2020 - The Monist 103 (4):427-441.details
|
|
How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?Guillermo Badia, Petr Cintula, Petr Hajek & Andrew Tedder - forthcoming - Review of Symbolic Logic:1-18.details
|
|
On Rosser's provability predicates.Taishi Kurahashi - 2014 - Journal of the Japan Association for Philosophy of Science 41 (2):93-101.details
|
|
Solovay's theorem cannot be simplified.Andrew Arana - 2001 - Annals of Pure and Applied Logic 112 (1):27-41.details
|
|
The Transcendental Source of Logic by Way of Phenomenology.Stathis Livadas - 2018 - Axiomathes 28 (3):325-344.details
|
|
Misunderstanding Gödel: New Arguments about Wittgenstein and New Remarks by Wittgenstein.Victor Rodych - 2003 - Dialectica 57 (3):279-313.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.details
|
|
Index sets for Π01 classes.Douglas Cenzer & Jeffrey Remmel - 1998 - Annals of Pure and Applied Logic 93 (1-3):3-61.details
|
|
A generalization of the Second Incompleteness Theorem and some exceptions to it.Dan E. Willard - 2006 - Annals of Pure and Applied Logic 141 (3):472-496.details
|
|
Malament–Hogarth Machines and Tait’s Axiomatic Conception of Mathematics.Sharon Berry - 2014 - Erkenntnis 79 (4):893-907.details
|
|
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort. [REVIEW]Philippe de Rouilhan - 2012 - Logica Universalis 6 (3-4):553-586.details
|
|
The Limits of Human Mathematics.Nathan Salmon - 2001 - Noûs 35 (s15):93 - 117.details
|
|
The Gödelian Inferences.Curtis Franks - 2009 - History and Philosophy of Logic 30 (3):241-256.details
|
|
Self-reference and validity.Stephen Read - 1979 - Synthese 42 (2):265 - 274.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski.Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
On the diagonal lemma of Gödel and Carnap.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (1):80-88.details
|
|
On constructivity and the Rosser property: a closer look at some Gödelean proofs.Saeed Salehi & Payam Seraji - 2018 - Annals of Pure and Applied Logic 169 (10):971-980.details
|
|
Uniform Density in Lindenbaum Algebras.V. Yu Shavrukov & Albert Visser - 2014 - Notre Dame Journal of Formal Logic 55 (4):569-582.details
|
|
On teaching critical thinking.Jim Mackenzie - 1991 - Educational Philosophy and Theory 23 (1):56–78.details
|
|
What is Intuitionistic Arithmetic?V. Alexis Peluce - forthcoming - Erkenntnis:1-26.details
|
|
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.details
|
|
Gödel’s second incompleteness theorem: How it is derived and what it delivers.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (3-4):241-256.details
|
|