gptkbp:instanceOf
|
gptkb:logic
gptkb:philosopher
|
gptkbp:almaMater
|
gptkb:New_York_University
gptkb:Yale_University
|
gptkbp:awardReceived
|
gptkb:Lauener_Prize_for_an_Outstanding_Oeuvre_in_Analytical_Philosophy
Honorary Doctorate from the University of St Andrews
|
gptkbp:birthDate
|
1921-08-02
|
gptkbp:birthPlace
|
gptkb:New_York_City
|
gptkbp:deathDate
|
2012-02-19
|
gptkbp:deathPlace
|
gptkb:New_Haven,_Connecticut
|
gptkbp:doctoralAdvisor
|
gptkb:Rudolf_Carnap
gptkb:Ernest_Nagel
|
gptkbp:employer
|
gptkb:Northwestern_University
gptkb:University_of_Illinois_at_Chicago
gptkb:Yale_University
gptkb:Roosevelt_University
|
gptkbp:field
|
gptkb:logic
gptkb:philosophy
philosophy of language
philosophy of science
philosophy of logic
|
gptkbp:gender
|
female
|
https://www.w3.org/2000/01/rdf-schema#label
|
Ruth Barcan Marcus
|
gptkbp:knownFor
|
gptkb:logic
gptkb:Barcan_formula
necessity of identity
quantified modal logic
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:British_Academy
|
gptkbp:nationality
|
gptkb:American
|
gptkbp:notableStudent
|
gptkb:Saul_Kripke
gptkb:Alan_Ross_Anderson
gptkb:David_Kaplan
|
gptkbp:notableWork
|
gptkb:A_Functional_Calculus_of_First_Order_Based_on_Strict_Implication
gptkb:Modalities:_Philosophical_Essays
|
gptkbp:otherName
|
gptkb:Ruth_Charlotte_Barcan
|
gptkbp:positionHeld
|
president of the Association for Symbolic Logic
president of the American Philosophical Association Eastern Division
|
gptkbp:spouse
|
gptkb:J._Barkley_Rosser
|
gptkbp:bfsParent
|
gptkb:philosophy
|
gptkbp:bfsLayer
|
3
|