Маркус, Рут

Материал из Википедии — свободной энциклопедии
Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 4 сентября 2021 года; проверки требуют 42 правки.
Перейти к навигации Перейти к поиску
Рут Маркус
англ. Ruth Barcan Marcus
Дата рождения 2 августа 1921(1921-08-02)
Место рождения
Дата смерти 19 февраля 2012(2012-02-19)[1][2][…] (90 лет)
Место смерти
Страна
Род деятельности философ, писательница
Награды и премии
стипендия Гуггенхайма (1953) медаль Уилбура Кросса[вд] (2000) член Американской академии искусств и наук Philip L. Quinn Prize[вд] (2007) Lauener Prize[вд] (2008) Carus Lectures[вд] (2000)
Логотип Викисклада Медиафайлы на Викискладе

Рут Баркан Маркус, (англ. Ruth Barcan Marcus; урождённая Рут Шарлотта Баркан; 2 августа 1921[2], Бронкс, Нью-Йорк — 19 февраля 2012[1][2][…], Нью-Хейвен, Коннектикут[3][4][5]) — американский академический философ и логик, наиболее известна своей работой в области модальной и философской логики[6]. Она разработала первые формальные системы количественной модальной логики[7],что привело к появлению схемы или принципа, известного как формула Баркана[4][5]. Как отмечал Дон Гарретт, Маркус, чьи работы публиковались под именем Рут С. Баркан[7], была «одним из важнейших и влиятельных философов-логиков своего века». Тимоти Уильямсон в 2008 году говорил, что «многие из ее основных идей не просто оригинальны, умны, красивы, увлекательны, влиятельны и намного опережают свое время, что на самом деле является, несомненно, правдой»[8].

Карьера

[править | править код]

Рут Баркан вышла замуж в 1942 году за физика Жюля Александра Маркуса, годом ранее она с отличием окончила Нью-Йоркский университет по специальности математика и философия. После она поступила в аспирантуру Йельского университета, где в 1942 году получила степень магистра и докторскую степень в 1946[9]. Маркус была приглашенным профессором Северо-Западного университета с 1950 по 1953 год и затем в 1959 году. С 1956 по 1963 год она работала ассистентом, а далее адъюнкт-профессором в недавно основанном университете Рузвельта в Чикаго. С 1964 по 1970 год — профессор философии в Иллинойском университете в Чикаго (первоначально — глава отдела), позднее снова стала профессором философии в Северо-Западном университете (1970-1973гг). До выхода на пенсию в качестве почетного профессора в 1992 году Рут преподавала в Йельском университете по назначению профессора философии Рубена Пост Халлека. Она продолжала преподавать в Калифорнийском университете в Ирвайне до 1997 года[6][10].

Философия

[править | править код]

Количественная модальная логика

[править | править код]

Широко обсуждаемая формула Баркана представлена как аксиома в QML[11]. Свою самую раннюю работу, первого аксиоматического исследования модальной логики с кванторами, Маркус опубликовала под своей девичьей фамилией Рут К. Баркан. В нем представлены три статьи: «Функциональное исчисление первого порядка, основанное на строгом следствии», «Журнал символической логики» (JSL, 1946), «Теорема дедукции в функциональном исчислении первого порядка, основанного на строгом импликации» (JSL, 1946). , и «Идентичность людей в строгом функциональном исчислении второго порядка», (JSL, 1947). Первые системы количественной модальной логики, которые расширили некоторые пропозициональные модальные системы Кларенса Ирвинга Льюиса до первого и второго порядка были в работах 1946 и 1947 годов и явились крупным достижением в развитии логики XX века. Льюис особо выделил работу Рут Маркус в «Заметках о логике намерения», первоначально напечатанных в книге «Структура, метод и значение: эссе в честь Генри М. Шеффера» (Нью-Йорк, 1951). Здесь он признает её первым логиком, расширившим логику высказываний как интенсиональную логику более высокого порядка.

Прямая ссылка

[править | править код]

Рут Маркус предложила в философии языка определять собственные имена как простые «теги» («Модальности и интенсиональные языки» (Synthese, 1961) и др.). Согласно её теории имен «тегов» (теория прямой ссылки), эти «теги» используются для обозначения объекта, который является носителем имени. Значение имени исчерпывается этой референциальной функцией. Этот взгляд расходится с теорией описания собственных имен Бертрана Рассела, а также с превалирующей в то время теорией кластерного описания имен Джона Сёрла[12]. Квентин Смит отождествлял этот взгляд, представленный в 1962 году Уиллардом Ван Орманом Куайном, как комментатором, с теорией референции, приведенной в книге Сола Крипке «Именование и необходимость»[13]. Профессор Тимоти Уильямсон в отношении данной работы Рут Баркан Маркус говорил следующее:

«Одна из содержащихся в них идей, которая больше всего перекликается с современной философией языка, — это идея собственных имен как простых тегов без описательного содержания. Это не идея Крипке об именах как о жестких указателях, обозначающих один и тот же объект по отношению ко всем релевантным мирам, поскольку „жесткие“ определенные описания являются жесткими указателями, но все же имеют описательное содержание. Скорее, это идея, позже развитая Дэвидом Капланом и другими, о том, что имена собственные являются непосредственно референциальными в том смысле, что они вносят только свой носитель в предложения, выраженные предложениями, в которых они встречаются»[14].

Стивен Нил, философ языка, выразил своё несогласие с утверждением профессора Смита в «Times Literary Supplement»[15].

Необходимость идентичности

[править | править код]

Необходимость идентичности формально доказала Рут Маркус в 1946 году, в 1961 году она отстаивала свою точку зрения, однако, позднее опровергла возможность случайной идентичности. См. Journal of Symbolic Logic, (1947) 12: стр. 12-15.

Моральный конфликт

[править | править код]

Водной из своих работ Рут Маркус определяет последовательный набор моральных принципов, которые, по её мнению, дают возможность существования некого «возможного мира», в котором все эти принципы могут быть соблюдены. Конфликт этих принципов в реальном мире, не является признаком непоследовательности. Как и в случае с необходимостью идентичности, эта теория морального конфликта встретила сопротивление. Аргументация данной теории противоречит широко распространенному мнению о неизбежной непоследовательности систем моральных правил[16].

Вера

[править | править код]

С философской точки зрения, вера — это отношение агента к возможному положению дел при определенных внутренних и внешних обстоятельствах. Принятие того или иного цитируемого предложения (дисквотационная оценка веры) — только один поведенческий маркер веры. В поведенческом сценарии дело обстоит несколько иначе. Полностью языковое объяснение веры отвергается (по теории Дэвидсона). В случаях, когда агент верит в невозможность чего либо до тех пор, пока эта невозможность не будет раскрыта. Маркус предполагала, что в таком случае агент заявит, что он только верил в невозможность. Точно так же, когда математик обнаруживает, что одна из его гипотез ложна, а если она математически ложна, то это невозможно, он скажет, что он только утверждает, что гипотеза верна. Каким бы странным ни было это предположение, оно похоже на широко принятый принцип знания: если мы заявляем, что знаем P, а P оказывается ложным, мы не говорим, что раньше знали его, мы говорим, что ошибались, утверждая, что это так[17].

Эссенциализм

[править | править код]

Эссенциализм Аристотеля касается свойств, которые Рут Маркус определяла в контексте модальной структуры. Одно из предположений состоит в том, что свойство является существенным, если оно есть у чего-то, а не у всего, если оно есть у чего-то, значит оно обязательно, и оно не полностью индивидуализируется, например, как натуральный вид собственности. В ином случае Куайн и его соратники утверждают, что модальная логика или семантика верны эссенциалистским истинам. По одной из теорий Рут Маркус имеют место такие интерпретации некоторых модальных систем, в которых все утверждения эссенциалистов ложны. Теренс Парсонс формально доказал этот результат[18].

Количественная оценка замещения

[править | править код]

Для некоторых применений предлагается альтернатива теоретико-модельной семантике, где «условия истинности количественно определенных формул задаются исключительно в терминах истинности без обращения к областям интерпретации». Это стало называться «семантикой истинности». Маркус показывает, что утверждение о том, что такая семантика ведет к противоречиям — неверно. Данная теория может быть интересна для математиков или для художественного дискурса. Объективная количественная оценка требуется для интерпретации идентичности и других метафизических категорий.

Работы

[править | править код]
  • Логическое предприятие, изд. с А. Андерсоном, Р. Мартином, Йель, 1995 г./The Logical Enterprise, ed. with A. Anderson, R. Martin, Yale, 1995
  • Логика, методология и философия науки, VII, ред. Р. Баркан Маркус и др., Северная Голландия, 1986 г./Logic, Methodology and Philosophy of Science, VII, eds. R. Barcan Marcus et al., North Holland, 1986[19].
  • Методики: философские эссе, Oxford University Press, 1993. Мягкая обложка; 1995 /Modalities: Philosophical Essays, Oxford University Press, 1993. Paperback; 1995 (contains many of Marcus’s important papers)[20].

Академические статьи

[править | править код]

https://philpapers.org/s/Ruth%20C.%20Barcan

https://philpapers.org/asearch.pl?strict=1&searchStr=Marcus,%20Ruth%20Barcan&filterMode=authors

Награды и признания

[править | править код]
  • Пхи Бета Каппа/Phi Beta Kappa (1941)
  • Guggenheim Fellow (1953)
  • Сотрудник Национального научного фонда (1963—1964)
  • Сотрудник Центра перспективных исследований Бекмана, Иллинойский университет в Урбане-Шампейне (1968—1969)
  • Резиденция Фонда Рокфеллера (Белладжио, 1973 и 1990)
  • Член Американской академии искусств и наук (1977).
  • Научный сотрудник Центра перспективных исследований в области поведенческих наук, Стэнфорд (1979)
  • Научный сотрудник Эдинбургского университета, гуманитарный институт (1983)
  • Колледж Вольфсона Оксфордского университета, приглашенный научный сотрудник (1985 и 1986 годы)
  • Медаль Коллеж де Франс (1986)
  • Постоянный член общей комнаты, Клэр-холл Кембриджского университета (1986-)
  • Клэр Холл, Кембриджский университет, приглашенный научный сотрудник (1988)
  • Мембре, Международный институт философии, Президент 1989-92, почетный президент 1992-
  • Национальный гуманитарный центр, стипендиат Меллона (1992-93)
  • Доктор гуманитарных наук, honoris causa, Иллинойсский университет, Чикаго (1995)[21].
  • Медаль Креста Уилбура, Йельский университет (2000)
  • Премия Лауэнера в области аналитической философии, Фонд Лауэнера, 2007-08 годы.
  • Премия Куинна Американской философской ассоциации 2007 г. за заслуги перед профессией
  • Лекция Дьюи, APA, декабрь 2009 г.

Примечания

[править | править код]
  1. ↑ 1 2 Leiter B. A Philosophy Blog: In Memoriam: Ruth Barcan Marcus (1921–2012) // Leiter Reports
  2. ↑ 1 2 3 Ruth Charlotte Barcan Marcus // Encyclopædia Britannica (англ.)
  3. ↑ 1 2 выгрузка данных Freebase — Google.
  4. ↑ 1 2 Marcus, Ruth Charlotte Barcan (1921–2012) (англ.). www.bloomsburyphilosophylibrary.com. Дата обращения: 1 сентября 2021.
  5. ↑ 1 2 Fox, Margalit (2012-03-13). "Ruth Barcan Marcus, Philosopher-Logician, Dies at 90". The New York Times. Архивировано 15 августа 2017. Дата обращения: 1 сентября 2021.
  6. ↑ 1 2 Marcus, Ruth Barcan | Encyclopedia.com. www.encyclopedia.com. Дата обращения: 1 сентября 2021. Архивировано 15 марта 2020 года.
  7. ↑ 1 2 Timothy Williamson. In Memoriam: Ruth Barcan Marcus 1921–2012 (англ.) // Bulletin of Symbolic Logic. — 2013-03. — Vol. 19, iss. 1. — P. 123–126. — ISSN 1943-5894 1079-8986, 1943-5894. — doi:10.2178/bsl.1901070. Архивировано 1 сентября 2021 года.
  8. ↑ Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize. Leiter Reports: A Philosophy Blog. Дата обращения: 1 сентября 2021. Архивировано 23 декабря 2018 года.
  9. ↑ Ruth Barcan Marcus (англ.). Jewish Women's Archive. Дата обращения: 1 сентября 2021. Архивировано 25 апреля 2019 года.
  10. ↑ Marcus, Ruth Barcan (1921—) | Encyclopedia.com. www.encyclopedia.com. Дата обращения: 3 сентября 2021. Архивировано 15 марта 2020 года.
  11. ↑ John Lachs, Robert B. Talisse. American Philosophy: An Encyclopedia. — Routledge, 2008-03-31. — 870 с. — ISBN 978-1-135-94887-0. Архивировано 3 сентября 2021 года.
  12. ↑ Routledge Encyclopedia of Philosophy
  13. ↑ Архивированная копия. Дата обращения: 4 сентября 2021. Архивировано 2 августа 2021 года.
  14. ↑ Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize. Leiter Reports: A Philosophy Blog. Дата обращения: 6 сентября 2021. Архивировано 23 декабря 2018 года.
  15. ↑ Stephen Neale. Neale Kripke. Архивировано 6 сентября 2021 года.
  16. ↑ See «Moral Dilemmas and Consistency» (Journal of Philosophy, 1980).
  17. ↑ See «A Proposed Solution to a Puzzle About Belief» (Foundations of Analytic Philosophy in Midwest Studies, 1981) and «Rationality and Believing the Impossible» (The Journal of Philosophy, 1983 and elsewhere)
  18. ↑ The Philosophical Review
  19. ↑ R. Barcan Marcus, G. J. W. Dorn, P. Weingartner. Logic, Methodology and Philosophy of Science VII. — Elsevier, 1986-05-01. — 783 с. — ISBN 978-0-08-096039-5. Архивировано 7 сентября 2021 года.
  20. ↑ Ruth Barcan Marcus. Modalities: Philosophical Essays. — Oxford University Press, 1995. — 281 с. — ISBN 978-0-19-509657-6. Архивировано 7 сентября 2021 года.
  21. ↑ Honorary Degrees | Commencement | University of Illinois Chicago. commencement.uic.edu. Дата обращения: 7 сентября 2021. Архивировано 5 июня 2021 года.
Источник — https://ru.wikipedia.org/w/index.php?title=Маркус,_Рут&oldid=140270972