Де́йвид Ке́ллог Лью́ис (англ. David Kellogg Lewis; 1941—2001) — американский философ. Один из наиболее авторитетных представителей аналитической философии последних десятилетий XX века. Автор гипотезы «модальный реализм», предполагающей, что все возможные миры так же реальны, как реальный мир.
Сын Джона Льюса (John D. Lewis), преподававшего в Оберлинском колледже, и Рут Льюс (Ruth Ewart Kelloggs Lewis), специалиста по средневековой истории. Выпускник Оберлинской высшей школы. Один год (1959—1960) обучался в Оксфорде у Айрис Мёрдок, после чего выбрал философию как основную дисциплину и окончил курс в Гарварде в 1967 году.
Экстравагантность материализма Льюиса поразительным образом сочеталась с исключительной философской проницательностью и тончайшей логической проработкой интересовавших его проблем. Спорившие с ним философы подчас вынуждены были признавать своё бессилие перед его утончённой аргументацией, хотя отстаиваемую им точку зрения редко можно было признать интуитивно убедительной. Возможно, именно это интеллектуальное превосходство иногда заставляло его как бы играючи защищать взгляды, которых он придерживался просто потому, что никому из его оппонентов было не под силу его опровергнуть. При этом сам он был в высшей степени открыт к критике и никогда не стеснялся признавать свою неправоту или корректировать свои воззрения под влиянием переубедивших его коллег. Правда, материализм всегда оставался для него неприкосновенным.
Метафизика Льюиса представляет собой разновидность материализма, специфику которого можно было бы выразить следующим образом: всё существующее (включая физические законы) «надстраивается» (supervenes) над физическими свойствами индивидуальных точек четырёхмерного пространства-времени или же над свойствами, распределёнными по этим точкам. Хотя такой взгляд на вещи не обязательно предполагает материализм, Льюис настаивал на его материалистической трактовке, утверждая, что физика сообщает всю истину о мире.
Чтобы в мире остались одни лишь физические индивиды, Льюис сводит все универсалии — свойства и отношения — к множествам или классам индивидов. Свойство — это просто принадлежность индивида к соответствующему множеству, каждое из которых Льюис тоже трактует в качестве индивида. Однако даже если понимать множества как индивиды (хотя с этим и связан ряд серьёзных логических затруднений), то это индивиды абстрактные, а не физические.
К этому добавляется другая трудность: множества и свойства не всегда совпадают. Например, множество живых существ, имеющих сердце, совпадает с множеством живых существ, имеющих почки. Но иметь сердце и иметь почки — это разные качества. Льюис находит выход: он отождествляет свойства не просто с множествами индивидов, существующих в нашем мире, а с множествами индивидов, существующих во всех возможных мирах со всеми их возможными отличиями от нашего мира. В этом случае возможны миры, в которых живые существа с сердцем не имеют почек, а живые существа с почками лишены сердца.