рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Виды индуктивных умозаключений

Виды индуктивных умозаключений - раздел История, Формирование логики из истории логики Первоначально Следует Сказать Об Основополагающем Разделении Индуктивных Умоз...

Первоначально следует сказать об основополагающем разделении индуктивных умозаключений. Они бывают полные и неполные.

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

При этом такое умозаключение дает достоверное значение, так как все предметы, о которых делается заключение, перечислены в посылках. Вывод производится только относительно этих предметов.

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

51 — Р

52 — Р

53 — Р

Sn — Р.

Пример полного индуктивного умозаключения.

Все обвинительные приговоры издаются в особом процессуальном порядке.

Все оправдательные приговоры издаются в особом процессуальном порядке.

Обвинительные приговоры и оправдательные приговоры есть решения суда.

Все решения суда издаются в особом процессуальном порядке.

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

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

Неполная индукция часто применяется в повседневной жизни человека и научной деятельности, так как позволяет делать заключение на основе анализа определенной части данного класса предметов, экономит время и силы человека. При этом нельзя забывать, что в результате неполной индукции получается вероятностное заключение, которое в зависимости от вида неполной индукции будет колебаться от менее вероятного к более вероятному{11}.Схему неполной индукции можно представить как:

S1 — Р

S2 — Р

S3 — Р

S1, S2, S3… составляют класс К.

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

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

Например:

Зимой в Тюмени холодно.

Зимой в Уренгое холодно.

Тюмень и Уренгой города.

Во всех городах зимой холодно.

После, значит, по причине — означает, что какое-либо событие, явление, факт, предшествующий рассматриваемому, принимается за его причину.

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

1) предметы исследования должны отбираться планомерно и рационально;

2) необходимо как можно глубже познать природу рассматриваемых предметов;

3) уяснять характерные признаки предметов и их связей;

4) сравнивать результаты с закрепленными ранее научными сведениями.

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

Правила неполной индукции.

Необходимо подбирать как можно больше исходных посылок.

Необходимо подбирать разнообразные посылки

Необходимо делать вывод только на основе существенных признаков

24)Аналогия. Логические правила умозаключений по аналогии.

Умозаключение по аналогии

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

Содержание и специфика аналогии

Аналогия (греч. analogia - сходство, соответствие) представляет собой сходство, подобие предметов (явлений) в каких-либо свойствах, признаках, отношениях. Например, химический состав Солнца и Земли сходен по многим показателям (признакам). Вот почему когда на Солнце обнаружили еще не известный на Земле элемент гелий, то по аналогии сделали вывод: такой элемент есть и на Земле. Дальнейшие научные исследования подтвердили такое заключение, хотя в момент своего выдвижения оно в значительной мере было похоже на догадку. Умозаключение по аналогии опирается на ряд несомненных данных, которыми в конкретных исторических условиях располагает наука.

Умозаключение по аналогии представляет собой движение мысли от общности одних свойств и отношений у сравниваемых предметов (или процессов) к общности других свойств и отношений. Аналогия играет существенную роль в естественных и гуманитарных науках. Ко многим научным открытиям исследователи подошли благодаря ее использованию. Например, природа звука устанавливалась по аналогии с морской волной, а природа света - по аналогии со звуком.

Аналогия получила значительное распространение при изучении Древнего Мира, в ходе обобщения исторического опыта. Одним из примеров умозаключения по аналогии в данном случае является работа известного ученого Л.Г. Моргана о системе родства индейцев, населяющих Северную Америку.

Аналогии, как умозаключению, свойственны некоторые специфические черты.

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

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

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

Любая видимая аналогия нуждается в фактической проверке, однако именно она поможет на начальной стадии познания построить первое предположение, достоверность которого проверяется последующим исследованием. Естественно, такая проверка идет уже не путем аналогии, а посредством фактического доказательства. Между тем как первые предположения (догадки) строятся часто методом аналогии. Так, Ч. Дарвин, известный естествоиспытатель, впервые сформулировал закон естественного отбора растительных и животных видов по аналогии с искусственным отбором в селекционной практике. Выводы по аналогии в границах отдельных областей природы приводят к более глубоким исследованиям естественных явлений, способствуют разработке научных открытий.

