В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные...
V knige predlagaetsja uvlekatelnoe vvedenie v simvolicheskuju logiku. Dana unifitsirovannaja traktovka trekh "vozmozhnykh mirov": epistemicheskogo mira chelovecheskikh ubezhdenij v istinnosti vyskazyvanij; mira mashin, sposobnykh vosproizvodit istinnye...
