Отношение несовместимости.
Несовместимыми являются суждения А и E, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.
1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
Истинность одного из противоположных суждений определяет ложность другого: А-1 Е; Е—1 А. Например, истинность суждения «Все офицеры — военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим». При ложности же одного из противоположных суждений другое остается неопределенным — оно может быть как истинным, так и ложным.
2. Противоречащими (контрадикторными) являются суждения Аи О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.
Для противоречия характерна строгая, илиальтернативная несовместимость: при истинности одного из суждений другое всегда будет ложным; при ложности первого второе будет истинным. Отношения между такими суждениямирегулируются законом исключенного третьего.
Например, если признается истинным суждение «Все принципиальные люди признают свои ошибки», то ложным будет ему альтернативное: «Некоторые принципиальные люди не признают своих ошибок».
78.Приведите пример и объясните суть симметричного и несимметричного реляционного суждения.
Реляционные суждения или суждения об отношениях фиксируют наличие или отсутствие у предмета мысли того или иного отношения к другому предмету. «х R y», x и y – предметы мысли, R – отношение между ними.
(«Плеханов старше своего друга Мартова»; «Минск севернее Киева», «Москва меньше Мехико». Две разновидности:
а) суждения об отношениях между двумя предметами «Москва меньше Мехико».
б) суждения об отношениях между тремя и более предметами: «Большая Мурта находится между Енисейском и Абаканом.)
Симметричные: хRy → yRx, т.е. например, «Петров – родственник Сидорова», «(2+4) = (1+5)», «Пущин – современник Пушкина». Переставить местами x и y, и истинность суждения, как его смысл сохранится.
(Отношения между предметами, для которых не имеет значения, какой из этих членов предшествующий, а какой последующий; например: “Иван - брат Петра”, следовательно, “Петр - брат Ивана”)
Несимметричные: из суждения хRy не следуют с необходимостью ни структура yRx, ни структура не–yRx. Имеем суждение «Михаил – завистник Виталия», из него нельзя с необходимостью сделать вывод ни о том, что Виталий завидует Михаилу, ни о том, что он ему не завидует.
(Отношения между предметами, при которых важен порядок их расположения; например: “Иван - отец Степана”, но это не значит, что “Степан - отец Ивана”, если истинно одно из этих суждений, то ложно другое)
79. Дайте определение категории умозаключение.
Умозаключение - вывод суждения из других суждений, которые в таком случае называются посылками или предпосылками. (учебник Челпанова)
Умозаключение - форма мышления, посредством которой из одного или нескольких суждений (называемых посылками) выводится новое суждение (называемое заключением, или следствием)
(учебник Ярощука)
80. Объясните сферу применения правил вывода в умозаключениях. (??? Честно, не понимаю вопрос, и даже не представляю как на него нужно отвечать, вот все, что вообще есть приблизительно по этой теме)
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называются исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий.
1. Во-первых, должны быть истинными исходные суждения - посылки. Однако следует иметь в виду, что иногда и ложные суждения могут дать истинное заключение. Так, в результате специального подбора ложных посылок в следующем рассуждении получим истинное заключение:
Все слоны имеют крылья
Все птицы - слоны
Все птицы имеют крылья
2. Во-вторых, в процессе рассуждения необходимо соблюдать правила вывода, которые обусловливают логическую правильность умозаключения. Без этого даже из истинных посылок можно получить ложное заключение. Например:
Я - человек
Ты - не я
Ты - не человек
Правил достаточно много, и они, в первую очередь, закреплены в основных видах умозаключений.
В зависимости от последовательности развития мысли, а также от логической обоснованности итогового суждения умозаключения подразделяются на следующие три вида:
- Дедуктивные (путем от общего знания к частному)
Все люди смертны.
Сократ – человек.
Следовательно, Сократ смертен.
- Индуктивные (путем от частного знания к общему)
Например: наблюдая за движением каждой из планет Солнечной системы, можно сделать общий вывод: “Все планеты движутся с Запада на Восток”
- умозаключения по аналогии (путем от частного знания к частному)
“На Земле, где есть атмосфера, смена дня и ночи, времен года, есть также и жизнь. На Марсе, подобно Земле, есть атмосфера, смена дня и ночи, смена времен года. Возможно, что на Марсе тоже есть жизнь”
81. Дайте определение категорического силлогизма.
Категорический силлогизм –вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, связанных средним термином, при соблюдении правил вывода необходимо следует заключение.
Понятия, входящие в состав силлогизма, называются терминами силлогизма. В простом категорическом силлогизме только 3 термина:
больший термин (Р) – предикат заключения;
меньший термин (S) – субъект заключения;
средний термин (М) – связывает в посылках Р и S, в заключении отсутствует.
Структуру простого категорического силлогизма составляют две посылки и заключение. Посылка, содержащая больший термин (Р), называется большей посылкой; посылка, содержащая меньший термин (S) – меньшей посылкой.
Все жидкости (М) – упруги (Р) – большая посылка
Ртуть (S) – жидкость (М) – меньшая посылка
Ртуть (S) – упруга (Р) – заключение
82.Дайте определение модусов фигур категорического силлогизма.
Фигурами категорического силлогизма называются формы силлогизма, различающиеся по положению среднего термина (М) в посылках. Имеется четыре фигуры категорического силлогизма:
I-ая фигура
![]() | Все злаки (М) – растения (Р) Рожь (S) – злак (М) Рожь (S) – растение (P) |
II-ая фигура.
Все ужи (Р) – пресмыкающиеся (М) Это животное (S) – не пресмыкающееся (М) Это животное (S) – не уж (Р) | ![]() |
III-я фигура.
![]() | Все углероды (М) – простые тела (Р) Все углероды (М) – электропроводники (S) Некоторые электропроводники (S) – простые тела (Р) |
IV-ая фигура.
Все киты (Р) – млекопитающие (М) Ни одно млекопитающее (М) – не рыба (S) Ни одна рыба (S) – не кит (Р) | ![]() |
Каждая фигура категорического силлогизма имеет свои особые правила:
I фигура: | Большая посылка – общая, меньшая посылка – утвердительная. |
II фигура: | Большая посылка – общая, одна из посылок – отрицательная. |
III фигура: | Меньшая посылка – утвердительная, заключение – частное. |
IV фигура: | Заключение не может быть общеутвердительным суждением. |
В каждой фигуре возможно несколько допустимых (правильных) сочетаний посылок и заключения. Такие сочетания называются модусами.
Модусы фигур категорического силлогизма – разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключений.
83. Сформулируйте правила терминов и посылок категорического силлогизма.
Правила терминов
1. В силлогизме должно быть только три термина (S, P, M). Нарушение этого правила ведёт к ошибке "учетверение терминов":
Движение (М) – вечно (Р) |
Хождение в школу (S) – движение (М) |
Хождение в школу вечно |
В данном силлогизме средний термин "движение" употребляется в разных смыслах – в предельно широком (философском) и обыденном (движение как перемещение). Заключение ложно.
2. Средний термин должен быть распределён по крайней мере в одной из посылок.
Все гусеницы (Р) едят салат (М) |
Я (S) ем салат (М) |
Я – гусеница |
Средний термин (те, кто едят салат) не распределён ни в одной из посылок. Вывод ложный.
3. Термин в заключении может быть распределён только тогда, когда он распределён в посылке.
Во всех городах за полярным кругом (М) – белые ночи (Р) |
Санкт-Петербург (S) – не за полярным кругом (М) |
В Санкт-Петербурге не бывает белых ночей. |
Предикат вывода распределён в заключении, но не распределён в посылке. В терминах заключения говорится больше, чем в посылках: произошло расширение большего термина. Заключение ложно.
Правила посылок
1. Из двух отрицательных посылок вывод не производится.
Дельфины не рыбы. |
Щуки не дельфины. |
? |
2. Если одна из посылок отрицательная, то и заключение должно быть отрицательным:
Некоторые люди не умеют читать. |
Все люди умеют смеяться. |
Некоторые из умеющих смеяться не умеют читать. |
3. Из двух частных посылок нельзя сделать вывод:
Некоторые животные живут в воде. |
Некоторые говорящие существа – животные. |
? |
4. Если одна из посылок частная, то заключение должно быть частным:
Все люди обладают сознанием. |
Некоторые двуногие существа – люди. |
Некоторые двуногие существа обладают сознанием. |
84.Дайте определение утверждающего и отрицающего модусов условно-категорического умозаключения, приведите его символическую схему, проиллюстрируйте примером.
Условно-категорическое умозаключение (силлогизм) – умозаключение, в котором одна посылка – условное суждение, а другая посылка и вывод – категорические суждения.
Этот силлогизм имеет два правильных модуса: утверждающий и отрицающий.
1. Утверждающий модус (modus ponens) выражается формулой:
В утверждающем модусе (modus ponens)посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.