Preprint
Article

Using the Set Equality Method (SEM) to Determine the Validity of Categorical Syllogisms

Altmetrics

Downloads

216

Views

240

Comments

0

This version is not peer-reviewed

Submitted:

13 February 2022

Posted:

15 February 2022

You are already at the latest version

Alerts
Abstract
A description is provided of a method -- the Set Equality Method (SEM) -- to determine the validity, or lack of validity, of each categorical syllogism. A justification is given for the presentation of a new method to solve a problem which has already been solved using different approaches. First, the SEM assigns an equality of certain sets (or two of those equalities in specific cases as will be indicated) to each of the categorical propositions composing each syllogism considered -- that is, to each of the two premises and to the conclusion. Each syllogism considered is valid if and only if a) it is possible to select one of those equalities corresponding to one of the premises such that one of its members is a certain set and the other of those equalities corresponding to the other premise such that one of its members is a subset of the set mentioned, and b) it is possible to deduce an equality corresponding to the conclusion of the two equalities corresponding to the premises. In some cases, as will be specified, it is possible to provide a second test for the validity of a syllogism whose validity was already proven, thus providing information about the logical form of categorical syllogisms.
Keywords: 
Subject: Computer Science and Mathematics  -   Logic
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated