Портал аспирантов - Формальная логика. Задачка.

Портал аспирантов (http://www.aspirantura.spb.ru/forum/index.php)

- Философские науки (http://www.aspirantura.spb.ru/forum/forumdisplay.php?f=135)

- - Формальная логика. Задачка. (http://www.aspirantura.spb.ru/forum/showthread.php?t=6519)

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

Martusya, все же с братьями выходит неувязочка. Конечно, если Вы вновь доопределите условие задачи, то можно будет и с ними расправится:)

А если серьезно, то задача изначально была сформулирована так, что допускала несколько различных решений. Ведь не все здесь знатоки формальной логики, чтобы изначально понять все нюансы. Но это камешек уже не в Ваш огород;)

Цитата:

Сообщение от phys2010 (Сообщение 111526)

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

Вам правильно сказали,

Цитата:

Сообщение от Martusya (Сообщение 111533)

задача предполагает рассмотрение только настоящей ситуации

Соображаем еще раз. Задача включает четыре фигуры: дед, отец, сын, внук. С братом мы разобрались - временно про него забудем.
1) Фигура "Дед" состоялся как дед (по отношению к фигуре "Сын"), отец (по отношению к фигуре "Отец"). В ролях сына и внука он не состоялся: его предках нам ничего в задаче не сказано.
2) Фигура "Отец" состоялся как сын (по отношению к фигуре "Дед"), отец (по отношению к фигуре "Сын"), дед (по отношению к фигуре "Внук").
3) Фигура "Сын" состоялся как внук (по отношению к фигуре "Дед"), сын (по отношению к фигуре "Отец"), отец (по отношению к фигуре "Внук")
4) Фигура "Внук" состоялся как внук (по отношению к фигуре "Отец"), сын (по отношению к фигуре "Сын").
Перекрестное опыление какое-то получается, господа. :)

Даже больше из семиотики задача, а не теории множеств.

Цитата:

Сообщение от gav (Сообщение 111552)

Никакого абсурда. Дисциплина "Логика". Уточнил, что логика формальная - это следует из содержания курса. Формальная логика - это дисциплина философии.
Другой вопрос, что эту задачу можно решить с помощью теории множеств. Если знаете, поделитесь секретом. :)

Цитата:

Сообщение от deniska56 (Сообщение 111555)

1) Фигура "Дед" состоялся как прадед (по отношению к фигуре "Внук"), дед (по отношению к фигуре "Сын"), отец (по отношению к фигуре "Отец"). В ролях сына и внука он не состоялся: его предках нам ничего в задаче не сказано.

вы вот это зачем бредите сейчас? какие роли? о чем это? задача абстрактная.
он точно чей-то сын и чей-то внук.
вы еще обсудите приносил ли он своему деду утку, а если нет - плохой внук, не считается.

не могу вставить картинку почему-то.
посмотрите тут http://s015.radikal.ru/i332/1101/c2/ec19a5f97ea2.jpg

МР1,

Цитата:

Значит что выходит... Два самых больших, совпадающих круга - сын и внук. Внутри них - отец. Внутри отца - дед. Брат внутри сына и внука, а отца и деда касается лишь частично.

Именно. Над чем тут думать - не понятно.

Добавлено через 4 минуты
deniska56

Цитата:

Формальная логика - это дисциплина философии.

Формальная логика такой же раздел философии, как и физика. Когда то формальная логика, как и физика были частями философии. Сейчас же формальная логика - это тоже самое, что математическая логика.

gav, спешл фо ю. :)
Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. В истории философии — отдельный раздел или направление логики конца XIX—начала XX века. Иногда путают с символической, или математической логикой.

Если дальше читать статью, то там написано "Термин «формальная логика» введён Аристотелем. По Канту, формальная логика (в «Критике чистого разума» («КЧР») она названа «общей») отвлекается от содержания понятий и имеет дело только с их формой".
Кант на математика никак не тянет (я думаю, он меня простит)

Цитата:

Сообщение от Martusya (Сообщение 111562)

вы вот это зачем бредите сейчас? какие роли? о чем это?

Я не был бы так категоричен. Martusya, ваше решение справедливо если множество {дедушка, отец, сын, внук} является трехэлементным, т.е. если сын и внук - одно лицо. А если нет? Тогда дедов то будет уже два:)

:D:D:D:D:D:D:D:D

Цитата:

Сообщение от Martusya (Сообщение 111562)

Добавлено через 2 минуты
Между тем,Martusya, мое длинное ковыряние в фигурах отцов и детей привело-таки меня к решению, предложенному gavом. :D
Теперь осталось выяснить, насколько профессионально он судит о задаче. gav, вы философ, математик или программист?:rolleyes: