Логика. Учебник

Когда заключение действительно следует из посылок, а когда убедительность речи лишь скрывает разрыв в рассуждении? Университетский курс Юрия Ивлева посвящён различиям, без которых трудно обсуждать доказательство. Логика здесь требует внимания к форме высказывания: прежде чем соглашаться с мыслью, следует установить, что утверждается и на каком основании.

Традиционная работа с понятиями и умозаключениями соединена с классической и неклассической логикой. Поэтому учебник пригодится для систематического изучения дисциплины, включая её формальный аппарат. Разделы об аргументации связывают эту подготовку с практикой доказательства и опровержения. Существенно при этом сохранять различие между правильностью вывода и истинностью исходных утверждений: без него даже усвоенные правила легко применить невпопад.

При самостоятельном чтении начните с введения и разбора языка, затем придерживайтесь последовательности курса. Записывайте собственные короткие примеры к определениям и проверяйте каждый переход в рассуждении. Главы об аргументации полезно перечитать после освоения умозаключений: тогда за знакомыми словами о доказательстве будет стоять определённая процедура проверки.