- A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.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
|
|
The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
Formalizations après la lettre: Studies in Medieval Logic and Semantics.Catarina Dutilh Novaes - 2006 - Dissertation, Leiden Universitydetails
|
|
Rereading Tarski on logical consequence.Mario Gómez-Torrente - 2009 - Review of Symbolic Logic 2 (2):249-297.details
|
|
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
The slingshot argument and the correspondence theory of truth.James O. Young - 2002 - Acta Analytica 17 (2):121-132.details
|
|
Concepts and recipes.Pavel Materna - 2009 - Acta Analytica 24 (1):69-90.details
|
|
Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.details
|
|
Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
Definitions.Anil Gupta - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Identity, indiscernibility, and philosophical claims.Décio Krause & Antonio Mariano Nogueira Coelho - 2005 - Axiomathes 15 (2):191-210.details
|
|
Operators in the paradox of the knower.Patrick Grim - 1993 - Synthese 94 (3):409 - 428.details
|
|
Conceptual realism versus Quine on classes and higher-order logic.Nino B. Cocchiarella - 1992 - Synthese 90 (3):379 - 436.details
|
|
A note on the so-called yes-no experiments and the foundations of quantum mechanics.Øistein Bjørnestad - 1974 - Synthese 29 (1-4):243 - 253.details
|
|
On a significance theory.R. Routley - 1966 - Australasian Journal of Philosophy 44 (2):172 – 209.details
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
Plural descriptions and many-valued functions.Alex Oliver & Timothy Smiley - 2005 - Mind 114 (456):1039-1068.details
|
|
The Logical Basis of the Tractarian Ontology.Natan Berber - 2007 - Axiomathes 17 (2):185-196.details
|
|
On maximal intermediate predicate constructive logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.details
|
|
Gottlob Frege, one more time.Claude Imbert & tr Bontea, Adriana - 2000 - Hypatia 15 (4):156-173.details
|
|
Computation is just interpretable symbol manipulation; cognition isn't.Stevan Harnad - 1994 - Minds and Machines 4 (4):379-90.details
|
|
Materialism and qualia: The explanatory gap.Joseph Levine - 1983 - Pacific Philosophical Quarterly 64 (October):354-61.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Wave-Particle Duality and the Objectiveness of “True” and “False”.Arkady Bolotin - 2021 - Foundations of Physics 51 (4):1-27.details
|
|
La teoría del silogismo simpliciter en las Refutaciones Sofísticas de Aristóteles.Gonzalo Llach Villalobos - 2020 - Dissertation, Pontifical Catholic University of Chiledetails
|
|
Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments.Jeff Buechner - 2020 - Studia Semiotyczne 34 (1):109-158.details
|
|
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.details
|
|
Discussions on physics, metaphysics and metametaphysics: Interpreting quantum mechanics.Raoni Wohnrath Arroyo - 2020 - Dissertation, Federal University of Santa Catarinadetails
|
|
Doxastic logic: a new approach.Daniel Rönnedal - 2018 - Journal of Applied Non-Classical Logics 28 (4):313-347.details
|
|
Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.details
|
|
Meaning and Interpretation. II.Urszula Wybraniec-Skardowska - 2007 - Studia Logica 85 (2):261-274.details
|
|
LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - manuscriptdetails
|
|
Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.details
|
|
The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.details
|
|
An Interpretation of Łukasiewicz’s 4-Valued Modal Logic.José M. Méndez, Gemma Robles & Francisco Salto - 2016 - Journal of Philosophical Logic 45 (1):73-87.details
|
|
Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.details
|
|
Subordinating Truth – Is Acceptability Acceptable?George Boger - 2005 - Argumentation 19 (2):187-238.details
|
|
El principio fregeano del contexto en Die Grundlagen Der Arithmetik: Una revisión a la interpretación de Dummett.María Gabriela Fulugonio - 2008 - Análisis Filosófico 28 (2):205-238.details
|
|
Simple Concepts.Pavel Materna - 2013 - Acta Analytica 28 (3):295-319.details
|
|
Branching in the landscape of possibilities.Thomas Müller - 2012 - Synthese 188 (1):41-65.details
|
|
On Jaśkowski's Discussive Logics.Newton C. A. da Costa & Francisco A. Doria - 1995 - Studia Logica 54 (1):33 - 60.details
|
|
Frege on identity, cognitive value, and subject matter.John Perry - 2019 - In Studies in language and information. Stanford, California: Center for the Study of Language and Information.details
|
|
Time and Subjective Facts: Readings in From Brain to Cosmos.Mark F. Sharlow - manuscriptdetails
|
|
Completeness and Hauptsatz for second order logic.Dag Prawitz - 1967 - Theoria 33 (3):246-258.details
|
|
A critical appraisal of second-order logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.details
|
|