Рут Баркан Маркус ( / ˈ b ɑːr k ən ˈ m ɑːr k ə s / ; урождённая Рут Шарлотта Баркан ; 2 августа 1921 [2] [3] – 19 февраля 2012 [3] ) была американским академическим философом и логиком, наиболее известной по её работам в области модальной и философской логики . [4] Она разработала первые формальные системы квантифицированной модальной логики [5] и тем самым ввела схему или принцип, известный как формула Баркана . [2] [3] [5] (Она также ввела теперь стандартный оператор «ящик» для необходимости в этом процессе.) [4] Маркус, которая первоначально публиковалась как Рут К. Баркан , [5] была, как отмечает Дон Гарретт [2] «одним из самых важных и влиятельных философов-логиков двадцатого века». Тимоти Уильямсон , восхваляя в 2008 году долгую карьеру Маркус, утверждает, что многие из ее «главных идей не просто оригинальны, умны, красивы, увлекательны, влиятельны и намного опережают свое время, но и на самом деле – я считаю – верны ». [6]
Рут Баркан (как ее звали до замужества с физиком Жюлем Александром Маркусом в 1942 году [7] ) с отличием окончила Нью-Йоркский университет в 1941 году, специализируясь на математике и философии . Затем она поступила в аспирантуру Йельского университета , получив степень магистра в 1942 году и степень доктора философии в 1946 году. [7]
Маркус была приглашенным профессором в Северо-Западном университете с 1950 по 1953 год и снова в 1959 году. Она работала ассистентом, а затем ассоциированным профессором в недавно основанном Университете Рузвельта в Чикаго с 1956 по 1963 год. С 1964 по 1970 год она была профессором философии в Университете Иллинойса в Чикаго (первоначально занимая должность заведующего кафедрой). Она была профессором философии в Северо-Западном университете с 1970 по 1973 год, когда она была назначена профессором философии имени Рубена Поста Халлека в Йельском университете до выхода на пенсию в качестве почетного профессора в 1992 году. Она продолжала преподавать в течение зимних семестров в Калифорнийском университете в Ирвайне до 1997 года. [4] [8]
Среди других профессиональных должностей, которые Маркус занимала в течение своей карьеры, был председатель совета директоров Американской философской ассоциации (1976–83) и президент Ассоциации символической логики (1983–86), а затем Международного института философии (1989–92). [4] [7]
Широко обсуждаемая формула Баркана введена как аксиома в QML. [9] : 481 В своей самой ранней опубликованной работе, публикации первого аксиоматического исследования модальной логики с кванторами, Маркус опубликовала под своим девичьим именем Рут К. Баркан. Она включает в себя эти три статьи: «Функциональное исчисление первого порядка на основе строгой импликации», Журнал символической логики (JSL, 1946), «Теорема дедукции в функциональном исчислении первого порядка на основе строгой импликации» (JSL, 1946) и «Идентичность индивидов в строгом функциональном исчислении второго порядка» (JSL, 1947).
Первые системы квантифицированной модальной логики, которые расширили некоторые пропозициональные модальные системы Кларенса Ирвинга Льюиса до первого и второго порядка; статьи 1946 и 1947 годов были крупным достижением в развитии логики 20-го века.
Льюис особо отмечает Маркуса в своих «Заметках о логике интенсионала», первоначально опубликованных в «Структуре, методе и значении: эссе в честь Генри М. Шеффера» (Нью-Йорк, 1951). Здесь Льюис признает Баркана Маркуса первым логиком, расширившим пропозициональную логику до интенсиональной логики более высокого порядка.
Маркус предложила точку зрения в философии языка , согласно которой собственные имена являются тем, что Маркус назвала просто «тегами» («Modalities and Intensional Languages» ( Synthese , 1961) и в других местах). Согласно ее теории тегов имен ( теории прямой ссылки ), эти «теги» используются для обозначения объекта, который является носителем имени. Значение имени считается исчерпывающим этой референциальной функцией. Эта точка зрения контрастирует, например, с теорией описания собственных имен Бертрана Рассела , а также с теорией кластерного описания имен Джона Сирла [10], которая преобладала в то время. Эта точка зрения на собственные имена (представленная в 1962 году с Уиллардом Ван Орманом Куайном в качестве комментатора) была идентифицирована Квентином Смитом с теорией референции, изложенной в книге Сола Крипке « Именование и необходимость» . [11] Однако в недавней хвалебной речи Рут Баркан Маркус профессор Тимоти Уильямсон говорит:
Одна из идей в них, которая больше всего резонирует с современной философией языка, заключается в том, что имена собственные являются всего лишь тегами, без описательного содержания. Это не идея Крипке об именах как жестких десигнаторах , обозначающих один и тот же объект относительно всех соответствующих миров, поскольку «жесткие» определенные описания являются жесткими десигнаторами, но все еще имеют описательное содержание. Скорее, это идея, позже развитая Дэвидом Капланом и другими, что имена собственные являются непосредственно референциальными, в том смысле, что они вносят только своего носителя в предложения, выраженные предложениями, в которых они встречаются. [12]
Философ языка Стивен Нил также выступил против утверждения профессора Смита в литературном приложении к Times . [13]
Маркус формально доказал необходимость идентичности в 1946 году и неформально отстаивал ее в 1961 году, после чего отверг возможность случайной идентичности. См. Journal of Symbolic Logic , (1947) 12: стр. 12–15
Маркус предпочитает интерпретацию, где область интерпретации охватывает отдельные сущности в реальном мире. Она также предполагает, что для некоторых случаев оправдана альтернативная замещающая семантика. Она приводит аргументы против possibilia. См. «Dispensing with Possibilia» (Proceedings of the American Philosophical Association, 1975–76); «Possibilia and Possible Worlds» ( Grazer Philosophische Studien , 1985–86).
Маркус определяет последовательный набор моральных принципов как такой, в котором существует некий «возможный мир», в котором все они подчиняются. То, что они могут конфликтовать в реальном мире, не является признаком непоследовательности. Как и в случае необходимости идентичности, существовало сопротивление такому толкованию морального конфликта. Ее аргумент противоречит широко распространенному мнению о том, что системы моральных правил неизбежно непоследовательны. [14]
Предполагается, что вера — это отношение агента к возможному положению дел при определенных внутренних и внешних обстоятельствах. Согласие с цитируемым предложением (раскрытие кавычек веры) — это только один поведенческий маркер веры. Поведение ставок — это другой. Полностью языково-центрированное описание веры (например, Дэвидсон ) отвергается. Там, где агент традиционно описывается как верящий в невозможность, пока ее невозможность не будет раскрыта, Маркус предлагает, чтобы при таких обстоятельствах агент говорил, что он только утверждал, что верит в невозможность. Во многом таким же образом, когда математик обнаруживает, что одна из его догадок ложна, и поскольку, если она математически ложна, то это невозможно, он сказал бы, что он только утверждал, что догадка истинна. Каким бы странным ни было это предложение, оно аналогично широко распространенному принципу знания: если мы утверждаем, что знаем P, а P оказывается ложным, мы не говорим, что мы знали это раньше, мы говорим, что мы ошибались, утверждая это. [15]
Аристотелевский эссенциализм касается свойств, которые Маркус определяет в контексте модальной структуры. Одно из предложений заключается в том, что свойство является существенным, если что-то им обладает, не все им обладает, если что-то им обладает, то оно им обладает обязательно, и оно не является полностью индивидуализирующим, например, свойство естественного рода. В противном случае Куайн и другие утверждают, что модальная логика или семантика привержены эссенциалистским истинам. Маркус неформально утверждает, что существуют интерпретации некоторых модальных систем, в которых все эссенциалистские утверждения ложны. Теренс Парсонс позже формально доказал этот результат. [16]
Альтернатива семантике Тарского (теоретической модели) предлагается для некоторых применений, где «условия истинности для квантифицированных формул даны исключительно в терминах истины без обращения к областям интерпретации». Это стало называться « семантикой истинностного значения ». Маркус показывает, что утверждение о том, что такая семантика приводит к противоречиям, ложно. [17] Такая семантика может представлять интерес для математики, например, Хартри Филда , или для вымышленного дискурса. Объективная квантификация требуется для интерпретации идентичности и других метафизических категорий. [18] : 190–196
Книги (написанные или отредактированные)
Научные статьи