Сущность умозаключения по аналогии может быть представлена следующим образом. Изучаются два предмета (явления), при этом одно уже достаточно исследовано. Во втором предмете (явлении) известны лишь некоторые его признаки. Оба предмета (явления) сравниваются между собой. Если ряд признаков сравниваемых двух предметов (явлений) совпадает, то делается вывод о том, что и остальные признаки второго предмета (явления) будут такими же.

Общая схема умозаключения по аналогии может быть представлена в таком виде:

А обладает признаками а, b, с, d

В обладает признаками а, b, с

Следовательно, В обладает, по-видимому, признаком d

Необходимо отметить, что в умозаключении по аналогии весьма часто вместо слов "вероятно" и "возможно" употребляют слова "следовательно", "значит". Нередко это оказывается правомерным и подтверждается истинностью заключения. Между тем немаловажно иметь в виду, что недооценка вероятностного характера умозаключения по аналогии способно привести к ошибкам и просчетам. Так, например, из суждений: "Слесарев отличник учебы, спортсмен-разрядник, активный читатель библиотеки" и "Плотников также является отличником и спортсменом-разрядником" напрашивается вывод о том, что Плотников тоже активный читатель библиотеки. Однако в реальной жизни человек может быть отличником учебы и спортсменом-разрядником, но при этом не являться активным читателем библиотеки. Иными словами вывод (заключение) можно получить ложный, хотя он и строится согласно требованиям, предъявляемым к аналогии. Следует подчеркнуть, что умозаключение по аналогии, как и иные логические категории, не выступает в качестве произвольного построения человеческой мысли. В основе аналогии лежат объективные связи и отношения между предметами и явлениями реальной действительности. При этом ее важнейшим свойством выступает качественная определенность. Подчеркивая конкретное сходство предметов, даже весьма значительное, нельзя забывать о том, что абсолютное тождество в реальном виде вряд ли достижимо. Вот почему соотносимые по отдельным признакам в процессе аналогии предметы (явления), несмотря на значительную близость, схожесть между собой, всегда будут чем-то отличаться. Из данного положения вытекает, что нельзя исключать такую ситуацию, когда обнаруживаемый у одного предмета (явления) признак "а" не окажется именно тем единственным и характерным отличием по отношению к другому. Игнорирование такой возможности таит опасность вывода в том, что и второй предмет имеет признак "а". В таком случае сделанный вывод окажется ложным.

Виды умозаключений по аналогии

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

1-ая группа. Исходя из характера предмета анализа, она может быть представлена в виде:
1) аналогии свойств и качеств предметов; 2) аналогии отношений предметов.

В первом случае рассматриваются два единичных предмета (или же два множества однородных предметов, т.е. два класса), а переносимыми признаками выступают свойства этих предметов. Примером аналогии свойств может являться аналогия симптомов протекания какой-либо болезни (например, гриппа) у разных людей или у двух групп людей (например, инженеры и учителя). Исходя из сходства признаков болезни, врач ставит определенный диагноз.

Общая схема аналогии свойств в формальной логике следующая:

Предмет х обладает свойствами а, b, с, d, е, f

Предмет у обладает свойствами а, b, с, d

Вероятно, предмет у обладает свойствами e, f

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

Например:

Студент С. является отличником, активным читателем библиотеки, настойчиво работает над освоением профессии экономиста.

Студент К. - отличник, активный читатель библиотеки.

Вероятно, студент К. настойчиво работает над освоением профессии экономиста

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

Второй вид - аналогия отношений предметов - имеет свою особенность по сравнению с аналогией свойств и качеств предметов. Аналогия отношений представляет собой такое умозаключение, в котором уподобляются друг другу два отношения между предметами, а не их сами и их свойства. Иными словами информация, переносимая с модели на прототип, характеризует отношения между двумя предметами. Предположим, имеется отношение (aXb) и отношение (сХ1d). Сходными, аналогичными выступают отношения X и X1, но а не аналогично с, а b не аналогично d. Примером в данном случае служит планетарная модель строения атома, предложенная Э. Резерфордом. Известный ученый построил ее на основании аналогии отношения между Солнцем и планетами, с одной стороны, и отношения между ядром атома и электронами, которые удерживаются на своих орбитах в силу притяжения ядром, - с другой стороны. Здесь Х - представляет взаимодействие противоположно направленных сил (сил притяжения и отталкивания) между планетами и Солнцем, а X1 - взаимодействие противоположно направленных сил (сил притяжения и отталкивания) между ядром атома и электронами.

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

