sfd
Формальная логика. Глава XII.§ 4
§ 4. Правила доказательства Для того чтобы доказательство действительно обосновывало тезис, надо соблюсти ряд совершенно необходимых правил. Первое правило. На занятии кружка или на собрании иногда можно наблюдать такую картину: выступающий в прениях говорит очень гладко, приводит некоторые доводы, между которыми имеется известная связь. Но вот вы решаете уловить, какую же мысль развивает выступающий в прениях, каков его тезис. И оказывается, сделать это не так-то легко. Определить тезис очень трудно...
Прямые и косвенные доказательства
Прямым называется доказательство, в котором тезис выводится из аргументов по правилам дедуктивных умозаключений. Никаких дополнительных приемов рассуждения при этом не используется. Если аргументы истинны, то тезис из них следует с логической необходимостью и достоверностью. Так в математике доказывается большинство теорем. Косвенным доказательством называют доказательство, в котором сначала доказывается антитезис, а затем уже, убедившись в ложности антитезиса, доказывают истинность тезиса. Таким образом, косвенное доказательство начинается с того, что выдвигается допущение, противоречащее тезису...