Statements (67)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
gptkb:philosophy |
| gptkbp:concerns |
gptkb:identity
gptkb:syntax formal systems paradoxes reference semantics proof soundness logical consequence logical truth validity |
| gptkbp:debatedBy |
analytic vs synthetic distinction
classical vs non-classical logic logical monism logical pluralism nature of logical consequence nature of logical truth necessity vs contingency ontology of logic realism vs anti-realism relation between logic and language relation between logic and mathematics relation between logic and metaphysics |
| gptkbp:hasSubfield |
gptkb:logic
gptkb:set_theory computability theory model theory philosophy of language proof theory recursion theory fuzzy logic intuitionistic logic paraconsistent logic metalanguage metalogic |
| https://www.w3.org/2000/01/rdf-schema#label |
Philosophy of Logic
|
| gptkbp:notableFigure |
gptkb:Alfred_North_Whitehead
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:Susan_Haack |
| gptkbp:notableWork |
gptkb:Principia_Mathematica
gptkb:Tractatus_Logico-Philosophicus gptkb:On_Denoting gptkb:Truth_and_Method gptkb:On_Sense_and_Reference Philosophy of Logic (book by Quine) |
| gptkbp:partOf |
philosophy curriculum
logic curriculum |
| gptkbp:relatedTo |
gptkb:logic
metaphysics philosophy of language |
| gptkbp:studies |
nature of logic
philosophical problems in logic scope of logic |
| gptkbp:taughtAt |
universities worldwide
|
| gptkbp:bfsParent |
gptkb:Hilary_Putnam
gptkb:W.V.O._Quine gptkb:W._V._O._Quine |
| gptkbp:bfsLayer |
5
|