Шпаргалка по логике 1

к началу

Опровержение - это логическая операция установления ложности или необоснованности ранее выдвинутого тезиса. Опровержение должно показать, что : 1. Неправильно построено само доказательство.

2. Выдвинутый тезис ложен или недоказан. Есть 3 вида опровержения - Опровержение тезиса, критика аргументов, выявление несостоятельности демонстрации.

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

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

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

22 ПОНЯТИЕ ПРИЧИНЫ. СОЕДИНЕННЫЙ МЕТОД СХОДСТВА И РАЗЛИЧИЯ.

Причина - явление или совокупность явлений, которые непосредственно обуславливают, порождают другое явление (следствие). Причинная связь существует для любого явления. При наличие причины следствие наступает обязательно. Условия способствуют или мешают действию причины. Причинная связь между явлениями определяется посредством ряда методов, которые открыл Ф.Бэкон.

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

_________________________________________________

Случаи появления предшествующие наблюдаемое Т.к. во всех 3-х случаях общим

события а обстаятельства явление обстаятельством было .А, то делается

-------------------------------------------------------------------------------- вывод, что А является причиной или

1 (1) А Б В (АБВГ) а (а) частью причины события а.

2 (2) А Г Д (БВГ) а (-) (вероятно А и есть причина а).

3 А З Ж а

Метод различия - Если случаи при которых явление наступает различаются только в 1-м предшествующем обстаятельстве, то это обстаятельство и есть причина данного явления. См. () в таблице.

23 ПРАВИЛА ДЕЛЕНИЯ ПОНЯТИЯ.

Соразмерность - обьем делимого понятия должен быть равен сумме объемов членов деления.

