Очередной парадокс импликации

[psilogic]

Обсуждение очередного парадокса материальной импликации происходит там

Чтобы желающие могли понять суть и поучаствовать в обсуждении без разгребания множества комментов, я здесь кратко (собирался кратко :))) изложу проблему и наиболее острый (как мне кажется) момент.

Пусть у нас есть выключатель света с кнопками 1 и 2. Чтобы включить свет, надо включить оба выключателя. То есть, схема вот такая:

    1   2
+___/___/___-

Когда ни одна кнопка не включена, света нет, когда включена только одна, света тоже нет, когда включены обе, свет есть.

Рассматривается утверждение:

V1 = "Если включена кнопка 1 и включена кнопка 2, то свет горит"

(формулировка намеренно в настоящем времени - "включены", "горит", чтобы не заморачиваться на "временнУю" логику).

Высказывание кажется истинным с точки зрения интуиции (здесь и далее я буду ссылаться на "точку зрения интуиции", имея в виду предполагаемую оценку текста большинством носителей русского языка).

Обозначения
A1 = "Включена кнопка 1"
A2 = "Включена кнопка 2"
B = "Свет горит"

Если попытаться формализовать (V1) через материальную импликацию, то получится:

V2 = A1 and A2 => B

Это высказывание истинно с точки зрения булевой алгебры. Если есть сомнения, то для проверки достаточно произвести перебор всех 4 возможных состояний кнопок. Таблица истинности для материальной импликации:

X	Y	X => Y
false	false	true
false	true	true
true	false	false
true	true	true

(из описания выключателя можно получить и другую формулу: A1 & A2 <=> B, однако формула (V2) следует из нее, и, продолжая, рассуждения далее, приходим к тому же)

Используя преобразования алгебры логики, из (V2) получается:

V3 = (A1 => B) or (A2 => B)

Выполняем обратное преобразование из материальной импликации в текст:

V4 = (A1 => B) = "Если включена кнопка 1, то свет горит".

Даже если кнопка 1 включена, неизвестно состояние кнопки 2. Если она выключена, то свет не горит. Поэтому высказывание (V4) ложно с точки зрения интуиции.

V5 = (A2 => B) = "Если включена кнопка 2, то свет горит".

Даже если кнопка 2 включена, неизвестно состояние кнопки 1. Если она выключена, то свет не горит. Поэтому высказывание (V5) ложно с точки зрения интуиции.

V3 = V4 or V5

Поскольку (V4) и (V5) ложны с точки зрения интуиции, то высказывание (V3) тоже ложно.

Однако с точки зрения формальной логики V3 имеет ту же истинность, что и V2, то есть, истинно.

Противоречие.

Источник противоречия - попытка формализовать конструкции русского языка "если ... то ..." через материальную импликацию. С английским те же проблемы.

Comments

[koshchey.livejournal.com]

Я отметился у falcao таким образом
Что можно сказать?
Что это фундаментальное построение не имеет никакого практического применения, если речь идёт о выключателях.
Есть смысл ставить 2 выключателя на одну люстру только в 2 случаях:
1. Каждых выключатель включает различный набор ламп. Тогда у нас появляются 4 возможных положения: выкл., посусвет1, полусвет2 и яркий свет. Здесь логическая операция включительное "или" ("v" - vuel, или программное "or").
2. Когда выключатели находятся в разных углах комнаты, чтоб любым из них можно было включить/выключить люстру. Чтоб свет горел - позиции выключателей должны быть разными: один в положении А, а другой в В, а если положения одинаковые, будь-то А или В, свет гореть не будет. Операция "Аnd not" здесь вполне достаточна.
3. И Вы в своём примере и я в своих, исходим из постулатов: а. что есть напряжение в сети, что проводка исправна и что лампочки в рабочем состоянии. Реальное моделирование, получается, тогда, более сложным.

[alexey-rom.livejournal.com]

Один выключатель может быть для всего электричества в квартире.

[koshchey.livejournal.com]

И, согласно нормам, такой ЕСТЬ в каждой квартире