КРУГ В ДОКАЗАТЕЛЬСТВЕ

Найдено 4 определения
Показать: [все] [проще] [сложнее]

Автор: [российский] Время: [советское] [постсоветское] [современное]

Круг в доказательстве
логическая ошибка (уловка), связанная с нарушением правила независимости аргументов от тезиса: в доказательстве используются положения, истинность которых вполне очевидна только при условии истинности самого тезиса.

Источник: Традиционная логика. Словарь по книге

Круг в доказательстве
 (лат. — circulus in demonstrando), или порочный крут (лат.—circulus vitiosus) ,— логическая ошибка, состоящая в том, что в качестве аргумента доказательства используется положение, доказанное с помощью самого доказываемого тезиса. Эта ошибка встречается иногда и в научных работах. Так, напр., мн. математики на протяжении более 2 тыс. лет, делая попытки доказать пятый постулат Эвклида о параллельных, клали в основу своих доказательств в неявной форме сам доказываемый постулат. Маркс показал, что в рассуждениях А. Смита и др. буржуазных экономистов содержится «порочный круг»: стоимость товаров возникает из суммы стоимости заработной платы, прибыли, ренты, а стоимость заработной платы, прибыли, ренты в свою очередь определяется стоимостью товаров и т. д.

Источник: Философский словарь. 1963

КРУГ В ДОКАЗАТЕЛЬСТВЕ
лат. - circulus in demonstrando)
- логическая ошибка в доказательстве, заключающаяся в том, что истинность доказываемого положения (тезиса) обосновывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса. Данную ошибку называют также "порочным кругом". В качестве примера можно привести доказательство конечности и ограниченности Вселенной, приводившееся противниками учения Коперника. Защитники геоцентризма доказывали конечность Вселенной, опираясь на утверждение о том, что Вселенная в течение суток совершает полный оборот вокруг неподвижного центра, совпадающего с центром Земли. В свою очередь, истинность этого аргумента они доказывали, опираясь на утверждение о конечности Вселенной, т. к. при условии ее бесконечности нельзя понять, каким образом бесконечная Вселенная могла бы в течение одних суток совершить полный оборот около своего центра. Иными словами, тезис (положение о конечности мира) доказывался посредством аргумента (суточное вращение мира вокруг центра), который сам доказывался при помощи доказываемого тезиса (положения о конечности мира).
В относительно коротких рассуждениях К. в д. сравнительно нетрудно обнаружить. Однако в доказательствах, включающих в себя длинные цепи умозаключений, круг может остаться незамеченным. Доказательство, содержащее в себе круг, не достигает своей основной цели - оно не обосновывает истинности доказываемого тезиса.

Источник: Словарь по логике

КРУГ В ДОКАЗАТЕЛЬСТВЕ
лат. circulus in demonstrando) – логич. ошибка, состоящая в том, что доказываемый тезис обосновывается с использованием в данном доказательстве самого же этого тезиса в качестве одного из его оснований; разновидность ошибки "недоказанного основания" (или "постулирования основания", лат. petitio principi). Типичным видом К. в д. является случай, когда в доказательстве тезиса А встречается такое положение (суждение, предложение) В, к-рое само ранее доказывалось с привлечением положения А. Другие случаи К. в д. могут отличаться большей тривиальностью (когда тезис доказывается непосредственно с помощью самого себя) или, наоборот, большей сложностью (когда, напр., тезис А доказывается с привлечением положений В1 и В2, положение В1 доказывается с привлечением С1 и С2, положение В2 – с привлечением С2 и С3, положения С1 и С2 – с привлечением D, а положения С3 и D – с привлечением А). Понятие К. в д. является частным случаем общего понятия п о р о ч н о г о к р у г а (или л о ж н о г о к р у г а, лат. circulas vitiosus), др. частным случаем к-рого является понятие круга в определении (когда, напр., термин А определяется через термин В, а В – через А). При наличии К. в д., как и вообще в случае ошибки "недоказанного основания", настоящего доказательства не получается, т.к. совокупность посылок такого доказательства не может служить достаточным основанием доказанности тезиса. Однако в нек-рых случаях такое ошибочное доказательство может быть полезно тем, что оно легко превращается в доказательство иного тезиса, утверждающего, напр., эквивалентность двух различных по смыслу положений. Действительно, если из исходных положений нек-рой данной системы знания (ее постулатов, определений и т.п.) и нек-рого осмысленного в этой системе предложения В выводится предложение А, а из этого А и тех же исходных положений выводится В, то предложения А и В эквивалентны в данной системе. Именно такое значение имели в истории геометрии доказательства эвклидова 5-го постулата (о параллельных) Прокла (5 в.), Насирэддина Туси (13 в.), Дж. Валлиса (17 в.) и др., хотя в них непосредственно и не было К. в д., а было лишь явное или неявное (выявленное после уточнения логич. оснований геометрии) использование нек-рого недоказанного, но, как казалось, очевидного основания В. После выяснения того, что и само это В тоже требует доказательства (причем осуществить последнее не легче, чем доказать 5-й постулат) и что естественнее В доказывать как обычно, с использованием 5-го постулата, их уже нельзя было принять в качестве доказательства этого постулата. Поскольку же В оказывалось таким положением, доказывать к-рое с привлечением 5-го постулата умели еще со времен Эвклида (3 в. до н.э.), то доказательство 5-го постулата, основанное на таком В, автоматически превращалось в доказательство эквивалентности положения В 5-му постулату. Этот пример показывает, что нек-рые доказательства, содержащие конструкции, похожие на К. в д., могут и не быть ошибочными. Другим примером такого рода могут служить доказательства по методу математической индукции, когда доказываемый тезис А(x) используется в своем собственном доказательстве в качестве посылки того вспомогат. вывода, в к-ром из А(х) выводится А(х+1), т.е. когда доказательство проводится в соответствии с формулой: (А(0) & ?x(A(x)?A(x+1)))?A(x). Лит.: Логика, под ред. Д. П. Горского и П. В. Таванца, М., 1956, гл. 15; Рашевский П. К., "Основания геометрии" Гильберта и их место в историч. развитии вопроса, в кн.: Гильберт Д., Основания геометрии, пер. с нем., М.–Л., 1948; Каган В. Ф., Основания геометрии, т. 1, М.–Л., 1949, т. 2, М., 1956. А. Кузнецов, А. Субботин. Москва.

Источник: Философская Энциклопедия. В 5-х т.

Найдено научных статей по теме — 1

Читать PDF
227.19 кб

2015.04.014. БОТТИНГ Д. ИМЕЮТ ЛИ СИЛЛОГИЗМЫ КРУГ В ДОКАЗАТЕЛЬСТВЕ? РОЛЬ ПРАВИЛ ВЫВОДА В ЛОГИКЕ ИСТИН

Боброва Л.А.