2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки





Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Спор Мюнхгаузена с бургомистром.
Сообщение02.10.2016, 12:54 
Заслуженный участник
Аватара пользователя


09/09/14
4651
Masik в сообщении #1156439 писал(а):
Это противоречит «жизненной» логике, у которой (упрощённо) таблица истинности импликации другая: для признания истинности импликации необходимо, чтобы были истинны и посылка, и следствие.
[...]
В детстве мы верим, что законы, депутаты и суды логичны, но это быстро проходит.
А если попросить кого-то оценить, прав ли утверждающий, что: "если 2 -- чётное число, то Луна -- спутник Земли"? Имхо, здравомыслящий человек оценивает подобные высказывания не таблицей истинности, а с точки зрения "правильной" связи между посылкой и следствием. Это, наверное, и есть "житейская" логика (см. также "релевантная логика"). А то и вовсе оценивает корректность и правильность самого умозаключения, а не истинность высказывания.
Впрочем, не думаю, чтобы в судах или в Думах снижалась эффективность работы по _этой_ причине.

PS. Я согласен, что головоломка корректна (поскольку была отсылка на её мат. сущность).

 Профиль  
                  
 
 Re: Спор Мюнхгаузена с бургомистром.
Сообщение02.10.2016, 13:34 
Заслуженный участник
Аватара пользователя


02/08/11
4441
grizzly в сообщении #1156480 писал(а):
с точки зрения "правильной" связи между посылкой и следствием
Просто выражение "если ..., то ..." можно понимать и как утверждение о логическом следствии, и как утверждение о причинном следствии.

 Профиль  
                  
 
 Re: Спор Мюнхгаузена с бургомистром.
Сообщение02.10.2016, 14:13 
Заслуженный участник
Аватара пользователя


31/01/14
7263
Hogtown
grizzly в сообщении #1156480 писал(а):
PS. Я согласен, что головоломка корректна (поскольку была отсылка на её мат. сущность).

В оригинальном сообщении никакой ссылки на математическую сущность не было.

Но даже после появления этой ссылки в последнем сообщении, головоломка не может решаться с помощью математической логики по причине языковой неопределенности:
warlock66613 в сообщении #1156490 писал(а):
Просто выражение "если ..., то ..." можно понимать и как утверждение о логическом следствии, и как утверждение о причинном следствии.

 Профиль  
                  
 
 Re: Спор Мюнхгаузена с бургомистром.
Сообщение02.10.2016, 15:35 
Заслуженный участник
Аватара пользователя


18/01/13
11350
Казань
Исходная загадка в качестве "математической" довольно банальна и решается очевидно. Поэтому участникам и неинтересно ее обсуждать. Впрочем, и в качестве "житейской" она тоже ... не очень. Так что остается только шутить :lol:

 Профиль  
                  
 
 Re: Спор Мюнхгаузена с бургомистром.
Сообщение02.10.2016, 16:36 


12/07/15
798
Masik в сообщении #1156439 писал(а):
головоломка, которая строго решается с помощью математической логики. Напомню условие:
Masik в сообщении #1156145 писал(а):
Барон Мюнхгаузен заявил: "Если я 31 декабря 2000 г. под бой часов в полночь не произнесу: "Новое тысячелетие, наступай!", то новое тысячелетие не наступит". Бургомистр высмеял это утверждение и назвал его ложным, они поспорили.

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

 Профиль  
                  
 
 Re: Спор Мюнхгаузена с бургомистром.
Сообщение02.10.2016, 20:47 


01/10/16

11
Всё это хорошо, только если мы говорим о формальной логике, то причем здесь спор?

 Профиль  
                  
 
 Re: Спор Мюнхгаузена с бургомистром.
Сообщение03.10.2016, 01:59 
Супермодератор
Аватара пользователя


09/05/12
12082
Кронштадт
 !  Einbert Albshtein забанен как клон.

 Профиль  
                  
 
 Re: Спор Мюнхгаузена с бургомистром.
Сообщение21.10.2016, 11:14 
Заслуженный участник
Аватара пользователя


11/03/08
5555
Москва
Условие неполное. Не сказано, о чём и на что поспорили. Поэтому не доступен предмет спора, и выяснить, кто прав, не представляется возможным. Разумеется, софист, выложивший эту загадку, использовал неоднозначность слов. "Поспорили"="вступили в дискуссию" и "поспорили"="заключили пари".
Если "заключили пари" - то нужно точное условие. Если, скажем, пари на то, что "если я не произнесу фразу, то новое тысячелетие не наступит", и М. фразу произнёс - то выиграл бургомистр, поскольку М. умышленно нарушил условия пари, и должен быть признан проигравшим, как уклонившийся от обязательств по пари, и заплатить залог. Но формулировка пари может быть и иной, в зависимости от чего и будет вывод. Если же под "поспорили" понимается "вступили в дискуссию", то опыт с непроизнесением разрешил бы спор, не наступи новое тысячелетие после молчания М., или наступи оно после этого, в ту или другую пользу. Но поскольку опыт был не выполнен, неопределённость осталась.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 23 ]  На страницу Пред.  1, 2

Модератор: Модераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: 12d3


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group