Читайте также:
|
|
Суждение - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами.
Любое суждение может быть расценено как истинное (соответствующее действительности) или ложное
Языковой формой суждения является повествовательное предложение (косвенно суждение содержит и риторический вопрос, поскольку он по смыслу является утверждением или отрицанием). Предложения в других грамматических формах (собственно вопросительные, побудительные и т.д.) непосредственно суждениями не являются, поскольку ничего не утверждают и не отрицают.
Полная структура простого суждения включает четыре элемента:
· субъект (S) - понятие, отражающее сам предмет мысли, то, о чем что-то говорится;
· предикат (Р) - понятие, отражающее то, что именно говорится о предмете (его свойство или соотношение с другими объектами);
· связка (в языковой форме выражается словами "есть/не есть", "суть/не суть, "является/не является" и т.п., либо вообще только подразумевается). Отражает наличие /отсутствие определенной связи субъекта и предиката;
· квантор (всеобщности (") - "все", "каждый", "ни один… не" ("все … не") и т. п.; существования ($) - "некоторые", "многие", "часть" и т. п.; единственности существования ($!) - "этот", "данный" и т. п.), отражающий количественную характеристику суждения.
Символически структура простого суждения выражается формулой: (K)S-P, где <К> - некоторый квантор, а <-> - связка (если квантор отсутствует в явном виде, то суждение формально неопределенно по количеству, хотя эту характеристику обычно можно установить по смыслу).
Простые суждения подразделяются по качеству на: утвердительные и отрицательные, а по количеству на:
· единичные (что-либо утверждается или отрицается об одном предмете - "Этот свидетель дал показания");
· общие (что-либо утверждается или отрицается обо всех предметах некоторого класса - "Все свидетели дали показания");
· частные (что-либо утверждается или отрицается о части предметов некоторого класса - "Некоторые свидетели дали показания").
Особое место в классификации суждений по количественной характеристике занимают выделяющие и исключающие суждения.
Выделяющие суждения выражают тот факт, что признак, выраженный предикатом, принадлежит (не принадлежит) только данному предмету. Выделяющие суждения могут быть единичными, частными и общими, например: "Только Иванов написал эту контрольную на отлично" - выделяющее единичное суждение, "Некоторые учащиеся (и только учащиеся) являются школьниками" - выделяющее частноутвердительное суждение, "Все квадраты (и только квадраты) являются прямоугольными ромбами" - выделяющее общеутвердительное суждение (определение).
Исключающим называется суждение, в котором отражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой их части. Например: "Все студенты нашей группы, кроме Иванова, сдали зачет по логике". Исключающие суждения выражаются предложениями со словами "кроме", "за исключением", "помимо", "не считая" и т.п. Значение выделяющих и исключающих суждений состоит в том, что содержащиеся в них мысли не допускают их неоднозначного понимания. Именно поэтому ряд научных положений, а также законов государства, статей Конституции, уголовно-процессуального и других кодексов выражен в этой логической форме.
По характеру предиката различают суждения:
· атрибутивные. Атрибутивным называется суждение о признаке предмета, например: "Лист зеленый";
· с отношением. Релятивным называется суждение об отношении между предметами. Например, "Москва больше Красноярска";
· существования. В суждениях существования выражается сам факт существования или несуществования предмета суждения. Например: "Высшее образование есть".
Объединяя количественную и качественную характеристики, суждения делятся на:
· общеутвердительные (А) - "Все S есть Р",
· частноутвердительные (I) - "Некоторые S есть Р",
· общеотрицательные (Е) - "Ни один S не есть Р",
· частноотрицательные (О) - "Некоторые S не есть Р"
Термин считается распределенным (обозначается"+"), если он взят в полном объеме. Термин считается нераспределенным (обозначается"-"), если он взят в части объема.
Несравнимыми среди простых суждений являются суждения, имеющие различные субъекты или предикаты.
Сравнимыми являются суждения с одинаковыми субъектами и предикатами.
Для иллюстрации отношений между простыми суждениями используется логический квадрат:
Среди сравнимых различают совместимые суждения, которые могут быть одновременно истинными, и несовместимые суждения, которые одновременно истинными быть не могут.
Совместимость бывает трех видов: полная совместимость (эквивалентность); подчинение; частичная совместимость (субконтрарность). Несовместимость бывает двух видов: противоположность (контрарность) и противоречивость (контрадикторность).
I. Отношением подчинения связаны суждения А и I, Е и О. Общие суждения (А и Е) являются подчиняющими, а частные (I, О) подчиненными. Для суждений находящихся в отношении подчинения, имеет значение условие истинности: Если истинно А(Е), то истинно и I(O), но не наоборот.
II. Отношением противоречия связаны суждения Е и I, А и О. Два противоречивых суждения (согласно законам логики) не могут быть одновременно ни истинными, ни ложными Если А - истинно, то О - ложно
Если А - ложно, то О - истинно
Если О - истинно, то А - ложно
Если О - ложно, то А - истинно
Если Е - истинно, то I - ложно
Если Е - ложно, то I - истинно
Если I -истинно, то E - ложно
Если I - ложно, то E - истинно
III. Отношением контрарности (противоположности) связаны только общие суждение А и Е. Закон исключения третьего к таким суждениям не применим. А и Е могут оказаться одновременно ложными, но не могут быть одновременно истинными (пример: оба суждения "Все любят логику" и "никто не любит логику" - ложны).
IV. Отношение субконтрарности существует между частными суждениями I и О. I и О могут быть одновременно истинными, но не могут быть одновременно ложными (пример: оба суждения "Некоторые люди любят логику" и "некоторые люди не любят логику" - истинны)
Решение задачи по логическому квадрату
Если А - истина, то какое значение принимают Е, I и О.
Решение: по квадрату получается: если А - истина, то Е-ложь, I-истина, О-ложь.
Итак,
Если А - истина, то Е-ложь, I-истина, О-ложь.
Если E истинно, то А - ложь, I - ложь, О - ложь
Если I истинно, то Е - ложь, А - неопределенно, О - неопределенно
Если O истинно, то А - ложь, Е - неопределенно, I - неопределенно
Если A ложно, то О - истина, Е - неопределенно, I - неопределенно
Если E ложно, то I - истина, А - неопределенно, О - неопределенно
Если I ложно, то О - истина, Е - истина, А - ложь
Если O ложно, то А - истина, Е - ложь, I - истина
4. Операции с простыми суждениями (непосредственные умозаключения).
При помощи операций обращения, превращения и противопоставления получаются новые суждения, эквивалентные исходным.
Обращение
Смысл обращения как операции заключается в том, что субъект и предикат суждения меняются местами (обращаются), не меняя качества суждения.
Если количество при этом сохраняется, то это суждение без ограничения (простое или чистое), если количество исходного суждения меняется, то это суждение с ограничением.
I. A→I
Суждение А обращается в I с ограничением (ограничение связано с тем что понятия S и Р взяты в разном объеме, в этом легко убедится при помощи схемы). Все S есть Р
Некоторые Р есть S
Например: "Если все люди смертны, то лишь некоторые смертные существа являются людьми" (Если все S есть Р, то некоторые Р есть S). Возможно обращение А→А: Если все квадраты(S) являются равносторонними прямоугольниками, то все равносторонние прямоугольники(P) являются квадратами (S) (Если все S есть Р, то все Р есть S)
II. Е→Е
Суждение Е обращается в Е без ограничения
Например: "Если все театры не являются поликлиниками, то все поликлиники не являются театрами". Все S не-есть Р
Все Р не-есть S
III. I→I
Суждения I обращается в I также без ограничения.
Некоторые S есть Р
Некоторые Р есть S
Например: Если некоторые студенты являются спортсменами, то некоторые спортсмены являются студентами
IV. О→?
Суждение О не обращается
Превращение
Превращение - преобразование некоторого категорического суждения в противоположное по качеству и с предикатом, противоречащим исходному предикату.
Чтобы выполнить превращение, необходимо:
1) заменить связку исходного суждения на противоположную по качеству (т. е. "есть" на "не есть", и наоборот)
2) заменить предикат исходного суждения на противоречащий (т. е. Р на не-Р или не-Р на Р)
Превращать можно категорические суждения всех видов:
1. А в Е: Все дети любопытны
Ни один ребенок не является нелюбопытным
2. Е в А: Ни один человек не является совершенным
Все люди являются несовершенными
3. I в О: Некоторые студенты ленивы
Некоторые студенты не являются неленивыми
4. О в I: Некоторые студенты не являются примерными
Некоторые студенты являются непримерными
В превращении утвердительные суждения преобразуются в отрицательные, и наоборот и в результате получается суждение эквивалентное исходному.
Противопоставление
Противопоставление - лог. операция с простыми суждениями, производящая одновременно и обращение и превращение суждений. Если происходит сначала обращение, а потом превращение, то это противопоставление субъекту Если происходит сначала превращение, а потом обращение, то противопоставление предикату.
Противопоставление субъекту
1. А в О
Все студенты учащиеся - исходное суждение
Некоторые учащиеся - студенты - обращение исходного сужд.
Некоторые учащиеся не являются не студентами - превращение
обращенного cужд.
2. Е в А
Ни один врач не является юристом
Все юристы не являются врачами
Все юристы являются не врачами
3. I в О
Некоторые студенты являются отличниками
Некоторые отличники являются студентами
Некоторые отличники не являются нестудентами
4. Частноотрицательные суждения (О) путем противопоставления субъекту, в силу неопределенности квантора "некоторые", не позволяют указать единственное следствие из исходного суждения.
Противопоставление предикату
1. А в Е
Все звезды являются небесными телами - исходное суждение
Все звезды не являются ненебесными телами - превращение
Все ненебесные тела не являются звездами - обращение
2. Е в I
Ни один ребенок не является взрослым
Все дети являются не взрослыми
Некоторые невзрослые являются детьми
3. О в I
Некоторые животные не являются млекопитающими
Некоторые животные являются не млекопитающими
Некоторые не млекопитающие являются животными
4.Частноутвердительные суждения (О) путем противопоставления предикату, в силу неопределенности квантора "некоторые", не позволяют указать единственное следствие из исходного суждения.
Сложное суждение - это суждение, которое состоит из двух и более простых суждений, связанных между собой логическими союзами.
Простейшим типом сложного суждения является отрицание
1. Отрицание - "не", "неверно, что …" "Неверно, что Земля квадратная". Обычно обозначается знаком "" или "~"
Условия истинности сложных суждений, состоящих из простых основываются на допущении двузначности и задаются при помощи таблиц истинности, где p, q - пропозициональные переменные, обозначающие простые суждения, т.е. р - (S есть P) и q - (S есть P). И - истина, Л - ложь. В первых двух столбцах р и q берутся как независимые.
Таблица истинности для отрицания
p | p |
и | л |
л | и |
Если исходное суждение истинно, то его отрицание - ложно, и наоборот.
2. Конъюнкция (соединительное суждение) - лог. "и" ("а", "но", "да", "вместе с тем") Обычно обозначается знаком "&" или "Λ".
Таблица истинности для конъюнкции
p | q | p&q |
и | и | и |
и | л | л |
л | и | л |
л | л | л |
Соединительные суждения истинны тогда, когда истинны все входящие в них простые суждения (члены конъюнкции). Конъюнкция ложна, если ложен хотя бы один из ее членов.
3. Дизъюнкция (разъединительное суждение) - лог. "или".
Поскольку связка "или (либо)" употребляется в естественном языке в двух значениях - соединительно-разъединительном и исключающе-разделительном, то следует различать и два типа дизъюнкции: слабую (нестрогую) и сильную (строгую).
- Слабая дизъюнкция
Обычно обозначается знаком "v"
Слабая дизъюнкция - это такая дизъюнкция, где суждения могут быть одновременно истинными - "В корзине лежали яблоки или груши"
Таблица истинности для слабой дизъюнкции
p | q | pvq |
и | и | и |
и | л | и |
л | и | и |
л | л | л |
Слабая дизъюнкция истинна, когда истинен хотя бы один из членов дизъюнкции, и ложна, когда все ее члены - ложны.
- Сильная дизъюнкция
Обычно обозначается знаком " v "
Сильная дизъюнкция - это такая дизъюнкция, где одновременно истинными два суждения быть не могут - "Пациент либо жив либо мертв".
Члены такой дизъюнкции называются альтернативами.
С целью усиления дизъюнкции до альтернативного значения употребляют удвоенные союзы "или…или…", "либо… либо…".
Таблица истинности для сильной дизъюнкции
p | q | p v q |
и | и | л |
и | л | и |
л | и | и |
л | л | л |
Сильная дизъюнкция истинна только при разных логических значениях членов дизъюнкции и ложна при одинаковых.
4. Импликация (условное суждение) - лог. связка "Если…, то…" Обычно обозначается знаком "→".
"Если перерезать провод, то лампа погаснет" - первое суждение "перерезать провод" называется основание (антецендент), второе - "лампа погаснет" - следствие (консеквент).
Таблица истинности для импликации
p | q | p→q |
и | и | и |
и | л | л |
л | и | и |
л | л | и |
Импликативные суждения истинны во всех случаях, кроме одного когда антецедент - истинен, а консеквент - ложен. То есть в случае, когда причина возникла, а следствие не наступает, вся импликация является ложной.
Зависимость между основанием и следствием характеризуется свойством достаточности: истинность основания обусловливает истинность следствия (1-я строка таблицы), но не необходимости: при ложности основания следствие может быть как истинным, так и ложным (3-я и 4-я строки в таблице).
"Если плохо одевать зимой, то можно заболеть" - если основание ложно, то следствие неопределенно.
5. Эквиваленция (двойная импликация) - лог. связка "если и только если…, то…" ("тогда и только тогда, когда…")
Обычно обозначается знаком "≡".
Таблица истинности для эквиваленции
p | q | p≡q |
и | и | и |
и | л | л |
л | и | л |
л | л | и |
Эквивалентные суждения являются равнозначными. Поэтому они истинны при равных значения членов эквиваленции и ложны - при разных.
Дата добавления: 2014-12-15; просмотров: 62 | Поможем написать вашу работу | Нарушение авторских прав |