|
gptkbp:instance_of
|
gptkb:philosopher
gptkb:Mathematician
gptkb:Logic
|
|
gptkbp:alma_mater
|
gptkb:Harvard_University
|
|
gptkbp:awards
|
gptkb:Rolf_Schock_Prizes
gptkb:Leroy_P._Steele_Prize
|
|
gptkbp:birth_date
|
1940-11-13
|
|
gptkbp:birth_place
|
gptkb:Bay_Shore,_New_York,_USA
|
|
gptkbp:children
|
gptkb:Daniel_Kripke
Rebecca Kripke
|
|
gptkbp:field
|
gptkb:Mathematics
gptkb:Logic
gptkb:philosophy
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Saul Kripke
|
|
gptkbp:influenced
|
gptkb:David_Kaplan
gptkb:Hilary_Putnam
|
|
gptkbp:influenced_by
|
gptkb:Gottlob_Frege
gptkb:Bertrand_Russell
gptkb:W._V._O._Quine
|
|
gptkbp:known_for
|
modal logic
Kripke semantics
theory of reference
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:notable_feature
|
rigid designators
the necessity of identity
the causal theory of reference
|
|
gptkbp:occupation
|
gptkb:Professor
|
|
gptkbp:residence
|
gptkb:New_York,_USA
|
|
gptkbp:spouse
|
gptkb:Miriam_Kripke
|
|
gptkbp:website
|
http://www.saulkripke.com
|
|
gptkbp:bfsParent
|
gptkb:Ludwig_Wittgenstein
gptkb:Immanuel_Kant
gptkb:Gottfried_Wilhelm_Leibniz
gptkb:Alfred_Tarski
|
|
gptkbp:bfsLayer
|
4
|