Аристотель, как и многие другие древнегреческие мыслители, очень трепетно относился к истине. Поиск истины — задача, которая не давала покоя людям на протяжении всей истории человечества. В наше время этим важным делом довольно успешно занимается наука. Итак, Аристотель хотел придумать такой мыслительный инструмент, который неизбежно приводил бы нас к истинному знанию. Таким инструментом для него и многих поколений его последователей стала логика.
Вспомним: логика — это теория правильных рассуждений. Что такое рассуждение, мы уже знаем, теперь осталось разобраться в том, какие же рассуждения являются правильными. Классическая точка зрения такова: рассуждение является правильным, если оно всегда приводит нас к истинному заключению, когда мы отталкиваемся от истинных посылок. Иначе говоря, правильное рассуждение не позволяет получить из истинных посылок ложное заключение.
Давай посмотрим на наши примеры рассуждений:
Посылка 1: Все хорошие игры получают высокие оценки критиков.
Посылка 2: «Драконы в подземельях» критики оценили очень высоко.
Заключение: «Драконы в подземельях» — хорошая игра.
Допустим, что обе посылки этого рассуждения истинны. Может ли тогда заключение быть ложным? Для того чтобы это проверить, нам нужно сделать два шага: