|
gptkbp:instance_of
|
gptkb:philosophy
|
|
gptkbp:addresses
|
paradoxes in logic
|
|
gptkbp:analyzes
|
propositional functions
|
|
gptkbp:author
|
gptkb:Gottlob_Frege
|
|
gptkbp:body_shape
|
the study of artificial intelligence
|
|
gptkbp:challenges
|
philosophical assumptions
|
|
gptkbp:contributed_to
|
foundations of mathematics
|
|
gptkbp:discusses
|
sense and reference
|
|
gptkbp:establishes
|
predicate logic
|
|
gptkbp:examines
|
quantifiers
|
|
gptkbp:focuses_on
|
gptkb:Logic
|
|
gptkbp:has_influenced
|
gptkb:computer_science
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Frege's logical works
|
|
gptkbp:included
|
anthologies of philosophy
|
|
gptkbp:includes
|
Begriffsschrift
Die Grundlagen der Arithmetik
Die Wissenschaft der Logik
|
|
gptkbp:influenced
|
mathematical logic
analytic philosophy
|
|
gptkbp:is_a_basis_for
|
logical positivism
|
|
gptkbp:is_a_foundation_for
|
formal semantics
computational logic
the study of set theory
|
|
gptkbp:is_a_key_component_of
|
the history of logic
|
|
gptkbp:is_a_reference_for
|
the study of inference
later developments in logic
|
|
gptkbp:is_a_subject_of
|
scholarly debate
graduate studies
|
|
gptkbp:is_analyzed_in
|
gptkb:philosopher
critical essays
|
|
gptkbp:is_associated_with
|
Frege's theorem
|
|
gptkbp:is_available_in
|
multiple translations
|
|
gptkbp:is_characterized_by
|
formal precision
|
|
gptkbp:is_cited_in
|
academic papers
|
|
gptkbp:is_connected_to
|
the concept of truth values
|
|
gptkbp:is_critiqued_by
|
gptkb:philosopher
|
|
gptkbp:is_discussed_in
|
logic seminars
|
|
gptkbp:is_essential_for
|
modern logic
the study of meaning
the study of logical paradoxes
understanding quantification
|
|
gptkbp:is_influential_in
|
contemporary logic
the development of semantics
|
|
gptkbp:is_linked_to
|
the development of formal proofs
|
|
gptkbp:is_noted_for
|
its clarity
|
|
gptkbp:is_often_discussed_in
|
gptkb:philosophy
|
|
gptkbp:is_often_required_reading_for
|
philosophy students
|
|
gptkbp:is_part_of
|
the analytic tradition
|
|
gptkbp:is_recognized_for
|
its rigor
|
|
gptkbp:is_referenced_in
|
subsequent logicians
|
|
gptkbp:is_regarded_as
|
foundational text in logic
|
|
gptkbp:is_relevant_to
|
the philosophy of mathematics
|
|
gptkbp:is_significant_for
|
the philosophy of language
|
|
gptkbp:is_studied_in
|
philosophy courses
|
|
gptkbp:key_event
|
the philosophy of logic
|
|
gptkbp:notable_contributor
|
the field of logic
|
|
gptkbp:published_in
|
gptkb:19th_century
|
|
gptkbp:utilizes
|
gptkb:Logic
|
|
gptkbp:was_a_precursor_to
|
first-order logic
|
|
gptkbp:bfsParent
|
gptkb:Frege's_Begriffsschrift
|
|
gptkbp:bfsLayer
|
6
|