It might have been Classical Logic

Logique Et Analyse 55 (218):241 (2012)
  Copy   BIBTEX

Abstract

In this paper, a propositional logic Q is presented. This logic is more attractive than classical propositional logic P for explicating actual proofs. Moreover, while Q and P assign the same consequence set to consistent premise sets, Q assigns a sensible and non-trivial consequence set to inconsistent premise sets

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Studies in the logic of induction and in the logic of explanation: containing a new theory of meaning relations.Diderik Batens - 1975 - Brugge: De Tempel.
Reflections on the logic of rules.Peter Schotch - manuscript
Contradiction and contrariety. Priest on negation.Heinrich Wansing - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
Relevance logic as a conservative extension of classical logic.David C. Makinson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic. Springer.
Unified Interpretation of Quantum and Classical Logics.Kenji Tokuo - 2012 - Axiomathes (1):1-7.
Revising Up: Strengthening Classical Logic in the Face of Paradox.David Ripley - 2013 - Philosophers' Imprint 13.
If logic meets paraconsistent logic.Jaakko Hintikka - unknown
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
Rudimentos de lógica matemática.Lorenzo Peña (ed.) - 1991 - Libros CSIC.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Blocks. The Clue to Dynamic Aspects of Logic.Diderik Batens - 1995 - Logique and Analyse 150:285-328.
Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa.Diderik Batens - 1999 - Springer.
Some proposals for the solution of the Carnap-Popper discussion on 'inductive logic'.Diderik Batens - 1968 - Philosophica 6.

Analytics

Added to PP
2013-10-29

Downloads
42 (#370,986)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Diderik Batens
University of Ghent

Citations of this work

Nice Embedding in Classical Logic.Peter Verdée & Diderik Batens - 2016 - Studia Logica 104 (1):47-78.

Add more citations

References found in this work

No references found.

Add more references