Syllogistic logic with cardinality comparisons, on infinite sets

DOI10.1017/S1755020318000126MaRDI QIDQ5221287zbMATH OpenFDO

Authors Lawrence S. Moss, Selçuk Topal

Publication date 25 March 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1705.03037

zbMATH Keywords

syllogistic logicinfinite modelscardinality comparisons

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic with extra quantifiers and operators (03C80)

Abstract: This paper 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: {sf All $x$ are $y$} and {sf Some $x$ are $y$}, {sf There are at least as many $x$ as $y$}, and {sf There are more $x$ than $y$}. Here $x$ and $y$ range over subsets (not elements) of a given emph{infinite} set. Moreover, $x$ and $y$ may appear complemented (i.e., as $overset-x$ and $overset-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.

Recommendations

• Syllogistic logic with cardinality comparisons
• The syllogistic with unity
• Силлогистика как логика всех отношений между двумя непустыми множествами
• Syllogistic logic with comparative adjectives
• Syllogistic logic with ``most

Cites work

• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• Syllogistic logic with cardinality comparisons

Cited in

(9)

• Syllogistic logic with ``most
• Most-intersection of countable sets
• Natural density and the quantifier ``most
• Syllogistic logic with complements
• Inference situations, counter-model constructions and a computer implementation of a logic composed of intersecting adjectives and the quantifier ``more
• Syllogistic logic with ``most
• The logic of comparative cardinality
• INTERLEAVING LOGIC AND COUNTING
• Syllogistic logic with cardinality comparisons

This page was built for publication: Syllogistic logic with cardinality comparisons, on infinite sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221287)