Структура доказательства
Опосредованное доказательство имеет определенную структуру, которая состоит из трех элементов: 1. Тезис – это то, что доказывается (какое-либо суждение, высказывание, утверждение и т.п.). 2. Аргументы, или основания – это то, чем доказывается (какие-либо суждения, высказывания, утверждения и т.п., истинность которых установлена ранее). Как видим, понятия аргументы и основания являются в логике равнозначными, а соответствующие термины представляют собой синонимы. 3. Демонстрация – это то, как доказывается. На первый взгляд наличие этого третьего элемента в структуре доказательства не совсем понятно: есть тезис, и есть аргументы, которые его обосновывают, или из которых он вытекает, - вот, кажется, и все доказательство. Здесь важно вспомнить закон достаточного основания, который требует не просто присутствия аргументов в неком доказательстве, но и говорит о том, что они должны быть достаточными для доказательства тезиса, т.е. обуславливающими его с достоверностью. Как уже отмечалось, часто встречаются ситуации, когда аргументы, или основания наличествуют, но не являются достаточными (Преступление совершил Н., ведь он сам в этом признался). Более того, нередко бывает так, что аргументы, или основания вообще не связаны с тезисом (Ты виноват уж тем, что хочется мне кушать). Поэтому в доказательстве необходимо показать (продемонстрировать) во-первых, связь аргументов с тезисом, а, во-вторых, их достаточность для его подтверждения или опровержения (без этого никакого доказательства нет). Итак, третий и наиболее важный элемент доказательства – это демонстрация, или способ связи аргументов с тезисом. Рассмотрим все элементы доказательства с помощью примера. В качестве тезиса возьмем высказывание: Шахматы – это полезная игра. Аргументами в данном случае могут быть два суждения: 1. Если что-то развивает мышление, то оно полезно; 2. Шахматы развивают мышление. Как видим, первый аргумент представлен сложным импликативным суждением, а второй является простым, или категорическим суждением. Если расположить эти аргументы друг под другом, то получится классическая форма условно-категорического силлогизма утверждающего модуса: Если что-то развивает мышление, то оно полезно.
Шахматы полезны В данном силлогизме посылки представляют собой аргументы, а вывод – тезис. Таким образом, в рассматриваемом доказательстве демонстрацией является условно-категорический силлогизм (демонстрация проходит в форме условно-категорического силлогизма). Выше говорилось, что демонстрация призвана обеспечить не только связь аргументов с тезисом, но и гарантировать их достаточность для его доказательства. В любом силлогизме, как известно, вывод вытекает из посылок с достоверностью. Следовательно, если в доказательстве аргументы являются посылками силлогизма, а тезис представляет собой его вывод, то демонстрация, проходящая в форме этого силлогизма, вполне выполняет свою задачу, и доказательство следует признать безупречным. Демонстрация в доказательстве может быть выражена не только условно-категорическим силлогизмом, но и вообще - всяким умозаключением, которое дает достоверные или граничащие с достоверностью выводы. Итак, структура опосредованного доказательства включает в себя тезис, аргументы, или основания и демонстрацию.
|
Шахматы развивают мышление.
