Properties (53)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
philosophical works
|
| gptkbp:analyzes |
mathematical foundations
the nature of numbers philosophical implications of logic the nature of concepts the nature of functions |
| gptkbp:associated_with |
concept-script
logical notation Frege's_theorem Frege's_principle |
| gptkbp:author |
gptkb:Gottlob_Frege
|
| gptkbp:contains |
proofs
theorems axioms definitions |
| gptkbp:contributedTo |
predicate logic
formal semantics |
| gptkbp:controversy |
philosophers of mathematics
philosophers of language the distinction between sense and reference metaphysicians epistemologists the importance of definitions the independence of mathematics from logic the objectivity of truth |
| gptkbp:discusses |
identity
truth values sense and reference logical connectives quantification |
| gptkbp:field |
logic
philosophy of language |
| https://www.w3.org/2000/01/rdf-schema#label |
Frege's logical works
|
| gptkbp:impact |
mathematics
modern logic |
| gptkbp:includes |
Begriffsschrift
Die Grundlagen der Arithmetik Function and Concept Die Begriffe der Arithmetik |
| gptkbp:influenced |
analytic philosophy
|
| gptkbp:inspiration |
philosophy of mathematics
formal systems computational logic subsequent logical theories |
| gptkbp:is_recognized_for |
foundational texts in logic
influential in the development of modern logic seminal works in philosophy |
| gptkbp:is_studied_in |
philosophers
logicians |
| gptkbp:publishedBy |
19th century
Hermann Nauck |
| gptkbp:translatedInto |
multiple languages
|