Учение логики о доказательстве и опровержении | страница 4
Устами основоположника американского прагматизма Уильяма Джемса философия эта провозгласила «нерациональность» всей действительности и даже отказалась от логики как от орудия мышления. «Что касается меня,— заявил Джемс,— то я счёл себя в конце концов вынужденным отказаться от логики, отказаться от неё открыто, честно и раз навсегда... Я открыто предпочитаю называть действительность, если и не иррациональной, то, по крайней мере, нерациональной в своей структуре...»[5]
Обнажая воочию маразм современной буржуазной мысли, поход против доказательства и доказательности, затеянный философскими мракобесами и декадентами, только резче оттеняет непреложную ценность доказательства в мышлении, цель которого — не извращение, а утверждение истины. Самым убийственным для отрицателей доказательства и в то же время самым смешным в их действиях фактом является то, что ненужность доказательства они пытаются (разумеется, безуспешно) «доказывать». Всё же — доказывать! Тем самым они на деле признают над собою безусловную власть того самого логического принципа, который они в реакционном «раже» бессмысленно отрицают.
ІІ. Доказательство и умозаключение
Так как доказательность — необходимое условие логичности истинного мышления, то в логике возникает вопрос о том, посредством каких форм мысли осуществляется необходимое требование доказательности.
Такой формой мысли является умозаключение.
Умозаключение, опирающееся на истинные посылки, связь которых отвечает логическим законам мышления, даёт результат не только истинный, но и доказанный в качестве истинного. Результат умозаключения есть не только мысль истинная, не только мысль новая, сравнительно с каждой посылкой, отдельно взятой. Результат этот есть, кроме того, мысль доказанная. Доказательством умозаключение делает необходимая логическая связь между истинными посылками и заключением. И наоборот: логическая несостоятельность вывода с истинными посылками может состоять только в отсутствии необходимой логической связи между посылками и заключением, т. е. в бездоказательности вывода.
Но если форма умозаключения есть форма, посредством которой удовлетворяется требование доказательности, то исчерпываются ли возможными формами умозаключений формы доказательства?
В руководствах по логике умозаключение нередко рассматривают лишь как составную часть доказывания истины, формой же обоснования истины считают не умозаключение, а доказательство. Под доказательством в этом случае понимают более или менее длинное рассуждение, посредством которого истина обосновывается и которое состоит из целой цепи умозаключений.