Ошибки: неполное деление (перечисляются не все виды данного родового понятия "Энергия делится на механическую и химическую (электрическую, атомную)". Деление с лишними членами "химические элементы делятся на металлы, неметаллы и сплавы". Деление должно проводиться по одному основанию

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

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

24 ОБЩАЯ ХАРАКТЕРИСТИКА СУЖДЕНИЯ. СУЖДЕНИЕ И ПРЕДЛОЖЕНИЕ

Суждение - форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами. "Ледоколы существуют". Суждения бывают истинные и ложные (в традиционной логике) и еще неопределенными (в 3-х значной логике). "На марсе есть жизнь" - неопределенное суждение. Сужденеи имеет субъект, предикат, связку и квантор. Субъект ( S) - понятие о предмете суждения. Предикат (P) - понятие о признаке предмета, рассматриваемого в суждении. Связка - может быть выражена одним словом (есть, суть, является), группой слов или тире, или простым согласованием слов "собака лает". Квантор - перед субъектом иногда стоит кванторное слово (все, ни один, некоторые) оно указывает, относится ли суждение ко всему объему понятия или к его части. Эти простые суждения наз-ся ассерторическими.

Суждения делятся на простые и сложные. Простые суждения делятся на Атрибутивные (суждения свойства) "у розы приятный запах" , суждения с отношениями "протон тяжелее электрона", и суждения существования "Существует атомный реактор в Чернобыле". По качеству связки (есть, не есть) суждения делятся на утвердительные и отрицательные. Также делятся на общие "Все соболя - ценные пушные звери", частные "Некоторые цветы - розы" и единичные "Везувий - действующий вулкан".

Суждение и предложение - суждения выражаются повествовательными предложениями, которые несут какую-либо информацию. Вопросительные предложения не содержат суждения (т.к. ничего не утверждают и ничего не отрицают). Побудительные суждения выражают побуждение к совершению действия . Некоторые побуд. Предложения не содержат суждения "Подожди меня", но предложения-приказы, призывы или лозунги "В атаку, ни шагу назад" выражают модальные суждения. Односоставные безличные предложения "Осень" и некоторые повествовательные "Он - вратарь" являются суждениями только при рассмотрении их в контексте и при уточнении. Если уточнение не сделано, непонятно истинное сужджение или ложное.

25 РАСПРЕДЕЛЕННОСТЬ ТЕРМИНА СУЖДЕНИЯ

В суждениях термины S и P могут быть либо распределены, либо нераспределены. Термин считается распределенным, если его объем полностью включается (исключается) в него. Термин нераспределен, если его объем частично включается (исключается) в объем другого термина.

S распределен в общих суждениях и нераспределен в частных. Р всегда распределен в отрицательных суждениях в утвердительных он распределен тогда , когда по объему P<=S.

Общеутвердительное - (все S суть Р) S+ P+ - "Все караси - рыбы (S +P-)" и "Все квадраты - равносторонние прямоугольники (S+ P+)".

Частноутвердительное - (некоторые S суть Р) S - P+ - "Некоторые инженеры - воры (S- P-)" "Некуоторые писатели - драматурги (S- P+)"

Общеотрицательное (Ни одно S не суть Р) S + P + "Ни один лев не есть травоядное животное (S+ P+)".

Частноотрицательное (Некоторые S не суть Р) S - P + "Некоторые студенты не есть спортсмены (S- P+)".

26 ОБЪЕМНЫЕ ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ

Понятия делятся на несравнимые (далекие друг от друга, не имеющие общих признаков "дружба и кирпич" и сравнимые (все остальные). Сравнимые делятся на совместимые (объемы котороых совпадают полностью или частично) и несовместимые (объемы которых не совпадают ни в одном элементе).

СОВМЕСТИМЫЕ: Равнозначность - это понятия, различающиеся по содержанию но общие по объему "Река Волга и Самая длинная река в Европе". Перекрещивание - понятия, объем которых частично совпадает (содержат общие элементы) "Спортсмен и Студент". Подчинение - объем одного понятия целиком входит в объем другого, но не исчерпывает его "Млекопитающее и Кошка".

НЕСОВМЕСТИМЫЕ : Соподчинение - отношение между объемами понятий исключающих друг друга но принадлежащих более обширному родовому понятию "ель, береза принадлежат объему Дерева".

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

Круговые схемы Эйлера показывают эти отношения между понятиями.

27 ЛОГИЧЕСКИЙ КВАДРАТ. ОТНОШЕНИЕ ТОЖДЕСТВА И ПОДЧИНЕНИЯ

Сравнимые суждения делятся на совместимые и несовместимые. Совместимые суждения выражают одну и ту же мысль полностью или в некоторой части. Отношения совместимости: тождество, подчинение и частичное совпадение (субконтрарность).

Тождественные (эквивалентные) суждения выражают одну и ту же мысль в различной форме "Юрий Гагарин 1-й космонавт и Ю.Гагарин 1-м полетел в космос". Субъект здесь один и тот же, а предикаты различны по форме, но одинаковы по смыслу. В суждениях "Михаил Шолохов - лауреат нобелевской премии и Автор романа Тихий Дон - лауреат Нобелевской премии" одинаковые предикаты, а субъекты различны по форме выражения, но тождественны по смыслу. Если 2 суждения тождественны, то невозможно, чтобы одно было истинным, а другое ложным. Суждения логического подчинения - имеют общий предикат, субъекты тоже находятся в положении логического подчинения. В отношении

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

28 СЛОЖНОЕ СУЖДЕНИЕ. ДИЗЪЮНКЦИЯ.

29 ПОНЯТИЕ ПРИЧИНЫ. МЕТОД СОПУТСТВУЮЩИХ ИЗМЕНЕНИЙ.

Причина - явление или совокупность явлений, которые непосредственно обуславливают, порождают другое явление (следствие). Причинная связь существует для любого явления. При наличие причины следствие наступает обязательно. Условия способствуют или мешают действию причины. Причинная связь между явлениями определяется посредством ряда методов, которые открыл Ф.Бэкон.

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

30 ПРАВИЛА ПО ОТНОШЕНИЮ К ТЕЗИСУ.

1. Тезис должен быть логически определенным, ясным и точным.

2. Тезис должен оставаться тождественным (т.е. одним и тем же на протяжении всего доказательства или опровержения).

Ошибки: Подмена тезиса - когда один тезис умышленно или неумышленно подменяется другим и начинают обсуждать этот новый тезис. Здесь происходит нарушение закона тождества, когда пытаются отождествить нетождественные тезисы. Довод к человеку - когда доказательство тезиса подменяется ссылками на личные качества того, кто этот тезис выдвигает. Переход в другой род - а) к то слишком много доказывает, тот ничего не доказывает (это происходит тогда, когда вместо одного тезиса пытаются доказать 2-й, более сильный, который часто оказывается ложным). Б)кто слишком мало доказывает, тот ничего не доказывает (когда вместо одного тезиса доказывают другой, но более слабый.).

