Отношение несовместимости.

 

Несовместимыми являются суждения А и 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)посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.



php"; ?>