David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
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
No references found.
Citations of this work BETA
Nissim Francez & Roy Dyckhoff (2010). Proof-Theoretic Semantics for a Natural Language Fragment. Linguistics and Philosophy 33 (6):447-477.
Similar books and articles
Frederic B. Fitch (1966). Natural Deduction Rules for Obligation. American Philosophical Quarterly 3 (1):27 - 38.
Yannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
Stephen Read (2010). General-Elimination Harmony and the Meaning of the Logical Constants. Journal of Philosophical Logic 39 (5):557-76.
Sara Negri (2002). Varieties of Linear Calculi. Journal of Philosophical Logic 31 (6):569-590.
James W. Garson (2010). Expressive Power and Incompleteness of Propositional Logics. Journal of Philosophical Logic 39 (2):159-171.
Torben Braüner (2004). Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW] Journal of Logic, Language and Information 13 (1):1-23.
Andrzej Indrzejczak (2003). A Labelled Natural Deduction System for Linear Temporal Logic. Studia Logica 75 (3):345 - 376.
Ross Thomas Brady (2010). Free Semantics. Journal of Philosophical Logic 39 (5):511 - 529.
Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.
Added to index2009-01-28
Total downloads34 ( #114,871 of 1,792,140 )
Recent downloads (6 months)5 ( #170,928 of 1,792,140 )
How can I increase my downloads?