Syllogistic Logic with Cardinality Comparisons, On Infinite Sets

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 (not elements) of a given infinite set. Moreover, x and y may appear complemented (i.e., as x and y), 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.

Publication Date:
Jun 05 2018
Date Submitted:
Jun 21 2019
The Review of Symbolic Logic

 Record created 2019-06-21, last modified 2019-08-05

Download fulltext

Rate this document:

Rate this document:
(Not yet reviewed)