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

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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,079
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Fragments of Language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.
More Fragments of Language.Ian Pratt-Hartmann & Allan Third - 2006 - Notre Dame Journal of Formal Logic 47 (2):151-177.
A Two-Variable Fragment of English.Ian Pratt-Hartmann - 2003 - Journal of Logic, Language and Information 12 (1):13-45.

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.


Added to PP index

Total views
51 ( #222,256 of 2,506,082 )

Recent downloads (6 months)
2 ( #277,380 of 2,506,082 )

How can I increase my downloads?


My notes