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

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

Рут Баркан Маркус ( / ˈ b ɑːr k ən ˈ m ɑːr k ə s / ; родилась Рут Шарлотта Баркан ; 2 августа 1921 г.) – 19 февраля 2012 г. ) — американский академический философ и логик, наиболее известный своими работами в области модальной и философской логики . Она разработала первые формальные системы количественной модальной логики. и тем самым представил схему или принцип, известный как формула Баркана . (Она также ввела теперь стандартный оператор «коробка», если это необходимо в этом процессе.) Маркус, первоначально публиковавшийся как Рут К. Баркан , было, как отмечает Дон Гарретт «один из самых важных и влиятельных философов-логиков двадцатого века». Тимоти Уильямсон , отмечая в 2008 году долгую карьеру Маркуса, заявляет, что многие из ее «основных идей не просто оригинальны, умны, красивы, увлекательны, влиятельны и намного опережают свое время, но на самом деле – я считаю, что - истинный ".

карьера

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

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

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

Философия

логика

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

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

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

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

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

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

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

Необходимость удостоверения личности

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

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

Семантика QML

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

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

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

Вера

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

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

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

Замещающая

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

Работает

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

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

Научные статьи

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

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

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

Внешние ссылки

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