- 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...My notes
Similar books and articles
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni - 2013 - Philosophia Mathematica 21 (2):247-254.
Compositional Meaning in Logic.Carlos Caleiro & Luca Viganò - 2017 - Logica Universalis 11 (3):283-295.
Identity, Causality, and the Regressiveness of Micro‐Explanations.T. R. Girill - 1974 - Dialectica 28 (3‐4):223-238.
Explanatory standards in biology and physics textbooks: The case of polymers.Mads Goddiksen - unknown
In the shadows of the löwenheim-Skolem theorem: Early combinatorial analyses of mathematical proofs.Jan von Plato - 2007 - Bulletin of Symbolic Logic 13 (2):189-225.
Formal Causes for Powers Theorists.Giacomo Giannini & Stephen Mumford - 2021 - In Ludger Jansen & Petter Sandstad (eds.), Neo-Aristotelian Perspectives on Formal Causation. Abingdon, Oxon: Routledge. pp. 87-106.
The Formal-Structural View of Logical Consequence.Gila Sher - 2001 - Philosophical Review 110 (2):241-261.
Deflationism and the success argument.By Nic Damnjanovic - 2005 - Philosophical Quarterly 55 (218):53–67.
Analytics
Added to PP
2021-12-16
Downloads
22 (#666,248)
6 months
7 (#339,156)
2021-12-16
Downloads
22 (#666,248)
6 months
7 (#339,156)
Historical graph of downloads
Citations of this work
Mathematical Explanations: An Analysis Via Formal Proofs and Conceptual Complexity.Francesca Poggiolesi - forthcoming - Philosophia Mathematica:nkad023.
References found in this work
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding. 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 - 1996 - 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-6d9b7f7c4c-9lpj8 uwo