- Formal and informal consequence.Owen Griffiths - 2014 - Thought: A Journal of Philosophy 3 (1):9-20.details
|
|
Keeping semantics pure.Dominic Gregory - 2005 - Noûs 39 (3):505–528.details
|
|
Logical truth and tarskian logical truth.Mario Gómez-Torrente - 1998 - Synthese 117 (3):375-408.details
|
|
A note on formality and logical consequence.Mario Gómez-Torrente - 2000 - Journal of Philosophical Logic 29 (5):529-539.details
|
|
Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.details
|
|
What is the correct logic of necessity, actuality and apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.details
|
|
First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.details
|
|
Two Unpublished Contributions by Alfred Tarski.Francisco Rodriguez-Consuegra - 2007 - History and Philosophy of Logic 28 (3):257-264.details
|
|
Untyped Pluralism.Salvatore Florio - 2014 - Mind 123 (490):317-337.details
|
|
Unrestricted Quantification.Salvatore Florio - 2014 - Philosophy Compass 9 (7):441-454.details
|
|
Critical Plural Logic.Salvatore Florio & Øystein Linnebo - 2020 - Philosophia Mathematica 28 (2):172-203.details
|
|
Brouwer’s Weak Counterexamples and the Creative Subject: A Critical Survey.Peter Fletcher - 2020 - Journal of Philosophical Logic 49 (6):1111-1157.details
|
|
Another Look at Reflection.Martin Fischer - 2021 - Erkenntnis 88 (2):479-509.details
|
|
Truth and the Unprovability of Consistency.H. Field - 2006 - Mind 115 (459):567-606.details
|
|
Metalogic and modality.Hartry Field - 1991 - Philosophical Studies 62 (1):1 - 22.details
|
|
On the Notion of Object. A Logical Genealogy.Fernando Ferreira - 2012 - Disputatio 4 (34):609-624.details
|
|
The Bicameral Postulates and Indices of a Priori Voting Power.Dan S. Felsenthal, Moshé Machover & William Zwicker - 1998 - Theory and Decision 44 (1):83-116.details
|
|
The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.details
|
|
A Measurement Theoretic Account of Propositions.Eli Dresner - 2006 - Synthese 153 (1):1-22.details
|
|
Remarks on Levy's reflection axiom.Martin Dowd - 1993 - Mathematical Logic Quarterly 39 (1):79-95.details
|
|
Can the constructive empiricist be a nominalist? Quasi-truth, commitment and consistency.Paul Dicken - 2006 - Studies in History and Philosophy of Science Part A 37 (2):191-209.details
|
|
Truth and Proof without Models: A Development and Justification of the Truth-valuational Approach (2nd edition).Hanoch Ben-Yami - manuscriptdetails
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Semantics and the Justification of Deductive Inference.Ebba Gullberg & Sten Lindström - 2007 - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz.details
|
|
Logical Consequence and Logical Expressions.Mario Gómez-Torrente - 2003 - Theoria 18 (2):131-144.details
|
|
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Quantifiers and Quantification.Gabriel Uzquiano - 2014 - Stanford Encyclopedia of Philosophy.details
|
|
Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Logical Truth.Mario Gomez-Torrente - 2014 - Stanford Encyclopedia of Philosophy.details
|
|
Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.details
|
|
Prior on the logic and the metaphysics of time.Roberta Ballarin - 2007 - Logique Et Analyse 199:317-334.details
|
|
Sophisticated knowledge representation and reasoning requires philosophy.Selmer Bringsjord, Micah Clark & Joshua Taylor - forthcoming - In Ruth Hagengruber (ed.), Philosophy's Relevance in Information Science.details
|
|
On the imaginative constructivist nature of design: a theoretical approach.Akin Osman Kazakci - unknowndetails
|
|
A Completenesss Theorem for a 3-Valued Semantics for a First-order Language.Christopher Gauker - manuscriptdetails
|
|
In Defense of the Unprovability of the Church-Turing Thesis.Selmer Bringsjord - unknowndetails
|
|
Expresabilidad, validez y recursos lógicos.Eduardo Alejandro Barrio - 2014 - Critica 46 (138):3-36.details
|
|
Two concepts of validity and completeness.Jaroslav Peregrin - unknowndetails
|
|
Semantics and the Plural Conception of Reality.Salvatore Florio - 2014 - Philosophers' Imprint 14:1-20.details
|
|
Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics and Language. (Synthese Library vol 373). Springer. pp. 367-387.details
|
|
Quantificational Logic and Empty Names.Andrew Bacon - 2013 - Philosophers' Imprint 13.details
|
|
La herencia oscura del logicismo.José Ferreirós - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):19--30.details
|
|
All the mathematics in the world: logical validity and classical set theory.David Charles McCarty - 2017 - Philosophical Problems in Science 63:5-29.details
|
|
Semantics for Deflationists.Christopher Gauker - 2005 - In J. C. Beall & Bradley Armour-Garb (eds.), Deflationism and Paradox. Oxford University Press.details
|
|
Beyond Plurals.Agust\’in Rayo - 2006 - In Agust\’in Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. pp. 220--54.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.details
|
|
The Metaphysical Basis of Logic.Michaela McSweeney - 2016 - Dissertation, Princeton Universitydetails
|
|
An exposition and development of Kanger's early semantics for modal logic.Sten Lindström - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its origins. Kluwer Academic Publishers.details
|
|
Aristotle's Theory of the Assertoric Syllogism.Stephen Read - manuscriptdetails
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161.details
|
|
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.details
|
|