Core Logic

Oxford, England: Oxford University Press (2017)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

Call number

BC108.T455 2017

ISBN(s)

9780198777892   0198777892   9780191823367
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.
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.
Why Intuitionistic Relevant Logic Cannot Be a Core Logic.Joseph Vidal-Rosset - 2017 - Notre Dame Journal of Formal Logic 58 (2):241-248.
Rule-Irredundancy and the Sequent Calculus for Core Logic.Neil Tennant - 2016 - Notre Dame Journal of Formal Logic 57 (1):105-125.
The relevance of premises to conclusions of core proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
Manifest invalidity: Neil Tennant's new argument for intuitionism.Jon Cogburn - 2003 - Synthese 134 (3):353 - 362.
Manifest Invalidity: Neil Tennant's New Argument for Intuitionism.Jon Cogburn - 2003 - Synthese 134 (3):353-362.
Cut for classical core logic.Neil Tennant - 2015 - Review of Symbolic Logic 8 (2):236-256.
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
A logical introduction to proof.Daniel W. Cunningham - 2012 - New York: Springer.
The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun’s Gravitational Field.Neil Tennant - 2010 - Studia Logica 95 (1-2):207-232.
Note on an observation by Neil Tennant.Daniel Osherson - unknown
Natural Logic.H. A. Lewis - 1981 - Philosophical Quarterly 31 (125):376.
Against Harmony.Ian Rumfitt - forthcoming - In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym & Eike Ritter - 2004 - Oxford, England: Oxford University Press UK. Edited by Eike Ritter.

Analytics

Added to PP
2017-09-18

Downloads
26 (#592,813)

6 months
11 (#226,803)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Tennant
Ohio State University

Citations of this work

Logical Predictivism.Ben Martin & Ole Hjortland - 2020 - Journal of Philosophical Logic 50 (2):285-318.
Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedlár, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references