Review of Symbolic Logic 13 (1):1-22 (2020)

This article enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: All x are y and Some x are y, There are at least as many x as y, and There are more x than y. Here x and y range over subsets of a given infinite set. Moreover, x and y may appear complemented, with the natural meaning. We formulate a logic for our language that is based on the classical syllogistic. The main result is a soundness/completeness theorem. There are efficient algorithms for proof search and model construction.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020318000126
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: 59,968
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

Logics for the Relational Syllogistic.Ian Pratt-Hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.

Add more references

Citations of this work BETA

Natural Density and the Quantifier “Most”.Selçuk Topal & Ahmet Çevik - 2020 - Journal of Logic, Language and Information 29 (4):511-523.

Add more citations

Similar books and articles

The Structure of Amorphous Sets.J. K. Truss - 1995 - Annals of Pure and Applied Logic 73 (2):191-233.
Characterizing All Models in Infinite Cardinalities.Lauri Keskinen - 2013 - Annals of Pure and Applied Logic 164 (3):230-250.
Non-Well-Foundedness of Well-Orderable Power Sets.T. E. Forster & J. K. Truss - 2003 - Journal of Symbolic Logic 68 (3):879-884.
Non-Well-Foundedness of Well-Orderable Power Sets.T. E. Forster & J. K. Truss - 2003 - Journal of Symbolic Logic 68 (3):879-884.
Syllogistic Logic with Comparative Adjectives.Lawrence S. Moss - 2011 - Journal of Logic, Language and Information 20 (3):397-417.
Size and Function.Bruno Whittle - 2018 - Erkenntnis 83 (4):853-873.
Automorphism Groups of Differentially Closed Fields.Reinhold Konnerth - 2002 - Annals of Pure and Applied Logic 118 (1-2):1-60.
Diamond and Antichains.James Cummings & Ernest Schimmerling - 2005 - Archive for Mathematical Logic 44 (1):71-76.
Isols and Maximal Intersecting Classes.Jacob C. E. Dekker - 1993 - Mathematical Logic Quarterly 39 (1):67-78.
Consequences of Arithmetic for Set Theory.Lorenz Halbeisen & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):30-40.
On Quasi-Amorphous Sets.P. Creed & J. K. Truss - 2001 - Archive for Mathematical Logic 40 (8):581-596.
First-Order Modal Logic in the Necessary Framework of Objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.


Added to PP index

Total views
16 ( #630,402 of 2,433,358 )

Recent downloads (6 months)
3 ( #217,362 of 2,433,358 )

How can I increase my downloads?


My notes