Купер Гарольд Лэнгфорд
Купер Гарольд Лэнгфорд (25 августа 1895, Дублин, округ Логан, Арканзас — 28 августа 1964) — американский философ-аналитик и математический логик книгу «Символическая логика» (1932) , написавший в соавторстве с К. И. Льюисом . Он также известен тем, что представил парадокс Лэнгфорда-Мура .
Биография [ править ]
Проведя первый год обучения в Университете Арканзаса , Лэнгфорд в 1915 году перешёл в Университет Кларка , где получил степень бакалавра искусств в 1920 году. Его обучение в колледже было прервано Первой мировой войной в 1917 году, когда он присоединился к армии США и провёл 20 месяцев за границей. . Получив степень бакалавра наук, Лэнгфорд в 1920 году поступил в аспирантуру Гарвардского университета , где получил степень доктора философии. получил степень доктора психологии у Эдвина Боринга в 1924 году. С помощью стипендии Шелдона он изучал логику и философию в Кембриджском университете в 1924–1925 годах. По возвращении в США Лэнгфорд стал преподавателем в Гарварде с 1925 по 1927 год. Проведя два академических года, 1927–1929, в качестве доцента Вашингтонского университета , осенью 1929 года он стал доцентом с постоянным стажем. на философском факультете Мичиганского университета . Лэнгфорд стал профессором Мичиганского университета в 1933 году и оставался там до конца своей карьеры. В 1935–1936 учебном году он был Сотрудник Гуггенхайма , живущий между Веной и Кембриджем, Англия. [1] [2]
Лэнгфорд известен как соавтор книги 1932 года «Символическая логика» и системы модальной логики S5 . [3] Среди его докторантов Артур Беркс .
В философии языка Лэнгфорд известен благодаря тесту замены Лэнгфорда. Тест позволяет отличить использованные выражения от просто упомянутых в данном предложении путем перевода предложения на другой язык (см. Langford 1937). Если в переводе встречается одно и то же выражение, то оно было упомянуто, а не использовано в исходном предложении. Если выражение не повторяется и заменяется каким-либо другим (обычно синонимичным) выражением, значит, оно использовалось в исходном предложении. Этот тест используется в известном аргументе Алонсо Чёрча относительно подхода Рудольфа Карнапа к атрибуциям убеждений и других анализов убеждений как отношений к предложениям (см. Church 1950).
Лэнгфорд был женат дважды. Его сын Купер Х. Лэнгфорд был химиком. [4]
Избранные работы [ править ]
- Лэнгфорд, Швейцария (1926). «О кванторах общих предложений» . Бык. амер. Математика. Соц. 32 (6): 694–704. дои : 10.1090/s0002-9904-1926-04298-1 . МР 1561292 .
- Лэнгфорд, Швейцария (1927). «Анализ некоторых общих положений» . Бык. амер. Математика. Соц . 33 (6): 666–672. дои : 10.1090/s0002-9904-1927-04445-7 . МР 1561444 .
- Лэнгфорд, Швейцария (1927). «Об индуктивных соотношениях» . Бык. амер. Математика. Соц . 33 (5): 599–607. дои : 10.1090/s0002-9904-1927-04419-6 . МР 1561425 .
- Лэнгфорд, Швейцария (1927). «О типе полноты, характеризующей общие законы разделения пар точек» . Пер. амер. Математика. Соц. 29 (1): 96–110. дои : 10.1090/s0002-9947-1927-1501378-8 . МР 1501378 .
- Лэнгфорд, Швейцария (1928). «О логических принципах» . Бык. амер. Математика. Соц . 34 (5): 573–582. дои : 10.1090/s0002-9904-1928-04625-6 . МР 1561620 .
- Льюис, штат Калифорния ; Лэнгфорд, Купер Гарольд (1959) [1932]. Символическая логика (2-е изд.). Дуврские публикации . ISBN 0-486-60170-6 .
- Лэнгфорд, Швейцария (1937). «Обзор: Значение пасиграфических систем Э. У. Бет». Журнал символической логики . 2 (1): 53–54. дои : 10.2307/2268834 . JSTOR 2268834 .
- Лэнгфорд, Швейцария (6 января 1949 г.). «Доказательство существования синтетических априорных суждений». Журнал философии . 46 (1): 20–24. дои : 10.2307/2019526 . JSTOR 2019526 .
Примечания [ править ]
- ^ «Купер Гарольд Лэнгфорд | Проект истории факультета - Мичиганский университет» . Архивировано из оригинала 17 июня 2018 г. Проверено 7 января 2013 г.
- ^ «Купер Гарольд Лэнгфорд – Мемориальный фонд Джона Саймона Гуггехайма» . Архивировано из оригинала 4 июня 2013 г. Проверено 9 января 2013 г.
- ^ Льюис и Лэнгфорд 1959 .
- ^ Уильям, Уильям; Беркс, Артур В. (1964). «Купер Гарольд Лэнгфорд 1895–1964». Труды и обращения Американской философской ассоциации . 38 : 99–101. JSTOR 3129489 .
Ссылки [ править ]
- Черч, А. (1950). «Об анализе Карнапом утверждений и убеждений». Журнал символической логики . 10 (5): 97–99. дои : 10.2307/3326684 . JSTOR 3326684 .