Скорей уж, выявление обмана дедуктивным путем - навык, хорошо нарабатываемый помимо школьной программы. Проблема лишь в обобщении навыка на задачи той же структуры.
Впрочем, как уже сказали ниже, утверждение Шнайера легко верифицировать. Нужно только подобрать хорошие бинарные сущности без референса на обман.
если спортсмен выигрывает какой-либо турнир, он становится чемпионом. поненс: Джон выиграл турнир по домино. толенс: Джек - не чемпион.
если сильно стукнуть по голове, то будет шишка. Джону сильно стукнули по голове У Джека нет шишек
Вот если разные группы будут показывать существенно разные результаты в силлогизмах с референсом на обман и без такового - тогда к Шнейеру есть смысл прислушаться. А пока альтернативой являются силлогизмы с перелетами, противоречащие обыденному опыту - разница будет вполне логичной и ожидаемой.
Важно, что речь об импликации, а не эквиваленции; в ваших же примерах трудно представить себе, что чемпионом становишься не после победы, или что шишку набиваешь без удара. Естественный язык не различает между этими конструкциями (пример: во фразе "Прямоугольник называется квадратом, если все его стороны равны" слово "если" подразумевает эквиваленцию, а не импликацию). Значит, в эксперименте правильное понимание должно держаться на очевидных презумпциях. Например, "если число A больше ста, то число A больше пяти" - здесь очевидно, что "если" работает только в одну сторону, что не исключено, что число A удовлетворяет второму требованию, не удовлетворяя первому.
Re: примеры неудачныеkondybasApril 14 2011, 16:39:22 UTC
Ну, так и обманщиком в случае "обмана" становишься после нарушения договоренностей/правил.
И я не вижу тут эквиваленции, вижу только импликацию в силлогизме с нарушенной причинно-следственной последовательностью посылок:
ЕСЛИ углы параллелограмма равны, ТО параллелограмм является прямоугольником ЕСЛИ стороны параллелограмма равны, ТО параллелограмм является ромбом ЕСЛИ углы ромба равны, ТО ромб является квадратом ЕСЛИ стороны прямоугольника равны, ТО прямоугольник является квадратом. етц.
"если" в естественном языкеv_phiApril 14 2011, 17:30:55 UTC
сплошь и рядом означает эквиваленцию; в моем примере давалось определение квадрата и автор определения имел в виду, что ТОЛЬКО прямоугольник с равными сторонами - квадрат; что прямоугольник с неравными сторонами - не квадрат
( ... )
Re: "если" в естественном языкеkondybasFebruary 26 2012, 20:27:19 UTC
Высказывание содержит нулевую отметку шкалы (сейчас, время высказывания) и откладывает отрезок в будущее - игрушки _будут_ убраны (спустя какое-то время после высказывания).
Вообще, классическая логика очень сильно, хоть и неявно, завязана на время. Множество логических парадоксов парадоксальны именно из-за вольностей со временем. Это и парадокс путешественника во времени, и эквивалентный ему, но с временнОй петлей нулевой протяженности, парадокс Рассела о брадобрее. Да и парадокс Эпименида о критянах-лжецах - той же природы.
Reply
Reply
Reply
если спортсмен выигрывает какой-либо турнир, он становится чемпионом.
поненс: Джон выиграл турнир по домино.
толенс: Джек - не чемпион.
если сильно стукнуть по голове, то будет шишка.
Джону сильно стукнули по голове
У Джека нет шишек
Вот если разные группы будут показывать существенно разные результаты в силлогизмах с референсом на обман и без такового - тогда к Шнейеру есть смысл прислушаться. А пока альтернативой являются силлогизмы с перелетами, противоречащие обыденному опыту - разница будет вполне логичной и ожидаемой.
Reply
Reply
Естественный язык не различает между этими конструкциями (пример: во фразе "Прямоугольник называется квадратом, если все его стороны равны" слово "если" подразумевает эквиваленцию, а не импликацию).
Значит, в эксперименте правильное понимание должно держаться на очевидных презумпциях. Например, "если число A больше ста, то число A больше пяти" - здесь очевидно, что "если" работает только в одну сторону, что не исключено, что число A удовлетворяет второму требованию, не удовлетворяя первому.
Reply
И я не вижу тут эквиваленции, вижу только импликацию в силлогизме с нарушенной причинно-следственной последовательностью посылок:
ЕСЛИ углы параллелограмма равны, ТО параллелограмм является прямоугольником
ЕСЛИ стороны параллелограмма равны, ТО параллелограмм является ромбом
ЕСЛИ углы ромба равны, ТО ромб является квадратом
ЕСЛИ стороны прямоугольника равны, ТО прямоугольник является квадратом.
етц.
Reply
Reply
Тогда, и только тогда, когда игрушки не будут убраны, ты будешь наказан...
Reply
Reply
Вообще, классическая логика очень сильно, хоть и неявно, завязана на время. Множество логических парадоксов парадоксальны именно из-за вольностей со временем. Это и парадокс путешественника во времени, и эквивалентный ему, но с временнОй петлей нулевой протяженности, парадокс Рассела о брадобрее. Да и парадокс Эпименида о критянах-лжецах - той же природы.
Reply
Leave a comment