Купер Гарольд Лэнгфорд

Купер Гарольд Лэнгфорд (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]

• Langford, CH (1926). «О квантификаторах для общих предложений». Bull. Amer. Math. Soc. 32 (6): 694–704. doi : 10.1090/s0002-9904-1926-04298-1 . MR  1561292.
• Langford, CH (1927). «Анализ некоторых общих положений». Bull. Amer. Math. Soc . 33 (6): 666–672. doi : 10.1090/s0002-9904-1927-04445-7 . MR  1561444.
• Langford, CH (1927). «Об индуктивных отношениях». Bull. Amer. Math. Soc . 33 (5): 599–607. doi : 10.1090/s0002-9904-1927-04419-6 . MR  1561425.
• Langford, CH (1927). «О типе полноты, характеризующей общие законы разделения пар точек». Trans. Amer. Math. Soc. 29 (1): 96–110. doi : 10.1090/s0002-9947-1927-1501378-8 . MR  1501378.
• Langford, CH (1928). «О логических принципах». Bull. Amer. Math. Soc . 34 (5): 573–582. doi : 10.1090/s0002-9904-1928-04625-6 . MR  1561620.
• Льюис, CI ; Лэнгфорд, Купер Гарольд (1959) [1932]. Символическая логика (2-е изд.). Dover Publications . ISBN 0-486-60170-6.
• Langford, CH (1937). «Обзор: Значимость пасиграфических систем Э. У. Бета». Журнал символической логики . 2 (1): 53–54. doi :10.2307/2268834. JSTOR  2268834.
• Лэнгфорд, CH (1949-01-06). «Доказательство того, что синтетические априорные предложения существуют». The Journal of Philosophy . 46 (1): 20–24. doi :10.2307/2019526. JSTOR  2019526.

• Чёрч, А. (1950). «Об анализе Карнапом утверждений и убеждений». Журнал символической логики . 10 (5): 97–99. doi :10.2307/3326684. JSTOR  3326684.

• Работы CH Langford – PhilPapers