- Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
Three Views of Theoretical Knowledge.William Demopoulos - 2011 - British Journal for the Philosophy of Science 62 (1):177-205.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.details
|
|
Gödel’s Incompleteness Theorem and the Anti-Mechanist Argument: Revisited.Yong Cheng - 2020 - Studia Semiotyczne 34 (1):159-182.details
|
|
A logical expression of reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.details
|
|
Reflective inquiry and “The Fate of Reason”.William Boos - 2014 - Synthese 191 (18):4253-4314.details
|
|
Limits of inquiry.William Boos - 1983 - Erkenntnis 20 (2):157 - 194.details
|
|
Basic model theory, Kees Doets.Patrick Blackburn - 1999 - Journal of Logic, Language and Information 8 (2):258-261.details
|
|
Types of I -free hereditary right maximal terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.details
|
|
Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5-6):607-620.details
|
|
Relativism, translation, and the metaphysics of realism.Aristidis Arageorgis - 2017 - Philosophical Studies 174 (3):659-680.details
|
|
On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2009 - Philosophia Mathematica 17 (2):189-207.details
|
|
Modular Semantics for Theories: An Approach to Paraconsistent Reasoning.Holger Andreas - 2018 - Journal of Philosophical Logic 47 (5):877-912.details
|
|
A logic road from special relativity to general relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.details
|
|
Logic, Essence, and Modality — Review of Bob Hale's Necessary Beings. [REVIEW]Christopher Menzel - 2015 - Philosophia Mathematica 23 (3):407-428.details
|
|
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
A way out of the preface paradox?Hannes Leitgeb - 2014 - Analysis 74 (1):ant091.details
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
Semantics and Proof Theory of the Epsilon Calculus.Richard Zach - 2017 - In Ghosh Sujata & Prasad Sanjiva (eds.), Logic and Its Applications. ICLA 2017. Springer. pp. 27-47.details
|
|
Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.details
|
|
The Tarski T-Schema is a tautology (literally).Edward N. Zalta - 2013 - Analysis (1):ant099.details
|
|
The logic and meaning of plurals. Part II.Byeong-uk Yi - 2006 - Journal of Philosophical Logic 35 (3):239-288.details
|
|
The Logic and Meaning of Plurals. Part I.Byeong-Uk Yi - 2005 - Journal of Philosophical Logic 34 (5-6):459-506.details
|
|
Frege’s permutation argument revisited.Kai Frederick Wehmeier & Peter Schroeder-Heister - 2005 - Synthese 147 (1):43-61.details
|
|
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.details
|
|
On Ultrafilter Logic and Special Functions.Paulo A. S. Veloso & Sheila R. M. Veloso - 2004 - Studia Logica 78 (3):459-477.details
|
|
On Logical Relativity.Achille C. Varzi - 2002 - Philosophical Issues 12 (1):197-219.details
|
|
Modal Foundations for Predicate Logic.Johan van Benthem - 1997 - Logic Journal of the IGPL 5 (2):259-286.details
|
|
Logic and Ontological Pluralism.Jason Turner - 2012 - Journal of Philosophical Logic 41 (2):419-448.details
|
|
Decidability of General Extensional Mereology.Hsing-Chien Tsai - 2013 - Studia Logica 101 (3):619-636.details
|
|
A Comprehensive Picture of the Decidability of Mereological Theories.Hsing-Chien Tsai - 2013 - Studia Logica 101 (5):987-1012.details
|
|
Error, Consistency and Triviality.Christine Tiefensee & Gregory Wheeler - 2022 - Noûs 56 (3):602-618.details
|
|
The Abstraction/Representation Account of Computation and Subjective Experience.Jochen Szangolies - 2020 - Minds and Machines 30 (2):259-299.details
|
|
Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.details
|
|
Ways of branching quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.details
|
|
Truth, Logical Structure, and Compositionality.Gila Sher - 2001 - Synthese 126 (1-2):195-219.details
|
|
Partially-ordered (branching) generalized quantifiers: A general definition.Gila Sher - 1997 - Journal of Philosophical Logic 26 (1):1-43.details
|
|
On the possibility of a substantive theory of truth.Gila Sher - 1998 - Synthese 117 (1):133-172.details
|
|
Did Tarski commit "Tarski's fallacy"?Gila Sher - 1996 - Journal of Symbolic Logic 61 (2):653-686.details
|
|
Expressibility and the Liar's Revenge.Lionel Shapiro - 2011 - Australasian Journal of Philosophy 89 (2):297-314.details
|
|
On the Proof-Theory of two Formalisations of Modal First-Order Logic.Yehuda Schwartz & George Tourlakis - 2010 - Studia Logica 96 (3):349-373.details
|
|
Hybrid terms and sentences.Dietmar Schweigert - 1993 - Studia Logica 52 (3):405 - 417.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
Remarques à propos d’une récente Introduction à la logique.François Rivenc - 1999 - Dialogue 38 (2):369-.details
|
|
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.details
|
|
Open-endedness, schemas and ontological commitment.Nikolaj Jang Lee Linding Pedersen & Marcus Rossberg - 2010 - Noûs 44 (2):329-339.details
|
|
Realism and reference.David Pearce & Veikko Rantala - 1982 - Synthese 52 (3):439 - 448.details
|
|
Correspondence as an intertheory relation.David Pearce & Veikko Rantala - 1983 - Studia Logica 42 (2-3):363 - 371.details
|
|
A logical study of the correspondence relation.David Pearce & Veikko Rantala - 1984 - Journal of Philosophical Logic 13 (1):47 - 84.details
|
|