- Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
What's in a function?Gian Aldo Antonelli - 1996 - Synthese 107 (2):167 - 204.details
|
|
Turing: The Great Unknown.Aurea Anguera, Juan A. Lara, David Lizcano, María-Aurora Martínez, Juan Pazos & F. David de la Peña - 2020 - Foundations of Science 25 (4):1203-1225.details
|
|
From epistemology toGnoseology: Foundations of the knowledge industry. [REVIEW]F. Alonso-Amo, J. L. Maté, J. L. Morant & J. Pazos - 1992 - AI and Society 6 (2):140-165.details
|
|
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
|
|
Hilbert's axiomatic method and Carnap's general axiomatics.Michael Stöltzner - 2015 - Studies in History and Philosophy of Science Part A 53:12-22.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
On the computational complexity of ethics: moral tractability for minds and machines.Jakob Stenseke - 2024 - Artificial Intelligence Review 57 (105):90.details
|
|
Maximen V / Maxims V.Kurt Gödel - 2023 - De Gruyter.details
|
|
Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.details
|
|
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.details
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
‘The Action of the Brain’. Machine Models and Adaptive Functions in Turing and Ashby.Hajo Greif - 2017 - In Vincent C. Müller (ed.), Philosophy and theory of artificial intelligence 2017. Berlin: Springer. pp. 24-35.details
|
|
Thought, Sign and Machine - the Idea of the Computer Reconsidered.Niels Ole Finnemann - 1999 - Copenhagen: Danish Original: Akademisk Forlag 1994. Tanke, Sprog og Maskine..details
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Отвъд машината на Тюринг: квантовият компютър.Vasil Penchev - 2014 - Sofia: BAS: ISSK (IPS).details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Alfred Tarski and the "Concept of Truth in Formalized Languages": A Running Commentary with Consideration of the Polish Original and the German Translation.Monika Gruber - 2016 - Cham, Switzerland: Springer Verlag.details
|
|
Philosophy and theory of artificial intelligence 2017.Vincent C. Müller (ed.) - 2017 - Berlin: Springer.details
|
|
Pragmatic a Priori Knowledge: A Pragmatic Approach to the Nature and Object of What Can Be Known Independently of Experience.Lauri Järvilehto - 2011 - Jyväskylä University Printing House.details
|
|
Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.details
|
|
Further Reflections on Sentences Saying of Themselves Strange Things.Elia Zardini - 2017 - Logic and Logical Philosophy 26 (4):563-581.details
|
|
Beyond Simon’s Means-Ends Analysis: Natural Creativity and the Unanswered ‘Why’ in the Design of Intelligent Systems for Problem-Solving. [REVIEW]Dongming Xu - 2010 - Minds and Machines 20 (3):327-347.details
|
|
Theories, theoretical models, truth.Ryszard Wójcicki - 1995 - Foundations of Science 1 (4):337-406.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
|
|
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
|
|
Phase transitions for Gödel incompleteness.Andreas Weiermann - 2009 - Annals of Pure and Applied Logic 157 (2-3):281-296.details
|
|
Ontology, Set Theory, and the Paraphrase Challenge.Jared Warren - 2021 - Journal of Philosophical Logic 50 (6):1231-1248.details
|
|
The problem of reductionism from a system theoretical viewpoint.Walter Lucadou & Klaus Kornwachs - 1983 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 14 (2):338-349.details
|
|
Delegated Causality of Complex Systems.Raimundas Vidunas - 2019 - Axiomathes 29 (1):81-97.details
|
|
Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.Peter Verdée - 2013 - Foundations of Science 18 (4):655-680.details
|
|
Logic and the Self: After Certain Crises in Western Thought.Bas C. van Fraassen - 2011 - Diogenes 58 (4):21-29.details
|
|
To Know them, Remove their Information: An Outer Methodological Approach to Biophysics and Humanities.Arturo Tozzi - 2022 - Philosophia 51 (2):977-1005.details
|
|
From physics to metaphysics.Roberto Torretti - 1997 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 28 (2):291-298.details
|
|
The Common Logic of Quantum Universe—Part I: The Case of Non-relativistic Quantum Mechanics.Massimo Tessarotto & Claudio Cremaschini - 2022 - Foundations of Physics 52 (1):1-38.details
|
|
The Common Logic of Quantum Universe—Part II: The Case of Quantum Gravity.Massimo Tessarotto & Claudio Cremaschini - 2022 - Foundations of Physics 52 (2):1-37.details
|
|
Some recent essays in the history of the philosophy of mathematics: A critical review. [REVIEW]William W. Tait - 1993 - Synthese 96 (2):293 - 331.details
|
|
The Abstraction/Representation Account of Computation and Subjective Experience.Jochen Szangolies - 2020 - Minds and Machines 30 (2):259-299.details
|
|
Self-Reference, Self-Representation, and the Logic of Intentionality.Jochen Szangolies - 2023 - Erkenntnis 88 (6):2561-2590.details
|
|
Epistemic Horizons and the Foundations of Quantum Mechanics.Jochen Szangolies - 2018 - Foundations of Physics 48 (12):1669-1697.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
The importance of nonexistent objects and of intensionality in mathematics.Richard Sylvan - 2003 - Philosophia Mathematica 11 (1):20-52.details
|
|
Analogues of quantum complementarity in the theory of automata.K. Svozil - 1998 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 29 (1):61-80.details
|
|
Analogues of quantum complementarity in the theory of automata.K. Svozil - 1998 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 29 (1):61-80.details
|
|
The transfer principle.Yoshindo Suzuki - 1985 - British Journal for the Philosophy of Science 36 (1):61-66.details
|
|
Summa de Veritate Hamburgensis: Truth According to Wolfgang Künne.Göran Sundholm - 2008 - Dialectica 62 (3):359-371.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Informational Worldview. Scientific Foundations, and Philosophical Perspectives.Paweł Stacewicz - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):35-47.details
|
|
Computation and hypercomputation.Mike Stannett - 2003 - Minds and Machines 13 (1):115-153.details
|
|