Логика и аргументация: Учебн. пособие для вузов.

То же самое можно сказать о противоречиях в физике, химии и других естественных науках. Каждая наука стремится к устранению противоречий, возникающих в ее теориях, ибо в противоречивой теории можно доказать все, что угодно. Ведь из двух противоречащих суждений теории можно вывести как истину, так и ложь, в результате чего теория лишается всякого познавательного значения. Вот почему в абстрактных теориях точных наук их аксиомы или постулаты специально проверяются на непротиворечивость.

Что касается проверки подлинности произведений искусства, исторических текстов, художественных произведений, то здесь наряду с выявлением противоречивости двух суждений стремятся также найти, какое именно суждение оказывается истинным и какое - ложным. Но для этого приходится уже обращаться к другому логическому закону.

6.3. Закон исключенного третьего

Этот закон предъявляет более сильные требования к суждениям. Если закон противоречия утверждает, что два противоположных суждения не могут быть одновременно истинными, то закон исключенного третьего требует, чтобы одно из этих суждений было истинным, а другое - ложным. Никакой третьей возможности не допускается. По-латыни его называют принципом tertium non datur (третьего не дано).

Впервые этот закон сформулировал Аристотель, хотя он был известен задолго до него и в логических учениях Древнего Востока, и в школах риторики Античной Греции.

"Равным образом, - писал Аристотель, - не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было либо утверждать, либо отрицать".

Начиная с Аристотеля существует традиция давать закону исключенного третьего разные интерпретации, наиболее важной из которых является, несомненно, логическая. Она требует, чтобы из двух противоречащих суждений одно было истинным, а другое - ложным. Другое истолкование, называемое онтологическим, переносит логический закон на реальный мир, т.е. постулирует например, что свойство должно либо принадлежать, либо не принадлежать предмету, или же объект либо существует в мире, либо не существует. Ясно, однако, что этот закон, как и другие логические законы, абстрагируется от всей сложности и противоречивости реального мира и поэтому не может быть полностью, без соответствующих уточнений перенесен на объективный мир, его свойства и отношения. Точно так же методологическое требование, чтобы в процессе исследования было установлено, является ли объект (система суждений, гипотез или теория) истинным либо ложным, представляет собой перенос логического принципа на область учения о методах познания и критериев их истинности. Иногда даже под закон исключенного третьего подводится психологическая база, но подобные истолкования закона не вытекают из самого закона, который является логически необходимой, общезначимой истиной, относящейся непосредственно к двум контрадикторным суждениям. Закон просто требует, чтобы из таких суждений одно было истинным, а другое ложным; никакой третьей возможности не допускается. Отсюда легко находится формула для символического выражения закона. Суждения (или высказывания) в ней должны отрицать друг друга, и кроме того, они должны быть связаны строгой (сильной) дизъюнкцией, словесно выражаемой грамматическими союзами "либо, либо", т.е. если мы обозначим одно суждение через Р, а его отрицание - - Р, тогда формула будет такой: