Сокращенные и сложные силлогизмы
Энтимема сокращенная форма силлогизма. Может быть с опущенной посылкой или заключением. Умозаключение, в которое входит два и более силлогизмов, называют полисиллогизмом.В прогрессивном полисиллогизме заключение предыдущего силлогизма становится большой посылкой последующего. Регрессивный полисиллогизм, наоборот, переводит предыдущее заключение в меньшую посылку. Прогрессивный и регрессивный сориты получаются из соответствующих полисиллогизмов за счет сокращения части посылок, которые опускаются. Эпихейрема - самое сложное умозаключение среди силлогизмов. Она составляется из двух энтимем. Каждая из них, точнее их заключения, играют роль посылок. Заключение всего такого сложного образования - простое категорическое суждение.
Умозаключения логики высказываний. Логика высказываний рассматривает сложные суждения и умозаключения из них. Такие умозаключения основываются только на связях между суждениями, т.е. на смысле логических союзов. В них не учитываются отношения между терминами. К таким умозаключениям относят условные, разделительные и их различные сочетания: 1) собственно условные (чисто условные); 2) условно-категорические; 3) условно-разделительные; 4) разделительно-категорические. Собственно условные умозаключения содержат и в посылках, и в заключении одни только условные суждения: p → q q → r следовательно p → r Либо: ((p → q) ^ ( q → r)) →( p → r) Правило чисто условного умозаключения: Следствие следствия есть следствие основания. Условно-категорическое умозаключение имеет одну из посылок и заключение, выражаемые категорическими суждениями, а вторая посылка – условное суждение. Вывод в условно-категорическом умозаключении можно делать либо от утверждения основания к утверждению следствия (утвержающий модус), либо от отрицания следствия к отрицанию основания (отрицающий модус). Modus ponens - утверждающий Modus tollens -отрицающий модус p→ q p→ q p следовательно ┐q следовательно q ┐p Либо: ((p→ q) ^ p) → q Либо: ((p→ q) ^ ┐q) → ┐p Собственно разделительные умозаключения содержат в качестве посылок и заключения одни только разделительные суждения. ((p ٧ q) ^ (q ٧ r)) → p ٧ q ٧ r Разделительно-категорические умозаключения содержат наряду с разделительной (большая) еще и категорическую посылку (меньшая). Заключение в них тоже выражается категорическим суждением. У этого вида умозаключения два правильных модуса. Первый модус называется tollendo ponens (отрицающе-утверждающим): через отрицание одного из дизъюнктов в меньшей посылке приходят к утверждению другого дизъюнкта в заключении. ((p ٧ q) ^ ┐p) → q Правило: В разделительной посылке должны быть перечислены все возможные суждения, т.е. это должна быть закрытая дизъюнкция. Другой модус - ponendo tollens (утверждающе-отрицающий): отрицает один из дизъюнктов в выводе, а не в посылке. В меньшей посылке утверждается один из дизъюнктов. ((p ٧ q) ^ p) → ┐q Правило:Разделительная посылка обязательно должна быть выделяющей или иметь смысл строгой дизъюнкции. Условно-разделительные силлогизмы содержат в различных сочетаниях условные и разделительные суждения в посылках и заключениях. В зависимости от количества альтернатив, содержащихся в разделительной посылке их разделяют на дилеммы (2 альтернативы), трилеммы (3 альтернативы), полилеммы (4 и больше). Кроме того, эти умозаключения распадаются на четыре разновидности: простые (заключением является следствие условных посылок или отрицание их основания) и сложные (заключением является дизъюнкция следствий условных посылок или отрицаний их оснований), каждая из которых в свою очередь подразделяется на конструктивные (в заключение входят следствия условных посылок) и деструктивные (в заключения входят отрицания оснований условных посылок). В простой конструктивной дилемме из двух условных и одной разделительной посылок делается вывод простым суждением. В условной посылке содержатся два основания, из которых вытекает одно и то же следствие. ((p → r) ^ (q → r) ^ (p ٧ q)) → r Простая деструктивная дилемма приводит всегда к отрицательному простому суждению в заключении. В условной посылке из одного основания вытекает два различных следствий. Разделительная посылка отрицает оба следствия, а заключение отрицает основание. ((p → q) ^ (p→ r) ^ (┐q ٧ ┐r)) → ┐p Сложные дилеммы содержат в заключении сложные суждения. В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба основания. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий. ((p → q ^ (r → s) ^ (p ٧ r)) → (q ٧ s) Сложная деструктивная дилемма имеет такую же первую посылку, как и сложная конструктивная. Но во второй посылке отрицаются оба следствия., заключение отрицает оба следствия. ((p → q ^ (r → s) ^ (┐q ٧ ┐s)) → (┐p ٧ ┐r) Индуктивные умозаключения Индукция - это умозаключение, в результате которого на основе знания об отдельных предметах какого-либо класса делается вывод обо всем классе этих предметов. Виды индукции По характеру исследования индукцию принято подразделять на: 1. Полную, где заключение о принадлежности некоторого признака всему классу явлений получают на основе повторяемости этого признака у каждого из явлений класса. S1 - P S2 - P S3 - P ------- Sn – P Только S1, S2, S3……Sn составляют класс К Следовательно, каждый элемент класса К – Р 2.Неполную, когда заключение получают на основе повторяемости признака у некоторых явлений класса. S1 - P S2 - P S3 - P ------- S1, S2, S3…… составляют класс К Вероятно, каждый элемент класса К – Р
Полная индукция дает достоверные заключения, неполная – только вероятные. По способам обоснования заключения различают два вида неполной индукции: - индукция путем перечисления (популярная). - индукция путем отбора (научная). Методы научной индукции: Метод сходства: ABC – вызывает d MFB – вызывает d MBC - вызывает d По-видимому, B является причиной d Метод различения: ABCDE – вызывает d ABCD – не вызывает d По-видимому, E является причиной d Совместный метод сходства и различения ABC – вызывает d MFB - вызывает d MBC - вызывает d AC – не вызывает d MF – не вызывает d MC – не вызывает d По-видимому, В является причиной d Метод сопутствующих изменений: ABC1- вызывает d1 ABC2- вызывает d2 ABCn- вызывает dn По-видимому С, является причиной d Метод остатков: ABC- вызывает xyz A – вызывает x B- вызывает y C вызывает z
Умозаключение по аналогии Аналогия представляет собой вид умозаключения, в котором знания об одном предмете переносятся на предмет другой природы на основании наличия сходства между ними. Виды аналогии: Аналогия свойств Аналогия отношений P(a) Ù P(b) P(a1,a2,an) Ù P(b1,b2,bn) S(a) Ù S(b) S(a1,a2,an) Ù S(b1,b2,bn) R(a) Ù R(b) R(a1,a2,an) Ù R(b1,b2,bn) a≈b a≈b Q(a)Q(a1,a2,an) Q(b) Q(b1,b2,bn)
Популярное: Модели организации как закрытой, открытой, частично открытой системы: Закрытая система имеет жесткие фиксированные границы, ее действия относительно независимы... Организация как механизм и форма жизни коллектива: Организация не сможет достичь поставленных целей без соответствующей внутренней... ©2015-2024 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (499)
|
Почему 1285321 студент выбрали МегаОбучалку... Система поиска информации Мобильная версия сайта Удобная навигация Нет шокирующей рекламы |