
47
В реальном развитии научного знания используются различные логические виды
обоснования: доказательство, опровержение, подтверждение, интерпретация, оправдание,
объяснение и др., высшей из которых является доказательство.
«Доказательство, — замечает В. И. Свинцов, — в принципе можно толковать как
вполне совершенную форму обоснования (обоснование же — как незавершенное,
редуцированное, неполное, усеченное доказательство)»
31
. В строгом смысле
доказательство представляет собой логический процесс, заключающийся в обосновании
истинности того или иного положения с помощью других положений, истинность которых уже
установлена ранее. Сопоставляя между собой установленные наукой истинные положения по
правилам дедуктивных умозаключений, получают из них новые, ранее неизвестные положения
и вместе с тем устанавливают их истинность. В соответствии с этим использование понятия
доказательства в широком смысле слова (как всякое обоснование) является неточным. Всякое
доказательство есть обоснование, но далеко не каждое обоснование есть доказательство.
В процессе доказательства нельзя пользоваться такими умозаключениями, которые дают
в выводе недостоверное знание, например индуктивными обобщениями, о логической
обоснованности или истинности которых с достоверностью нельзя говорить, ибо никакое
число подтверждающих наблюдений само по себе не может доказать достаточным образом
необходимость. Поскольку истинность посылок при индуктивном умозаключении не гарантирует
истинности заключения, результаты, полученные при помощи индуктивных выводов, должны
быть обоснованы дедуктивным путем, т. е. при помощи других суждений, истинность которых
установлена ранее. В процессе научного обоснования осуществляется диалектический синтез
индуктивных и дедуктивных способов обоснования теоретического знания, что обусловливает
его истинность и надежность.
Строгое доказательство, построенное в соответствии с логическими законами и правилами,
является лишь одной из форм научного обоснования, которое имеет многоступенчатый
характер.
Одновременно с доказательством в процессе научного поиска часто используется такой
вид обоснования, как опровержение, которое устанавливает ложность тезиса. Различают две
разновидности опровержения: доказательство антитезиса и установление ложности следствия,
вытекающей из тезиса. При опровержении некоторого высказывания путем доказательства
антитезиса самостоятельно доказывается высказывание, противоречащее опровергаемому
тезису (антитезис). При опровержении тезиса путем установления вытекающих из него
следствий сначала делается допущение об истинности опровергаемого тезиса, и из него выводятся
следствия. Если хотя бы одно из следствий не соответствует действительности, т. е. является
ложным, то ложным будет и допущение (опровергаемый тезис). Таким способом Галилей
опровергал тезис о том, что скорость падающего тела зависит от его веса. Если это так,
рассуждал Галилей, то два тела различного веса, соединенные жесткой связью, должны падать с
Пизанской башни со скоростью, превышающей скорость каждого из них в отдельности. Но, в то
же время, скорость данной системы тел должна быть равна величине, промежуточной между
скоростями этих тел, поскольку скорость более легкого тела будет тормозить движение более
тяжелого. Налицо взаимоисключающие следствия, а это значит, что, по крайней мере, одно из
них ложно, следовательно, ложным, т. е. опровергнутым, будет исходный тезис. Опровержение с
помощью установления ложности следствий, вытекающих из тезиса, известно под названием
"сведение к абсурду".
В процессе научной аргументации опровергаться может как обосновываемый тезис, так и
средства его обоснования — аргументы и демонстрация. Опровержение тезиса оппонента —
наиболее эффективный прием научной аргументации, продвигающий ее на пути к истине.
Однако иногда бывает проще и удобнее направить усилия против аргументов оппонента или
указать на отсутствие необходимой логической связи между его тезисом и аргументами. При
31
Свинцов В. И. К вопросу о соотношении понятий "аргументация" доказательство", "обоснование" // Философские
проблемы аргументации. Ереван, 1986. С. 168.