Кларенс Ирвинг Льюис¶

Кларенс Ирвинг Льюис (англ. Clarence Irving Lewis; 12 апреля 1883, Стоунхем, Массачусетс — 3 февраля 1964, Кембридж, Массачусетс) — американский философ, логик и педагог, один из основоположников современной модальной логики и основатель концепции прагматического априоризма. Известен разработкой систем строгой импликации, которые легли в основу современной модальной логики, а также вкладом в эпистемологию и философию науки.

¶Биография

Кларенс Ирвинг Льюис родился 12 апреля 1883 года в городе Стоунхем, штат Массачусетс, в семье Ирвинга Льюиса и Мэри Элизабет Льюис. В 1902 году поступил в Гарвардский университет, где изучал философию под руководством Уильяма Джеймса и Джозайи Ройса. В 1906 году получил степень бакалавра, а в 1910 году — докторскую степень (Ph.D.) за диссертацию «Место интуиции в познании» (The Place of Intuition in Knowledge).

После защиты диссертации Льюис преподавал в Калифорнийском университете в Беркли (1910–1911) и в Университете Колорадо (1911–1912). В 1912 году вернулся в Гарвард, где работал доцентом, а затем профессором философии. В 1920 году он стал полным профессором, а в 1930–1939 годах возглавлял философский факультет Гарварда. В 1946 году вышел на пенсию, но продолжал активную научную деятельность до конца жизни.

Льюис был женат на Мэри Элизабет Гарднер, с которой имел двоих детей. Умер 3 февраля 1964 года в Кембридже, штат Массачусетс.

¶Философские взгляды

¶Прагматический априоризм

Основной философской концепцией Льюиса стал прагматический априоризм — синтез идей прагматизма Чарльза Сандерса Пирса и Уильяма Джеймса с кантовским априоризмом. Льюис утверждал, что априорные истины (например, логические и математические) не являются абсолютными и неизменными, а представляют собой условные соглашения, которые могут быть пересмотрены в свете практического опыта. Однако, в отличие от радикального эмпиризма, он считал, что априорные принципы необходимы для организации опыта и познания.

В работе «Разум и мировой порядок» (Mind and the World Order, 1929) Льюис писал, что априорные категории — это «инструменты» для интерпретации чувственных данных, которые могут быть заменены, если они перестают быть полезными. Этот подход оказал влияние на развитие аналитической философии и философии науки.

¶Теория познания

Льюис разработал концепцию «чувственного данного» (sense-data) и «эмпирического знания». Он различал два типа знания: «знание-что» (knowledge by description) и «знание-как» (knowledge by acquaintance). В книге «Анализ знания и оценки» (An Analysis of Knowledge and Valuation, 1946) он предложил теорию, согласно которой все эмпирические утверждения имеют вероятностный характер и основаны на непосредственном чувственном опыте.

Льюис также ввел понятие «терминального суждения» (terminating judgment) — утверждения, которое может быть проверено непосредственно в опыте. Это понятие стало важным элементом его эпистемологии и повлияло на развитие феноменологии и когнитивной науки.

¶Логика

¶Строгая импликация

Основной вклад Льюиса в логику — разработка систем строгой импликации, которые стали альтернативой материальной импликации, используемой в классической логике. В статье «Импликация и алгебра логики» (Implication and the Algebra of Logic, 1912) и в книге «Обзор символической логики» (A Survey of Symbolic Logic, 1918) он показал, что материальная импликация (A → B) неадекватно отражает интуитивное понятие логического следования, так как она истинна, когда A ложно, независимо от B.

Льюис предложил систему строгой импликации, обозначаемую символом «⥽» (или «→»), которая истинна только в том случае, если B логически следует из A. Эта система стала основой для модальной логики, где строгая импликация интерпретируется как «необходимо, что если A, то B». В 1932 году Льюис и его ученик Чарльз Лэнгфорд опубликовали книгу «Символическая логика» (Symbolic Logic), в которой представили пять систем модальной логики (S1–S5), каждая из которых имеет свои аксиомы и правила вывода.

¶Системы S1–S5

Системы S1–S5 Льюиса и Лэнгфорда стали первыми формальными системами модальной логики. Они различаются по набору аксиом, определяющих свойства модальных операторов (необходимости и возможности). Система S5, в которой оператор необходимости является идемпотентным (□p → □□p), стала наиболее популярной и широко используется в современной логике.

Эти системы оказали значительное влияние на развитие неклассических логик, включая интуиционистскую логику, релевантную логику и логику времени.

¶Основные работы

• «Обзор символической логики» (A Survey of Symbolic Logic, 1918) — одна из первых систематических работ по современной логике, в которой введена строгая импликация.
• «Разум и мировой порядок» (Mind and the World Order, 1929) — изложение философской концепции прагматического априоризма.
• «Символическая логика» (Symbolic Logic, 1932, совместно с Чарльзом Лэнгфордом) — классический труд по модальной логике, содержащий системы S1–S5.
• «Анализ знания и оценки» (An Analysis of Knowledge and Valuation, 1946) — эпистемологическая работа, в которой разработана теория эмпирического знания.
• «Основы знания» (The Ground and Nature of the Right, 1955) — сборник лекций по этике и теории ценностей.

¶Влияние и критика

Льюис оказал значительное влияние на развитие аналитической философии, особенно на работы Уилларда Ван Ормана Куайна, Рудольфа Карнапа и Карла Гемпеля. Его концепция прагматического априоризма предвосхитила идеи Куайна о «холизме» и «онтологической относительности». В логике системы S1–S5 стали основой для дальнейших исследований в области модальной логики, включая работы Альфреда Тарского, Яана Хинтикки и Соломона Крипке.

Критика взглядов Льюиса связана с его трактовкой априорного знания. Некоторые философы, например, Куайн, считали, что Льюис недостаточно радикально отошел от кантовского априоризма, сохранив различие между аналитическими и синтетическими суждениями. В логике системы S1–S5 подвергались критике за излишнюю сложность и неоднозначность аксиоматизации, что привело к их последующей доработке в рамках семантики возможных миров.

¶Интересные факты

• Льюис был одним из первых философов, кто использовал формальные методы в эпистемологии, предвосхитив современные подходы в когнитивной науке.
• Он был учителем и наставником Уилларда Ван Ормана Куайна, который позже стал одним из ведущих философов XX века.
• Льюис активно участвовал в дискуссиях о природе логики и математики, выступая против формализма Давида Гильберта и интуиционизма Лёйтзена Брауэра.
• В 1930-х годах он был президентом Американской философской ассоциации (Восточное отделение).

¶Источники

• Lewis, C. I. (1918). A Survey of Symbolic Logic. University of California Press.
• Lewis, C. I. (1929). Mind and the World Order. Charles Scribner's Sons.
• Lewis, C. I., & Langford, C. H. (1932). Symbolic Logic. The Century Company.
• Lewis, C. I. (1946). An Analysis of Knowledge and Valuation. Open Court Publishing.
• Kuklick, B. (1977). The Rise of American Philosophy: Cambridge, Massachusetts, 1860–1930. Yale University Press.
• Rescher, N. (2006). Studies in the History of Logic. Ontos Verlag.