ЛЬЮИС Кларенс Ирвинг

(12 апреля 1883, Стонем, Массачусетс — 3 февраля 1964, Менло-Парк, Калифорния) — американский логик и философ, преподавал в Тарвардском и Стенфордском университетах, доктор философии (1910); член Американской академии искусств и науки, Американского философского общества. В философских концепциях Льюиса ощутимо влияние Ч. Пирса и Г. Лейбница. Льюис выдвинул теорию т. н. концептуалистического прагматизма, сочетавшего идеи прагматизма и философии логического анализа. Льюис различает аналитические (формальные) и эмпирические истины, (ср. истины разума и факта у Лейбница). Абсолютно истинным, по Льюису может быть лишь аналитическое знание; эмпирические истины всегда не более чем вероятны. Непосредственное, ознакомительное знание невозможно, оно всегда предполагает дедуктивный, выводной элемент, значит нуждается в исходных категориальных понятиях. Категориальная сеть служит для классификации и истолкования научных фактов, она априорна. Априорную истину Льюис понимает как дефинитную, ее можно обнаружить только при анализе понятий. Из дефицитности системного знания следует возможность неограниченного множества различных концептуальных схем, или способов упорядочивания знания. Для осуществления выбора какой-либо из этих систем необходим прагматический или инструментальный критерий (см. Инструментализм) — это и есть сфера познавательной деятельности людей.

Логические исследования Льюиса посвящены гл. о. разработке различных систем модальной логики, к которым он пришел, отвергая классическую материальную импликацию (см. Следование логическое). В статье «Импликация и алгебра логики»  (Implication and algebra of logic. — «Mind», 1912, v. 21). Льюис подверг критике парадоксальное, с его точки зрения, отсутствие смысловой связи между А и В в истинной материальной импликации/! => В. Один из вариантов его логики изложен в трактате «Очерк символической логики» (A survey of symbolyc logic. Berkeley, 1918). Очерк содержит также обзор истории математической логики со времени Лейбница. Наиболее полно логические системы Льюиса развиты в написанной совместно с Г. Лангфордом монографии «Символическая логика» (Symbolic logic). В гл. VI книги изложена система, в которой наряду с классическими связками (см. Логические связки) задается оператор возможности «О». Ор означает: «р возможно», или «возможно, что р истинно», или «р самосовместимо». Показывается, что Ор эквивалентно утверждению «Ложно, что р влечет собственное отрицание». Через отрицание, конъюнкцию и возможность определяется строгая импликация  p—>q=-iO(pSi-,q):p строго влечет q, означающая «Ложно, что возможно, чтобы р было истинно, а сложно». Если q выводимо изр, то утверждение «р истинно, а q ложно» означает скрытое противоречие. Работами Льюиса положено начало современного этапа модальной логики.

Соч.: A survey of symbolic logic. Berkeley, 1918; The pragmatic element in knowledge. Berkeley, 1926; Symbolic logic (Lewis C.I., Langford С. H.), N. Y.-L., 1932; The modes of meaning. - «Philos, and Phenomenol. Res.», 1943—1944. 4; Our social inheritans. Blooinington, 1957.

Лит.: Lewis. Clarens Irving. — Whos who in America, v. 20, 1938—1939, p.523.

3. А. Кузичева