Логическое доказательство

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Государственное образовательное учреждение

высшего профессионального образования

«РОССИЙСКАЯ ТАМОЖЕННАЯ АКАДЕМИЯ»

РЕФЕРАТ

по дисциплине «Логика»

на тему «Доказательство»

Е.А. Жданова

Люберцы

2014

Содержание

• Введение

Общая характеристика логического доказательства

Логическая структура доказательства

Виды доказательств

Правила доказательства и возможные ошибки

Парадокс в мышлении

Заключение

Список литературы

Введение

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

Общая характеристика логического доказательства

Термин «доказательство» употребляется в нескольких значениях:

1. Доказательство - это факты, при помощи которых основывается истинность или ложность того или иного суждения.

2. Доказательство означает источники сведений о фактах: летописи, рассказы свидетелей, мемуары, документы.

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

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

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

Логическая структура доказательства

Доказательство как особый логический способ обоснования истины имеет свое строение.

Основу доказательства составляют следующие положения:

1. Тезис

2. Аргументы

3. Демонстрация

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

Тезис - это положение, истинность или ложность которого требуется доказать. Если нет тезиса, то и доказывать нечего. Поэтому все доказательное рассуждение целиком подчинено тезису и служит для его подтверждения или опровержения.

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

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

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

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

Основными видами аргументов являются:

· Факты

· Законы наук (юридические законы)

· Определения

· Аксиомы и постулаты

· Ранее доказанные положения

· Документальные свидетельства и т.д.

Рассмотрим их содержание некоторых из них более подробно.

Факт - это явление или событие, имевшее место в действительности. Факты являются очень важным видом аргумента.

Требования к фактам:

1. Факт должен быть правильно понят

2. Один и тот же факт должен рассматриваться в одно и то же время и в одном и том же отношении.

3. Факт должен рассматриваться в системе фактов.

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

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

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

Демонстрация (или форма доказательства) - это способ логической связи тезиса с аргументами. С логической точки зрения демонстрация - это умозаключение или совокупность умозаключений.

Виды доказательств

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

Целенаправленность демонстрации служит исходным основанием для деления всех доказательств. Она предопределяет все построение и характер дальнейшего рассуждения.

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

Отсюда различают два рода доказательств:

1) подтверждение тезиса;

2) опровержение тезиса.

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

а) прямые

б) косвенные.

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

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

Подтверждение тезиса в свою очередь делится на:

· Прямое подтверждение тезиса - это доказательство, в котором истинность тезиса обосновывается непосредственно аргументами.

Прямое подтверждение тезиса осуществляется следующими методами:

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

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

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

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

Косвенное подтверждение тезиса осуществляется двумя способами:

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

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

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

Опровержение тезиса также делится на:

1. Прямое опровержение тезиса:

а) опровержение тезиса путем лишения основания. Это достигается:

-- разрушением выставленного основания фактами, новыми положениями, законами науки (фактическое лишение основания);

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

б) опровержение тезиса через опровержение вывода. Это достигается в соответствии с логическим правилом отрицающего модуса условно-категорического умозаключения, когда рассуждение направлено от отрицания следствия к отрицанию основания.

2. Косвенное опровержение тезиса:

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

б) разделительное опровержение тезиса. Оно строится по схеме:

либо А, либо В, либо С есть Р

А есть Р

_____________________________

Следовательно, ни В, ни С не есть Р

Правила доказательства и возможные ошибки

Логические ошибки делятся на:

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

2. Софизмы - это результат преднамеренного обмана, умышленные логические ошибки.Софизм является особым приемом интеллектуально­го мошенничества, попыткой выдать ложь за истину и тем самым ввести в заблуждение.

Парадокс в мышлении

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

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

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

Заключение

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

Список литературы

1. Демидов И.В. Логика (кредитно-модульный курс): учебное пособие. - М.: Российская таможенная академия, 2012

2. http://www.bibliotekar.ru/logika-2-2/63.htm

3. http://www.newreferat.com/ref-1157-1.html

4. http://allrefs.net/c12/3sx3e/p79/

5. https://ru.wikipedia.org/wiki/%C4%EE%EA%E0%E7%E0%F2%E5%EB%FC%F1%F2%E2%EE_(%EB%EE%E3%E8%EA%E0)

Размещено на Allbest.ru