|
gptkbp:instanceOf
|
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
|
prop
Thread
particular affirmative
particular negative
universal affirmative
universal negative
major term
middle term
minor term
|
|
gptkbp:historicalPeriod
|
gptkb:Middle_Ages
gptkb:Antiquity
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Term logic
|
|
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
|
|
gptkbp:bfsParent
|
gptkb:logic
|
|
gptkbp:bfsLayer
|
4
|