 Putting the ‘Experiment’ back into the ‘Thought Experiment’.Lorenzo Sartori  2023  Synthese 201 (2):136.details


Disagreement, progress, and the goal of philosophy.Arnon Keren  2023  Synthese 201 (2):122.details


Logic and discrete mathematics: a concise introduction.Willem Conradie  2015  Hoboken, NJ, USA: Wiley. Edited by Valentin Goranko.details


(1 other version)Empirical Concepts: Their Meaning and its Emergence.Hans Radder  2023  Axiomathes 33 (1):123.details


Language and reference.Babu Thaliath  2019  Sophia, Colección de Filosofía de la Educación 27 (2):139164.details


Against Methodological Continuity and Metaphysical Knowledge.Simon Allzén  2023  European Journal for Philosophy of Science 13 (1):120.details


(1 other version)Knowledge as Justified True Belief.Job de Grefte  2021  Erkenntnis (2):119.details


Axiomatic Set Theory. [REVIEW]Patrick Suppes  1962  Philosophical Review 71 (2):268269.details


The Problematic Nature of Gödel’s Disjunctions and LucasPenrose’s Theses.Arnon Avron  2020  Studia Semiotyczne 34 (1):83108.details


A Note on the Lucas Argument.Rudy Rucker  2020  Studia Semiotyczne 34 (1):8182.details


Evidence, Proofs, and Derivations.Andrew Aberdein  2019  ZDM 51 (5):825834.details


Carnap’s Defense of Impredicative Definitions.Vera Flocke  2019  Review of Symbolic Logic 12 (2):372404.details


Do Goedel's incompleteness theorems set absolute limits on the ability of the brain to express and communicate mental concepts verifiably?Bhupinder Singh Anand  2004  Neuroquantology 2:60100.details


What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks  manuscriptdetails


(1 other version)A Note on Wittgenstein’s “Notorious Paragraph” About the Gödel Theorem.Juliet Floyd & Hilary Putnam  2000  Journal of Philosophy 97 (11):624632.details


A Constructionist Philosophy of Logic.Patrick Allo  2017  Minds and Machines 27 (3):545564.details


Paradox without SelfReference.Stephen Yablo  1993  Analysis 53 (4):251252.details


(3 other versions)Tractatus LogicoPhilosophicus.Ludwig Wittgenstein  1956  Revista Portuguesa de Filosofia 12 (1):109110.details


On What There Is.Willard Van Orman Quine  1948  Review of Metaphysics 2 (5):2138.details


Particles and Paradoxes: The Limits of Quantum Logic.Peter Gibbins  1987  New York: Cambridge University Press.details


(1 other version)Philosophy of Logic.Hilary Putnam  1971  New York, NY, USA: Routledge.details


(2 other versions)An Introduction to Gödel's Theorems.Peter Smith  2007  New York: Cambridge University Press.details


Using Mathematics to Explain a Scientific Theory.Michèle Friend & Daniele Molinini  2016  Philosophia Mathematica 24 (2):185213.details


How Woodin changed his mind: new thoughts on the Continuum Hypothesis.Colin J. Rittberg  2015  Archive for History of Exact Sciences 69 (2):125151.details


Einstein and the Poet: In Search of the Cosmic Man.William Hermanns & Albert Einstein  1983  Branden Books.details


Arithmetization of Metamathematics in a General Setting.Solomon Feferman  1960  Journal of Symbolic Logic 31 (2):269270.details


An Unsolvable Problem of Elementary Number Theory.Alonzo Church  1936  Journal of Symbolic Logic 1 (2):7374.details


Rationality and Logic.Robert Hanna  2006  Bradford.details


Does Gödel's Incompleteness Theorem Prove that Truth Transcends Proof?Joseph VidalRosset  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. 5173.details


Functional interpretations of feasibly constructive arithmetic.Stephen Cook & Alasdair Urquhart  1993  Annals of Pure and Applied Logic 63 (2):103200.details


(1 other version)On the Einstein Podolsky Rosen paradox.J. S. Bell  2004  In John Stewart Bell (ed.), Speakable and unspeakable in quantum mechanics: collected papers on quantum philosophy. New York: Cambridge University Press. pp. 1421.details


Models of Peano Arithmetic.Richard Kaye  1991  Clarendon Press.details


On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing  1936  Proceedings of the London Mathematical Society 42 (1):230265.details


The ChurchTuring ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke  2013  In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.details


(1 other version)Information without truth.Andrea Scarantino & Gualtiero Piccinini  2010  Metaphilosophy 41 (3):313330.details


(4 other versions)The logical syntax of language.Rudolf Carnap  1937  London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.details


The logical systems of Lesniewski.Eugene C. Luschei  1962  Amsterdam,: NorthHolland Pub. Co..details


(1 other version)Introduction to mathematical logic.Elliott Mendelson  1964  Princeton, N.J.,: Van Nostrand.details


Mathematical logic.Joseph Robert Shoenfield  1967  Reading, Mass.,: AddisonWesley.details


Metamathematics of FirstOrder Arithmetic.Petr Hajek & Pavel Pudlak  1998  Springer Verlag.details


Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski  1935  Studia Philosophica 1:261405.details


The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.)  1965  Hewlett, NY, USA: Dover Publication.details


Insights of genius: imagery and creativity in science and art.Arthur I. Miller  1996  Cambridge: MIT Press.details


(2 other versions)Physics and philosophy: the revolution in modern science.Werner Heisenberg  1958  Amherst, N.Y.: Prometheus Books.details


Impossibility: the limits of science and the science of limits.John D. Barrow  1998  New York: Oxford University Press.details


What is Mathematics, Really?Reuben Hersh  1997  New York: Oxford University Press.details


The description of nature: Niels Bohr and the philosophy of quantum physics.John Honner  1987  New York: Oxford University Press. Edited by Niels Bohr.details


Theory of recursive functions and effective computability.Hartley Rogers  1987  Cambridge: MIT Press.details


(1 other version)Discussion with Einstein on Epistemological Problems in Atomic Physics.Niels Bohr  1949  In Paul Arthur Schilpp (ed.), The Library of Living Philosophers, Volume 7. Albert Einstein: PhilosopherScientist. Open Court. pp. 199241.details


Conceptions of truth in intuitionism.Panu Raatikainen  2004  History and Philosophy of Logic 25 (2):13145.details

