О пользе конкретики
Apr. 13th, 2010 06:07 pmПродолжая читать книгу Пенроуза "Тени разума", натолкнулся на логическую задачку, которую, по утверждению Роджера, неправильно решают _большинство_ студентов. Задачка вот какая:
"Если все А суть В, а некоторые В суть С, то обязательно ли отсюда следует, что некоторые А суть С?"
Признаюсь честно, я тоже на несколько секунд на этой задачкой задумался. Но ведь задачу можно переформулировать и в более конкретных и наглядных образах. Например, так:
"Если все селедки суть рыбы, а некоторые рыбы суть караси, то обязательно ли отсюда следует, что некоторые селедки суть караси?"
И вот в такой формулировке - ответ, думаю, будет мгновенен и абсолютно верен. Ну, в большинстве случаев, по крайней мере. :)
"Если все А суть В, а некоторые В суть С, то обязательно ли отсюда следует, что некоторые А суть С?"
Признаюсь честно, я тоже на несколько секунд на этой задачкой задумался. Но ведь задачу можно переформулировать и в более конкретных и наглядных образах. Например, так:
"Если все селедки суть рыбы, а некоторые рыбы суть караси, то обязательно ли отсюда следует, что некоторые селедки суть караси?"
И вот в такой формулировке - ответ, думаю, будет мгновенен и абсолютно верен. Ну, в большинстве случаев, по крайней мере. :)
(no subject)
Date: 2010-04-13 02:43 pm (UTC)(no subject)
Date: 2010-04-13 08:04 pm (UTC)(no subject)
Date: 2010-04-13 02:55 pm (UTC)подумала, может, я что не понимаю?)))
(no subject)
Date: 2010-04-13 08:05 pm (UTC)(no subject)
Date: 2010-04-13 03:26 pm (UTC)(no subject)
Date: 2010-04-13 03:28 pm (UTC)(no subject)
Date: 2010-04-13 08:23 pm (UTC)Вместо нее, например, можно было бы придумать такую модель: "Все мужчины являются людьми. Некоторые люди являются водителями. Можно ли предположить, что могут существовать мужчины - водители?"
Вообще, на самом деле, в науке это род искусства своеобразный - найти адекватную модель. Которая, с одной стороны, была бы не чрезмерно сложна, но, с другой - позволяла бы получить корректный ответ на поставленную задачу.
Классический пример - модель материальной точки. Которая может применяться при анализе поступательного движения, но слабо адекватна при учете возможного вращения.
Чуть менее тривиальный пример - модель абсолютно твердого тела. Которая, как оказалось, зачастую совершенна непригодна в задачах (даже довольно простых) специальной теории относительности.
(no subject)
Date: 2010-04-13 09:24 pm (UTC)(no subject)
Date: 2010-04-13 03:41 pm (UTC)Среди моих коллег по кафедре столько-то женщин, столько-то мужчин и ноль роботов. Могу я сказать, что некоторые из моих коллег - роботы?
(no subject)
Date: 2010-04-13 08:27 pm (UTC)(no subject)
Date: 2010-04-13 04:15 pm (UTC)(no subject)
Date: 2010-04-13 08:28 pm (UTC)(no subject)
Date: 2010-04-13 04:17 pm (UTC)Тогда очевидно: если Селедки входят в Рыбы и Караси входят в Рыбы, вовсе не обязательно, что Селедки пересекаются с Караси.
:)
(no subject)
Date: 2010-04-13 08:30 pm (UTC)(no subject)
Date: 2010-04-13 06:50 pm (UTC)(no subject)
Date: 2010-04-13 07:56 pm (UTC)(no subject)
Date: 2010-04-13 08:16 pm (UTC)(no subject)
Date: 2010-04-13 08:26 pm (UTC)(no subject)
Date: 2010-04-13 08:30 pm (UTC)(no subject)
Date: 2010-04-13 08:33 pm (UTC)(no subject)
Date: 2010-04-13 08:39 pm (UTC)(no subject)
Date: 2010-04-13 08:44 pm (UTC)(no subject)
Date: 2010-04-13 08:49 pm (UTC)(no subject)
Date: 2010-04-13 08:58 pm (UTC)(no subject)
Date: 2010-04-13 09:03 pm (UTC)(no subject)
Date: 2010-04-13 09:09 pm (UTC)(no subject)
Date: 2010-04-13 09:18 pm (UTC)(no subject)
Date: 2010-04-13 08:43 pm (UTC)И любая альма-дочерь,
Благодарная судьбе,
Сыновей своих пророчит
В альма-внучеры тебе.
Старшему скоро десять.
(no subject)
Date: 2010-04-13 08:45 pm (UTC)У меня какгбе экономическое, сорри
Date: 2010-04-27 07:05 am (UTC)Re: У меня какгбе экономическое, сорри
Date: 2010-04-27 02:43 pm (UTC)Так как область "селедки - жители Балтики" находится внутри круга "рыбы", то отсюда следует, что некоторые рыбы - суть жители Балтики.