- Almost Ideal: Computational Epistemology and the Limits of Rationality for Finite Reasoners.Danilo Fraga Dantas - 2016 - Dissertation, University of California, Davisdetails
|
|
Ideal Reasoners don’t Believe in Zombies.Danilo Fraga Dantas - 2017 - Principia: An International Journal of Epistemology 21 (1):41-59.details
|
|
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.details
|
|
Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.details
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science.Liesbeth De Mol & Giuseppe Primiero - 2015 - History and Philosophy of Logic 36 (3):195-204.details
|
|
Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.details
|
|
Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.details
|
|
The scientific induction problem: A case for case studies.K. Anders Ericsson - 1987 - Behavioral and Brain Sciences 10 (3):480-481.details
|
|
Would Leibniz have shared von Neumann's logical physicalism?Witold Marciszewski - 1995 - Logic and Logical Philosophy 3:115-128.details
|
|
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).details
|
|
Turing Test, Chinese Room Argument, Symbol Grounding Problem. Meanings in Artificial Agents (APA 2013).Christophe Menant - 2013 - American Philosophical Association Newsletter on Philosophy and Computers 13 (1):30-34.details
|
|
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.details
|
|
Turing and the Serendipitous Discovery of the Modern Computer.Aurea Anguera de Sojo, Juan Ares, Juan A. Lara, David Lizcano, María A. Martínez & Juan Pazos - 2013 - Foundations of Science 18 (3):545-557.details
|
|
The Philosophy of Generative Linguistics.Peter Ludlow - 2011 - Oxford, GB: Oxford University Press.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Mitä uutta modernissa logiikassa?Panu Raatikainen - 2004 - In Raatikainen Panu (ed.), Filosofisia tutkielmia – Philosophical Studies in honorem Leila Haaparanta. Tampere University Press.details
|
|
Notes on the.Nuel Belnap - unknowndetails
|
|
Turing machines.David Barker-Plummer - 2008 - Stanford Encyclopedia of Philosophy.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
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.details
|
|
On Content.Nathan Salmon - 1992 - Mind 101 (404):733-751.details
|
|
Pattern and chaos: New images in the semantics of paradox.Gary Mar & Patrick Grim - 1991 - Noûs 25 (5):659-693.details
|
|
On the unusual effectiveness of logic in computer science.Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu - 2001 - Bulletin of Symbolic Logic 7 (2):213-236.details
|
|
Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.details
|
|
On the possibility of completing an infinite process.Charles S. Chihara - 1965 - Philosophical Review 74 (1):74-87.details
|
|
Massively parallel distributed processing and a computationalist foundation for cognitive science.Albert E. Lyngzeidetson - 1990 - British Journal for the Philosophy of Science 41 (March):121-127.details
|
|
A Syntactic Proof of the Decidability of First-Order Monadic Logic.Eugenio Orlandelli & Matteo Tesi - 2024 - Bulletin of the Section of Logic 53 (2):223-244.details
|
|
The Internal Logic and Finite Colimits.William Troiani - forthcoming - Logica Universalis:1-40.details
|
|
Introduction to the Routledge Handbook of Propositions.Adam Russell Murray & Chris Tillman - 2022 - In Chris Tillman & Adam Murray (eds.), The Routledge Handbook of Propositions. Routledge.details
|
|
Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvaindetails
|
|
Why Machines Will Never Rule the World: Artificial Intelligence without Fear.Jobst Landgrebe & Barry Smith - 2022 - Abingdon, England: Routledge.details
|
|
The Expressive Power of the N_-Operator and the Decidability of Logic in Wittgenstein’s _Tractatus.Rodrigo Sabadin Ferreira - 2023 - History and Philosophy of Logic 44 (1):33-53.details
|
|
The Normativity of Logic in a Psychologistic Framework: Three Approaches.Simone Melis - 2021 - Dissertation, University of Turindetails
|
|
Self-reference and Chaos in Fuzzy Logic.Patrick Grim - 1993 - IEEE Transactions on Fuzzy Systems 1:237-253.details
|
|
A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory.Vasil Penchev - 2020 - Information Theory and Research eJournal 1 (15):1-13.details
|
|
Representation and Reality by Language: How to make a home quantum computer?Vasil Penchev - 2020 - Philosophy of Science eJournal (Elsevier: SSRN) 13 (34):1-14.details
|
|
Logical Omnipotence and Two notions of Implicit Belief.Danilo Fraga Dantas - 2019 - In Tiegue Vieira Rodrigues (ed.), Epistemologia Analítica: Debates Contemporâneos. Porto Alegre: Editora Fi. pp. 29-46.details
|
|
Epistemologia Analítica, Vol .1: debates contemporâneos.Tiegue Vieira Rodrigues (ed.) - 2019 - Editora Fi.details
|
|
Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.details
|
|
Sets, Logic, Computation: An Open Introduction to Metalogic.Richard Zach - 2021 - Open Logic Project.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
|
|
Machine intelligence: a chimera.Mihai Nadin - 2019 - AI and Society 34 (2):215-242.details
|
|
Symbioses between mathematical logic and computer science.Andreas Blass - 2016 - Annals of Pure and Applied Logic 167 (10):868-878.details
|
|
Generality and applications.Jill H. Larkin - 1987 - Behavioral and Brain Sciences 10 (3):486-487.details
|
|
2011 North American Annual Meeting of the Association for Symbolic Logic.Itay Neeman - 2012 - Bulletin of Symbolic Logic 18 (2):275-305.details
|
|
Fundamentals of whole brain emulation: State, transition and update representations.Randal A. Koene - 2012 - International Journal of Machine Consciousness 4 (01):5-21.details
|
|
Entscheidungsproblem.A. M. Turing - unknowndetails
|
|
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.details
|
|