Statements (84)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
gptkb:philosophy |
| gptkbp:concerns |
gptkb:syntax
formal systems paradoxes semantics proof soundness logical consequence logical pluralism logical truth validity |
| gptkbp:notableFigure |
gptkb:Alfred_Tarski
gptkb:Bertrand_Russell gptkb:Gottlob_Frege gptkb:Hilary_Putnam gptkb:Ludwig_Wittgenstein gptkb:Michael_Dummett gptkb:Saul_Kripke gptkb:Willard_Van_Orman_Quine gptkb:John_Etchemendy gptkb:Graham_Priest gptkb:Susan_Haack |
| gptkbp:relatedTo |
gptkb:logic
gptkb:philosophy metaphysics philosophy of language |
| gptkbp:studies |
nature of logic
philosophical problems in logic scope of logic |
| gptkbp:topic |
gptkb:formal_semantics
gptkb:reference gptkb:Gödel's_incompleteness_theorems gptkb:Russell's_paradox gptkb:Tarski's_undefinability_theorem gptkb:identity gptkb:logic gptkb:set_theory gptkb:model_theory gptkb:liar_paradox gptkb:constructivism gptkb:paraconsistent_logic logical analysis logical atomism logical empiricism logical positivism logicism philosophy of language predicate logic proof theory truth intuitionistic logic logical connectives quantifiers intuitionism necessity proofs analyticity logical fallacies axiomatic systems logical constants logical inference logical consequence logical equivalence logical monism logical pluralism logical truth inductive logic truth tables semantic paradoxes abductive reasoning non-classical logics logical deduction logical induction deductive systems logical abduction logical implication logical impossibility logical necessity logical possibility logical space |
| gptkbp:bfsParent |
gptkb:Reality
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Philosophy of logic
|