Сложные дедуктивные умозаключения. Условно-категорические и разделительно-категорические умозаключения

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

4 основных вида:

1 –чисто-условные; 2 –условно-категорические;

3 –разделительно-категорические; 4 –условно-разделительные.

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

Различают 2 правильных модуса этого вида умозакл-ния:

1. утверждающий, правило кот-го гласит о том, что утверждение истинности основания явл-ся утверждением истинности следствия.

2. отрицающий, его правило сос-ит в утверждении того, что отрицание истинности следствия явл-ся отрицанием истинности основания. Каждый из 2-х модусов имеет 2 формы: 1 – правильную; 2 – неправильную Правильная форма утверждающего модуса – ход умозакл-я направлен от утверждения основания посылки к утверждению следствия условной посылки. Неправильная форма утверждающей посылки – ход умозакл-я направлен от утверждения следствия посылки к утверждению основания условной посылки.

Правильная форма отрицающего модуса – ход умозакл-я направлен от отрицания следствия к отрицанию основания.

Неправильная форма отрицающего модуса – ход умозакл-я направлен от отрицания основания к отрицанию следствия.

Разделительно-категорические умозаключения – одна посылка – дизъюнктивная, другая – простое высказывание.

Различают 2 модуса: 1 – утверждающе-отрицающий. Заключение по этому модусу всегда достоверно, если соблюдено след. правило: большая посылка должна быть суждением строгой (исключающей) дизъюнкции. 2 – отрицающе-утверждающий. Заключение по этому модусу достоверно, если в большей посылке перечислены все возможные альтернативы, т.е. она явл-ся сложным (закрытым) дизъюнктивным высказыванием.

17. ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ. ПОНЯТИЕ, ВИДЫ

Индукция – умозакл-ние от знания меньшей степени общности новому знанию большей степени общности.

Различают 2 вида индуктивных умозакл-ний по одному основанию:1 – полная индукция

2 – неполная индукция

3 – математическая (по другому основанию)

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

Требования полной индукции:

· точно знать число предметов или явлений, подлежащих рассмотрению

· убедиться, что признак принадлежит каждому элементу этого класса

Неполная индукция –умозакл-ние, в кот-ом общее заключение обо всех элементах класса делается на основании рассмотрения части элементов.

Условия применения неполной индукции:

· невозможно рассмотреть все элементы, интерес-щего нас класса явлений

· число объектов бесконечно, либо конечно, но достаточно велико

· рассмотрение уничтожает объект

Виды неполной индукции по способам обоснования заключения:

· индукция через простое перечисление (популярная индукция)

· индукция через анализ и отбор фактов

· научная индукция

Математическая индукция основывается на аксиомах. Используется при выведении ряда формул, ряда др. математических теорий.

ПОНЯТИЕ ВЕРОЯТНОСТИ

Выделяют 2 вида определения вероятности:

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

2 – субъективная вероятность позволяет анализировать особенности познавательной деятельности людей в условиях неопределенности. Вероятность здесь – мера субъективной уверенности.

АНАЛОГИЯ. ВИДЫ АНАЛОГИИ

Аналогия – умозакл-ние о принадлежности предмету определенного признака на основе сходства признаков с другим предметом.

Посредством аналогии осущ-ся перенос инф-ции. Посылки относятся к моделям, заключения – к прототипам.

Виды аналогии:

1 – аналогия свойств – рассматривается 2 единичных предмета, а переносимые признаки – св-ва этих предметов.

2 – аналогия отношений – инф-ция, переносимая с модели на прототип, характеризует отношения м/у двумя предметами.

Кроме этих видов выделяют след.:

· строгая аналогия – дает достоверное заключение

· нестрогая аналогия – дает вероятностное заключение

· ложная (вульгарная) аналогия – дает ложное заключение

 

 

ПОНЯТИЕ ЛОГИЧЕСКОГО ЗАКОНА. ОСНОВНЫЕ ФОРМАЛЬНО-ЛОГИЧЕСКИЕ ЗАКОНЫ

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

Законы:

· закон тождества

· закон противоречия

· закон исключения третьего

· закон достаточного основания

Закон тождества А ≡ А любая мысль в процессе рассуждения должна быть тождественна самой себе, т.е. иметь строго определенное содержание и объем.

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

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

Закон достаточного основания А → В – всякая мысль должна быть обоснована другими мыслями, истинность кот-х уже доказана.

ЗАКОН ТОЖДЕСТВА

Закон тождества А ≡ А любая мысль в процессе рассуждения должна быть тождественна самой себе, т.е. иметь строго определенное содержание и объем.

Закон тождества выражает одно из важнейших требований логического мышления – определенность.

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

ЗАКОН ПРОТИВОРЕЧИЯ

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

Данный закон выражает требование непротиворечивости мышления.

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

Принцип не противоречия требует, чтобы мышление было последовательным.

Он запрещает одновременно принимать некоторое утверждение и его отрицание.

 

 

ЗАКОН ИСКЛЮЧЕНИЯ ТРЕТЬЕГО

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

Противоречащие понятия («глубокая» — «не­глубокая») не только отрицают друг друга, но и исчерпы­вают объем родового понятия.

Этот закон действует в отношениях между противоречащими (контрадикторными) суж­дениями, но он не действует во взаимоотношениях между противопо­ложными (контрарными) суждениями.

ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ

Закон достаточного основания А → В – всякая мысль должна быть обоснована другими мыслями, истинность кот-х уже доказана.

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

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