Rudolf Frege

GPTKB entity

Properties (48)
Predicate Object
gptkbp:instanceOf gptkb:philosopher
mathematician
logician
gptkbp:almaMater gptkb:University_of_Jena
gptkbp:awards Honorary_Doctorate_from_the_University_of_Jena
gptkbp:birthDate 1848-11-08
gptkbp:children gptkb:Hermann_Frege
gptkb:Rudolf_Frege_Jr.
gptkbp:contribution formal logic
philosophy of language
theory of meaning
analytic philosophy
the distinction between sense and reference
function and argument analysis
quantification theory
gptkbp:deathDate 1925-07-26
gptkbp:field mathematical logic
philosophy of mathematics
philosophy of language
https://www.w3.org/2000/01/rdf-schema#label Rudolf Frege
gptkbp:influenced gptkb:David_Kaplan
gptkb:Ludwig_Wittgenstein
gptkb:Hilary_Putnam
gptkb:Bertrand_Russell
gptkb:W.V.O._Quine
gptkb:Saul_Kripke
gptkb:Richard_Montague
Artificial intelligence
Model theory
Set theory
Alfred Tarski
Proof theory
Michael Dummett
Computational linguistics
Philosophical logic
Philosophy of logic
Mathematical philosophy
Gottlob_Frege's_work
gptkbp:influencedBy gptkb:Gottlob_Frege
gptkbp:knownFor predicate logic
concept-script
foundations of arithmetic
gptkbp:nationality German
gptkbp:notableWorks Grundgesetze der Arithmetik
Begriffsschrift
Die Grundlagen der Arithmetik
gptkbp:occupation professor
gptkbp:spouse gptkb:Sophie_Frege