Ludwig Frege

GPTKB entity

Properties (65)
Predicate Object
gptkbp:instanceOf gptkb:philosopher
mathematician
logician
gptkbp:almaMater gptkb:University_of_Jena
gptkbp:awards Order of the Red Eagle
Honorary_Doctorate_from_the_University_of_Jena
gptkbp:birthDate 1848-11-08
gptkbp:children gptkb:Hermann_Frege
Ruth_Frege
gptkbp:contribution mathematical foundations
formal logic
philosophy of language
truth values
theory of meaning
analytic philosophy
concept-script
philosophical logic
the distinction between sense and reference
the notion of a function
quantifier notation
the analysis of propositions
the concept of a number
the development of quantifiers
function and argument analysis
logical notation
the analysis of logical form
the development of logical systems
the exploration of logical paradoxes
the exploration of the foundations of mathematics
the relationship between logic and mathematics
the study of logical consequence
the study of logical inference
the exploration of the relationship between language and thought
identity in logic
the analysis of quantification
the analysis of the concept of truth
the critique of psychologism
the establishment of logicism
the examination of logical truth
the examination of the nature of propositions
the formalization of arithmetic
the investigation of logical validity
the study of the nature of meaning
the study of the philosophy of logic
the investigation of the role of context in meaning.
the exploration of the nature of mathematical objects
gptkbp:deathDate 1925-07-26
gptkbp:field mathematical logic
philosophy of mathematics
philosophy of language
https://www.w3.org/2000/01/rdf-schema#label Ludwig Frege
gptkbp:influenced gptkb:Gottlob_Frege
gptkb:Bertrand_Russell
gptkbp:influencedBy gptkb:David_Hilbert
gptkb:Gottfried_Wilhelm_Leibniz
Immanuel Kant
gptkbp:knownFor predicate logic
foundations of arithmetic
gptkbp:nationality German
gptkbp:notableAlumni sense and reference
gptkbp:notableWork Grundgesetze der Arithmetik
Begriffsschrift
Die Grundlagen der Arithmetik
gptkbp:occupation professor
gptkbp:spouse gptkb:Margarete_Frege