Statements (85)
| 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 |
| https://www.w3.org/2000/01/rdf-schema#label |
Philosophy of logic
|
| 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:Gödel's_incompleteness_theorems
gptkb:Russell's_paradox gptkb:Tarski's_undefinability_theorem gptkb:identity gptkb:logic gptkb:set_theory gptkb:liar_paradox constructivism formal semantics logical analysis logical atomism logical empiricism logical positivism logicism model theory philosophy of language predicate logic proof theory reference truth intuitionistic logic logical connectives quantifiers intuitionism necessity proofs analyticity logical fallacies axiomatic systems logical constants logical inference paraconsistent logic 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:Possible_Worlds
gptkb:Reality |
| gptkbp:bfsLayer |
5
|