Нуль-единичная проверка истинности высказываний
Страница 2

Информация о психологии » Логика как инструмент риторического воздействия » Нуль-единичная проверка истинности высказываний

Легко увидеть, вникнув в содержание всего заявления, что именно так мы и сами оценили бы его истинность при всех перечисленных вариантах реальных обстоятельств.

Язык символической логики позволяет обнаруживать некоторые трудно уловимые нюансы в нашей речи. Возьмем высказывание "Будет свет, и если не будет света, то, значит, началась забастовка". Формула для него запишется таким образом: (p /\ (-p => q)), а семантические значения можно видеть в помещенной выше таблице 3. Может показаться странным, но в случае, если нет света, и идет забастовка (p=0, q=1), высказывание, как ни парадоксально, является ложным, хотя оно как будто прямо говорит, что при забастовке света не будет. Однако все станет понятно, стоит лишь переставить местами слова в высказывании: "Если света не будет, то, значит, началась забастовка, и все же свет будет". Формула для обновленного выражения остается той же самой, ибо последовательность записи не имеет принципиального значения. Просто в такой формулировке меняются акценты. В высказывании звучит уверенность, что свет будет, несмотря на кое-какие мешающие обстоятельства. С учетом этих оттенков смысла ошибочным оно может быть признано только при отсутствии света, как это и отражено в указанной таблице 3. В первоначальной же редакции логическое ударение делается на мешающих обстоятельствах. Поэтому отсутствие света при забастовке, кажется, подтверждает сделанное заявление, но на деле этого все-таки нет. Без символической логики, возможно, мы не заметили бы таких тонких зависимостей в смыслах предложений.

Возьмем еще такую ситуацию в качестве примера. Таможенная служба получила от одного из своих сотрудников сведения о торговой фирме: она поставляет парфюмерию или, если не парфюмерию, то косметику. Обозначив через p "Фирма поставляет парфюмерию", через q - "Фирма поставляет косметику", получим:

(p \/ (-p => q)).

Вычисление возможных значений формулы и их интерпретацию предоставляется выполнить самостоятельно. Результаты можно сверить по приведенной здесь таблице 3.

Таблица 3

p

q

p \/ (p ® q)

1

0

1

0

1

1

0

0

1

1

1

0

Подобным образом можно вычислять семантические значения любых формул, как бы они ни были сложны. Причем, если переменных больше двух, то тогда, разумеется, и вариантов их сочетаний больше: при трех - 8, при четырех - 16 и т.д. Запишем еще одно высказывание, но уже с тремя переменными, и просчитаем его.

Допустим, кто-то обвиняет власти и говорит: "Неправда, что свет не отключают тогда и только тогда, когда имеется горючее, и рабочие не бастуют". Пусть p означает "Свет отключают", q - "Имеется горючее", r - "Рабочие бастуют. Тогда формула, выражающая эту мысль, будет такой:

-(-p ó (q /\ (-r )).

И допустим затем, что на самом деле свет отключают (p=1), когда имеется горючее (q=1) и рабочие не бастуют (r=0). Обвинение должно быть в таком случае вроде бы правильным. Проведенное ниже разрешение подтверждает это.

-(-p ó (q /\ (-r )) ,

-(-1 ó (1 /\ (-0 )) ,

- (0 ó (1 /\ 1)),

-(0 ó 1),

-0,

1

Теперь допустим, что свет действительно отключают (p=1), когда нет горючего (q=0), однако забастовки тоже нет (r=0). Тогда обвинение властей должно быть ложным. Это тоже подтверждается проведенным далее просчитыванием.

-(-1 ó (0 /\ -0)),

-(0 ó (0 /\ 1)),

-(0 ó 0),

-1,

0.

Страницы: 1 2 


Профессиональное самоопределение и профконсультация
Так что же такое самоопределение? Какое место это понятие занимает в жизни человека и общества в целом? Какую роль оно играет для каждого человека в отдельности? Профессиональное самоопределение - это поиск и нахождение личностного смысла в выбираемой, осваиваемой и уже выполняемой трудовой деятельности, а также - нахождение смысла в ...

Неменделевская генетика
Гениальность законов Менделя заключается в их простоте. Строгая и элегантная модель, построенная на основе этих законов, служила генетикам точкой отчета на протяжении многих лет. Однако в ходе Дальнейших исследований выяснилось, что законам Менделя подчиняются только относительно немногие генетически контролируемые Признаки. Оказалось, ...

«Человеческий фактор» – основная причина снижения безопасности полётов самолётов ГА
Как следует из материалов расследования катастроф с самолетами А-320 авиакомпании «Армавиа» и А-310 авиакомпании «Сибирь», они были связаны с подготовкой экипажей. В связи с быстрым переходом авиакомпаний на эксплуатацию зарубежной техники и отсутствием необходимого количества подготовленных пилотов применялся упрощенный подход при ввод ...