|
gptkbp:instanceOf
|
gptkb:academic
gptkb:philosophy
|
|
gptkbp:concerns
|
gptkb:reference
gptkb:identity
gptkb:syntax
formal systems
paradoxes
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
gptkb:model_theory
gptkb:metalanguage
gptkb:fuzzy_logic
gptkb:paraconsistent_logic
computability theory
philosophy of language
proof theory
recursion theory
intuitionistic logic
metalogic
|
|
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
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Philosophy of Logic
|