31 ВИДЫ ДОКАЗАТЕЛЬСТВА - ПРЯМЫЕ И КОСВЕННЫЕ

Доказательства по форме делятся на прямые и косвенные.

Прямое идет от расмотрения аргументов к доказательству тезиса, т.е. истинность тезиса непосредственно обосновывается аргументами. Из данных аргументов необходимо следует доказываемый тезис "Все углеводы горючи. Сахар - углевод, следовательно сахар - горюч" - это прямое доказательство в форме КС.

Косвенное - это доказательство, в котором истинность выдвинутого тезиса обосновывается путем ложности антитезиса. Апагогическое косвенное доказательство - осуществляется пктем установления ложности противоречащего тезису суждения (используется в математике). Разделительное доказательство - антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы "Преступление могли совершить либо А, либо Б, либо В. Доказано, что преступления не совершали А и Б. След-но преступление совершил В.".

32 ОБЩАЯ Х-КА УМЗ. ТИПЫ УМЗ.

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

Все углероды - горючи 1 посылка

Алмаз - углерод 2 посылка

Алмаз - горюч. Вывод

Логическое следствие , выводимое из посылок - это высказывание, которое не может быть ложным, если посылки истинны. УМЗ делятся на дедуктивные ( когда между посылками и заключением имеется отношение логического следствия "Все рыбы дышат жабрами, Все окуни - рыбы, Все окуни дышат жабрами")., индуктивные (дают не достоверные, а правдоподобные заключения, ) и традуктивные.(заключения по аналогии). 

33 ПРАВИЛА ПО ОТНОШЕНИЮ К АРГУМЕНТАЦИИ.

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

2. Аргументы должны быть достаточным основанием для доказательства тезиса.

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

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

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

34 СОФИЗМЫ, ПАРАЛОГИЗМЫ, ПАРАДОКСЫ.

Паралогизм - это непреднамеренная ошибка, допущенная человеком в мышлении.

Софизм - преднамеренная ошибка, допущенная с целью запутать противника и выдать ложное суждение за истинное. Пример математического софизма : "Надо доказать , что 5 = 1. Из чисел 5 и 1 по отдельности вычтем число 3. Получим числа 2 и -2. При возведении в квадрат этих чисел получаются равные числа 4 и 4. Значит должны быть равны и исходные числа 5 и 1.".

Парадокс - это рассуждение, доказывающее как истинность , так и ложность одного и того же суждения.

Парадокс "куча" - разница между кучей и некучей не в 1-й пиздчинке. Пусть у нас есть куча (напр. Песка). Начинаем от нее брать каждый раз по 1-й пиздчинке, и куча остаеттся кучей. Итак - 100 пиздчинок - куча, 99 - куча, 10 - куча, 9 - куча и 1 - тоже куча. Суть - постепенные количественные изменения не приводят к изменениям качественным. Парадокс - генерал и брадобрей. Каждый солдат может бриться сам или бриться у другого солдата. Генерал издал указ, по которому назначался один солдат в брадобреи и он мог брить только тех солдат, кто не бреется сам. Как же тогда бриться этому солдату-брадобрею?

35 МОДАЛЬНОСТЬ ПРОСТОГО СУЖДЕНИЯ.

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

Структура : M (S есть P) или М (S не есть Р)., где М - модальный оператор.

Виды модальностей:

Логические - лог. Необходимо, лог. Случайно, лог. Возможно (невозможно). Онтологические - то же, только с онт. Эпистемические - знание - доказуемо, неразрешимо, опровержимо, убеждение - полагает, сомневается, отвергает, допускает. Деонтические - обязательно, безразлично, запрещено, разрешено.

Аксиологические - абсолютные - хорошо, безразлично, плохо, сравнительные - лучше, равноценно, хуже, Временные - абсолютные - всегда, только, иногда, никогда. Сравнительные - раньше, одновременно, позже. Пример модальных суждений : "Доказано, что на Марсе нет жизни" или возможно на Марсе жизнь существует".

36 ЛОГИЧЕСКАЯ СТРУКТУРА СПОРА.

Эристика - искусство ведения спора. Условия ведения спора (сформулировал А.Л. Никифоров):

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

2. Должэна существовать реальная противоположность спорящих сторон. Если расхождения во мнениях о предмете спора нет, со спор перерождается в разговор о словах, где говорят по-разному одно и то же.

3. Необходима общая основа спора, т.е. некоторые принципы и убеждения , признающиеся обеими сторонамти. Если таких общих положений нет, то спор невозможен.

4. Требуется знание предмета спора - бессмысленно вступать в спор о предмете, в котором ты нихуя не шаришь.

5. Также нужна способность терпеливо выслушивать собеседника (оппононта).

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

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

37 ЛОГИЧЕСКИЙ КВАДРАТ. ОТНОШЕНИЯ КОНТРАРНОСТИ И КОНТРАДИКТОРНОСТИ

Отношения несовместимости - противоположность (контрарность) и пролтиворечие (контрадикторность).

Если одно противоположное суждение истинно, то другое - ложно, но если одно из них ложно, то другое неопределенное. "Все люди трудятся добросоветно и Ни один человек не трудится добросовестно" - оба суждения ложны. Два противоречащих суждения не могут быть одновременно истинными и одновременно ложными . Если истинно одно, то другое ложно. "Некоторые летчики - космонавты и Ни один летчик не является космонавтом" 2-е суждение ложно, а 1-е истинно. 38 СЛОЖНОЕ СУЖДЕНИЕ. КОНЪЮНКТЦИЯ.

39 ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ ЕГО АКСИОМА.

Категорический силлогизм - это вид дедуктивного УМЗ, в котором из 2-х истинных категорических суждлений где S и Р связаны средним термином (м) при соблюдении правил необходимо следует заключение.

В составе ПКС имеются 2 посылки и заключение. Понятия, входящие в состав ПКС наз-ся терминами силлогизма. Посылка, содержащяя предикат наз-ся большей посылкой. Содержащяя субъект наз-ся меньшей посылкой. В основе вывода лежит аксиома силлогизма - Все, что утверждается (отрицается) о роде (или классе) , необходимо утверждается (отрицается) о виде (или о члене данного класса), принадлежащем к данному роду.

Все металлы (M) - электропроводны (P) - большая посылка

Медь (S) есть металл (M) - меньшая посылка

Медь (S) - электропроводна (P) - заключение 

40 ПРАВИЛА ПО ОТНОШЕНИЮ К ДЕМОНСТРАЦИИ. ТИПИЧНЫЕ ОШИБКИ.

Тезис должен быть заключением, логически следующим из аргументов по общим правилам УМЗ или полученным в соответствии с правилами косвенного доказательства.

Ошибки - Мнимое следование - если тезис не следует из приводимых в его подтверждение аргументов, то возникает ошибка "не следует". Иногда для связи аргументов и тезиса люди используют "таким образом, итак, следовательно" полагая, что этим они установили связь между аргументами и тезисом. "При приближении корабля к берегу сначала из-за горизонта показываются верхушки мачт, а потом все остальное и из этого следует то , что Земля шарообразна. Это неправильно, т.к. из этого следует то, что Земля имеет какую-либо кривизну поверхности". От сказанного с условием к сказанному безусловно - аргумент истинный только с учетом каких-либо условий нельзя выдавать за безусловно истинный во всех отношениях аргумент "Кофе полезен (он полезен в небольших дозах для поднятия артериального давления, в больших же дозах он вреден)". Ошибки в УМЗ - ошибки в дедуктивных УМЗ - Нельзя вывести заключение от утверждения следствия к утверждению основания "Если число кончается на 0, то оно делиьтся на 5. Это число делится на 5 (но это не значит, что оно кончается на 0)". Ошибки в индуктивных УМЗ - поспешное обобщение "все свидетели много пиздят" или ошибка "после этого, значит" - пропажа вещи обнаружена после того, как этот чибис заходил в дом, следовательно он эту вещь спиздил. Ошибки в традуктивных УМЗ - ложные аналогии.

41 ПРАВИЛА ПКС. ПРАВИЛА ПОСЫЛОК И ТЕРМИНОВ.

Правила терминов 1. В каждом силлогизме должно быть только 3 термина (S, P, M) ошибка - у4-рение терминов "Движение вечно. Хождение в институт - движение. Хождение в институт вечно".

2. Средний термин должен быть распределен по крайней мере в 1-й из посылок. Ошибка - "Некоторые растения ядовиты. Белые грибы - растения. Белые грибы - ядовиты". 3. Термин распределен в заключении если он распределен в посылке. Ошибка - "Во всех городах заполярья бывают белые ночи. Питер не в заполярье. В Питере не бывает белых ночей".

Правила посылок. 1. Из 2-х отицательных посылок нельзя сделать никакого заключения "Дельфины не рыбы. Щуки не дельфины. ? ". 2. Если одна из посылок отрицательная, то и вывод должен быть отрицательным. "Все моржи долбоебы. Это животное не является долбоебом. Это животное не морж".

3. Из 2-х частных посылок вывод не следует "Некоторые животные - пресмыкающиеся. Некоторые организмы - животные. ?". 4. Если одна из посылок частная, то вывод тоже частный "Вор должен сидеть в тюрьме. Некоторые люди - воры. Некоторые люди должны сидеть в тюрьме".

42 1 ФИГУРА ПКС. ДОКАЗАТЕЛЬСТВО ПРАВИЛ.

Фигурами ПКС называются формы силлогизма, различаемые по положению среднего термина. .

1 фигура : большая посылка должна быть общей, меньшая - утвердительной.

M P

S M

S - P

43 НЕПОСРЕДСТВЕННЫЕ УМЗ.

Непосредственными УМЗ называются УМЗ, делаемые из 1-й посылки . К ним относятся превращение, обращение, противопоставление предикату и УМЗ по логическому квадрату.

Превращение - вид непосредственного УМЗ, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки.

Схема - S есть Р Вывод - S не есть не Р. "Все галогены являются неметаллами, Ни один галоген не является металлом".

Обращение - такое непосредственное УМЗ, в котором в заключении субъектом является предикат, а предикатом - субъект исходного суждения. Схема - S есть Р, Р есть S. "Некоторые школьники - спортсмены, Некоторые спортсмены - школьники".

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

Схема S есть Р, неS не есть S. "Все львы хищные животные. Ни одно нехищное животное не является львом". 

44 ПОНЯТИЕ ПРИЧИНЫ МЕТОД РАЗЛИЧИЯ.

Причина - явление или совокупность явлений, которые непосредственно обуславливают, порождают другое явление (следствие). Причинная связь существует для любого явления. При наличие причины следствие наступает обязательно. Условия способствуют или мешают действию причины. Причинная связь между явлениями определяется посредством ряда методов, которые открыл Ф.Бэкон.

_________________________________________________

Случаи появления предшествующие наблюдаемое

события а обстаятельства явление вероятно А и есть причина а

--------------------------------------------------------------------------------

1) АБВГ а

2) БВГ -

Метод различия - Если случаи при которых явление наступает различаются только в 1-м предшествующем обстаятельстве, то это обстаятельство и есть причина данного явления. См. в таблице.

45 СЛОЖНОЕ СУЖДЕНИЕ ИМПЛИКАЦИЯ. 46 ВТОРАЯ ФИГУРА ПКС ДОКАЗАТЕЛЬСТВО ПРАВИЛ.

Фигурами ПКС называются формы силлогизма, различаемые по положению среднего термина. .

2 фигура - большая посылка общая и одна из посылок а также заключение, отрицательные.

P M

S M

S - P

7 ТРЕТЬЯ ФИГУРА ПКС ДОКАЗАТЕЛЬСТВО ПРАВИЛ.

Фигурами ПКС называются формы силлогизма, различаемые по положению среднего термина. .

3 фигура - Меньшая посылка должна быть утвердительной, а заключение - частное.

M P

M S

S - P

48 УСЛОВНО-КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ. ИСТИННЫЕ МОДУСЫ.

УКС это такое дедуктивное УМЗ, в котором одна из посылок - условное суждение, а другая - простое категорическое суждение.

1 модус - Утверждающий. Структура - Если А, то Б. Можно стороить достоверные УМЗ от утверждения основания к утверждению следствия. "Если этот металл натрий, то он легче воды. Данный металл - натрий. Данный металл легче воды".

2 модус - Отрицающий. Можно стороить достоверные УМЗ от отрицания следствия к отрицанию основания. "Если река разливается, то вода все затопляет. Вода нихера не затопила. Река не разлилась".

3 модус - недостоверный. Нельзя получить достоверное заключение идя от утверждения следствия к утверддению основания. "Если данное тело - графит, то оно электропроводно. Данное тело - электропроводно. Вероятно данное тело - графит".

4 модус недостоверный. Нельзя получить достоверное заключение, идя от отрицания основания к отрицанию следствия. "Если у человека температура, то он болен. У этого человека нет температуры. Вероятно он не болен".

49 РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ. ЕГО МОДУСЫ.

Разделительным называется УМЗ, в котором одна или несколько посылок - разделительные суждения.

Разделительно - категорическое УМЗ - когда одна посылка - разделительное суждение, другая - простое категорическое суждение. Есть 2 модуса :

1 модус - утверждающе-отрицающий. Союз "или" в этом модусе употребляется как в виде строгой, так и нестрогой дизъюнкции. "Данный глагол может стоять или в настоящем, или в прошедшем или в будующем времени. Данный глагол стоит в настоящем времени. Он не стоит ни в будующем, ни в прошедшем времени".

2 модус - отрицающе-утверждающий. "Минеральные удобрения бывают или азотными или фосфоритными или калийными. Данное удобрение не является не азотным, ни фосфорным. Данное удобрение калийное". 

50 ДИЛЕММА КОНСТРУКТИВНАЯ И ДЕСТРУКТИВНАЯ.

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

Простая конструктивная дилемма - состоит из 2-х посылок. В 1-й утверждается, что из 2-х разных оснований вытекает одно следствие. Во 2-й утверждаются, что оба этих основания истинны. В заключении утверждается следствие. "Если я пойду по мосту - меня заметят. Если я пойду вброд - меня заметят. Я могу идти по мосту или вброд. Меня заметят. ".

Сложная конструктивная дилемма. Два основания в 1-й посылке, во 2-й посылке утверждается истинность одного или другого основания, в заключении утверждается истинность одного или другого следствия. "Если я ебну бомбу в городе, то завалю много народа. Если я ебну бомбу в лесу, то завалю себя одного. Я могу ебнуть бомбу в городе и в лесу. Я могу завалить много народа или я могу убить только себя.". Простая деструктивная дилемма - 1-я условная посылка указывает на то, что из одного и того же основания вытекают 2 различных следствия, 2-я посылка это отрицания обоих этих следствий, а в заключении отрицается основание. "Если у человека столбняк, то через 1 день он сдохнет. Через один день человек не сдох. У этого человека нет столбняка".

Сложная деструктивная дилемма - 1 посылка состоит из 2-х условных суждений с разными основаниями и разными следствиями, 2-я посылка - это отрицание обоих следствий. "Если Петров честен, он сделает задание сегодня, а если Петров добросовестен, то он сделает задание завтра. Но Петров не сделал задание сегодня и не сделал его завтра. Петров не честен и не добросовестен.