Отношения совместимости
Полная совместимость наблюдается между суждениями, которые имеют одинаковые субъекты и предикаты, однотипную - утвердительную или отрицательную - связку, одну и ту же количественную характеристику, но отличается словесной формой. Пример: «Юрий Гагарин – первый космонавт» – «Юрий Гагарин – первый полетел в космос». Для эквивалентных суждений характерна следующая зависимость: если одно из них истинно, то другое также будет истинным, а в случае ложности одного из суждений другое тоже будет ложным.
Отношение подчинения(А – I; Е – 0) характеризуется двумя зависимостями:
· при истинности общего суждения частное всегда будет истинным. Так, при истинности суждения «Все студенты сдали экзамены», всегда будет истинным и подчиненное ему суждение «Некоторые студенты сдали экзамены».
· при ложности частного суждения соответствующее ему общее суждение также будет ложным.
Для отношений подчинения остаются неопределенным следующие зависимости: при ложности подчиняющего общего суждения подчиненное частное может быть как истинное, так и ложным; при истинности подчиненного частного подчиняющее общее может быть как истинным так и ложным.
.
Частичная совместимость (I-O). Эти суждения могут быть истинными одновременно, но не могут быть одновременно ложными. Это значит, что ложность одного из них обусловливает истинность другого. Так, например, ложность суждения “Некоторые студенты сдали экзамены” обусловливает истинность суждения “Некоторые студенты не сдали экзамены”. В то же время для отношений частичной совместимости остаются неопределенными следующие зависимости: при истинности частноутвердительного суждения совместимое с ним частноотрицательное может быть как истинным, так и ложным. И, наоборот, при истинности частноотрицательного суждения, частноутвердительное может быть как истинным, так и ложным.
Отношения несовместимости
Отношение противоположности (А - Е). Эти суждения одновременно не могут быть истинными, но одновременно могут быть ложными. Это значит, что истинность одного из них определяет ложность другого. Например, истинность суждения «Все студенты сдали экзамены», определяет ложность суждения «Ни один студент не сдал экзамены». Если же известна ложность одного из противоположных суждений, то другое при этом остаётся неопределённым. Оно может быть как истинным, так и ложным.
Отношение противоречивости (А – О; Е - І). Здесь при истинности одного из суждений другое всегда будет ложным; при ложности первого другое будет истинным
19. Модальные суждения .Виды модальности
Модальность - это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных и других его характеристик. Так основная информация содержится в субъекте и предикате, а дополнительная в модальности суждения. В общем виде модальность суждения (р) может быть представлена с помощью оператора М, по схеме Мр – например «необходимо р».
Модальности делятся на виды:
- атлетические модальности (к ним относятся высказывания как «необходимо», «возможно», «случайно».
- деонтические модальности (характеристика действий и поступков людей, к ним относятся виды «обязательно», «разрешено», запрещено», «безразлично».
- эпистемическая модальность (характеристика знаний, «доказано», «опровергнуто», «возможно», «убежден», «верит», «сомневается».
22. Основные логические законы (с примерами )
основания),
Логический закон – внутренняя существенная, необходимая связь между логическими формами в процессе построения размышления. Под логическим законом Чтобы избежать искаженного представления о предмете статьи, укажем, что, говоря об основных законах логики, мы имеем в виду законы формальной логики (тождества, непротиворечия, исключенного третьего, достаточного Аристотель, который, к слову, первым сформулировал три из четырех законов формальной логики, подразумевал предпосылку к объективной, «природной» правильности рассуждения.Многие учебные материалы часто предлагают следующие формулы для записи основных законов логики:
o Закон тождества – А = А, или А ⊃ А;
o Закон непротиворечия – A ∧ A;
o Закон исключенного третьего – A ∨ A;
o Закон достаточного основания – А ⊃ В.
Стоит помнить, что такое обозначение во многом условно и, как отмечают ученые, не всегда в полной мере способны раскрыть суть самих законов.
1. Закон тождества
Аристотель в своей «Метафизике» указывал на тот факт, что размышление невозможно «если не мыслить каждый раз что-нибудь одно». Большинство современных учебных материалов закон тождества формулирует так: «Любое высказывание (мысль, понятие, суждение) на протяжении всего рассуждения должно сохранять один и тот же смысл».
Отсюда следует важное требование: запрещается тождественные мысли принимать за различные, а различные – за тождественные. Поскольку естественный язык позволяет выражать одну и ту же мысль через различные языковые формы, то это может стать причиной подмены исходного смысла понятий и к замене одной мысли другой.
Чтобы подтвердить закон тождества Аристотель обратился к анализу софизмов – ложных высказываний, которые при поверхностном рассмотрении кажутся правильными. Наиболее известные софизмы, наверное, слышал каждый. Например: «Полупустое есть то же, что и наполовину полное. Если равны половины, значит, равны и целые. Следовательно, пустое есть то же, что и полное» или «6 и 3 есть четное и нечетное. 6 и 3 есть девять. Следовательно, 9 есть и четное, и нечетное».
Внешне форма рассуждения правильная, но при анализе хода рассуждения обнаруживается ошибка, связанная с нарушением закона тождества. Так, во втором примере всем понятно, что число 9 не может быть одновременно и четным, и нечетным. Ошибка в том, что союз «и» в условии употребляется в разных значениях: в первом как объединение, одновременная характеристика чисел 6 и 3, а во втором – как арифметическое действие сложения. Отсюда и ошибочность вывода, ведь в процессе рассуждения к предмету были применены разные смыслы. По сути, закон тождества – требование в определенности и неизменности мыслей в процессе рассуждения.
Извлекая будничный смысл из вышесказанного остановимся на понимании того, к чему относится закон тождества. В соответствии с ним всегда стоит помнить, что прежде чем приступить к обсуждению любого вопроса, нужно четко определить его содержание и неизменно ему следовать, не смешивая понятий и избегая двусмысленностей.
Закон тождества не предполагает что вещи, явления и понятия неизменны в некоторых моментах, он основывается на том, что мысль, зафиксированная в определенном языковом выражении, несмотря на все возможные преобразования, должна оставаться тождественной сама себе в пределах конкретного соображения.
2. Закон непротиворечия (противоречия)
Формально-логический закон непротиворечия основывается на доводе, что два несовместимых друг с другом суждения не могут быть одновременно истинными; как минимум одно из них ложно. Оно вытекает из понимания содержания закона тождества: в одно время, в одном отношении истинными не могут быть два суждения о предмете, если одно из них что-нибудь утверждает о нем, а второе это же отрицает.
Сам Аристотель писал: «Невозможно, чтобы одно и то же одновременно было и не было присуще одному и тому же, в одном и том же смысле».
Разберемся с этим законом на конкретном примере – рассмотрим следующие суждения:
1. Каждый посетитель сайта 4brain имеет высшее образование.
2. Ни один посетитель сайта 4brain не имеет высшего образования.
Для того, чтобы определить какое высказывание истинно, обратимся к логике. Можем утверждать, что одновременно оба высказывания быть правдивыми не могут, поскольку являются противоречивыми. Из этого следует, что если доказать истинность одного из них, то второе обязательно будет ошибочным. Если же доказать ошибочность одного, то второе может быть как истинным, так и неправдивым. Чтобы узнать правду, исходные данные достаточно проверить, например, с помощью метрики.
По сути, этот закон запрещает утверждать и отрицать одно и то же одновременно. Внешне закон противоречия может показаться очевидным и вызвать справедливое сомнение по поводу целесообразности выделения столь простого вывода в логический закон. Но здесь есть свои нюансы и связаны они с природой самих противоречий. Так, контактныепротиворечия (когда что-либо утверждается и отрицается почти в одно и то же время, например, уже следующим предложением в речи) более чем очевидны и практически не встречаются. В отличие от первой разновидности, дистантные противоречия (когда между противоречивыми суждениями находится значительный интервал в речи или тексте) – более распространенные и их нужно избегать.
Чтобы эффективно использовать закон противоречия достаточно правильно учитывать условия его употребления. Основным требованием является соблюдение в высказываемой мысли единства времени и отношения между предметами. Другими словами, нарушением закона непротиворечия не может считаться утвердительное и отрицательное суждения, которые относятся к разному времени или употребляются в разных отношениях. Приведем примеры. Так, высказывания «Москва – столица» и «Москва – не столица» могут быть одновременно правильными, если мы говорим в первом случае о современности, а во втором – об эпохе Петра I, который, как известно, перенес столицу в Санкт-Петербург.
В плане разности отношений истинность противоречивых суждений можно передать на таком примере: «Моя подруга хорошо владеет испанским языком» и «Моя подруга плохо владеет испанским языком». Оба утверждения могут быть истинны, если в момент речи в первом случае говорится об успехах в изучении языка по университетской программе, а во втором о возможности работы профессиональным переводчиком.
Таким образом, закон противоречия фиксирует отношения между противоположными суждениями (логическими противоречиями) и никаким образом не касается противоположных сторон одной сущности. Его знание необходимо для дисциплины процесса мышления и исключения возможных неточностей, которые возникают в случае нарушения.
3. Закон исключенного третьего
Намного «знаменитей», чем предыдущие два закона Аристотеля, в широких кругах, благодаря значительной распространенности сентенции «tertium non datur», что в переводе значит «третьего не дано» и отображает суть закона. Закон исключенного третьего – требование к мыслительному процессу, согласно с которым если в одном из двух выражений что-либо о предмете утверждается, а во втором отрицается – одно из них обязательно истинно.
Аристотель в Книге 3 «Метафизики» писал: «…ничего не может быть посредине между двумя противоречивыми суждениями об одном, каждый отдельный предикат необходимо либо утверждать, либо отрицать». Древнегреческий мудрец отмечал, что закон исключенного третьего применим лишь в случае высказываний, употребленных в прошедшем или настоящем времени и не работает с будущим временем, ведь нельзя сказать с достаточной долей уверенности произойдет или не произойдет что-либо.
Очевидно, что закон непротиворечия и закон исключенного третьего тесно связаны. Действительно, те суждения, которые подходят под действие закона исключенного третьего, подходят и под закон непротиворечия, но не все суждения последнего, попадают под действие первого.
Закон исключенного третьего применим к таким формам суждений:
o «А есть В», «А не есть В».