|
gptkbp:instanceOf
|
system of logic
|
|
gptkbp:alsoKnownAs
|
gptkb:Aristotelian_logic
traditional logic
|
|
gptkbp:basisFor
|
categorical logic
syllogistic reasoning
|
|
gptkbp:component
|
prop
Thread
copula
|
|
gptkbp:contrastsWith
|
modern logic
predicate logic
|
|
gptkbp:developedBy
|
gptkb:Aristotle
|
|
gptkbp:focusesOn
|
categorical propositions
terms
syllogisms
|
|
gptkbp:hasConcept
|
particular affirmative
particular negative
universal affirmative
universal negative
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
term logic
|
|
gptkbp:influenced
|
gptkb:Boethius
gptkb:Thomas_Aquinas
gptkb:Peter_Abelard
medieval logicians
|
|
gptkbp:influencedBy
|
gptkb:Plato
|
|
gptkbp:key
|
gptkb:Organon
|
|
gptkbp:keyWorkAuthor
|
gptkb:Aristotle
|
|
gptkbp:originatedIn
|
Ancient Greece
|
|
gptkbp:periodOfDominance
|
antiquity to 19th century
|
|
gptkbp:relatedTo
|
gptkb:logic
gptkb:philosophy
categorical proposition
|
|
gptkbp:replacedBy
|
predicate logic
|
|
gptkbp:studies
|
logical relations between terms
validity of syllogisms
|
|
gptkbp:usedIn
|
scholasticism
medieval philosophy
|
|
gptkbp:bfsParent
|
gptkb:Aristotelian_logic
|
|
gptkbp:bfsLayer
|
5
|