Вход

Сущность логического доказательства, его структура и объективная основа.

Рекомендуемая категория для самостоятельной подготовки:
Реферат*
Код 256007
Дата создания 18 октября 2015
Страниц 17
Мы сможем обработать ваш заказ (!) 29 марта в 18:00 [мск]
Файлы будут доступны для скачивания только после обработки заказа.
1 670руб.
КУПИТЬ

Описание

Реферат + 13 задач по теме "Доказательство" Защита в ИГЭУ 2014 год на 5. ...

Содержание

1.Введение.
2.Сущность логического доказательства.
3.Подтверждение и опровержение тезиса как роды доказательства, их виды и способы.
4.Правила доказательства и основные ошибки, возникающие при их нарушениях.



Введение

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

Фрагмент работы для ознакомления

Невозможно подтвердить тезис, который не соответствует действительности, нельзя так же опровергнуть истинный тезис.Отсюда различают два рода доказательств: 1.Подтверждение тезиса. 2.Опровержение тезиса.По способу аргументации все доказательства делятся на два вида: а) Прямые. б) Косвенные.Пряммое доказательство заключается в непосредственном выведении из основания по определенным правилам умозаключения истинности или ложности данного тезиса.Прямым подтверждением тезиса называется доказательство, в котором истинность тезиса обосновывается непосредственно аргументами. Например, на занятиях по социальной философии при доказательстве тезиса: "Народ - решающая сила исторического процесса" преподаватель, во-первых, показывает, что народ является создателем материальных благ; во-вторых, обосновывает его значительную роль в политической сфере; в-третьих, раскрывает его вклад в создание духовных ценностей общества. Таким образом, при прямых доказательствах задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис.Косвенное доказательство заключается в обосновании ложности или истинности положения, находящегося в определенном отношении с тезисом, и отсюда опосредованно устанавливается истинность тезиса или, наоборот, его ложность.Косвенные доказательства бывают двух видов: апагогические и разделительные. В апагогическом доказательстве к истинности тезиса приходят путем доказательства ложности антитезиса. Антитезисом называется суждение, противоречащее тезису. Апагогическое доказательство проходит следующие этапы: выдвигается антитезис, и из него выводятся следствия с намерением найти среди них хотя бы одно ложное; устанавливается, что в числе следствий действительно есть ложное; делается вывод, что антитезис неверен; из ложности антитезиса на основании закона исключенного третьего делается заключение, что выдвинутый тезис является истинным. Косвенное апагогическое доказательство называют еще сведением к абсурду. Например, в романе И.С. Тургенева "Рудин" есть такой диалог: "...Стало быть, по-вашему, убеждений нет? - Нет - и не существует. - Это ваше убеждение?- Да. - Как же вы говорите, что их нет? Вот вам уже одно, на первый случай".Ошибочному мнению, что никаких убеждений нет, противопоставляется его отрицание: есть по крайней мере одно убеждение, что убеждений нет. Коль скоро утверждение "Убеждения существуют" вытекает из своего собственного отрицания, то это убеждение, а не его отрицание, является истинным и доказанным. Если число рассматриваемых возможностей не ограничивать двумя (доказываемым утверждением и его отрицанием), то это будет так называемое косвенное разделительное доказательство. Его сущность состоит в том, что доказываемый тезис рассматривается как одно из некоторого числа предположений, в своей сумме исчерпывающих все возможные по данному вопросу предположения. Разделительное доказательство применяется в тех случаях, когда можно быть уверенным, что доказываемое положение входит в число всех рассматриваемых возможностей. Антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы. Например:Преступление могли совершить только либо А, либо В, либо С. Доказано, что не совершали преступление ни А, ни В.Преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения, кроме одного. Доказательные рассуждения различаются не только по способам аргументации, которые мы уже рассмотрели, но и по своему отношению к выдвинутому тезису. Можно или подтверждать истинность тезиса, или опровергать, доказывать его ложность. Поэтому операция опровержения столь же распространена, как и операция доказательства, и является как бы зеркальным отображением последней.Понятие опровержения.Опровержением называется доказывание ложности какого-либо тезиса или несостоятельности доказательства в целом.Опровержение тезиса может быть осуществлено:а) путем приведения фактов, противоречащих тезису.. б) путем доказательства истинности нового тезиса, противоречащего опровергаемому; в) путем установления ложности (или противоречивости) следствий, вытекающих из тезиса.Опровержение очень часто направлено непосредственно не против тезиса, а против аргументов. Это достигается также различными путями: а) путем доказательства ложности аргументов.б) установлением того, что аргументы, при помощи которых обосновывается выдвинутый тезис, являются для тезиса недостаточными; в) установлением того, что аргументы сами являются еще не доказанными; г) определением, что источник фактов, при помощи которых обосновывается выдвинутый тезис, является недоброкачественным. Опровержение демонстрации показывает отсутствие логической связи между аргументами и тезисом. Доказательство, как известно, протекает всегда в форме умозаключения. Поэтому успешное использование данного способа опровержения предполагает четкое представление о правилах и ошибках соответствующих умозаключений - дедукции, индукции, аналогии, в форме которых протекает обоснование тезиса. Если установлено, что тезис доказан с нарушением правил умозаключения, то такое доказательство считается опровергнутым. Рассмотренные способы опровержения применяются не только в качестве самостоятельных операций, но и в сочетаниях. Так, прямое опровержение тезиса может быть дополнено критическим разбором аргументов; наряду с ошибками в доводах могут быть выявлены нарушения в самом процессе рассуждения и т.д. Убеждающая сила рассуждения во многом определяется рациональным сочетанием операций доказательства и опровержения, способствующим достижению в каждом конкретном случае несомненных, объективно-истинных результатов. В процессе доказательства и опровержения необходимо соблюдать правила по отношению к тезису, правила по отношению к аргументам и правила по отношению к демонстрации. Нарушение этих правил в доказательстве приводит к логическим ошибкам, которые в конечном счете не позволяют доказать (опровергнуть) доказываемый (опровергаемый) тезис. Следующая таблица поможет систематизировать эти правила и основные ошибки, связанные с их нарушением. Логические ошибки делятся на паралогизмы и софизмы. Паралогизмы - это неумышленные логические ошибки, обусловленные нарушением законов и правил логики. Паралогизм не является, в сущности, обманом, так как не связан с умыслом подменить истину ложью. В отличие от паралогизмов софизмы - результат преднамеренного обмана, умышленные логические ошибки. Название "софизм" происходит от древнегреческого слова sophisma - хитрая уловка, выдумка. Софизм представляет собой рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному заключению. Софизм является особым приемом интеллектуального мошенничества, попыткой выдать ложь за истину и тем самым ввести в заблуждение. Правила доказательства и основные ошибки, возникающие при их нарушениях.ПРАВИЛАОШИБКИ1. Тезис должен быть сформулирован и оставаться одним и тем же в процессе всего доказательства.а) "подмена тезиса" - доказывается (опровергается) новый тезис. б) "довод к человеку" - доказательство (опровержение) тезиса подменяется оценкой человека. в) "обращение к публике" - стремление воздействовать на чувства слушающих.2. Основания должны быть истинными, доказанными, не подлежащими сомнению.а) "основное заблуждение" - тезис обосновывается ложными аргументами.б) "предвосхищение основания" - аргументы нуждаются в собственном обосновании.3. Основания должны доказываться независимо от тезиса.в) "порочный круг" - аргументы доказываются посредством тезиса.4. Доказательство (опровержение) должно строиться по общим правилам умозаключения.а) "мнимое следование" - тезис не следует из приведенных оснований.б) "от сказанного с условием к сказанному безусловно" - аргументы, истинные при определенных условиях, приводятся в качестве истинных при любых условияхПримеры софизмов, ставших знаменитыми еще в древности: "Что ты не терял, то имеешь; рога ты не терял; значит, у тебя есть рога". "Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит". "Этот пес твой; он отец; значит, он твой отец". Нередко софизм обосновывается на таких логических ошибках, как подмена тезиса, доказательства, несоблюдение правил логического вывода, принятие ложных посылок за истинные и т.п. Ф. Бэкон сравнивал того, кто прибегает к софизмам, с лисой, которая хорошо петляет, а того, кто раскрывает софизмы, с гончей, умеющей распутывать следы. В процессе рассуждения иногда возникают логические парадоксы. Парадокс (от греч. paradoxes - неожиданный, странный) -в широком смысле - неочевидное высказывание, истинность которого устанавливается достаточно трудно. Один из вариантов парадокса был, например, использован Сервантесом в "Дон-Кихоте". Среди задач, которые предлагались Санчо-Панса, в бытность его губернатором острова, была следующая. На острове находится мост и возле этого моста виселица. Каждый переходящий через мост должен ответить на вопрос, куда он идет? Если ответ будет правильным, его пропустят, в противном случае повесят. Один ответ был такой, что он привел в замешательство стражей острова: "Я пришел, чтобы быть повешенным". Если его повесят, то получается, что он сказал правду и, значит, его надо пропустить; если же его пропустят, выйдет, что он сказал неправду и поэтому должен быть повешен. Парадоксы в зависимости от области их применения бывают математические, политические и другие. Примером политического парадокса является следующее рассуждение: традиционный путь укрепления обороноспособности государства - упрочение его военной мощи. Появление ядерного оружия привнесло принципиально новую ситуацию. В современных условиях дальнейшее наращивание военной мощи не только не способствует укреплению обороноспособности, но и ставит под сомнение саму возможность обеспечения военной безопасности. Данная ситуация получила название "парадокс силы". Таким образом, доказательство и опровержение являются необходимым и наиболее сложным этапом мыслительного процесса. Их использование в различных видах практической деятельности предполагает глубокое значение и умение применять умозаключения, правила вывода умозаключений, несоблюдение которых (осознанно или неосознанно) приводит к невозможности получить человеком истинные знания о действительности. Объективная возможность доказательства неразрывно связана с всеобщей обусловленностью предметов и явлений действительности, прежде всего с их причинной зависимостью. Ничто не возникает из ничего: все имеет свои основания в других предметах и явлениях, все изменяется и развивается на основе и в силу чего-то. Это и позволяет в мышлении, отражающем действительность, одни мысли основывать на других, обуславливать другими, доказывать их. Логическая возможность доказательства связана и с наличием недоказываемых истин, имеющих отправной, исходный характер. Их отсутствие сделало бы процесс доказательства бесконечным, а следовательно, неосуществимым. Необходимость же в доказательстве определяется прежде всего общественной природой человеческого познания. Открывая истину, человек стремится передать ее другим людям. А для этого он должен убедиться сам в ее истинности, т. е. установить ее необходимую связь с другими истинами и убедить в этом других. Только так она получает общественное признание. Подобная цель и достигается благодаря доказательству.Задачи.1. Можно ли считать доказательством соответствующих тезисов следующие рассуждения:1.1. Если ниобий металл, он пластичен. Ниобий – металл. Значит, он пластичен.Ответ:«Доказательства по форме делятся на прямые и косвенные (непрямые). Прямое доказательство идёт от рассмотрения аргументов к доказательству тезиса, т.е. истинность тезиса непосредственно обосновывается аргументами. Прямое обоснование может принимать форму дедуктивных умозаключений, индукции или аналогии, которые применяются самостоятельно либо в различных сочетаниях».На основании вышеизложенного заключаем, что дедуктивное умозаключение «1.1.» является доказательством, поскольку это условно-категорическое умозаключение в утверждающем модусе (modus ponens): можно строить достоверные умозаключения от утверждения основания к утверждению следствия.Формула: ((а → b) ʌ a) → b.Если ниобий металл (а), он пластичен (b). Ниобий – металл (а). Значит, он пластичен (b).1.2. Если число делится на 9, оно делится на три. Число делится на 3. Значит оно делится на 9.Ответ:Данное умозаключение также дедуктивное условно-категорическое умозаключение, но оно не достоверное, а вероятностное. Это первый вероятностный модус условно-категорического умозаключения.Формула: ((а → b) ʌ b) → Вероятно, а.Если число делится на 9 (а), оно делится на три (b). Число делится на 3 (b). Значит, оно, вероятно, делится на 9 (а).В таком случае констатируется, что случилась ошибка в основаниях доказательства, то есть аргументы не истинны. Отсюда тезис также ложен.1.3. Если завтра будет холодно и сыро, мы пойдём в кино или в цирк. Но завтра не будет холодно и сыро. Значит, мы не пойдём ни в кино, ни в цирк.Ответ:Это умозаключение находится во втором вероятностном модусе условно-категорического умозаключения.Формула: ((а → b) ʌ ¬а) → Вероятно, ¬b.

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

Список литературы
1.Гетманова А. Д. Логика: Для педагогических учебных заведений. — М.: Новая школа, 1995. — 416 с.
2.Гусев Д. А. Краткий курс логики. Искусство правильного мышления. — М.: НЦ ЭНАС, 2003. — 190 с.
3.Ивин А. А. Искусство правильно мыслить: Книга для учащихся. — М., 1990. — 237 с.
4.Ивин А. А. Логика: Учеб. пособие для вузов / А. А. Ивин. — М.: Высш. шк., 2004. — 304 с.: ил.
5.Кириллов В. И., Старченко А. А. Логика: Учебник для юридических вузов / под ред. проф. В. И. Кириллова. — Изд. 6-е, перераб. и доп. — М.: ТК Велби, Изд-во Проспект, 2008. — 240 с.
Очень похожие работы
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
bmt: 0.00485
© Рефератбанк, 2002 - 2024