Subject-predicate calculus free from existential import (Q800907)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Subject-predicate calculus free from existential import |
scientific article |
Statements
Subject-predicate calculus free from existential import (English)
0 references
1983
0 references
Classical predicate calculus contains essentially but one category, namely that of predicate. The calculi constructed by the author, on the other hand, are of a different type called subject-predicate. Involved is a syntactic category which is unusual for predicate calculus, namely with general names being used at the subject place. Two such subject-predicate calculi, with equality, are presented as systems of natural deduction. Both are free logics allowing interpretations on impossible objects, or objects which do not exist in a certain ontology. First-order predicate logic and certain of Aristotle's syllogistics are shown to be definable within the presented calculi.
0 references
subject-predicate calculi
0 references
systems of natural deduction
0 references
free logics
0 references
impossible objects
0 references
Aristotle's syllogistics
0 references