Баламут Чума (balamut4uma) wrote,
Баламут Чума
balamut4uma

Categories:

ДОКАЗАТЕЛЬСТВО. С. Н. ВИНОГРАДОВ и А. Ф. КУЗЬМИН. ЛОГИКА. 1954. (Текст)


  Глава 12

       ДОКАЗАТЕЛЬСТВО

       § 1. Определение логического доказательства

       В любом школьном сочинении, в научном исследовании, в докладе и лекции, в беседе и дискуссии нам приходится не только высказывать различные суждения, но и обосновывать, доказывать их истинность.
       Голословные, необоснованные суждения никого не убеждают и терпят крах при первой же проверке их практикой. Ярким примером этого могут служить все «теории», враждебные марксизму-ленинизму.
       Так, у оппортунистов II Интернационала существовало такое «теоретическое» положение: пролетариат не может и не должен брать власть, если он не является сам большинством в стране.
       Критикуя это утверждение противников марксизма-ленинизма, И. В. Сталин писал: «Доказательств никаких, ибо нет возможности оправдать это нелепое положение ни теоретически, ни практически».
       Известно, что жизнь опровергла эти необоснованные положения II Интернационала. Пролетариат России, будучи меньшинством населения страны, опираясь на союз с беднейшим крестьянством, свергнул господство капиталистов и взял власть в свои руки.
       Основоположники марксизма-ленинизма всегда обращали внимание на доказательность рассуждений. Ф. Энгельс писал, что если философ требует, чтобы верили в его правдивость, то пусть он выступит с доказательством.
       В речи на Петербургской партийной конференции в 1906 г. В. И. Ленин говорил, что никто из выступавших меньшевиков не опроверг доводы большевиков, ибо «...все, что говорилось — голословно и не может служить достаточным основанием...»
       В своей исторической работе «Анархизм или социализм?» И. В. Сталин показывает, что недостаточно отвергнуть «учение» анархистов, надо обосновать его полную несостоятельность.
       «Если «учение» анархистов выражает истину, — писал И. В. Сталин, — тогда оно, само собой разумеется, обязательно проложит себе дорогу и соберёт вокруг себя массу. Если же оно несостоятельно и построено на ложной основе, оно долго не продержится и повиснет в воздухе. Несостоятельность же анархизма должна быть доказана».
       Доказательность — это важное качество правильного мышления. Оно является отображением в человеческом мозгу одной из коренных закономерностей материального мира. В природе и в обществе каждый предмет, каждое явление связаны со всеми другими предметами и явлениями.
       Появление любого материального предмета подготовлено всем предшествующим развитием других материальных предметов. И. В. Сталин говорит, что «ни одно явление в природе не может быть понято, если взять его в изолированном виде, вне связи с окружающими явлениями, ибо любое явление в любой области природы может быть превращено в бессмыслицу, если его рассматривать вне связи с окружающими условиями, в отрыве от них, и, наоборот, любое явление может быть понято и обосновано, если оно рассматривается в его неразрывной связи с окружающими явлениями, в его обусловленности от окружающих его явлений».
       Ясно, что и наши мысли о предметах внешнего мира, если они соответствуют тому, что они отображают, должны находиться во взаимосвязи, опираться на предшествующую мысль как на своё достаточное основание.
       Любая научная теория, любое правильное рассуждение по тому или иному определённому вопросу представляют последовательную связь мыслей.
       Так, мы уже знаем, что в самом простом индуктивном умозаключении общий вывод вытекает из других единичных, частных или менее общих суждений, т. е. связан с другими мыслями.
       Простейшее обобщение, полученное таким образом, можно применить к другим единичным, частным или менее общим суждениям и в результате этого вывести новое суждение, которое будет менее общим, чем первое. Но и это суждение есть результат сочетания, связи с предшествующими суждениями.
       Это характерно для каждого правильного умозаключения, для каждого правильного рассуждения: каждая новая мысль опирается на предшествующие как на своё основание, а предшествующие мысли подготавливают результат умозаключения. Посылки связаны с заключением, заключение связано с выводом. При этом взаимосвязь мыслей в правильном рассуждении не является чем-то произвольным. Связь мыслей в таком рассуждении есть отображение реальных связей предметов и явлений материального мира.
       Так, связь мыслей в дедуктивном умозаключении, например, фиксирует связь общего и единичного, как они существуют в действительности. Ленин говорил, что логические фигуры отображают обычные отношения вещей.
       Значит, нельзя понять предмет природы, если рассматривать его вне связи с окружающими его предметами, если брать его в изолированном виде. Но практика показывает, что внутренние связи, которые всегда имеют наибольшее значение для понимания предмета, как правило, не видны прямо, непосредственно, не бросаются сразу в глаза при первом же знакомстве с предметом. Если бы форма проявления и внутренняя сущность вещей непосредственно совпадали, то всякая наука была бы излишней.
       Задача любого научного исследования и состоит в том, чтобы установить связи между отдельными сторонами предмета, между данным предметом и окружающими его предметами.
       Всякая мысль есть отображение внешнего мира. Причём это отображение не непосредственное, не цельное. Наши мысли не механически, как простое зеркало, отображают закономерности природы и общества.
       Естественно поэтому, что умение убедительно доказать в процессе того или иного рассуждения необходимую связь мыслей, в которой отобразилась связь вещей объективного мира, является чрезвычайно важным свойством мышления.
       Доказательство играет существенную роль в каждой науке. Так, необходимость глубокого изучения явлений электричества обосновывается в учебнике физики рядом других суждений:
       Электрическая энергия в настоящее время является основной формой, в которой техника использует энергию.
       Электрификация страны стала одним из основных условий осуществления дальнейшего роста социалистического народного хозяйства и перехода от социализма к коммунизму.
       Развитие учения об электричестве глубоко изменило научное представление о строении материи. И т. д.
       Без доказательства принимается лишь крайне незначительная часть отправных, исходных положений той или иной научной теории.
       Так, например, в геометрии такими положениями являются следующие: «Две величины, равные порознь третьей, равны между собой», «Целое больше своей части», «Если к равным прибавим равные, то получим равные» и т. д. Всё это представляет собой аксиомы.
       Но и аксиомы принимаются без доказательства не потому, что вовсе не нуждаются в доказательстве в силу какой-то «очевидности». В процессе исторического развития знания они проверяются, уточняются на практике, на опыте.
       Аксиомы признаются недоказываемыми мыслями только потому, что те простейшие отношения и связи вещей, которые запечатлены в аксиомах, миллионы раз проверены многими поколениями людей в процессе общественно-трудовой деятельности.
       По поводу опытного происхождения аксиом В. И. Ленин пишет: «...практическая деятельность человека миллиарды раз должна была приводить сознание человека к повторению разных логических фигур, дабыэти фигуры могли получить значение аксиом».
       Не доказываются также прописные истины, вроде следующих: «Лошади едят овёс», «Волга впадает в Каспийское море».
       Когда однажды В. И. Ленин прочитал в газете статью, в которой доказывалась польза клубов и собраний, он так отозвался об этом: «К чему говорить с такой важностью о вещах, само собою понятных? Неужели стоит доказывать пользу клубов и собраний?»
       Но наши высказывания не сводятся только к аксиомам и к прописным истинам. В устной и письменной речи, в докладе и в школьном сочинении мы употребляем такие суждения, истинность которых не подтверждается ни показаниями органов чувств, ни известной всем аксиомой.
       Например, мы знаем, что «Земля — шар», что «Земля вращается вокруг Солнца». Это знание мы получили не в результате одного только непосредственного воздействия предмета на органы чувств. Зрительное ощущение, взятое само по себе, говорит как раз о другом: «Земля плоская», «Не Земля вращается вокруг Солнца, а Солнце вращается вокруг Земли».
       Истинность подавляющего большинства высказываний требуется доказать. Ни в одной подлинно научной теории не содержится голословных, необоснованных, недоказанных утверждений.
       Что же значит доказать? Что же надо понимать под словом «доказательство»?
       Слово «доказательство» имеет в науке и в житейском обиходе три значения.
       В качестве доказательства того, что то или иное явление, тот или иной факт имели место, приводится другое явление, другой факт.
       Так, например, то обстоятельство, что империалистические круги США сколачивают военные блоки, служит доказательством того, что реакционное правительство этой страны готовится к войне против Советского Союза и стран народной демократии.
       В данном случае доказательством является сам очевидный факт, из которого делается вывод о существовании или несуществовании другого факта.
       Но часто слово «доказательство» употребляется в другом значении.
       Так, в качестве доказательства того, что в классе все ученики сдали экзамены по физике на отличную и хорошую оценку, может служить классный журнал с оценками. Абонементная карточка, в которой мы расписываемся в получении книги, является доказательством того, что книга числится за нами.
       В исторических науках литературные произведения о прошлых событиях, современником или участником которых был автор, принимаются в качестве доказательства различных исторических событий.
       Во всех этих случаях в качестве доказательства приводится не сам очевидный факт, а источник сведений (классный журнал, библиотечная карточка, мемуары) об этом факте, явлении, событии.
       Таково второе значение слова «доказательство». Доказательство — как источник сведений о том или ином событии.
       И есть ещё третье значение слова «доказательство».
       Из закона достаточного основания мы знаем, что для обоснования истинности того или иного суждения не обязательно всякий раз обращаться к источнику или непосредственному факту. Обобщённый в теории опыт трудовой деятельности людей даёт возможность проверять суждения логическим путём. Такие доказательства мы применяем во всех областях знания. Приведём два простых примера.
       Допустим, что нам надо обосновать, что вода упруга. Доказывается это тем, что вода — жидкость, а все жидкости упруги, значит, и вода, будучи жидкостью, упруга. Так из суждений, истинность которых доказана предшествующей практикой людей, делается вывод, что вода упруга.
       Мы утверждаем, что серебро — проводник тепла. Доказывается это так: серебро — металл, а все металлы — хорошие проводники тепла, значит, серебро — проводник тепла. Из двух суждений, истинность которых нам известна, мы вывели истинность суждения: «Серебро — проводник тепла».
       В обоих случаях мы имеем дело с логическим доказательством.
       Доказательство — это логическое действие, в процессе которого истинность одного какого-либо суждения обосновывается с помощью других суждений, истинность которых проверена на практике.
       Логическое доказательство — это мыслительный процесс. Истинность одного суждения подтверждается посредством других суждений.
       Но каждое правильное доказательство в конечном счёте, несомненно, основывается на фактах. В. И. Ленин говорит: «...практикой своей доказывает человек объективную правильность своих идей, понятий, знаний, науки». Если суждения, с помощью которых доказывается выдвинутое положение, не проверены на практике, то таксе доказательство обречено на провал.
       Логическое доказательство мы применяем во всех науках, в практической деятельности и в житейском обиходе, когда надо обосновать истинность одного суждения посредством других суждений, истинность которых проверена на практике.
       Содержание суждений, истинность которых приходится доказывать, в каждой науке различное. Но если отвлечься от частного и конкретного в суждениях, то можно установить нечто общее, что лежит в основе связи и сочетания суждений в процессе доказательства, и на основании этого вывести некоторые правила доказательства, которые имеют силу во всех случаях доказательства.
       Таким общим для всех доказательств является структура доказательства, способы доказательства, общие требования в отношении доказываемого суждения, в отношении суждений, с помощью которых обосновывается доказываемое суждение.
       Это общее и составляет предмет изучения логики в области доказательства.
       Формы и способы доказательства являются результатом длительной, абстрагирующей работы человеческого мышления. Их нельзя рассматривать как продукт одной какой-либо эпохи. Структура доказательства, его способы есть продукт ряда эпох.

       § 2. Состав доказательства

       Во всяком доказательстве безотносительно к тому частному и конкретному, что в нём обосновывается, всегда должны быть налицо следующие три составные части: тезис, основание и способ доказательства (демонстрация).
       1) Тезисом называется суждение или положение, истинность которого требуется доказать.
       Основное требование, которое должно предъявляться к каждому тезису, заключается в том, чтобы содержание доказываемого тезиса было истинным, т. е. соответствовало объективной действительности.
       2) Основаниями (доводами или аргументами) называются те суждения, истинность которых уже установлена и которые поэтому могут быть приведены в подтверждение тезиса в качестве достаточного основания.
       Различается несколько видов оснований доказательства.
       Самым убедительным из них является совокупность относящихся к тезису фактов.
       Точные и бесспорные факты, взятые в их связи, В. И. Ленин считал не только «упрямой», но и безусловно доказательной вещью. Отдельные факты, выхваченные из общей связи, подобранные произвольно, теряют свою доказательную силу. «Подобрать примеры вообще, — говорил В. И. Ленин, — не стоит никакого труда, но и значения это не имеет никакого, или чисто отрицательное, ибо все дело в исторической конкретной обстановке отдельных случаев».
       В качестве оснований могут приводиться определения основных понятий, принятые в данной науке.
       Истинность тезиса в математических доказательствах, например, может обосновываться не только с помощью системы фактов и определений, а также посредством аксиом и постулатов. Существо аксиомы нам уже известно из предыдущего параграфа. Постулат же очень сходен с аксиомой и отличается от неё лишь тем, что он менее общепризнан.
       3) Способ доказательства — формы связи и сочетания оснований и выводов из оснований, которые дают возможность доказать истинность тезиса.
       Способ доказательства — это последовательная связь ряда умозаключений, цепь суждений, которая должна убедительно показать, что доказываемый тезис логически, с необходимостью вытекает из посылок или аргументов, истинность которых проверена на практике. Простое, механическое сложение отдельных посылок не имеет доказательной силы.
       Все эти три составные части обязательно должны быть в каждом доказательстве. В правильном доказательстве тезис и основания ясно и чётко разграничены.
       Но мало знать тезис и иметь основания, надо ещё уметь логически вывести тезис из оснований. Способность доказывания не является чем-то врождённым, её надо развивать.

       § 3. Доказательства прямые и косвенные

       По способу ведения все доказательства делятся на прямые и косвенные.
       Допустим, нам требуется доказать такой тезис:
       «Выборы депутатов в верховный орган государственной власти СССР производятся на основе равного избирательного права».
       Данный тезис мы обосновываем следующими известными всем доводами:
       каждый гражданин СССР имеет один голос;
       каждый гражданин участвует в выборах депутатов независимо от расовой и национальной принадлежности, пола, вероисповедания, образовательного ценза, оседлости, имущественного положения, социального происхождения и прошлой деятельности.
       Из этих доводов логически вытекает истинность выставленного тезиса о том, что в СССР выборы депутатов в верховный орган государственной власти производятся на основе равного права.
       Что характерно для данного хода доказательства? То, что из доводов прямо вытекает истинность тезиса.
       Доказательство, в котором доводы непосредственно обосновывают истинность тезиса, называется прямым доказательством.
       Но нередко приходится встречаться с таким положением, когда доводов, которые прямо доказывали бы истинность тезиса, в данный момент не имеется.
       Как же поступать в таком случае?
       Надо найти доводы, которые доказывают, что суждение, противоречащее тезису, ложно. Найдя такие доводы, надо затем доказать ложность суждения, противоречащего тезису. Из закона исключённого третьего известно следующее: если доказано, что данное суждение ложно, то из этого необходимо следует, что противоречащее ему суждение истинно.
       Доказательство, в котором истинность тезиса обосновывается посредством опровержения истинности других положений, называется косвенным доказательством.
       Косвенное доказательство может быть или апагогическим, или разделительным.
       Способ доказательства в апагогическом косвенном доказательстве заключается в следующем: вначале опровергается положение, противоречащее доказываемому тезису, а затем, на основании закона исключённого третьего, согласно которому из двух противоречащих высказываний одно истинно, а другое обязательно ложно, устанавливается, что доказываемый тезис необходимо истинен.
       Апагогическое косвенное доказательство часто встречается в математике. При помощи его доказывается, например, положение, что в треугольнике, в котором два угла равны, равны также и противолежащие им стороны. Ход доказательства развёртывается следующим образом. Пусть в треугольнике ABC угол Аравняется углу В и пусть противолежащие им стороны будут АС и ВС. Требуется доказать, что АС равно ВС.
       В целях доказательства допускается, что истинно положение, противоречащее тезису, т. е. что АС не равно ВС. Тогда из этого последнего положения, согласно теореме, что во всяком треугольнике против большего угла лежит большая сторона, будет следовать, что угол А должен быть или больше, или меньше угла В. Но так как этот вывод противоречит принятому положению, то противоречащее тезису положение является ложным. Отсюда следует, что истинным должно быть положение, противоречащее ему, а именно — тезис.
       При помощи этого способа доказательства, который называется также доказательством от противного, обосновывается истинность такой, например, теоремы геометрии:
       «Два перпендикуляра к одной и той же прямой не могут пересечься, сколько бы их ни продолжали».
       Ход доказательства развёртывается следующим образом. Допустим на минуту, что истинно положение, противоречащее тезису, т. е что «Два перпендикуляра к одной и той же прямой при продолжении пересекаются». Тогда из этого последнего положения следует, что из точки, лежащей вне прямой, можно опустить на эту прямую два перпендикуляра.
       Но этот вывод ложен, ибо мы знаем доказанную уже теорему о том, что «Из всякой точки, лежащей вне прямой, можно опустить на эту прямую только один перпендикуляр».
       А раз ложно утверждение, что из всякой точки, лежащей вне прямой, можно опустить на эту прямую два перпендикуляра, то ложно и допущенное нами на минуту положение о том, что два перпендикуляра к одной и той же прямой при продолжении пересекаются, ибо это есть также нарушение теоремы о том, что «Из всякой точки, лежащей вне прямой, можно опустить на эту прямую только один перпендикуляр». Ведь два перпендикуляра, пересекающиеся при продолжении, есть два перпендикуляра, опущенные из одной точки на эту же самую прямую.
       Так мы доказали, что допущенное на минуту в качестве истинного положение, противоречащее нашему тезису, о том, что «Два перпендикуляра к одной и той же прямой при продолжении пересекаются», ложно.
       В результате мы получили два противоречащих суждения: «Перпендикуляры пересекаются» и «Перпендикуляры не пересекаются».
       По закону исключённого третьего известно, что из двух противоречащих суждений одно необходимо ложно, а другое необходимо истинно и третьего между ними быть не может. Действительно, перпендикуляры к одной и той же прямой или пересекаются, или не пересекаются. Никакого третьего положения даже представить невозможно.
       А раз мы доказали, что суждение «Два перпендикуляра к одной и той же прямой при продолжении пересекаются» ложно, то отсюда совершенно необходимо следует, что противоречащее суждение «Два перпендикуляра к одной и той же прямой не могут пересечься, сколько бы их ни продолжали» — истинно. Что и требовалось доказать, как говорят в таком случае геометры.
       Разделительное косвенное доказательство применяется в тех случаях, когда известно, что доказываемый тезис входит в число фактов, которые в своей сумме полностью исчерпывают все возможные факты по данному вопросу.
       Способ такого доказательства заключается в следующем: отвергаются все факты, кроме одного, который и является доказываемым тезисом.
       Так, если установлено, что первенство школы в беге на 100 метров оспаривали только учащиеся К., В. и Д., и если при этом нам стало известно, что ни К., ни В. не оказались первыми, то тем самым доказано, что первенство завоёвано учеником Д.
       Ошибка, которая иногда встречается в разделительном косвенном доказательстве, состоит в том, что исследуются не все возможные факты. Истинность тезиса доказывается только при условии опровержения всех возможных предположений по рассматриваемому вопросу, кроме одного.
       Применение косвенного доказательства связано с известной трудностью. В процессе косвенного доказательства приходится временно отклоняться от того тезиса, который обсуждается, привлекать дополнительный материал, что, конечно, осложняет весь процесс рассуждения. Но этот приём доказательства нужно знать, потому что в практической жизни нередко приходится иметь дело с таким положением, когда аргументов, которые бы прямо доказывали истинность тезиса, в данный момент не имеется.
