Studia Logica 38 (4):375 - 391 (1979)

The perfect fit of syntactic derivability and logical consequence in first-order logic is one of the most celebrated facts of modern logic. In the present flurry of attention given to the semantics of natural language, surprisingly little effort has been focused on the problem of logical inference in natural language and the possibility of its completeness. Even the traditional theory of the syllogism does not give a thorough analysis of the restricted syntax it uses.My objective is to show how a theory of inference may be formulated for a fragment of English that includes a good deal more than the classical syllogism. The syntax and semantics are made as formal and as explicit as is customary for artificial formal languages. The fragment chosen is not maximal but is restricted severely in order to provide a clear overview of the method without the cluttering details that seem to be an inevitable part of any grammar covering a substantial fragment of a natural language. (Some readers may feel the details given here are too onerous.).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370475
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: 58,425
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

Axiomatic Set Theory.Alfons Borgers - 1960 - Journal of Symbolic Logic 25 (3):277-278.

Add more references

Citations of this work BETA

The Completeness of a Predicate-Functor Logic.John Bacon - 1985 - Journal of Symbolic Logic 50 (4):903-926.
Inclusion and Exclusion in Natural Language.Thomas F. Icard - 2012 - Studia Logica 100 (4):705-725.
A Note on Existential Import.Michael Böttner - 1988 - Studia Logica 47 (1):35 - 40.

Add more citations

Similar books and articles


Added to PP index

Total views
22 ( #476,247 of 2,420,820 )

Recent downloads (6 months)
1 ( #543,487 of 2,420,820 )

How can I increase my downloads?


My notes