Формальный принцип, известный как формула Баркан, возник из ранних работ Рут Баркан Маркус (Ruth Barcan Marcus), которая ввела первые аксиоматические системы квантифицированной модальной логики. Работая в контексте аналитической философии XX века, она установила фундаментальные концепции в модальной и философской логике, которые продолжают определять текущую академическую дискуссию о референции и необходимости.
Академическая база и карьера
Рут Шарлотта Баркан (Ruth Charlotte Barcan) родилась в Бронксе в 1921 году и закончила бакалавриат Нью-Йоркского университета в 1941 году, где специализировалась на математике и философии. В Йельском университете она получила степень магистра в 1942 году и докторскую степень в 1946 году. Ее профессиональная деятельность включала работу в Северо-Западном университете, Университете Рузвельта в Чикаго и Иллинойсском университете в Чикаго. В 1973 году она стала профессором философии в Йельском университете, занимая должность профессора имени Рубена Поста Халлека до выхода на пенсию в 1992 году в статусе почетного профессора.
Вклад в модальную логику
Маркус разработала первые системы квантифицированной модальной логики, расширив пропозициональные системы до логики первого и второго порядка. Ее публикации 1946 и 1947 годов в журнале «Journal of Symbolic Logic», включая «Функциональное исчисление первого порядка, основанное на строгой импликации» (A Functional Calculus of First Order Based on Strict Implication), ввели формулу Баркан и установили необходимость тождества. Она также ввела стандартный оператор «коробки», используемый для обозначения необходимости в этих формальных системах.
Теории референции и веры
В философии языка Маркус предложила теорию прямой референции, утверждая, что собственные имена функционируют как простые «ярлыки» для объектов, а не как наборы описаний. Этот взгляд контрастировал с преобладавшими в то время теориями собственных имен. Кроме того, ее работа о вере предполагает, что она представляет собой отношение между агентом и положением дел, отвергая чисто лингвистические объяснения познания в пользу поведенческих маркеров, таких как ставки.
Профессиональное признание и членство
На протяжении своей карьеры Маркус занимала различные руководящие должности, в частности, была председателем совета директоров Американской философской ассоциации с 1976 по 1983 год. Она была президентом Ассоциации символической логики и Международного института философии. В 1953 году она получила стипендию Гуггенхайма и была членом Американской академии искусств и наук. Среди ее наград — медаль Уилбура Кросса и лекции Каруса в 2000 году, премия Филипа Л. Куинна в 2007 году и премия Лаунера в 2008 году.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Краткие факты
- Рождение: 1921, Бронкс - Смерть: 2012, Нью-Хейвен - Образование: Йельский университет; Нью-Йоркский университет - Значимая работа: Формула Баркан - Значимая работа: Необходимость тождества - Награда: Стипендия Гуггенхайма (1953) - Награда: Медаль Уилбура Кросса (2000) - Профессиональная роль: Президент, Ассоциация символической логики
Вопросы, которые задают читатели
### Что такое формула Баркан?
Это принцип, введенный Маркус в ее ранних работах по квантифицированной модальной логике, который впервые появился в ее публикациях 1946 года.
### Как Маркус определяла собственные имена?
Она утверждала, что собственные имена функционируют как прямые «ярлыки» для объектов, отвергая теорию о том, что они состоят из описательного контента.
### Где преподавала Рут Баркан Маркус?
Она занимала преподавательские должности в Северо-Западном университете, Университете Рузвельта, Иллинойсском университете в Чикаго и Йельском университете.
