Statements (37)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:system_of_logic
|
| gptkbp:alsoKnownAs |
gptkb:Aristotelian_logic
traditional logic |
| gptkbp:basisFor |
gptkb:logic
gptkb:square_of_opposition gptkb:categorical_syllogism syllogistic reasoning |
| gptkbp:component |
propositions
terms syllogisms |
| gptkbp:contrastsWith |
gptkb:logic
predicate logic |
| gptkbp:developedBy |
gptkb:Aristotle
|
| gptkbp:focusesOn |
relations between terms
|
| gptkbp:hasConcept |
gptkb:prop
gptkb:Thread particular affirmative particular negative universal affirmative universal negative major term middle term minor term |
| gptkbp:historicalPeriod |
gptkb:Middle_Ages
gptkb:Antiquity |
| gptkbp:importantFor |
gptkb:Organon
gptkb:Prior_Analytics gptkb:De_Interpretatione |
| gptkbp:influenced |
medieval logic
|
| gptkbp:originatedIn |
Ancient Greece
|
| gptkbp:replacedBy |
predicate logic
|
| gptkbp:studiedBy |
philosophers
logicians |
| gptkbp:studiedIn |
gptkb:logic
gptkb:philosophy |
| gptkbp:usedIn |
gptkb:classical_logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Term logic
|