- Standard Formalization.Jeffrey Ketland - 2022 - Axiomathes 32 (3):711-748.details
|
|
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.details
|
|
Against ‘Interpretation’: Quantum Mechanics Beyond Syntax and Semantics.Raoni Wohnrath Arroyo & Gilson Olegario da Silva - 2022 - Axiomathes 32 (6):1243-1279.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.details
|
|
Gödelova věta a relace logického důsledku.Jaroslav Zouhar - 2010 - Teorie Vědy / Theory of Science 32 (1):59-95.details
|
|
The inscrutability of reference.Robert Williams - 2005 - Dissertation, University of St Andrewsdetails
|
|
All the mathematics in the world: logical validity and classical set theory.David Charles McCarty - 2017 - Philosophical Problems in Science 63:5-29.details
|
|
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.details
|
|
Automating Leibniz's Theory of Concepts.Jesse Alama, Paul Edward Oppenheimer & Edward Zalta - 2015 - In Felty Amy P. & Middeldorp Aart (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer. Springer. pp. 73-97.details
|
|
The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2017 - Philosophy and Phenomenological Research 99 (1):81-114.details
|
|
To Be F Is To Be G.Cian Dorr - 2006 - Philosophical Perspectives 30 (1):39-134.details
|
|
Nonindexical Context-Dependence and the Interpretation as Abduction Approach.Erich Rast - 2011 - Lodz Papers in Pragmatics 7 (2):259-279.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
|
|
Truth, negation and other basic notions of logic.Jaakko Hintikka - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 195--219.details
|
|
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.details
|
|
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.details
|
|
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
|
|
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.details
|
|
On a Straw Man in the Philosophy of Science - A Defense of the Received View.Sebastian Lutz - 2012 - Hopos: The Journal of the International Society for the History of Philosophy of Science 2 (1):77–120.details
|
|
Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Dordrecht, Netherland: Springer Verlag.details
|
|
Lesniewski and Russell's paradox: Some problems.Rafal Urbaniak - 2008 - History and Philosophy of Logic 29 (2):115-146.details
|
|
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
Language and its Models: Is Model Theory a Theory of Semantics?Jaroslav Peregrin - 1997 - Nordic Journal of Philosophical Logic 2 (1):1-23.details
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.details
|
|
(1 other version)Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A note on Carnap's meaning criterion.William W. Rozeboom - 1960 - Philosophical Studies 11 (3):33 - 38.details
|
|
The three arrows of Zeno.Craig Harrison - 1996 - Synthese 107 (2):271 - 292.details
|
|
(1 other version)Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
Eligibility and inscrutability.J. Robert G. Williams - 2007 - Philosophical Review 116 (3):361-399.details
|
|
Universal semantics?Richard Routley - 1975 - Journal of Philosophical Logic 4 (3):327 - 356.details
|
|
Truth by default.Vann Mcgee - 2001 - Philosophia Mathematica 9 (1):5-20.details
|
|
Matters of relevance.Hugues Leblanc - 1972 - Journal of Philosophical Logic 1 (3/4):269 - 286.details
|
|
Frege's double correlation thesis and Quine's set theories NF and ML.Nino B. Cocchiarella - 1985 - Journal of Philosophical Logic 14 (1):1 - 39.details
|
|
Dynamic squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.details
|
|
Materialism and qualia: The explanatory gap.Joseph Levine - 1983 - Pacific Philosophical Quarterly 64 (October):354-61.details
|
|
LF: a Foundational Higher-Order Logic.Zachary Goodsell & Juhani Yli-Vakkuri - manuscriptdetails
|
|
Generalized Löb’s Theorem.Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal (Vol. 4, No. 1-1):1-5.details
|
|
Completeness and Decidability of General First-Order Logic.Aldo Antonelli - 2017 - Journal of Philosophical Logic 46 (3):233-257.details
|
|
The metaphysics of quantity.Brent Mundy - 1987 - Philosophical Studies 51 (1):29 - 54.details
|
|
The transzendenz of mathematical 'experience'.William Boos - 1998 - Synthese 114 (1):49-98.details
|
|
Choice and descriptions in enriched intensional languages — I.R. Routley, R. K. Meyer & L. Goddard - 1974 - Journal of Philosophical Logic 3 (3):291 - 316.details
|
|
A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.details
|
|
(1 other version)On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.details
|
|
Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†.Neil Tennant - 2021 - Philosophia Mathematica 29 (1):28-63.details
|
|
First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.details
|
|
First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.details
|
|
Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
Comparing Approaches To Resolution Based Higher-Order Theorem Proving.Christoph Benzmüller - 2002 - Synthese 133 (1-2):203-335.details
|
|