Studia Logica 48 (4):539 - 554 (1989)

Authors
Peter Simons
Trinity College, Dublin
Abstract
This paper presents a tree method for testing the validity of inferences, including syllogisms, in a simple term logic. The method is given in the form of an algorithm and is shown to be sound and complete with respect to the obvious denotational semantics. The primitive logical constants of the system, which is indebted to the logical works of Jevons, Brentano and Lewis Carroll, are term negation, polyadic term conjunction, and functors affirming and denying existence, and use is also made of a metalinguistic concept of formal synonymy. It is indicated briefly how the method may be extended to other systems.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370206
Options
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: 54,608
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

Logic.Wilfrid Hodges - 1977 - Penguin Books.
Brentano's Reform of Logic.Peter M. Simons - 1987 - Topoi 6 (1):25-38.
Jevons and Logic.W. Mays & D. P. Henry - 1953 - Mind 62 (248):484-505.

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Theories of Categorical Reasoning and Extended Syllogisms.David E. Copeland - 2006 - Thinking and Reasoning 12 (4):379 – 412.
Proclus and the Neoplatonic Syllogistic.John N. Martin - 2001 - Journal of Philosophical Logic 30 (3):187-240.
Is Aristotle's Syllogistic a Logic?Phil Corkum - forthcoming - History and Philosophy of Logic.
Syllogisms with Fractional Quantifiers.Fred Johnson - 1994 - Journal of Philosophical Logic 23 (4):401 - 422.
Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
Complexly Fractionated Syllogistic Quantifiers.Philip L. Peterson - 1991 - Journal of Philosophical Logic 20 (3):287 - 313.

Analytics

Added to PP index
2009-01-28

Total views
35 ( #285,691 of 2,385,856 )

Recent downloads (6 months)
1 ( #556,216 of 2,385,856 )

How can I increase my downloads?

Downloads

My notes