- 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
Core Logic
Oxford, England: Oxford University Press (2017)
Abstract
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Why Intuitionistic Relevant Logic Cannot Be a Core Logic.Joseph Vidal-Rosset - 2017 - Notre Dame Journal of Formal Logic 58 (2):241-248.
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
Rule-Irredundancy and the Sequent Calculus for Core Logic.Neil Tennant - 2016 - Notre Dame Journal of Formal Logic 57 (1):105-125.
Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism.Neil Tennant - 2014 - Philosophia Mathematica 22 (3):321-344.
On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic.Neil Tennant - 2018 - Notre Dame Journal of Formal Logic 59 (4):559-578.
Core Type Theory.Emma van Dijk, David Ripley & Julian Gutierrez - 2023 - Bulletin of the Section of Logic 52 (2):145-186.
Which Paradox is Genuine in Accordance with the Proof-Theoretic Criterion for Paradoxicality?Seungrak Choi - 2023 - Korean Journal of Logic 3 (26):145-181.
Neil, Tennant, "Anti-Realism and Logic". [REVIEW]Michael Luntley - 1989 - Philosophical Quarterly 39 (56):361.
Analytics
Added to PP
2017-09-18
Downloads
47 (#491,890)
6 months
13 (#197,488)
2017-09-18
Downloads
47 (#491,890)
6 months
13 (#197,488)
Historical graph of downloads
Author's Profile
Citations of this work
Logical Predictivism.Ben Martin & Ole Hjortland - 2020 - Journal of Philosophical Logic 50 (2):285-318.
Recapture Results and Classical Logic.Camillo Fiore & Lucas Rosenblatt - 2023 - Mind 132 (527):762–788.
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
Variable-Sharing as Relevance.Shawn Standefer - 2025 - In Andrew Tedder, Shawn Standefer & Igor Sedlar, New Directions in Relevant Logic. Springer.
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-8567d8d854-xn8c5 dc2