Формальная логика. Задачка.
 

Предыстория:
Вашему покорному слуге недавно представилась возможность в очередной раз подхалтурить. Дисциплина новая, непрофильная - формальная логика. Понадеявшись на соображалку взялся.
Сабж:
Немного запутался в решении одной задачи. По условию требуется соотнести понятия дедушка, сын, внук, отец, брат и изобразить их соотношение с помощью кругов Эйлера. На данный момент эту задачу я уже решил, привел ее ради интереса (поверьте на слово). Но как по-вашему, уважаемые специалисты-философы, соотносятся обозначенные мною понятия?

Возможно я ошибаюсь, в логике не силен, но ИМХО наиболее широкое понятие - брат, т.к. им может быть любой из 4-ех перечисленных мужчин.

Мысль верная. Но каждый из перечисленных мужчин братом может и не быть. :)
Торжественно клянусь привести свое решение. :) Чуть позже. Хотелось бы услышать ваши варианты. :)

Честно говоря, я вообще не понял, в чем задача. Все названные категории могут как совпадать, так и различаться. Т.е. сын может быть братом, дедушка - внуком и т.д.

Так поставлена задача. :) Я привел условие дословно. :) Подразумеваю, что речь идет о случае, когда они не совпадают. Дед дал жизнь отцу, отец - сыну, ...

Вроде въехал. Значит так:
Дедушка всегда является сыном, внуком и отцом.
Отец всегда является сыном и внуком.
Сын всегда является внуком.
Внук всегда является сыном.
Брат всегда является сыном и внуком.

У меня почти так. Не знаю, верно ли.
Дед - самое широкое понятие. В своей жизни он является и дедом, и отцом, и сыном, и внуком.
Отец - отцом, сыном, внуком.
Сын - сыном, внуком.
Внук - только внуком.
А поскольку не указано, чей брат, то я решил сделать так. Братом может быть каждый из них. А может им и не быть. Получилась вот такая картинка

из схемы следует, что внук - дедушка.
по-моему, схему надо "вывернуть"

Вроде верно. Только почему внук не является всегда сыном? Ведь отец у него есть, верно? :)

Если круг "Внук" находится в кругу "Дедушка", значит понятие "Внук" уже. :)
Я по невнимательности мог описаться, недописать. :)

В общем мне кажется, что круги "сын" и "внук" должны совпадать :)

да.
но это неверно. все эти люди являются внуками - вы же словами все верно описали.
внук - самое широкое понятие, дед - самое узкое.

:D Я запутался, чесслово. :)

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

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