Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
form of logic |
| gptkbp:alsoKnownAs |
gptkb:Aristotelian_logic
|
| gptkbp:basisFor |
traditional logic
|
| gptkbp:contrastsWith |
modern predicate logic
|
| gptkbp:developedBy |
gptkb:Aristotle
|
| gptkbp:focusesOn |
syllogisms
|
| gptkbp:hasComponent |
conclusion
major premise minor premise |
| https://www.w3.org/2000/01/rdf-schema#label |
Syllogistic logic
|
| gptkbp:includesFigure |
first figure
fourth figure second figure third figure |
| gptkbp:influenced |
medieval logic
|
| gptkbp:mood |
gptkb:AAA
gptkb:AII EAE EIO |
| gptkbp:originatedIn |
Ancient Greece
|
| gptkbp:studiedIn |
gptkb:logic
gptkb:philosophy |
| gptkbp:studies |
gptkb:logic
categorical propositions |
| gptkbp:usedIn |
deductive reasoning
|
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|