Выражение логических связок. Логический квадрат.
В мышлении мы оперируем не только простыми, но и сложными суждениями, образуемыми из простых посредством логических связок (или операций) — конъюнкции, дизъюнкции, импликации, эквиваленции, отрицания, которые также называются логическими константами, или логическими постоянными. Проанализируем, каким образом перечисленные логические связки выражаются в естественном (русском) языке.
Конъюнкция (знак «л») выражается союзами «и», «а», «но», «да», «хотя», «который», «зато», «однако», «не только..., но и» и др. В логике высказываний знак « л » соединяет простые высказывания, образуя из них сложные. В естественном языке союз «и» и другие слова, соответствующие конъюнкции, могут соединять существительные, глаголы, наречия, прилагательные и другие части речи. Например, «В корзине у деда лежали подберезовики и маслята» (ab), «Интересная и красиво оформленная книга лежит на столе». Последнее высказывание нельзя разбить на два простых, соединенных конъюнкцией: «Интересная книга лежит на толе» и «Красиво оформленная книга лежит на столе», — так как создается впечатление, что на столе лежат две книги, а не одна.
В логике высказываний действует закон коммутативности конъюнкции (ab)(ba). В естественном русском языке такого закона нет, так как действует фактор времени. Там, где учитывается последовательность во времени, употребление союза «и» некоммутативно. Поэтому не будут эквивалентными, например, такие два высказывания: 1) «Прицепили паровоз, и поезд тронулся» и 2) «Поезд тронулся, и прицепили паровоз».
В естественном языке конъюнкция может быть выражена не только словами, но и знаками препинания: запятой, точкой с запятой, тире. Например, «Сверкнула молния, загремел гром, пошел дождь».
О выражении конъюнкции средствами естественного языка пишет С. Клини в своей книге «Математическая логика». В разделе «Анализ рассуждений» он приводит (не исчерпывающий) список выражений естественного языка, которые могут быть заменены символами « Л » или «&». Формула А ^ В в естественном языке может выражаться так:
«Не только А, но и В. Как А, так и В.
В, хотя и Л. А вместе с В.
В, несмотря на А. А, в то время как В» 7.
Придумать примеры всех этих структур предоставляем читателю.
В естественном (русском) языке дизъюнкция (обозначенная ab и ab) выражается союзами: «или», «либо», «то ли... то ли» и др. Например, «Вечером я пойду в кино или в библиотеку»; «Это животное принадлежит либо к позвоночным, либо к беспозвоночным»; «Доклад будет то ли по произведениям Л. Н. Толстого, то ли по произведениям Ф. М. Достоевского».
Для обоих видов дизъюнкции действует закон коммутативности: (ab(ba) и (ab)(ba). В естественном языке эта эквивалентность сохраняется. Например, суждение «Я куплю масло или хлеб» эквивалентно суждению «Я куплю хлеб или масло». С. Клини показывает, какими разнообразными способами могут быть выражены в естественном языке импликация (AB) и эквиваленция (A~B).
(Буквами А и В обозначены переменные высказывания.)
Приведем логические схемы и соответствующие им примеры, иллюстрирующие разнообразные способы выражения импликации А -> В (где А — антецедент, В — ковсеквент).
1. Если А, то В.
Если поставщики вовремя доставят детали, то завод выполнит свой производственный план.
2. Коль скоро А, то В.
Коль скоро приложенные силы снимаются, то сжатая пружина возвращается к своей первоначальной форме.
3. Когда А, имеет место В.
Когда наступает плохая погода, имеет место повышение числа сердечно-сосудистых заболеваний у людей.
4. Для В достаточно А.
Для того чтобы газы расширились, достаточно их нагреть.
5. Для А необходимо В.
Для сохранения мира на Земле необходимо объединить усилия всех государств в борьбе за мир.
6. А, только если В.
Студенты этого курса не приходили на субботник, только если они были больны.
7. В. если А.
Do'stlaringiz bilan baham: |