On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic

Notre Dame Journal of Formal Logic 59 (4):559-578 (2018)
  Copy   BIBTEX

Abstract

This is in part a reply to a recent work of Vidal-Rosset, which expresses various mistaken beliefs about Core Logic. Rebutting these leads us further to identify, and argue against, some mistaken core beliefs about logic.

Links

PhilArchive



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

External links

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

Through your library

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.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
On What You Cannot Be Mistaken About?Igor Sedlar - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (3):351-362.
Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.

Analytics

Added to PP
2018-10-10

Downloads
55 (#278,841)

6 months
11 (#196,102)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Tennant
Ohio State University

Citations of this work

Add more citations

References found in this work

Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
The independence of connectives.Timothy Smiley - 1962 - Journal of Symbolic Logic 27 (4):426-436.
The relevance of premises to conclusions of core proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
Cut for classical core logic.Neil Tennant - 2015 - Review of Symbolic Logic 8 (2):236-256.

View all 11 references / Add more references