David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 48 (4):539 - 554 (1989)
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)|
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
Wilfrid Hodges (1977). Logic. Penguin.
W. Mays & D. P. Henry (1953). Jevons and Logic. Mind 62 (248):484-505.
Peter M. Simons (1987). Brentano's Reform of Logic. Topoi 6 (1):25-38.
Citations of this work BETA
No citations found.
Similar books and articles
David E. Copeland (2006). Theories of Categorical Reasoning and Extended Syllogisms. Thinking and Reasoning 12 (4):379 – 412.
John N. Martin (2001). Proclus and the Neoplatonic Syllogistic. Journal of Philosophical Logic 30 (3):187-240.
Phil Corkum (forthcoming). Is Aristotle's Syllogistic a Logic? History and Philosophy of Logic.
Fred Johnson (1994). Syllogisms with Fractional Quantifiers. Journal of Philosophical Logic 23 (4):401 - 422.
Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). Validity, the Squeezing Argument and Alternative Semantic Systems: The Case of Aristotelian Syllogistic. [REVIEW] Journal of Philosophical Logic 41 (2):387-418.
Susanne Bobzien (1996). Stoic Syllogistic. Oxford Studies in Ancient Philosophy 14:133-92.
Philip L. Peterson (1991). Complexly Fractionated Syllogistic Quantifiers. Journal of Philosophical Logic 20 (3):287 - 313.
Stephan Kepser & Jim Rogers (2011). The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree Grammars. Journal of Logic, Language and Information 20 (3):361-384.
Maria Bonet, Toniann Pitassi & Ran Raz (1997). Lower Bounds for Cutting Planes Proofs with Small Coefficients. Journal of Symbolic Logic 62 (3):708-728.
Added to index2009-01-28
Total downloads13 ( #122,875 of 1,103,039 )
Recent downloads (6 months)2 ( #183,252 of 1,103,039 )
How can I increase my downloads?