Доказательство истинности

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

ДОКЛАД

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

Содержание

Введение

Доказательство и его структура

Заключение

Список использованной литературы

Введение

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

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

Доказательство и его структура

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

Процесс обоснования истинности называется доказыванием, или аргументацией.

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

Следующим элементом является аргумент, или основание.

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

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

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

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

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

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

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

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

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

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

Не дедуктивную аргументацию можно разделить на два вида:

1) индуктивное обоснование;

2) доказательство по аналогии.

Индуктивным обоснованием является переход от аргументов к тезисам.

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

Заключение

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

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

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

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

Список использованной литературы

1. Гусев Д. А. Краткий курс логики. М., 2003

2. Маркин В. П. Основы логики. М., 2002

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