(Окончание следует)
***


ДОКАЗАТЕЛЬСТВО

С. Н. ВИНОГРАДОВ и А. Ф. КУЗЬМИН. ЛОГИКА. 1954.

       По окончании войны проведенный Сталиным анализ показал: наши потери были бы много меньше, умей мы рассуждать последовательно. А переполнили чашу терпения Сталина заседания Совета министров, где он, к ужасу своему, увидел, что члены правительства не слышат друг друга (ну точно как наши современные кнопкодавы). И тогда по указанию отца народов логику вернули в школы.
       ЦК ВКП(б) в постановлении «О преподавании логики и психологии в средней школе» от 3 декабря 1946 года признал совершенно ненормальным, что в средних школах не изучается логика и психология, и счел необходимым ввести в течение 4 лет, начиная с 1947/48 учебного года, преподавание этих предметов во всех школах Советского Союза.
       В соответствии с этим постановлением в 1947–1949 годах преподавание психологии было введено в 598 средних школах.
       И вот тут то начинается самое интересное. Хотя после войны логике и стали учить в школе, но заменили великолепный еще царский учебник Поварнина новым. Школьникам преподавали новую науку не привыкшие к точности математики, а учителя литературы. Не мытьем так катаньем превращали людей в «совков».
       Сталинской логики хватало на то, чтобы вести страну вперед, задавая в ней наивысшую в мире производительность труда. Однако, вождь всех народов слишком доверился придворным философам и совершенно не контролировал их. Образец танка или очередного самолета он отбирал лично, тщательно сопоставляя со старой техникой. А в этом случае таких сопоставлений не произвел, нарушив принятый им же порядок. С одной стороны поручение Сталина было выполнено — логику вернули в школьную программу, а с другой стороны — уровень преподавания сводил саму идею на ноль. Лжеученые продолжали портить головы людям.
       Сталин умер весной 1953 года, а уже первого сентября школьники не обнаружили в расписании предмета «логика».

PDF С. Н. ВИНОГРАДОВ и А. Ф. КУЗЬМИН. ЛОГИКА. 1954
https://cloud.mail.ru/public/Ggkn/ns8WQmBGF
ДОК: ДОКАЗАТЕЛЬСТВО
Balamut-Chuma
https://disk.yandex.ru/i/MUKZ_t1exg_07w
bchumagugl@mail.ru
https://cloud.mail.ru/public/uE5N/NBSyhc2Sz

[Spoiler (click to open)]#книга #логика #виноградов #доказательства
#баламутчума #баламутчумакнига #баламутчумалогика #баламутчумавиноградов #доказательства
книга, логика, виноградов, доказательства,баламутчума
Tags: #баламутчума, #баламутчумавиноградов, #баламутчумакнига, #баламутчумалогика, #виноградов, #доказательства, #книга, #логика, виноградов, доказательства, книга, логика
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 0 comments