Natural deduction rules for English

Philosophical Studies 24 (2):89 - 104 (1973)

Abstract
A system of natural deduction rules is proposed for an idealized form of English. The rules presuppose a sharp distinction between proper names and such expressions as the c, a (an) c, some c, any c, and every c, where c represents a common noun. These latter expressions are called quantifiers, and other expressions of the form that c or that c itself, are called quantified terms. Introduction and elimination rules are presented for any, every, some, a (an), and the, and also for any which, every which, and so on, as well as rules for some other concepts. One outcome of these rules is that Every man loves some woman is implied by, but does not imply, Some woman is loved by every man, since the latter is taken to mean the same as Some woman is loved by all men. Also, Jack knows which woman came is implied by Some woman is known by Jack to have come, but not by Jack knows that some woman came.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00366999
Options
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: 46,330
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Natural Deduction Rules for Obligation.Frederic B. Fitch - 1966 - American Philosophical Quarterly 3 (1):27 - 38.
Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.

Analytics

Added to PP index
2009-01-28

Total views
42 ( #213,192 of 2,285,999 )

Recent downloads (6 months)
1 ( #833,345 of 2,285,999 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature