- The Role of Reconstruction in the Elucidation of Quantum Theory.Philip Goya - 2023 - In Philipp Berghofer & Harald A. Wiltsche (eds.), Phenomenology and Qbism: New Approaches to Quantum Mechanics. New York, NY: Routledge.details
|
|
Illustration.[author unknown] - 2005 - Rue Descartes 47:114-114.details
|
|
Illustration.[author unknown] - 2003 - Rue Descartes 39:100-100.details
|
|
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.details
|
|
A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.details
|
|
The incompleteness theorems.Smoryński Craig - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 822--865.details
|
|
Knowledge as Justified True Belief.Job de Grefte - 2021 - Erkenntnis (2):1-19.details
|
|
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.details
|
|
Functional interpretations of feasibly constructive arithmetic.Stephen Cook & Alasdair Urquhart - 1993 - Annals of Pure and Applied Logic 63 (2):103-200.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
Gödel’s Incompleteness Theorem and the Anti-Mechanist Argument: Revisited.Yong Cheng - 2020 - Studia Semiotyczne 34 (1):159-182.details
|
|
The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.details
|
|
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.details
|
|
Causality and complementarity.Niels Bohr - 1937 - Philosophy of Science 4 (3):289-298.details
|
|
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..details
|
|
Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.details
|
|
Incompleteness in a general setting.John L. Bell - 2007 - Bulletin of Symbolic Logic 13 (1):21-30.details
|
|
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. 14--21.details
|
|
Approximate Truth and Descriptive Nesting.Jeffrey Alan Barrett - 2008 - Erkenntnis 68 (2):213-224.details
|
|
The Problematic Nature of Gödel’s Disjunctions and Lucas-Penrose’s Theses.Arnon Avron - 2020 - Studia Semiotyczne 34 (1):83-108.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
Against Methodological Continuity and Metaphysical Knowledge.Simon Allzén - 2023 - European Journal for Philosophy of Science 13 (1):1-20.details
|
|
A Constructionist Philosophy of Logic.Patrick Allo - 2017 - Minds and Machines 27 (3):545-564.details
|
|
A course on mathematical logic.Shashi Mohan Srivastava - 2013 - New York: Springer.details
|
|
Logic and discrete mathematics: a concise introduction.Willem Conradie - 2015 - Hoboken, NJ, USA: Wiley. Edited by Valentin Goranko.details
|
|
Time Capsule.[author unknown] - 1997 - Business Ethics: The Magazine of Corporate Responsibility 11 (4):4-4.details
|
|
Disagreement, progress, and the goal of philosophy.Arnon Keren - 2023 - Synthese 201 (2):1-22.details
|
|
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
The Church-Turing ‘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
|
|
The Hilbert-Brouwer Controversy Resolved?Per Martin-Löf - 2008 - In ¸ Itevanatten2008. North Holland. pp. 243-256.details
|
|
On the principle of the excluded middle.Andrei Kolomogorov - 1925 - In ¸ Itevanheijenoort1967. Harvard University Press. pp. 416-437.details
|
|
Mysticism and Mathematics: Brouwer, Gödel, and the Common Core Thesis.Robert Tragesser, Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.details
|
|
Impossibility: the limits of science and the science of limits.John D. Barrow - 1998 - New York: Oxford University Press.details
|
|
Physics and philosophy: the revolution in modern science.Werner Heisenberg - 1958 - Amherst, N.Y.: Prometheus Books.details
|
|
The logical foundations of scientific theories. Languages, Structures, and Models.Decio Krause & Jonas R. B. Arenhart - 2016 - Nova Iorque, NY, EUA: Routledge. Edited by Becker Arenhart & R. Jonas.details
|
|
The logical systems of Lesniewski.Eugene C. Luschei - 1962 - Amsterdam,: North-Holland Pub. Co..details
|
|
A survey of mathematical logic.Hao Wang - 1963 - Amsterdam: North-Holland Publishing Company.details
|
|
Mathematical logic and the foundations of mathematics: an introductory survey.G. T. Kneebone - 1963 - Mineola, N.Y.: Dover Publications.details
|
|
Elements of mathematical logic.Peter Sergeevich Novikov - 1964 - Reading, Mass.,: Addison-Wesley.details
|
|
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
The Structure of Models of Peano Arithmetic.Roman Kossak & James Schmerl - 2006 - Oxford, England: Clarendon Press.details
|
|
Progress in art.Suzi Gablik - 1976 - New York: Rizzoli.details
|
|
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.details
|
|
Natural Law, the modeling relation, and two roots of perspectivism.Markus Mikael Weckström - 2023 - Synthese 201 (3):1-35.details
|
|
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.details
|
|
Meeting on Neutral Ground. A Reflection on Man-Machine Contests.Albert Visser - 2020 - Studia Semiotyczne 34 (1):279-294.details
|
|
On the Conceptuality Interpretation of Quantum and Relativity Theories.Tomas Veloz, Sandro Sozzo, Massimiliano Sassoli de Bianchi & Diederik Aerts - 2020 - Foundations of Science 25 (1):5-54.details
|
|
The Faithfulness Problem.Mario Bacelar Valente - 2022 - Principia: An International Journal of Epistemology 26 (3):429-447.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Gödel's Incompleteness Theorems.Raymond Smullyan - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 72–89.details
|
|