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

- доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения.

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

Поскольку К. д. использует отрицание доказываемого положе­ния, оно называется также доказательством от противно­го. Напр., врач, убеждая пациента, что тот не болен малярией, мо­жет рассуждать так: «Если бы действительно была малярия, имелся бы ряд характерных для нее симптомов, в частности общая слабость и озноб. Однако таких симптомов нет. Значит, нет и малярии».

КРУГ В ДОКАЗАТЕЛЬСТВЕ (лат. — circulus in demonstrando)

— ло­гическая ошибка в доказательстве, заключающаяся в том, что ис­тинность доказываемого положения (тезиса) обосновывается с помощью аргумента, истинность которого обосновывается с по­мощью доказываемого тезиса. Данную ошибку называют также «порочным кругом».

КРУГ В ОПРЕДЕЛЕНИИ

— логическая ошибка, связанная с на­рушением одного из правил определения и состоящая в том, что при определении некоторого понятия в определяющей части ис­пользуется понятие, которое, в свою очередь, определяется с помо­щью данного определяемого понятия. Напр., в определении «Вра­щение есть движение вокруг своей оси» будет допущена ошибка круга, если понятие «ось» само определяется через понятие «вра­щение»: ось есть прямая, вокруг которой происходит вращение. Частным случаем этой ошибки является тавтология — повторе­ние в определяющей части самого определяемого понятия, хотя, быть может, в несколько ином словесном выражении, напр.: «Фильтрование — процесс разделения с помощью фильтра» (см.: Определение).

ЛЕММА (от греч. lemma — предположение)

- в математике вспо­могательное предложение, употребляемое при доказательстве од­ной или нескольких теорем. В логике — условно-разделительное, или лемматическое, умозаключение

Не нашли, что искали? Воспользуйтесь поиском: