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

«Всякая истинная мысль должна быть достаточно обоснованна»

Речь идет об обосновании только истинных мыслей: ложные мысли обосновать нельзя.

Формулы для этого закона нет, так как он имеет содержательный характер.

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

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

Логическое следствие – обоснование с помощью логического основания мысли. Следствие должно вытекать из основания. Истинность следствия зависит от истинности основания.

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

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

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

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

-от анализа имеющихся знаний к синтезу знания новых.

Структура умозаключения:

исходное знание – выражается в первоначальных суждениях, называется ПОСЫЛКАМИ УМОЗАКЛЮЧЕНИЯ

обосновывающее – выражается в правилах умозаключения и основных логических законах, которые применяются при построении

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

Посылки должны быть связаны по содержанию.

Условия:

-все исходные посылки должны быть истинными суждениями

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

3 вида умозаключений:

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

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

• умозаключения по аналогии

37. Дедуктивные умозаключения.

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

Формулировка вывода осуществляется путём использования одного из четырёх видов преобразований исходной посылки:

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

• обращение

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

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

Превращение – это такая разновидность непосредственного дедуктивного умозаключения, при котором изменяется качество посылки без изменения её количества

2 Способа осуществления:

• способ двойного отрицания – отрицание ставится перед связкой и перед предикатом

S не есть не Р

справедливое следствие:

двойное отрицание = утверждение

• перевод отрицания из предиката в субъект

S есть не Р – S не есть Р

Превращению поддаются все 4 вида суждений при этом А превращается в Е, Е в А, I в о, О в I.

Полученное заключение уточняет знание, устанавливает отношения между субъектом и предикатом.

Обращение – такая разновидность непосредственного дедуктивного умозаключения, в котором происходит перемена мест субъекта и предиката при сохранении качества связки.

Обращение подчиняется правилу распределенности:

• субъект распределен в общих и нераспределен в частных суждениях

• предикат распределен в отрицательных и нераспределен в утвердительных суждениях.

все S есть Р – некоторые Р есть S

ни одно S не есть Р – ни одно Р не есть S

некоторые S есть Р – некоторые Р есть S

Обращению не подлежат частноотрицательные суждения.

Противопоставление предикату – такая форма непосредственного дедуктивного умозаключения, в которой предполагается получение знаний или заключения, где субъект является понятием, противоречащим предикату исходного суждения, а предикат становится субъектом исходного суждения.

Заключение зависит от количества и качества исходного суждения

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

-Все S есть Р – ни одно не Р не есть S

-ни одно S не есть Р – некоторые не Р есть S

Частноутвердительные суждения путём противопоставления предикату не преобразуются

некоторые S не есть Р – некоторые не Р есть S

Преобразование по логическому квадрату – такая форма непосредственного дедуктивного умозаключения, которая позволяет получать выводы, учитывающие правила соотношения истинности и ложности между категорическими суждениями типа А, Е, I, О.

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

3 вида:

• категорический силлогизм

• условное умозаключение

• разделительное умозаключение