15
Июл

ЛОГИКА

  Автор: admin   , категория Лекции

ление упорядоченным и логичным:

ab — это отношения совпадения. Это отношения таких двух суждений,
которые либо одновременно истинны, либо одновременно ложны.
Если ложно одно, необходимо ложно другое, если истинно одно,
необходимо истинно другое. А вот такого, чтобы одно было истинно,
а другое ложно, не бывает. Очевидно, что речь идет о двух суждени-
ях, имеющих один и тот же объем. Например: «Все товары недороги»
и «Все товары дешевы». Или одна и та же фраза на разных языках.
Отношения совпадения существуют у каждого суждения с самим со-
бою (нужно, конечно, учитывать при этом выделяющий и невыде-
ляющий варианты).

be — отношения взаимоисключения. Взаимоисключение — такие отно-
шения между суждениями, когда они вместе могут быть ложными и
возможно, чтобы одно из них было истинно, а другое — ложно. То
есть одновременная истинность их исключается. Такие отношения
существуют между А и Е. Например: «Все товары дороги» и «Все
товары недороги». Ясно, что одновременно так не бывает. Уж если
все дороги, то недорогими не могут быть никакие. А могут ли эти
суждения быть одновременно ложными? Да, могут. Чаще всего так и
есть. Что-то (не все) дорого, что-то недорого. Но вообразима и такая
ситуация, когда все дорого или, наоборот, все недорого.

ас — отношения субконтрарности. Субконтрарное отношение — такое
отношение, когда два суждения могут быть истинными одновремен-
но и может быть также, чтобы одно было истинно, а другое ложно.
То есть одновременная ложность их невозможна.

Такие отношения существуют между I и О. Например: «Некоторые то-
вары дороги» и «Некоторые товары недороги». Может ли это быть правдой
одновременно? Конечно. А если я скажу: «Неверно, что некоторые товары
дороги» и «Неверно, что некоторые товары недороги», меня спросят: так
что же верно? Одновременно ложными эти суждения быть не могут. А
может ли так быть, чтобы одно было правдой, а другое нет? Может быть.

Первая группа представлена тремя правилами, каждое из которых есть
одно утверждение. Здесь утверждается, что два суждения могут быть либо
одновременно истинными (и более никакими), либо одновременно лож-
ными (и более никакими), либо одно ложным, а другое истинным (и
более никакими). Как видно, правила первой группы устанавливают жест-
кую зависимость между истинностью и ложностью суждений. Это мышле-
ние дихотомическое, негибкое, безальтернативное, как говорят, «черно-
белое», не допускающее нюансов. Это, конечно, не значит, что оно по-
рочное или несуществующее в действительности. Более того, именно та-
кое четкое, однозначное мышление является до известной степени идеа-
лом формальной логики, идеалом, воплощающимся в логике формализо-
ванных языков и машинной переработки информации.

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

67

другое ложно. Например: «Все товары дороги» и «Некоторые товары недо-
роги». Другие правила этой группы (а и Ь) отражают, видимо, мышление,
оперирующее либо абсолютными истинами, либо абсолютными заблуж-
дениями. Если я перечисляю достоверные факты или законы науки, я не
могу не допускать для них только одну возможность — быть истинами.
Это, так сказать, фактологическое мышление. Если же я думаю о несуще-
ствующих фактах, заблуждениях, ошибках, я не могу не допускать для
них ничего иного, как быть ложью.

Из всего сказанного мы делаем вывод: между отношениями объемов
суждений и отношениями их логических значений существует взаимноод-
нозначное соответствие.

2. Логическая модальность суждений. Общая формула суждения — S
есть Р. Нетрудно заметить, какую важную роль в ней играет связка «есть».
Поэтому нет ничего удивительного в том, что в логике выделилось целое
направление — модальная логика, изучающее именно ее.

Мы уже говорили, что модальность — это: 1) способ бытия чего-либо
(онтологическая модальность) и 2) способ нашего понимания чего-либо

Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96

Запись оставлена Воскресенье, Июль 15th, 2012 в 8:47 пп в категории Лекции. Вы можете следить за комментариями по RSS 2.0 комментариям. Комментарии и пинги закрыты, извините.

Комментарии закрыты.