Natural deduction rules for English

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


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.



    Upload a copy of this work     Papers currently archived: 89,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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

56 (#252,445)

6 months
3 (#433,579)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

References found in this work

No references found.

Add more references