Многие почему-то думают, что философы закончились где-то в античности. Или в крайнем случае веке в XVIII. Но на самом деле философы существуют и сейчас. Просто они не такие модные, как раньше. Хотя... Представьте самого влиятельного философа последних 50 лет. Человека, чьи идеи перевернули логику, философию языка, метафизику и теорию познания с ног на голову. Чьи тексты цитируют как священные писания в университетах от Оксфорда до Токио. Чьи лекции собирали толпы, а книги породили целые академические индустрии толкований и споров...

Мы продолжаем разбирать философов из книги «12 ведущих философов современности». Солу Крипке сейчас семьдесят восемь лет, он философ и логик, и у него есть своя собственная семантика, которая активно используется для неклассических логик. Семантика возможных миров Крипке предложил использовать возможные миры для описания того, что возможно или необходимо. Если какое-то предложение A возможно, значит, возможен мир, в котором A — истинно. А если предложение B необходимо, то в любом возможном мире B — истинно...