Propositional discourse logic

Synthese 191 (5):1-37 (2014)
A novel normal form for propositional theories underlies the logic pdl, which captures some essential features of natural discourse, independent from any particular subject matter and related only to its referential structure. In particular, pdlallows to distinguish vicious circularity from the innocent one, and to reason in the presence of inconsistency using a minimal number of extraneous assumptions, beyond the classical ones. Several, formally equivalent decision problems are identified as potential applications: non-paradoxical character of discourses, admissibility of arguments in argumentation networks, propositional satisfiability, and the existence of kernels of directed graphs. Directed graphs provide the basis for the semantics of pdl and the paper concludes by an overview of relevant graph-theoretical results and their applications in diagnosing paradoxical character of natural discourses
Keywords Semantic paradox  Circularity  Kernels of digraphs  Classical logic  Graph normal form
Categories (categorize this paper)
DOI 10.1007/s11229-013-0297-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,245
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Outline of a Theory of Truth.Saul A. Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Paradox Without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251.
Yablo’s Paradox.Graham Priest - 1997 - Analysis 57 (4):236–242.
Patterns of Paradox.Roy T. Cook - 2004 - Journal of Symbolic Logic 69 (3):767-774.

View all 13 references / Add more references

Citations of this work BETA

A Graph-Theoretic Analysis of the Semantic Paradoxes.Timo Beringer & Thomas Schindler - 2017 - Bulletin of Symbolic Logic 23 (4):442-492.
Beliefs Supported by Binary Arguments.Chenwei Shi, Sonja Smets & Fernando R. Velázquez-Quesada - forthcoming - Journal of Applied Non-Classical Logics:1-24.
Resolving Infinitary Paradoxes.Michał Walicki - 2017 - Journal of Symbolic Logic 82 (2):709-723.

Add more citations

Similar books and articles

Dangerous Reference Graphs and Semantic Paradoxes.Landon Rabern, Brian Rabern & Matthew Macauley - 2013 - Journal of Philosophical Logic 42 (5):727-765.
Formulas in Modal Logic S4.Katsumi Sasaki - 2010 - Review of Symbolic Logic 3 (4):600-627.
Interpretations of Intuitionist Logic in Non-Normal Modal Logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Formal Logic for Informal Logicians.David Sherry - 2006 - Informal Logic 26 (2):199-220.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
The Propositional Logic of Ordinary Discourse.William S. Cooper - 1968 - Inquiry : An Interdisciplinary Journal of Philosophy 11 (1-4):295 – 320.
Curry's Paradox and Omega Inconsistency.Andrew Bacon - 2013 - Studia Logica 101 (1):1-9.
On Béziau’s Logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
Isomorphic Formulae in Classical Propositional Logic.Kosta Dosen & Zoran Petric - 2012 - Mathematical Logic Quarterly 58 (1):5-17.
On the Non-Confluence of Cut-Elimination.Matthias Baaz & Stefan Hetzl - 2011 - Journal of Symbolic Logic 76 (1):313 - 340.


Added to PP index

Total downloads
31 ( #192,120 of 2,242,830 )

Recent downloads (6 months)
4 ( #112,051 of 2,242,830 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature