1. Общая характеристика умозаключения.

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

Виды умозаключения:

По характеру направленности процесса вывода умозаключения делятся на:

• дедуктивные

• индуктивные

• традуктивные (аналогия)

Кроме того, умозаключения делятся на

• непосредственные и

• опосредствованные.

Непосредственные умозаключения включают в себя:

• Умозаключения по логическому квадрату

• Превращение

• Обращение

• Противопоставление предикату

2. Соблюдается ли закон исключенного третьего в следующем рассуждении:

Из двух противоречащих суждений одно необходимо истинно.

Символическая запись: pvp где p- любое высказывание

«Истинно pили истинно не- p». Напр., «Или пациент мертв или неверно, что он мертв».

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

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

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

№23

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

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

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

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

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

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

тезис - суждение, истинность которого следует доказать;

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

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

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

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