Subject-predicate calculus free from existential import (Q800907): Difference between revisions

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.