|Abstract||Syllogistics reduces to only two rules of inference: monotonicity and symmetry, plus a third if one wants to take existential import into account. We give an implementation that uses only the monotonicity and symmetry rules, with an addendum for the treatment of existential import. Soundness follows from the monotonicity properties and symmetry properties of the Aristotelean quantiﬁers, while completeness for syllogistic theory is proved by direct inspection of the valid syllogisms. Next, the valid syllogisms are decomposed in terms of the rules they involve. The implementation uses Haskell , and is given in ‘literate programming’ style .|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
R. Zuber (2010). A Note on the Monotonicity of Reducible Quantifiers. Journal of Logic, Language and Information 19 (1):123-128.
Eric Hammer (1996). Symmetry as a Method of Proof. Journal of Philosophical Logic 25 (5):523 - 543.
Makoto Kanazawa (1994). Weak Vs. Strong Readings of Donkey Sentences and Monotonicity Inference in a Dynamic Setting. Linguistics and Philosophy 17 (2):109 - 158.
Gilad Ben-Avi & Yoad Winter (2003). Monotonicity and Collective Quantification. Journal of Logic, Language and Information 12 (2):127-151.
Roni Katzir (2007). Structurally-Defined Alternatives. Linguistics and Philosophy 30 (6):669-690.
Manfred J. Holler, Rie Ono & Frank Steffen (2001). Constrained Monotonicity and the Measurement of Power. Theory and Decision 50 (4):383-395.
Alexandre Laforgue (1994). Les Brisures de Symetrie du Temps. Acta Biotheoretica 42 (1).
Alexandre Laforgue (1993). Les Brisures de Symetrie du Temps. Acta Biotheoretica 41 (1-2).
Yoad Winter (2003). Monotonicity and Collective Quantification. Journal of Logic, Language and Information 12 (2):127-151.
Added to index2009-01-28
Total downloads4 ( #188,662 of 722,698 )
Recent downloads (6 months)1 ( #60,006 of 722,698 )
How can I increase my downloads?