- What is inference?Paul Boghossian - 2014 - Philosophical Studies 169 (1):1-18.details
|
|
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.details
|
|
Re-orienting discussions of scientific explanation: A functional perspective.Andrea I. Woody - 2015 - Studies in History and Philosophy of Science Part A 52 (C):79-87.details
|
|
A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.details
|
|
Climate models, calibration, and confirmation.Charlotte Werndl & Katie Steele - 2013 - British Journal for the Philosophy of Science 64 (3):609-635.details
|
|
The Unreasonable Richness of Mathematics.Jean Paul Van Bendegem & Bart Van Kerkhove - 2004 - Journal of Cognition and Culture 4 (3-4):525-549.details
|
|
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.details
|
|
Disagreement about logic from a pluralist perspective.Erik Stei - 2020 - Philosophical Studies 177 (11):3329-3350.details
|
|
Climate Models, Calibration, and Confirmation.Katie Steele & Charlotte Werndl - 2013 - British Journal for the Philosophy of Science 64 (3):609-635.details
|
|
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.details
|
|
Logic as a methodological discipline.Gil Sagi - 2021 - Synthese 199 (3-4):9725-9749.details
|
|
The phenomenology of mathematical beauty.Gian-Carlo Rota - 1997 - Synthese 111 (2):171-182.details
|
|
Models of explanation and explanation in medicine.Ren-Zong Qiu - 1989 - International Studies in the Philosophy of Science 3 (2):199 – 212.details
|
|
Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.details
|
|
How Do Logics Explain?Nicole Wyatt & Gillman Payette - 2018 - Australasian Journal of Philosophy 96 (1):157-167.details
|
|
Towards a Practice-based Philosophy of Logic: Formal Languages as a Case Study.Catarina Dutilh Novaes - 2012 - Philosophia Scientiae 16:71-102.details
|
|
Towards a Practice-based Philosophy of Logic: Formal Languages as a Case Study.Catarina Dutilh Novaes - 2012 - Philosophia Scientiae 16 (1):71-102.details
|
|
Against Logical Realism.Michael D. Resnik - 1999 - History and Philosophy of Logic 20 (3-4):181-194.details
|
|
RI the Bounds of Finitude.Robert K. Meyer - 1970 - Mathematical Logic Quarterly 16 (7):385-387.details
|
|
Logical Realism and the Metaphysics of Logic.Michaela Markham McSweeney - 2019 - Philosophy Compass 14 (1):e12563.details
|
|
Searching for Deep Disagreement in Logic: The Case of Dialetheism.Ben Martin - 2019 - Topoi 40 (5):1127-1138.details
|
|
Searching for Deep Disagreement in Logic: The Case of Dialetheism.Ben Martin - 2019 - Topoi 40 (5):1127-1138.details
|
|
Logical Predictivism.Ben Martin & Ole Hjortland - 2020 - Journal of Philosophical Logic 50 (2):285-318.details
|
|
Identifying logical evidence.Ben Martin - 2020 - Synthese 198 (10):9069-9095.details
|
|
Anti-exceptionalism about logic as tradition rejection.Ben Martin & Ole Thomassen Hjortland - 2022 - Synthese 200 (2):1-33.details
|
|
Anti-Exceptionalism about Logic and the Burden of Explanation.Ben Martin - 2021 - Canadian Journal of Philosophy 51 (8):602-618.details
|
|
How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.details
|
|
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details
|
|
Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.details
|
|
Proof Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.details
|
|
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.Norihiro Kamide - 2021 - Journal of Philosophical Logic 50 (4):781-811.details
|
|
Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic.M. Randall Holmes - 2019 - Journal of Philosophical Logic 48 (2):263-278.details
|
|
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.details
|
|
Mathematical rigor and proof.Yacin Hamami - 2022 - Review of Symbolic Logic 15 (2):409-449.details
|
|
The justification of deduction.Susan Haack - 1976 - Mind 85 (337):112-119.details
|
|
Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.details
|
|
Reconciling Rigor and Intuition.Silvia De Toffoli - 2020 - Erkenntnis 86 (6):1783-1802.details
|
|
‘Chasing’ the diagram—the use of visualizations in algebraic reasoning.Silvia de Toffoli - 2017 - Review of Symbolic Logic 10 (1):158-186.details
|
|
Where Philosophical Intuitions Come From.Helen De Cruz - 2015 - Australasian Journal of Philosophy 93 (2):233-249.details
|
|
Let a thousand flowers Bloom: A tour of logical pluralism.Roy T. Cook - 2010 - Philosophy Compass 5 (6):492-504.details
|
|
Epistemic and non-epistemic values in economic evaluations of public health.Alessandra Cenci & M. Azhar Hussain - 2019 - Journal of Economic Methodology 27 (1):66-88.details
|
|
Philosophy of Mathematical Practice — Motivations, Themes and Prospects†.Jessica Carter - 2019 - Philosophia Mathematica 27 (1):1-32.details
|
|
The Epistemic Goal of a Concept: Accounting for the Rationality of Semantic Change and Variation.Ingo Brigandt - 2010 - Synthese 177 (1):19-40.details
|
|
Explanation in Biology: Reduction, Pluralism, and Explanatory Aims.Ingo Brigandt - 2011 - Science & Education 22 (1):69-91.details
|
|
In Defense of Pure Reason.Laurence Bonjour - 2001 - Philosophy and Phenomenological Research 63 (3):657-663.details
|
|
Analyticity reconsidered.Paul Artin Boghossian - 1996 - Noûs 30 (3):360-391.details
|
|
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support.Christoph Benzmüller, Xavier Parent & Leendert van der Torre - 2020 - Artificial Intelligence 287:103348.details
|
|
On Sahlqvist Formulas in Relevant Logic.Guillermo Badia - 2018 - Journal of Philosophical Logic 47 (4):673-691.details
|
|