Умозаключение из сложных суждений.

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

a b (( a b) (b c)) (a c)

– утвердительный

a b

Условно – категорическое умозаключение (если, то).

1. Утвердительный модус m n

2. Отрицательный модус m n

3. Неправильный m n m n

Разделительно-категорическое умозаключение.

1. Утвердительно-отрицательное m v n

2. m v n

3. отрицательно – утвердительное

4. 

Условно – разделительное умозаключение.

• Совокупность условных суждений

• Разделение суждений, включает два и более

Законы логики.

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

Основные логические законы выражают:

• Определенность (предметность)

• Непротиворечивость

• Последовательность

• Обоснованность

Закон тождества:

• Понятие не должно подменяться в процессе рассуждения

• Нельзя отождествлять различные мысли

Ошибки: подмена понятия, подмена тезиса

Закон не противоречия:

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

• Утверждая что-либо о предмете, нельзя не противореча себе отрицать тоже самое, о т ом же самом предмете, взятом в то же время, в том же отношении.

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

Закон исключительного третьего:

Из двух противоположных суждений одно истинно, другое ложно, 3 не дано.

Ошибки:

• Поиск 3 в ситуации 1 из 2

• Определенные ответы: невозможно ответить на один и тот же вопрос «да» и «нет»

• Работает только в двузначной логике, невозможно применение в многозначной логике

Ситуация неопределенности.

Наличие третий возможности. Использование неопределенных понятий.

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

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

Способ обоснования – соответствие закону, теории, возможность эмпирического утверждения.

Индуктивное умозаключение.

Демонстративное

Недемонстративное: индукция, аналогия

Индукция – умозаключение от знания меньшей степени общности к знанию большей степени общности. В заключении информации больше, чем в посылках.

имеет признак Р

имеет признак Р

имеет признак Р

имеет признак Р

, , элементы некого класса S

S имеет признак Р

Все элементы S имеют признак Р.

Индуктивный вывод.
Полный	Неполный
Применяется при изучении закрытого класса, число элементов ограниченно и сравнительно невелико	Умозаключение обо всем классе в целом на основании изучения отдельной части предметов этого класса
Заключение носит достоверный характер и может служить достаточным основанием доказательства рассуждения	Применяется в изучении открытых классов (много элементов), а также для закрытых классов, если нет надобности изучать каждый элемент
	Заключение носит вероятный характер, не может служить основанием в доказательном рассуждении
	Популярная	научная
	Индуктивное умозаключение, в котором отсутствует определенный метод отбора посылок для данного умозаключения	Индуктивное умозаключение, в котором обобщение строится на основе отбора необходимых и исключении случайных обстоятельств
	Случайный или почти случайный выбор примеров	Учитывается разнообразие предметов, изучающего множества
	Недостаточное внимание к контр примерам	Анализ причинно-следственных связей между предметами
	Не учитываются причинно-следственные связи	Обоснованность вывода определяется количественными и качественными показателями, включая обоснованность полученных обобщений
	Обоснованность выводов определяется количественными показателями	Применяется научная методология
		Изучаем не отдельные случаи, а явление