Прикладная философия — Рэймонд М. Смаллиан

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями...

Книга Смаллиана "Всё дело в логике" объединяет под одной обложкой две части. В первой части содержатся логические и арифметические, старые и новые занимательные загадки, которые могут быть интересны читателю любого возраста. Центральные персонажи - дети и собаки. Для решения предлагаемых задач не требуется никаких специальных знаний и навыков, нужно только желание немного подумать. Вторая часть представляет собой своего рода умную и добрую пародию на известную легенду о короле Артуре и рыцарях...

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями...