О преподавании логики, эмоциях и интуиции

[scholar_vit]

Как-то prof_yura рассказал следующую историю о Гельфанде. В

Comments

"если" в естественном языке

[v_phi]

сплошь и рядом означает эквиваленцию; в моем примере давалось определение квадрата и автор определения имел в виду, что ТОЛЬКО прямоугольник с равными сторонами - квадрат; что прямоугольник с неравными сторонами - не квадрат.

В целом естественно-языковое "если" (как и "if") можно описать как следующую логическую операцию над составляющими утверждениями:

посылка истинна, заключение истинно
----------------------------------
конструкция истинна

посылка ложна, заключение ложно
----------------------------------
конструкция истинна

посылка истинна, заключение ложно
----------------------------------
конструкция ложна

посылка ложна, заключение истинно
----------------------------------
конструкция ?

Ой, говорят хором автор и читатель конструкции, об этом случае мы как-то не подумали.

Хрестоматийный пример, представьте себе, показывает эту слепоту естественного языка - как раз в области нарушения социальных правил.
"Если ты не уберешь свои игрушки, будешь наказан". Ситуация, которую проморгал естественный язык:
ребенок убрал игрушки, и был наказан.
Было ли это наказание нарушением договора, понять невозможно.

Re: "если" в естественном языке

[kondybas]

"..Было ли это наказание нарушением договора, понять невозможно.."

Тогда, и только тогда, когда игрушки не будут убраны, ты будешь наказан...

Re: "если" в естественном языке

[furyz]

не хватает временного отрезка, т.к. фраза в будущем ребёнок может говорить что игрушки будут убраны потом, поэтому наказывать сейчас ещё нельзя =)

Re: "если" в естественном языке

[kondybas]

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

Вообще, классическая логика очень сильно, хоть и неявно, завязана на время. Множество логических парадоксов парадоксальны именно из-за вольностей со временем. Это и парадокс путешественника во времени, и эквивалентный ему, но с временнОй петлей нулевой протяженности, парадокс Рассела о брадобрее. Да и парадокс Эпименида о критянах-лжецах - той же природы.