2-ая группа. Исходя из степени достоверности ожидаемого вывода, аналогия подразделяется на виды: 1) строгая аналогия; 2) нестрогая аналогия.

Специфическим признаком, отличающим строгую аналогию, является наличие необходимой связи общих признаков с переносимым признаком. Схема строгой аналогии такова:

Предмет X обладает признаками а, b, с, d, e

Предмет У обладает признаками а, b, с, d

Из совокупности признаков а, e, с, d необходимо следует

Предмет У обязательно обладает признаком е.

Строгая аналогия находит применение в научных исследованиях, а также в математических доказательствах. Так, формулирование признаков подобия двух треугольников основано на строгой аналогии. Напомним: "Если три угла одного треугольника равны трем углам другого треугольника, то такие треугольники подобны"

На свойствах умозаключения по строгой аналогии основан метод моделирования. Моделирование - это такая разновидность аналогии, при которой один из аналогичных объектов(модель) подвергается исследованию в качестве имитации другого (оригинала), и полученные знания о модели служат необходимыми посылками вывода по аналогии об оригинале. Модель выполняет двоякую роль: она является одновременно и объектом изучения и средством познания оригинала. Назначение модели - замещать объект изучения, если он по тем или иным обстоятельствам недоступен для непосредственного исследования, невыгоден по экономическим соображениям, весьма проблематичен с точки зрения результатов и т.д. В таком случае предметом непосредственного изучения избирается модель, а результаты исследования переносятся на оригинал.

Модели могут быть: мысленные (образные, знаковые) и вещественные (физически или математически подобные). Вещественные модели замещают соответствующие объекты в качестве их физического подобия или аналога: например, электростанции, самолета, многоэтажного дома и т.д. Знаковые модели тоже должны соответствовать связям и отношениям между явлениями реального мира, например, географическая (геодезическая) карта с нанесенной на ней обстановкой местности, природной среды и т.д.

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

Наряду со строгой аналогией следует также различать нестрогую (простую) аналогию. Ее сущность выражается в том, что она дает не достоверное, а лишь вероятностное заключение. Примером нестрогой аналогии может служить испытание прочности моста на модели, затем построение настоящего моста. Заключение в таком (и подобном) случае носит вероятностный характер. Разница в масштабах между моделью и самим сооружением иногда бывает не только количественной, но и качественной, что не всегда можно учесть. Кроме того, трудно соотнести различия между лабораторными условиями испытания конкретной модели и естественными условиями функционирования самого сооружения.

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

Между тем от простой (нестрогой) аналогии необходимо отличать ложную аналогию. Она иногда делается умышленно, с целью ввести оппонента (или противника) в заблуждение. В таком случае ложная аналогия выступает как прием софистики. В ином случае такая аналогия делается случайно, вытекая из незнания правил построения аналогии или из-за отсутствия фактических знаний относительно предметов и их свойств, на основании которых осуществляется аналогия. Подобную ошибку совершили в прошлом столетии представители вульгарного материализма Л. Бюхнер, К. Фохт и Я. Молешотт, которые, проводя аналогию между печенью и мозгом, утверждали, что мозг выделяет мысль, подобно тому как печень выделяет желчь.

25)Проблема. Гипотеза. Теория.

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

  1. неразвитые – это задачи, которые характеризуются след чертами:
    • это нестандартная задача, для решения которой не известен алгоритм,
    • задача, которая возникла как закономерный результат познания,
    • задача – решение которой направлено на устранение противоречия, возникшего в познании, а также на устранение несоответствия между потребностями и наличием средств для их удовлетворения,
    • задача, путей решения которой не видно.
  2. Задача которая характеризуется тремя первыми из указанных выше черт, а так же содержит более или менее конкретные указания на пути решения, называется развитой проблемой. Собственно проблемы делятся на виды по степени конкретности указания на пути их решения. Т о развитая проблема – это знание о некотором не знании, дополненное определенным указанием путей устранения этого незнания.

Формулировка проблемы включает три части:

  • систему утверждений (дано);
  • вопрос или побуждение (найти);
  • систему указаний на возможные пути решения.

