Properties (74)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosopher
|
| gptkbp:addressed |
identity
sense and reference quantification |
| gptkbp:analyzes |
the concept of infinity
logical inference mathematical proofs truth values the nature of mathematical truth the nature of numbers the relationship between language and reality the relationship between language and thought the nature of propositions the concept of truth the relationship between logic and science the nature of mathematical proof the concept of existence the concept of functions the concept of logical consequence the implications of logic for epistemology the implications of logic for ethics the implications of logic for mathematics the implications of logic for metaphysics the implications of logic for philosophy of mind the nature of logical paradoxes the nature of logical systems the nature of mathematical reasoning the relationship between logic and language. the role of abstraction in mathematics the role of definitions the role of intuition in mathematics |
| gptkbp:associated_with |
the Begriffsschrift notation
Frege's_theorem |
| gptkbp:contains |
axiomatic systems
theory of meaning mathematical definitions logical paradoxes concepts of number logical definitions philosophical_arguments |
| gptkbp:contributedTo |
predicate logic
philosophical logic |
| gptkbp:controversy |
philosophical circles
|
| gptkbp:discusses |
logic
philosophy of language foundations of mathematics the nature of mathematical objects the distinction between sense and reference the implications of logic for philosophy the limits of formal systems the relationship between logic and reality the role of logic in mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Frege's works
|
| gptkbp:includes |
Grundgesetze der Arithmetik
Begriffsschrift Die Grundlagen der Arithmetik Die Wissenschaft der Logik Function and Concept |
| gptkbp:influenced |
computer science
mathematical logic formal semantics analytic philosophy the philosophy of language the development of modern logic |
| gptkbp:inspiration |
philosophers of mathematics
subsequent_logicians |
| gptkbp:is_recognized_for |
foundational texts
|
| gptkbp:is_studied_in |
philosophy courses
philosophers |
| gptkbp:is_used_in |
academic papers
|
| gptkbp:publishedBy |
19th century
various academic publishers |
| gptkbp:translatedInto |
multiple languages
|
| gptkbp:wrote |
gptkb:Gottlob_Frege
|