Во второй половине ХХв в американской аналитической философии широко распространился интерес к теологическим вопросам. Возникло практически целое направление – т.н. «современная схоластика». Вновь встали на повестку дня как будто бы давно ушедшие в тень вопросы о сущности и атрибутах Бога, о доказательствах его бытия, об обосновании наличия зла в мире, созданном всеблагим Богом. Разумеется, в рамках данного направления все перечисленные темы зазвучали несколько иначе, поскольку к их исследованию авторы приступили с имеющимся у них в распоряжении новым, неизвестным средневековым теологам логическим аппаратом – прежде всего, это модальная логика (как первопорядковая, так и более высоких порядков), а также тесно связанная с ней семантика возможных миров.