The propositional logic of ordinary discourse

Abstract
The logical properties of the 'if-then' connective of ordinary English differ markedly from the logical properties of the material conditional of classical, two-valued logic. This becomes apparent upon examination of arguments in conversational English which involve (noncounterfactual) usages of if-then'. A nonclassical system of propositional logic is presented, whose conditional connective has logical properties approximating those of 'if-then'. This proposed system reduces, in a sense, to the classical logic. Moreover, because it is equivalent to a certain nonstandard three-valued logic, its decision procedure is almost as efficient as that of the classical logic. It therefore provides a rational and convenient system in which to formalize English arguments.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/00201746808601531
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,300
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
Word and Object.W. V. Quine - 1960 - MIT Press.
The Logic of Conditionals.Ernest Adams - 1965 - Inquiry : An Interdisciplinary Journal of Philosophy 8 (1-4):166 – 197.
A Survey of Symbolic Logic.Clarence Irving Lewis - 1960 - New York: Dover Publications.

View all 16 references / Add more references

Citations of this work BETA
Mental Models and the Tractability of Everyday Reasoning.Mike Oaksford - 1993 - Behavioral and Brain Sciences 16 (2):360.
Relevant Restricted Quantification.J. C. Beall, Ross T. Brady, A. P. Hazen, Graham Priest & Greg Restall - 2006 - Journal of Philosophical Logic 35 (6):587-598.
The Revival of Rejective Negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.
Everyday Reasoning and Logical Inference.Jon Barwise - 1993 - Behavioral and Brain Sciences 16 (2):337.

View all 49 citations / Add more citations

Similar books and articles
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
IV. Strawson on the Traditional Logic.Alan Hausman - 1969 - Inquiry : An Interdisciplinary Journal of Philosophy 12 (1-4):254-259.
Contra-Classical Logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
What is the Logic of Propositional Identity?Charles Sayward - 2006 - Logic and Logical Philosophy 15 (1):3-15.
Formal Logic for Informal Logicians.David Sherry - 2006 - Informal Logic 26 (2):199-220.
Propositional Logic.Kevin C. Klement - 2004 - Internet Encyclopedia of Philosophy.
Added to PP index
2009-03-05

Total downloads
52 ( #103,548 of 2,193,232 )

Recent downloads (6 months)
4 ( #59,905 of 2,193,232 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature