The Syllogistic with Unity

Journal of Philosophical Logic 42 (2):391-407 (2013)
Abstract
We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed
Keywords Syllogisms  Proof theory  Logic and natural language  Computational complexity
Categories (categorize this paper)
DOI 10.1007/s10992-012-9229-3
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,662
Through your library
References found in this work BETA
Logics for the Relational Syllogistic.Ian Pratt-hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.
Completeness of an Ancient Logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
What is a Syllogism?T. J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Is Aristotle's Syllogistic a Logic?Phil Corkum - forthcoming - History and Philosophy of Logic.
The Hamiltonian Syllogistic.Ian Pratt-Hartmann - 2011 - Journal of Logic, Language and Information 20 (4):445-474.
Fragments of Language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.
Syllogisms with Fractional Quantifiers.Fred Johnson - 1994 - Journal of Philosophical Logic 23 (4):401 - 422.
How Many Syllogisms Are There?Colwyn Williamson - 1988 - History and Philosophy of Logic 9 (1):77-85.
Syllogistic with Indefinite Terms.Enrique Alvarez & Manuel Correia - 2012 - History and Philosophy of Logic 33 (4):297-306.
Non-Standard Categorical Syllogisms: Four That Leibniz Forgot.Don Emil Herget - 1987 - History and Philosophy of Logic 8 (1):1-13.
A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
Complexly Fractionated Syllogistic Quantifiers.Philip L. Peterson - 1991 - Journal of Philosophical Logic 20 (3):287 - 313.
A System of Relational Syllogistic Incorporating Full Boolean Reasoning.Nikolay Ivanov & Dimiter Vakarelov - 2012 - Journal of Logic, Language and Information 21 (4):433-459.

Monthly downloads

Added to index

2012-04-21

Total downloads

36 ( #136,696 of 2,143,766 )

Recent downloads (6 months)

1 ( #386,855 of 2,143,766 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums