Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Рут Баркан Маркус
Маркус в 2005 году
Маркус в 2005 году
Родившийся( 1921-08-02 )2 августа 1921 г.
Нью-Йорк
Умер19 февраля 2012 г. (2012-02-19)(90 лет)
Нью-Хейвен, Коннектикут
НациональностьАмериканец
ОбразованиеНью-Йоркский университет (BA 1941)
Йельский университет (MA 1942)
Йельский университет (доктор философии 1946)
ЭраСовременная философия
Область, крайЗападная философия
ШколаАналитический
УчрежденияСеверо-Западный университет
Йельского университета
ТезисСтрогое функциональное исчисление  (1946)
ДокторантФредерик Фитч
Основные интересыФормальная логика
Известные идеиКоличественная модальная логика , [1] формула Баркана , необходимость идентичности , теория тегов имен
Влияния
Под влиянием

Рут Баркан Маркус ( / б ɑːr к ən м ɑːr к ə s / ; родилась Рут Шарлотта Баркан , 2 августа 1921 [3] [4] - 19 февраля 2012 [4] ) был американский академический философ и логик наиболее известен ее работы по модальной и философской логике . [5] Она разработала первые формальные системы количественной модальной логики [6] и тем самым ввела схему или принцип, известный какФормула Баркана . [3] [4] [6] (Она также представила теперь стандартный оператор «коробки», если это необходимо в процессе.) [5] Маркус, который первоначально был опубликован как Рут С. Баркан , [6] был таким же, как Дон Гарретт. отмечает [3] «один из самых важных и влиятельных философов-логиков двадцатого века». Тимоти Уильямсон , отмечая в 2008 году долгую карьеру Маркуса, заявляет, что многие из ее «основных идей не просто оригинальны, умны, красивы, увлекательны, влиятельны и намного опережают свое время, но на самом деле - я считаю - правда ». [7]

Академическая карьера и служба [ править ]

Рут Баркан (как она была известна , прежде чем выйти замуж за физика Жюль Александр Marcus в 1942 [8] ) закончил с отличием из Нью - Йоркского университета в 1941 году по специальности математика и философия . Затем она поступила в аспирантуру Йельского университета , получив степень магистра в 1942 году и докторскую степень в 1946 году [8].

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

Среди других профессиональных должностей, которые она занимала в течение своей карьеры, Маркус была председателем совета директоров Американской философской ассоциации (1976–1983 гг.) И президентом Ассоциации символической логики (1983–86 гг.), А затем и Международного института. Философия (1989–92). [5] [8]

Философия [ править ]

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

Широко обсуждаемая формула Баркана вводится в QML как аксиома . В своей самой ранней опубликованной работе, публикации первого аксиоматического исследования модальной логики с кванторами, Маркус опубликовала под своей девичьей фамилией Рут К. Баркан. В нем представлены три статьи: «Функциональное исчисление первого порядка, основанное на строгом следствии», « Журнал символической логики» (JSL, 1946), «Теорема дедукции в функциональном исчислении первого порядка, основанного на строгом импликации» (JSL, 1946). , и «Идентичность людей в строгом функциональном исчислении второго порядка», (JSL, 1947).

Первые системы количественной модальной логики, которые расширили некоторые пропозициональные модальные системы Кларенса Ирвинга Льюиса до первого и второго порядка; статьи 1946 и 1947 годов явились крупным достижением в развитии логики ХХ века.

Льюис особо отмечает Маркуса в его «Заметках о логике намерения», первоначально напечатанных в « Структура, метод и значение: очерки в честь Генри М. Шеффера» (Нью-Йорк, 1951). Здесь Льюис признает Баркана Маркуса первым логиком, расширившим логику высказываний как интенсиональную логику более высокого порядка.

Прямая ссылка [ править ]

Маркус предложил точку зрения в философии языка, согласно которой собственные имена - это то, что Маркус называл простыми «тегами» («Модальности и интенсиональные языки» ( Synthese , 1961) и др.). Согласно ее теории тегов имен (а прямая ссылка теории ), эти «метки» используются для обозначения объекта, который является носителем имени. Значение имени исчерпывается этой референциальной функцией. Эта точка зрения контрасты, например с Bertrand Russell «s описание теории собственных имен , а также John Searle » описание кластерной теории с именами [10]который преобладал в то время. Этот взгляд на имена собственные (представленный в 1962 году Уиллардом Ван Орманом Куайном в качестве комментатора) был отождествлен Квентином Смитом с теорией референции, приведенной в книге Сола Крипке « Именование и необходимость» . [11] Однако в недавней похвале Рут Баркан Маркус профессор Тимоти Уильямсон говорит:

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

Философ языка Стивен Нил также выступил против утверждения профессора Смита в литературном приложении Times . [13]

Необходимость идентичности [ править ]

Основная статья: Необходимость идентичности

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

Семантика QML [ править ]

Маркус предпочитает интерпретацию, в которой область интерпретации включает отдельные сущности в реальном мире. Она также предполагает, что для некоторых применений оправдана альтернативная семантика замещения. Она приводит аргументы против возможности. См. «Отказ от Possibilia» (Труды Американской философской ассоциации, 1975–76); «Возможности и возможные миры» ( Grazer Philosophische Studien , 1985–86).

Моральный конфликт [ править ]

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

Вера [ править ]

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

Эссенциализм [ править ]

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

Количественная оценка замещения [ править ]

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

Работает [ править ]

Книги (написанные или отредактированные)

  • Логическое предприятие , изд. с А. Андерсоном , Р. Мартином, Йель, 1995 г.
  • Логика, методология и философия науки , VII, ред. Р. Баркан Маркус и др., Северная Голландия, 1986 г.
  • Методики: философские эссе , Oxford University Press , 1993. Мягкая обложка; 1995 (содержит многие важные документы Маркуса)

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

  • Опубликовано в Рут С. Баркан - список по PhilPapers
  • Опубликовано как Рут Баркан Маркус - список PhilPapers.

Награды и признания [ править ]

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

Ссылки и примечания [ править ]

  1. ^ Дагфинн Фёллесдал , Ссылочная непрозрачность и модальная логика , Рутледж , 2014, стр. 19 .
  2. ^ Руфь Баркан Маркус, Условия: Философские очерки , Oxford University Press, 1993, рх
  3. ^ a b c Словарь современных американских философов . Thoemmes. 2005. DOI : 10,5040 / 9781350052444-0636 . ISBN 9781350052444.
  4. ^ a b c Фокс, Маргалит (13 марта 2012 г. ). «Рут Баркан Маркус, философ и логик, умерла в возрасте 90 лет» . Нью-Йорк Таймс . ISSN 0362-4331 . Проверено 13 марта 2019 . 
  5. ^ a b c d "Маркус, Рут Баркан | Encyclopedia.com" . www.encyclopedia.com . Проверено 13 марта 2019 .
  6. ^ a b c Уильямсон, Тимоти (2013). «In Memoriam: Рут Баркан Маркус 1921–2012» (PDF) . Вестник символической логики . 19 (1): 123–126. DOI : 10,2178 / bsl.1901070 . ISSN 1079-8986 . S2CID 124592216 .   
  7. ^ "Leiter Reports: Философский блог: Дань Тимоти Уильямсона Рут Баркан Маркус по случаю получения ею премии Лауэнера" . leiterreports.typepad.com . Проверено 19 августа 2016 года .
  8. ^ a b c Гендлер, Т.С. , "Рут Баркан Маркус" , Архив еврейских женщин: Всеобъемлющая историческая энциклопедия , 27 февраля 2009 г.
  9. ^ "Маркус, Рут Баркан (1921-) | Encyclopedia.com" . www.encyclopedia.com . Проверено 22 марта 2019 .
  10. Перейти ↑ Craig, E. (ed.), Routledge Encyclopedia of Philosophy , vol. 8 ( Абингдон-он-Темз : Рутледж, 1998 г.), стр. 164.
  11. ^ Крипке, С. А., Именование и необходимость ( Кембридж, Массачусетс : Издательство Гарвардского университета , 1972).
  12. ^ Дань Тимоти Уильямсона Рут Баркан Маркус по случаю получения ей премии Лауэнера , Leiter Reports: Философский блог, 14 октября 2008 г.
  13. ^ "Нил Крипке | Стивен Нил - Academia.edu" . academia.edu . Проверено 19 августа 2016 года .
  14. ^ См. «Моральные дилеммы и последовательность» (Философский журнал, 1980).
  15. ^ См. «Предлагаемое решение загадки относительно веры» («Основы аналитической философии в исследованиях Среднего Запада», 1981 г.) и «Рациональность и вера в невозможное» («Философский журнал», 1983 г. и др.).
  16. ^ The Philosophical Review , 78 (1969).

Внешние ссылки [ править ]

  • Синнотт-Армстронг, В. и др., Редакторы, Модальность, мораль и убеждения: очерки в честь Рут Баркан Маркус ( Кембридж : издательство Кембриджского университета , 1995).
  • Гендлер Т.С., Запись о Маркусе , Архив еврейских женщин: Всеобъемлющая историческая энциклопедия , 27 февраля 2009 г.
  • Фокс, М., «Рут Баркан Маркус, философ-логик, умерла в возрасте 90 лет» , The New York Times , 13 марта 2012 г.
  • Раффман Д., «Женщина, боец, философ» , The Stone , The New York Times , 26 апреля 2012 г.
  • «In memoriam: Рут Баркан Маркус» , « Йельские новости» , 21 февраля 2012 г.
  • Рут Баркан Маркус на проекте « Математическая генеалогия» .
  • Маркус, РБ, «Философское призвание» - «философская автобиография» (доступная для загрузки в виде документа ), прочитанная в Йельском университете в виде лекции Джона Дьюи ( APA) в 2010 году, а затем опубликованная в ежегодном труде и адресах Американской философской ассоциации .
  • Уильямсон, Т., «In Memoriam: Рут Баркан Маркус, 1921–2012» , Бюллетень символической логики , Vol. 19, № 1 марта 2013 г.
  • Запись о Маркусе , Энциклопедия философии , 2006 г.
  • Запись о Маркусе , Женщины в мировой истории: биографическая энциклопедия , 2002.
  • Фотопортрет Маркуса , затем Рут Баркан, ок. 1940 г. ( источник, разрешения ).
  • Публикации Рут Баркан Маркус и о ней в каталоге Helveticat Швейцарской национальной библиотеки .
  • Документы Рут Баркан Маркус (MS 1993) , Рукописи и архивы, Библиотека Йельского университета.