Statements (99)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Field of study
Philosophical discipline Branch of philosophy |
| gptkbp:hasSubfield |
gptkb:logic
gptkb:Formal_logic gptkb:Analytic_philosophy gptkb:Quantum_logic gptkb:Set_theory gptkb:Philosophy_of_logic gptkb:Argumentation_theory fuzzy logic Model theory Proof theory Critical thinking Algebraic logic Classical logic Computational logic Deontic logic Informal logic Intuitionistic logic Many-valued logic Modal logic Non-classical logic Paraconsistent logic Philosophical logic Predicate logic Propositional logic Recursion theory Constructivist logic History of logic Logic in Chinese philosophy Logic in Indian philosophy Logic in Islamic philosophy Logic in Western philosophy Logic in architecture Logic in artificial intelligence Logic in arts Logic in cognitive science Logic in communication Logic in computer science Logic in contemporary philosophy Logic in culture Logic in design Logic in economics Logic in education Logic in engineering Logic in ethics Logic in humanities Logic in law Logic in linguistics Logic in literature Logic in mathematics Logic in media Logic in medieval philosophy Logic in modern philosophy Logic in music Logic in politics Logic in religion Logic in rhetoric Logic in science Logic in social sciences Logic in theology |
| https://www.w3.org/2000/01/rdf-schema#label |
Logic (Mantiq)
|
| gptkbp:notableFigure |
gptkb:Aristotle
gptkb:Avicenna gptkb:Russell gptkb:Al-Kindi gptkb:Al-Ghazali gptkb:Al-Farabi gptkb:Chrysippus gptkb:Ibn_Rushd gptkb:Boole gptkb:Frege gptkb:Gödel |
| gptkbp:originatedIn |
gptkb:Islamic_Golden_Age
Ancient Greece |
| gptkbp:studies |
Formal systems
Inference Modal logic Predicate logic Principles of valid reasoning Propositional logic Symbolic logic Deductive reasoning Inductive reasoning Argument structure Fallacies Syllogism |
| gptkbp:usedIn |
gptkb:Ethics
gptkb:Linguistics gptkb:Mathematics gptkb:artificial_intelligence gptkb:law gptkb:philosophy gptkb:rhetoric gptkb:theology Computer science |
| gptkbp:bfsParent |
gptkb:Najaf_Seminary
|
| gptkbp:bfsLayer |
6
|