The Forms of Categorical Proposition

An exhaustive survey of categorical propositions is proposed in the present paper, both with respect to their nature and the logical problems raised by them. Through a comparative analysis of Term Logic and First-Order Logic, it is shown that the famous problem of existential import may be solved in...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2022-04
Main Authors: Schang, Fabien, Englebretsen, George, -Martín Castro-Manzano, J
Format: Article
Language:English
Subjects:
Logic
Prolog (programming language)
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:An exhaustive survey of categorical propositions is proposed in the present paper, both with respect to their nature and the logical problems raised by them. Through a comparative analysis of Term Logic and First-Order Logic, it is shown that the famous problem of existential import may be solved in two ways: with a model-adaptive strategy, in which the square of opposition is validated by restricting the models; with a language-adaptive strategy, in which the logical form of categorical propositions is extended in order to validate the square in every model. The latter strategy is advocated in the name of logic, which means truth in every model. Finally, the present paper needs some automatic process in order to determine the nature of logical relations between any pair of the available 256 categorical propositions. This requires the implementation of a programming machine in the style of Prolog.
ISSN:2331-8422
DOI:10.48550/arxiv.2204.06734