Рут Баркан Маркус

Рут Баркан Маркус

Ruth Barcan Marcus

Дата рождения

2 августа 1921 года

Место рождения

Нью-Йорк, США

Дата смерти

19 февраля 2012 года

Место смерти

Нью-Хейвен, США

Рут Баркан Маркус (англ. Ruth Barcan Marcus) — американский философ и логик.

Биография

Рут Баркан Маркус родилась 2 августа 1921 года в Бронксе.

В 1941 году получила степень бакалавра в Нью-Йоркском университете.

В 1942 году получила степень бакалавра в Йельском университете.

В 1946 году получила докторскую степень в Йельском университете.

В 1962-1970 годах — профессор философии в Университете штата Иллинойс в Чикаго.

В 1970-1973 годах — профессор философии в Северо-Западном университете.

В 1973-1991 годах — профессор философии в Йельском университете.

В 1976-1983 годах — председатель Совета исполнительных директоров Американской философской ассоциации.

В 1983-1986 годах — президент Ассоциация символической логики.

В 1989-1992 годах — президент Международного института Философии.

В 1992-1997 годах — профессор в Калифорнийском университете в Ирвайне.

В 1992-2012 годах — профессор и старший научный сотрудник Йельского университета.

Объединила функциональное исчисление «Principia Mathematica» с системами строгой импликации К. Льюиса.

Автор формулы Баркан: $\forall x\Box Fx\rightarrow \Box \forall xFx$, которая говорит о том, что все необходимо ϕ, если и только если необходимо, что все ϕ. Это можно перевести в язык модельных структур Крипке следующим образом: все является ϕ в каждом мире, если и только если в каждом мире все является ϕ. Формула Баркан говорит, что области индивидов во всех мирах одинаковы, то есть во всех мирах существуют одни и те же индивиды.

Умерла 19 февраля 2012 года в Нью-Хейвене.

Труды

• The Logical Enterprise, ed. with A. Anderson, R. Martin, Yale, 1995
• Logic, Methodology and Philosophy of Science, VII, eds. R. Barcan Marcus et al., North Holland, 1986
• Modalities: Philosophical Essays, Oxford University Press, 1993. Paperback; 1995