Доказательство (логика)

Доказательство (логика)

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

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

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

Содержание

Структура доказательства

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

  1. Тезис — утверждение, истинность которого надо доказать
  2. Аргументы и факты — это те истинные суждения, которыми пользуются при доказательстве тезиса
  3. Демонстрация (форма доказательства) — способ обоснованной логической связи между утверждаемым тезисом и аргументами

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

Доказательства по форме делятся на прямые и (косвенные).

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

Непрямое (косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:

  1. если тезис обозначить буквой а , то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением;
  2. антитезисом для тезиса а в суждении а...в...с служат суждения в и с .

В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два видаапагогическое (доказательство от «противного») и разделительное доказательство (методом исключения). Первое осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Во втором антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например: Преступление совершил либо А, либо Б, либо С. Доказано, что не совершали преступление ни А, ни Б. Следовательно преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного.

Литература

Ссылки


Wikimedia Foundation. 2010.

Смотреть что такое "Доказательство (логика)" в других словарях:

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

  • ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия

  • ЛОГИКА НАУЧНОГО ПОЗНАНИЯ — или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал …   Философская энциклопедия

  • Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …   Википедия

  • ЛОГИКА ПОР-РОЯЛЯ —     ЛОГИКА ПОР РОЯЛЯ книга по дедуктивной логике, вышедшая в Париже в 1662 анонимно под названием “Logique ou l art de penser” (“Логика или искусство мыслить”). До нач. 19 го столетия была самым популярным учебником логики, выдержала более 50… …   Философская энциклопедия

  • Логика предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …   Википедия

  • логика высказываний —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

Книги

  • Логика, Е. К. Войшвилло, М. Г. Дегтярев. Рассматривается круг логических вопросов и проблем, который можно охарактеризовать как "практическая логика" . Анализируются вопросы практического применения логики, в частности, в… Подробнее  Купить за 637 руб
  • Логика. Учебное пособие, Д. А. Гусев. Что такое логика? Чем занимается эта древняя и в то же время всегда молодая наука? Зачем она нужна, можно ли без нее обойтись, и какую роль она играет в жизни человека? Что такое формы… Подробнее  Купить за 464 руб
  • Логика, Гусев, Дмитрий Алексеевич. Что такое логика? Чем занимается эта древняя и в то же время всегда молодая наука? Зачем она нужна, можно ли без нее обойтись, и какую роль она играет в жизни человека? Что такое формы… Подробнее  Купить за 464 руб
Другие книги по запросу «Доказательство (логика)» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.