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

Модельное мышление", Скотт Пейдж Замешанная на логике бомба для программистов, аналитиков, математиков, для всех, кто работает абстрактным мышлением и свысока смотрит на нас гуманитариев, ловцов образов, бабочек и дофамина...