Subject-predicate calculus free from existential import (Q800907): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Syllogistic without existence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantification theory and empty individual-domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of restricted quantification I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some things do not exist / rank | |||
Normal rank |
Latest revision as of 16:05, 14 June 2024
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