Gp’s lp

In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 481-506 (2019)
  Copy   BIBTEX

Abstract

This study takes a careful inferentialist look at Graham Priest’s Logic of Paradox. I conclude that it is sorely in need of a proof-system that could furnish formal proofs that would regiment faithfully the “naïve logical” reasoning that could be undertaken by a rational thinker within LP.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-25365-3_23

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

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

Core Logic.Neil Tennant - 2017 - Oxford, England: Oxford University Press.
Rule-Irredundancy and the Sequent Calculus for Core Logic.Neil Tennant - 2016 - Notre Dame Journal of Formal Logic 57 (1):105-125.
Perfect validity, entailment and paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.
Ekman’s Paradox.Peter Schroeder-Heister & Luca Tranchini - 2017 - Notre Dame Journal of Formal Logic 58 (4):567-581.
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.
Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.
Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.
Non-circular proofs and proof realization in modal logic.Ren-June Wang - 2014 - Annals of Pure and Applied Logic 165 (7-8):1318-1338.
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Interactive proof-search for equational reasoning.Favio E. Miranda-Perea, Lourdes del Carmen González Huesca & P. Selene Linares-Arévalo - forthcoming - Logic Journal of the IGPL.
Remarks on naive set theory based on lp.Hitoshi Omori - 2015 - Review of Symbolic Logic 8 (2):279-295.
On Non-transitive “Identity”.Heinrich Wansing & Daniel Skurt - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 535-553.
Моделирование решения античного софистического «парадокса крокодила» в рамках современной классической формальной логики нулевого порядка.Alexander Akhvlediany - 2011 - Schole 5 (1):74-82.

Analytics

Added to PP
2020-06-17

Downloads
14 (#997,421)

6 months
4 (#799,256)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Tennant
Ohio State University

Citations of this work

Categoricity Problem for LP and K3.Selcuk Kaan Tabakci - forthcoming - Studia Logica:1-35.

Add more citations

References found in this work

No references found.

Add more references