2. Закон достаточного основания

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

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

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

Логическую связь между основанием и следствием необходимо отличать от причинно- следственной связи. Они могут совпадать (напр., суждение, что на дорогах «пробки», можно обосновать указанием на причину- часы пик). Но часто такого совпадения нет. Суждение «На улице холодно» можно обосновать суждением «На термометре -20 градусов Цельсия», но показания термометра не являются причиной мороза.

№24

1. Определение и структура доказательства

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

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

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

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

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

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

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

Назначение демонстрации - сделать доказательство или опровержение убедительным не только по содержанию, но и объективно необходимым по его логической форме. Демонстрация призвана показать, что между основаниями и доказываемым тезисом действительно было установлено отношение логического следования, в случае доказательства, или установлено его отсутствие в случае опровержения. ЧТО ИЗ ЧЕГО СЛЕДУЕТ?

1. «ЧТО» - тезис, вывод

2. «ИЗ ЧЕГО» - аргументы, основания

3. «СЛЕДУЕТ» - правила логического следования, демонстрация

2. Проанализируйте состав следующего простого категорического силлогизма:

В силлогизме должно быть три термина. Субъект заключения именуется меньшим термином и обозначается буквой «S». Предикат заключения называется большим термином и обозначается буквой «P». Меньший и больший термины называются крайними терминами силлогизма. Термин, который встречается в посылках, но не встречается в заключении, называется средним термином (связка) и обозначается буквой «M». Суждение, в которое входит больший термин- большая посылка, суждение, в которое входит меньший термин- меньшая посылка.

Все греки(S)- люди(M)

Все люди(M) смертны(P)

Все греки(S) смертны(P)

№25