gptkbp:instance_of
|
gptkb:philosopher
|
gptkbp:applies_to
|
gptkb:Artificial_Intelligence
gptkb:philosophical_debates
gptkb:Mathematician
|
gptkbp:based_on
|
principle of non-contradiction
|
gptkbp:developed_by
|
gptkb:Aristotle
|
gptkbp:examines
|
gptkb:philosopher
gptkb:academic_journal
logic theory
logic textbooks
logic seminars
|
https://www.w3.org/2000/01/rdf-schema#label
|
Aristotle's logic
|
gptkbp:includes
|
syllogism
|
gptkbp:influenced
|
Western philosophy
|
gptkbp:ingredients
|
syllogistic form
|
gptkbp:is_analyzed_in
|
arguments
|
gptkbp:is_associated_with
|
truth tables
logical fallacies
categorical propositions
|
gptkbp:is_challenged_by
|
intuitionistic logic
|
gptkbp:is_characterized_by
|
deductive reasoning
|
gptkbp:is_compared_to
|
fuzzy logic
Boolean logic
|
gptkbp:is_connected_to
|
epistemology
philosophical methodology
analytical philosophy
|
gptkbp:is_considered_as
|
foundational logic
|
gptkbp:is_criticized_for
|
modern logic
|
gptkbp:is_described_as
|
gptkb:Organon
|
gptkbp:is_discussed_in
|
gptkb:philosopher
gptkb:philosophical_debates
|
gptkbp:is_documented_in
|
gptkb:Nicomachean_Ethics
|
gptkbp:is_explored_in
|
gptkb:academic_research
gptkb:archaeological_site
case studies
philosophical discourse
|
gptkbp:is_fundamental_to
|
scientific method
argumentation theory
|
gptkbp:is_influenced_by
|
Plato's philosophy
|
gptkbp:is_influential_in
|
cognitive science
legal reasoning
|
gptkbp:is_integrated_with
|
critical thinking
|
gptkbp:is_linked_to
|
semantic theory
formal systems
|
gptkbp:is_part_of
|
gptkb:Aristotle's_works
Aristotelian philosophy
philosophical inquiry
|
gptkbp:is_recognized_by
|
a system of thought
|
gptkbp:is_referenced_in
|
gptkb:educational_curricula
scholarly articles
|
gptkbp:is_reflected_in
|
gptkb:Author
scientific reasoning
scientific theories
|
gptkbp:is_related_to
|
modal logic
|
gptkbp:is_studied_in
|
philosophy courses
students of philosophy
|
gptkbp:is_used_in
|
formal reasoning
|
gptkbp:is_utilized_in
|
gptkb:philosopher
gptkb:computer_science
decision making
debate formats
logicians
|
gptkbp:training
|
logic classes
|
gptkbp:bfsParent
|
gptkb:Posterior_Analytics
|
gptkbp:bfsLayer
|
5
|