- On teaching critical thinking.Jim Mackenzie - 1991 - Educational Philosophy and Theory 23 (1):56–78.details
|
|
The subjunctive conditional as relevant implication.John Bacon - 1971 - Philosophia 1 (1-2):61-80.details
|
|
Turing and Von Neumann: From Logic to the Computer.B. Jack Copeland & Zhao Fan - 2023 - Philosophies 8 (2):22.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
|
|
XV—On Consistency and Existence in Mathematics.Walter Dean - 2021 - Proceedings of the Aristotelian Society 120 (3):349-393.details
|
|
Machine intelligence: a chimera.Mihai Nadin - 2019 - AI and Society 34 (2):215-242.details
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
Computable Diagonalizations and Turing’s Cardinality Paradox.Dale Jacquette - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (2):239-262.details
|
|
Experimental research in whole brain emulation: The need for innovativein vivomeasurement techniques.Randal A. Koene - 2012 - International Journal of Machine Consciousness 4 (01):35-65.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
|
|
Logic and the complexity of reasoning.Hector J. Levesque - 1988 - Journal of Philosophical Logic 17 (4):355 - 389.details
|
|
The ethical foundations of behavior therapy.Richard F. Kitchener - 1991 - Ethics and Behavior 1 (4):221 – 238.details
|
|
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.details
|
|
Calculizing Classical Inferential Erotetic Logic.Moritz Cordes - 2020 - Review of Symbolic Logic 14 (4):1066-1087.details
|
|
Evaluating the explanatory power of the Conscious Turing Machine.Asger Kirkeby-Hinrup, Jakob Stenseke & Morten S. Overgaard - 2024 - Consciousness and Cognition 124 (C):103736.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
|
|
Kan maskiner få generell intelligens? En kritisk drøfting av Landgrebe og Smiths bok Why Machines Will Never Rule the World.Atle Ottesen Søvik - 2023 - Norsk Filosofisk Tidsskrift 58 (2-3):141-152.details
|
|
On the Digital Ocean.Sarah Pourciau - 2022 - Critical Inquiry 48 (2):233-261.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
|
|
Variations on the Kripke Trick.Mikhail Rybakov & Dmitry Shkatov - forthcoming - Studia Logica:1-48.details
|
|
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness.Mikhail Rybakov - forthcoming - Logic Journal of the IGPL.details
|
|
Gödel, Turing and the Iconic/Performative Axis.Juliette Cara Kennedy - 2022 - Philosophies 7 (6):141.details
|
|
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter.Mikhail Rybakov & Dmitry Shkatov - 2018 - Studia Logica 107 (4):695-717.details
|
|
Does changing the subject from A to B really provide an enlarged understanding of A?John Woods - 2016 - Logic Journal of the IGPL 24 (4).details
|
|
On A. A. Markov's Attitude towards Brouwer's Intuitionism.Ioannis M. Vandoulakis - 2015 - Philosophia Scientiae 19:143-158.details
|
|
An Undecidability Result in the Theory of Relevant Implication.Robert K. Meyer - 1968 - Mathematical Logic Quarterly 14 (13-17):255-262.details
|
|
(1 other version)Completeness and partial soundness results for intersection and union typing for λ ¯ μ μ ̃.Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.details
|
|
(1 other version)Completeness and partial soundness results for intersection and union typing for http://ars. els-cdn. com/content/image/http://origin-ars. els-cdn. com/content/image/1-s2. 0-S0168007210000515-si1. gif"/>. [REVIEW]Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.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 Internal Logic and Finite Colimits.William Troiani - 2024 - Logica Universalis 18 (3):315-354.details
|
|
Turing, Wittgenstein and the science of the mind.Diane Proudfoot & Jack Copeland - 1994 - Australasian Journal of Philosophy 72:497-519.details
|
|
Undecidability of the Logic of Partial Quasiary Predicates.Mikhail Rybakov & Dmitry Shkatov - 2022 - Logic Journal of the IGPL 30 (3):519-533.details
|
|
Decidable Fragments of the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - 2024 - Review of Symbolic Logic 17 (3):736-761.details
|
|
Is Relativism Self‐Refuting?John Weckert - 1984 - Educational Philosophy and Theory 16 (2):29-42.details
|
|
Second-order propositional modal logic: Expressiveness and completeness results.Francesco Belardinelli, Wiebe van der Hoek & Louwe B. Kuijer - 2018 - Artificial Intelligence 263 (C):3-45.details
|
|
Syntactic structure and semantical reference I.Roman Suszko - 1958 - Studia Logica 8 (1):213 - 247.details
|
|
Alexandre Koyré im “Mekka der Mathematik”.Paola Zambelli - 1999 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 7 (1):208-230.details
|
|