Properties (58)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal logic
|
| gptkbp:author |
gptkb:Gottlob_Frege
|
| gptkbp:contains |
logical symbols
|
| gptkbp:discusses |
quantifiers
|
| gptkbp:explores |
the nature of numbers
|
| gptkbp:field |
philosophy of mathematics
|
| gptkbp:focusesOn |
foundations of arithmetic
|
| gptkbp:gift_shop |
a new notation for logic
|
| gptkbp:hasInfluenceOn |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Frege's Begriffsschrift
|
| gptkbp:influenced |
analytic philosophy
|
| gptkbp:introduced |
concept-script
|
| gptkbp:isActiveIn |
philosophical literature
|
| gptkbp:isAssociatedWith |
the development of set theory
|
| gptkbp:isAttendedBy |
mathematicians
philosophers |
| gptkbp:isAvailableIn |
various translations
|
| gptkbp:isCitedBy |
philosophical works
various scholars later_logicians |
| gptkbp:isCitedIn |
philosophical debates
discussions of logical paradoxes |
| gptkbp:isConsidered |
a significant contribution to logic
a precursor to modern logic a foundational text in logic a critical text for understanding logic a foundational work in mathematical logic a key text in the philosophy of language a landmark in the history of logic |
| gptkbp:isDiscussedIn |
academic journals
logicians logic conferences |
| gptkbp:isExaminedBy |
graduate studies
logic seminars |
| gptkbp:isInfluencedBy |
the study of semantics
the development of proof theory the study of truth values |
| gptkbp:isNotableFor |
its formalization of logic
|
| gptkbp:isPartOf |
the development of predicate logic
the history of analytic philosophy the study of logical systems Frege's_work_on_logic |
| gptkbp:isPublishedIn |
gptkb:L._Nebert
|
| gptkbp:isRecognizedFor |
a significant philosophical text
|
| gptkbp:isReferencedBy |
academic research
modern logic textbooks |
| gptkbp:isReferencedIn |
mathematical texts
historical analyses of logic |
| gptkbp:isRelatedTo |
gptkb:Frege's_Grundgesetze_der_Arithmetik
the development of formal semantics Frege's_theorem |
| gptkbp:isStudiedIn |
philosophy courses
|
| gptkbp:isUsedIn |
theoretical computer science
formal proofs mathematical logic logical analysis |
| gptkbp:language |
German
|
| gptkbp:publishedIn |
1879
|