Условные суждения

Конечно, разум слаб по сравнению со стоящими перед ним бесконечными задачами. Он действительно слаб на фоне безумств и страстей человечества, которые, как мы должны признать, почти целиком управляют нашими судьбами, в большом и малом.

Альберт Эйнштейн (1879-1955)

В условных суждениях, т. е. в суждениях, имеющих структуру «если... то...», как и в примерах других рассуждений, представленных в этой главе, посылки, которые являются или считаются истинными, используются для определения валидности заключения. Эти суждения основаны на отношениях сопряженности: одни события зависят от появления других событий. Если истинна первая часть условной связи («если...»), то должна быть истинной и вторая часть («то...»). Эти суждения иногда называют условной логикой или логикой высказываний (пропозициональной логикой). Изучите приведенные ниже четыре условных суждения. В каждом случае определите, является ли заключение валидным.

1. Если она богата, то она носит бриллианты. Она богата.

Следовательно, она носит бриллианты. Правильно или неправильно?

2. Если она богата, то она носит бриллианты. Она не носит бриллиантов. Следовательно, она не богата. Правильно или неправильно?

3. Если она богата, то она носит бриллианты. Она носит бриллианты. Следовательно, она богата. Правильно или неправильно?

4. Если она богата, то она носит бриллианты. Она не богата.

Следовательно, она не носит бриллиантов. Правильно или неправильно?

В каждой из этих задач первая посылка начинается со слова «если». Первая часть посылки («если она богата») называется антецедентом (основанием); вторая часть («то она носит бриллианты») — консеквентом (следствием). (168:)