В формулировке не развитой проблемы последняя часть отсутствует.

Проблема как процесс развития знания состоит из нескольких ступеней:

  • формирование неразвитой проблемы;
  • развитие проблемы – формирование развитой проблемы путем постепенной конкретизации путей ее решения;
  • решение (или установление неразрешимости) проблемы.

Гипотеза (греч – предположение). Начиная исследование человек выдвигает предположение о его результатах, т е видит желаемый результат в начале исследования. Предположения, позволяющие разработать план исследования, называются гипотезами. Гипотезой называют также процесс познания, к-рый заключается в выдвижении этого предположения. Т о гипотезой называют особого рада знание (обоснованное предположение о причинах явления, о наблюдаемых связях м/у явлениями и т.д., а также особый процесс развития знания (это процесс познания, заключающийся в выдвижении предположения, его обоснования (неполном) и доказательстве или опровержении). В последнем процессе выделяют две ступени:

  1. Развитие предположения. 1 этап – выдвижение предположения, на основе аналогии, неполной индукции и т.д. (например, по аналогии с солн системой была создана планетарная модель атома), но это не гипотеза, а скорее догадка, поскольку оно не обосновано. 2 этап – объяснение с помощью выдвинутого предположения всех имеющихся фактов, к-рые гипотеза призвана объяснить, предсказать и т д. – тех фактов которые еще не принимались в учет, или были открыты после выдвижения гипотезы. Кроме этих этапов для того чтобы предположение приобрело статус гипотезы, необходимо обеспечить удовлетворяемость следующим требованиям: (1) предположение не должно быть самопротиворечивым и не должно противоречить фундаментальным положениям науки. В последнем случае полезно подвергнуть сомнению фундаментальное положение. (2) предположение должно быть принципиально проверяемым. (3) предп-е не должно противоречить ранее установленным фактам, для объяснения которых оно не предназначено. (4) предположение должно быть приложимо к возможно более широкому кругу явлений, путем выбора наиболее простой гипотезы (проста та, в которой отсутствую факторы, которые гипотеза должна объяснить, но не объясняет). Это требование не абсолютно. После этого предположение можно считать обоснованным (не полностью), т.е. гипотезой.
  2. Доказательство и опровержение гипотез. Простые гипотезы о существовании явлений и предметов доказываются или опровергаются путем обнаружения их или установления их отсутствия. Наиболее распространенным способом опровержения сложных гипотез, особенно гипотез, объясняющих связи м/у явлениями, является опровержение посредством приведения к абсурду, дополненное проверкой следствий опытным или практическим путем (например, образование озоновых дыр). При этом опровержении из гипотезы выводятся следствия, которые сопоставляются с действительностью. Гипотезы могут опровергаться путем доказательств утверждения, являющегося отрицанием гипотезы. Одним из способов доказательства гипотез является опровержение всех возможных предположений кроме одного.

Теория – это достоверное (в диалектическом смысле) знание об определенной области действительности, представляющее собой систему понятий и утверждений и позволяющее объяснять и предсказывать явления из данной области.

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

Теория – это высшая, самая развитая организация научных знаний, которая дает целостное отображение закономерностей некоторой сферы действительности и представляет собой знаковую модель этой сферы. Эта модель строиться таким образом, что некоторые из ее характеристик, которые имеют наиболее общую природу, составляют ее основу, другие же подчиняются основным или выводятся из них по логическим правилам. Например, строгое построение геометрии Евклида привело к системе высказываний (теорем), которые последовательно выведены из немногих определений основных понятий и истин, принятых без доказательств (аксиом). Особенностью теории является то что она обладает предсказательной силой. В теории имеется множество исходных утверждений, из которых логическими средствами выводятся другие утверждения, т е в теории возможно получение одних знаний из других без непосредственного обращения к действительности. Т не только описывает определенный круг явлений, но и дает им объяснение. Т является средством дедуктивной и индуктивной систематизации эмпирических фактов. Посредством теории можно установить определенные отношения между высказываниями о фактах, законах и т.д. в тех случаях, когда вне рамок теории такие отношения не наблюдаются.

26)Доказательство и его структура. Виды доказательств. Правила и ошибки доказательств.

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

