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
|