- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Formal explanations as logical derivations
Journal of Applied Non-Classical Logics 31 (3-4):279-342 (2021)
Abstract
According to a longstanding philosophical tradition dating back to Aristotle, certain proofs do not only certify the truth of their conclusion but also explain it. Lately, much effort is being devo...Other Versions
No versions found
My notes
Similar books and articles
Truth diagrams for some non-classical and modal logics.Can Başkent - 2024 - Journal of Applied Non-Classical Logics 34 (4):527-560.
Truth diagrams for some non-classical and modal logics.Can Başkent - 2024 - Journal of Applied Non-Classical Logics 34 (4):527-560.
On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
Aristotle on the Non-Cause Fallacy.Luca Castagnoli - 2016 - History and Philosophy of Logic 37 (1):9-32.
On Vidal's trivalent explanations for defective conditional in mathematics.Yaroslav Petrukhin & Vasily Shangin - 2019 - Journal of Applied Non-Classical Logics 29 (1):64-77.
Game theoretical semantics for some non-classical logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.
Towards a philosophical understanding of the logics of formal inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.
Analytics
Added to PP
2021-12-16
Downloads
40 (#563,186)
6 months
9 (#492,507)
2021-12-16
Downloads
40 (#563,186)
6 months
9 (#492,507)
Historical graph of downloads
Citations of this work
Mathematical Explanations: An Analysis Via Formal Proofs and Conceptual Complexity.Francesca Poggiolesi - 2024 - Philosophia Mathematica 32 (2):145-176.
Grounding operators: transitivity and trees, logicality and balance.Francesco A. Genco - 2024 - Journal of Applied Non-Classical Logics 34 (4):453-492.
References found in this work
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical grounding: understanding the structure of reality. Cambridge: Cambridge University Press. pp. 37--80.
Metaphysical grounding: understanding the structure of reality.Fabrice Correia & Benjamin Schnieder (eds.) - 2012 - Cambridge: Cambridge University Press.
Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2