В структуру доказательства входят следующие основные элементы:
1)тезис - доказываемое положение,
2)аргументы(основания) - утверждения, при помощи которых обосновывается истинность тезиса ,
3)демонстрация (форма) - логическая связь тезиса с аргументами.

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

Различают прямые и косвенные доказательства.
Прямое доказательство - это доказательство, в котором тезис необходимо следует из аргументов (не нужно прибегать к помощи каких-либо дополнительных построений).
Модус поненс и модус Barbara (ААА) самые распространенные формы прямого доказательства. Прямое доказательство, как правило, наиболее эффектно и красиво
Косвенное доказательство - доказательство, в котором истинность тезиса устанавливается через доказательство ложности противоречащего ему антитезиса
Выделяют два вида косвенных доказательств апагогические и разделительные косвенные доказательства.
Апагогическое косвенное доказательство (греч. apagoge - вывод; apagogos - уводящий, отводящий) косвенное доказательство ("приведение к абсурду") состоит в том, что мы начинаем выводить из антитезиса следствия и показываем, что некоторые из этих следствий (хотя бы одно) явно противоречат известным истинным положениям. Таким образом, принятие антитезиса ведет к противоречию (к абсурду), поэтому его следует признать ложным. Но тогда тезис необходимо признать истинным.
Пусть, например, мы доказываем тезис: "Государственные чиновники берут взятки". Мы можем делать это прямо: приводим аргументы - "Чиновник Взяткин берет взятки", "Чиновник Жуликов берет взятки", "Чиновник Обманщиков берет взятки"… Затем из этих посылок посредством индуктивного вывода получаем наш тезис: "Следовательно, государственные чиновники берут взятки". Но можно провести и косвенное доказательство данного тезиса. Предположим, говорим мы, что государственные чиновники не берут взяток. - Это наш антитезис. Тогда из принятого предположения вытекает, что чиновники живут на одну зарплату, которая по официальным данным не очень велика. Но если они живут на одну зарплату, они не могут покупать дач, автомобилей, отправлять своих детей учиться в заграничные колледжи и университеты и т. п. Однако хорошо известно, что чиновники Взяткин, Жуликов, Обманщиков … имеют дачи, автомобили и прочие блага цивилизации. Вот мы и пришли к противоречию, которое заставляет нас признать, выдвинутый антитезис ложным: "Неверно, что государственные чиновники не берут взяток". Следовательно, обоснована истинность тезиса: "Государственные чиновники берут взятки".
Разделительное косвенное доказательство состоит в построении разделительного суждения, элементами которого являются доказываемый тезис и некоторые несовместимые с ним утверждения (так сказать, антитезисы). Затем показывают, что за исключением тезиса все элементы разделительного суждения ложны. Следовательно, нужно признать тезис истинным - это любимая схема рассуждения всех сыщиков и следователей, ибо это не что иное как известная нам схема модуса толлендо-поненс разделительно-категорического силлогизма.
Например, вам нужно доказать, что преступление совершил Иванов. Вы строите разделительное косвенное доказательство. Формулируете разделительное суждение, перечисляя в нем всех подозреваемых: "Преступление мог совершить Иванов или Петров или Сидоров". Затем показываете, что ни Петров, ни Сидоров к преступлению не причастны. Отсюда следует, что преступление совершил Иванов, - что и требовалось доказать.

Таблица правил и ошибок доказательстваВ качестве аргументов в доказательстве могут использоваться:

 

o констатации фактов, истинность которых обосновывается опытом и наблюдением, например, "Огонь жжет", "Река Волга впадает в Каспийское море", "У подосиновиков красные шляпки" и т. п.;

o определения понятий, представляющие собой соглашения о смысле употребляемых терминов, например: "Окружность есть кривая замкнутая линия, равно удаленная от некоторой точки", "Геном называют простейшую единицу наследственности", "Слово "месяц" в русском языке имеет то же значение, что и слово "Луна" и т. п.;

o аксиомы, или постулаты, той области знания, в рамках которой проводится доказательство, например, если вы доказываете теорему в области евклидовой геометрии, вы можете в качестве аргументов использовать известные 5 аксиом Евклида; если речь идет о физике, вы можете опираться на принципы сохранения, законы термодинамики, принципы квантовой механики; в биологии - на естественный отбор Дарвина и законы Менделя и т. п.;

o наконец, в качестве аргументов можно использовать и ранее доказанные положения: если в ходе ваших рассуждений вы доказали какой-то тезис, то в дальнейшем этот тезис можно использовать как аргумент для доказательства других положений.

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

 

 

 

27)Сущность опровержения и его связь с доказательством.

 

Опровержение:
Помимо доказательства утверждений путем установления их истинности важное место в научной практике имеют и опровержения утверждений.
Опровергнуть то или иное утверждение означает ни что иное, как обосновать его ложность. Таким образом, во многих случаях опровержение имеет такую же логическую структуру, как и доказательства, о чем свидетельствуют косвенные доказательства, в которых для обоснования истинного тезиса опровергается антитезис. Однако, в косвенных доказательствах, опровержение играет подчиненную роль, выступает как момент, в то время как во многих других случаях оно имеет самостоятельное значение.
Как и доказательства, опровержение имеет тезис, аргументы и форму (демонстрацию). Тезис опровержения – это положение, которое требуется опровергнуть. Аргументы – это утверждения, с помощью которых опровергается тезис (доказывается его логичность). Форма опровержения – это способ логической связи аргументов и тезиса опровержения.
Опровержение тезиса может быть осуществлено двояко. Во-первых тем, что докажут истинность антитезиса; во-вторых, тем, что установят логичность следствий, вытекающих из тезиса.
Опровержение первого рода состоит в следующей последовательности рассуждений. Сначала находят некоторое утверждение, противоречащее тезису, - антитезис, затем доказывают его истинность. Если это удается, на основании закона противоречия при составлении тезиса и антитезиса делаем вывод о возможности первого. Например, утверждение «Все млекопитающие живут на суше» (общеутвердительное) опровергается доказательством истинности частноотрицательного утверждения «Некоторые млекопитающие не живут на суше»:

Кит – не живет на суше.
Кит – млекопитающее.
Следовательно, некоторые млекопитающие не живут на суше.

Опровержение второго рода протекает следующим образом. Допуская истинность тезиса, выводят из него ряд следствий. Если хотя бы одно из полученных следствий находится в противоречии с действительным положением вещей или с уже доказанными утверждениями, то с необходимостью делают вывод о логичности тезиса. В данном случае заключают от логичности следствия к логичности основания.
Некоторые утверждения могут быть опровергнуты посредством опровержения оснований, на которых покоится их истинность или опровержения формы их доказательства – демонстрации. Это виды так называемых косвенных утверждений. Но по своему значению они менее Эффективны, чем прямое опровержение тезиса. Действительно, доказывать логичность оснований не означает, что этим доказана логичность следствия из них. Например, в умозаключении:

Все планеты имеют спутников.
Марс – планета.
Следовательно, Марс имеет спутников.

Здесь тезис («Марс – планета») является истинным утверждением, но доказательство неверно, т.к. большая посылка («Все планеты имеют спутников») – утверждение ложное. Его можно опровергнуть замечанием, что Венера не имеет спутников.
Опровержение демонстрации доказательства тезиса заключается в том, что показывают отсутствие логической связи между тезисом и его аргументом. Поскольку это может быть, прежде всего, результатом нарушения правил умозаключений, по которым строится доказательство данного тезиса, то для опровержения необходимо указать на общий вид ошибки. Тем самым доказывается, что доказательство было построено неправильно. Тем не менее, это не означает, что мы опровергли сам тезис, который может быть как истинным, так и ложным. Имеется немало примеров того, когда истинное утверждение считалось строго доказанным, хотя со временем в доказательстве находили ошибки.
Опровержения являются важным орудием развития научного познания. С их помощью наука освобождается от ложных утверждений, заблуждений и догм, а также совершенствует свой теоретический аппарат.

Из действий с доказательством, или над доказательством, как определенной формой мысли, определенной мыслительной структурой, наиболее известно всего лишь одно - отрицание его. Отрицание доказательства называется опровержением. Опровержение — это обоснование ложности или несостоятельности того или иного элемента доказательства, а иногда и доказательства в целом. Многие свойства опровержения определяются свойствами доказательства, потому что опровержение структурно мало чем отличается от доказательства. Опровержение может быть направлено против тезиса доказательства, против аргументов его, против демонстрации. Опровергая тезис, опровержение необходимо формулирует антитезис; опровергая аргументы - выдвигает другие; опровергая демонстрацию доказательства - показывает (демонстрирует) своей структурой строгое соблюдение логических связей между своими аргументами и антитезисом.

