Ruth Barcan Marcus

GPTKB entity
AI-created image of Ruth Barcan Marcus
AI-created image

Statements (41)
Predicate Object
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
gptkb:philosophy_of_science
philosophy of language
philosophy of logic
gptkbp:gender gptkb:female
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:C._I._Lewis
gptkbp:bfsLayer 4
https://www.w3.org/2000/01/rdf-schema#label Ruth Barcan Marcus