Обоснование истинности антитезиса можно рассматривать и как доказательство антитезиса, и как опровержение тезиса. Зато обоснование несостоятельности аргументов еще не доказывает ложности самого тезиса, а лишь указывает на ложность или недостаточность приведенных аргументов для обоснования тезиса, лишь отвергает их: вполне возможно, что таких аргументов много, но по разным причинам они в доказательстве не использовались. Таким образом, опровержение аргументов назвать антидоказательством не всегда возможно.

Так же и с опровержением демонстрации. Обосновывая неправильность (нелогичность, ошибочность) связи тезиса с аргументами, или связи между аргументами в доказательстве, мы лишь указываем на нарушение логики, но этим не отрицаем сам тезис, не отрицаем сами аргументы. И то, и другое может оказаться вполне приемлемым, стоит лишь найти более правильные непосредственные или опосредованные связи между ними. Поэтому, не всякое опровержение можно называть опровержением доказательства в целом, точнее, не всякое опровержение отбрасывает доказательство в целом. И это следует иметь в виду при определении опровержения.

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

Способов опровержения демонстрации, в силу множества самих правил демонстрации, достаточно много. Опровержением в этом случае будет указание на нарушение любого правила посылок категорического силлогизма при связи их между собой; указание на нарушение связи их с тезисом; указание на нарушение правил фигур категорического силлогизма и их модусов; указание на нарушение правил условного и разделительного силлогизмов и многое другое.

28)Закон тождества.

– Конец работы –

Эта тема принадлежит разделу:

Формирование логики из истории логики

Много различных значений связано со словом логика Логикой мы называем во первых необходимую закономерность во взаимосвязи объективных явлений... Логика и дру гие науки о процессе мышления Логика и мышлениеОсвоение... Абстрактное мышление как объект логикиЧеловек обладая сознанием отражает действительность и получает знания о...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Виды индуктивных умозаключений

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Законы логики.
  Название закона   Содержание Закона   Символическая запись   Логическая ошибка   I

Значение понятий в познании
Понятия – это результат более или менее сложной мыслительной деятельности. В этой деятельности можно выделить следующие наиболее важные и общие приемы. Анализ предметов, данных в представлен

Условно-категорический силлогизм
Исторически сложилось так, что данная разновидность силлогизма в медицине является одной из самых любимых. Ведь в мышлении врача, которое отражает состояние медицинской науки, категоричность (безус

Общие правила ПКС
I. Правила терминов: 1) в силлогизме должно быть только 3 термина Термин М должен быть одним и тем же понятием в обеих посылках, иначе получим ошибку, называемую "учетверение

I фигура
В 1-й фигуре средний термин занимает место субъекта в большей посылке предиката в меньшей. Пример: Все металлы (М) - электропроводны (Р) Медь (S) - металл (М) Медь (S) - элект

II фигура
    Во 2-фигуре средний термин занимает место предиката в обеих посылках Пример: Этот смертельный удар (Р) нанесен человеком огромной силы (M) Обвиняе

III фигура
В 3-ей фигуре средний термин занимает место субъекта в обеих посылках. Пример: Ни один страус (М) не летает (Р) Все страусы (М) птицы (S) Некоторые птицы (S) не летают (P)

IV фигура
В 4-й фигуре средний термин занимает место предиката в большей и субъекта в меньшей посылке. Пример:Ни один счастливый человек(Р) не стремитсяк справедливости (М) Некоторые стремящиеся к с

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

Обсуждение любого вопроса (политического тоже) должно начинаться с однозначного толкования, с одинакового понимания всеми смысла утверждения.
Разногласие возникает часто из-за того, что люди вкладывают разный смысл в одно и то же понятие. Пример. Для одного демократия – власть народа. Для второго – власть мошенников. Для трет

Для тезиса закон тождества устанавливает три правила.
Тезис – мысль, которую надо доказать. Тезис может быть простым или сложным. В простом тезисе заключена одна мысль. В сложном может быть много мыслей. Сложный тезис состоит и

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги