вообще-то тут все сошлись на одном решении, в т.ч. и gav

deniska56, ну и? "Смотрю в книгу и вижу фигу"?
"В истории философии — отдельный раздел или направление логики конца XIX—начала XX века. Иногда путают с символической, или математической логикой."
То есть Вы считаете, что эта задача по одному из направлений логики конца XIX начала XX века?
Этот самый раздел философии XIX-начала XX века действительно не стоит путать с математической логикой.
Но вот современное значение этого термина "формальная логика" четко выражено в той же статье Википедии в разделе "Утрата специфики"
То есть формальная логика - это раздел философии только в контексте истории науки. Так же как и физика.

Вы так считаете?:D

Сначала третье, потом второе, потом первое :)
А так - формальная логика - один из курсов, которые я читаю. Правда, называется он "основы математической логики".

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

deniska56, так математика - это не обязательно математический аппарат :) Сам процесс рассмотрения рассуждений с точки зрения формы - это уже математика. Точно также же как счет предметов "на пальцах" без всякого математического аппарата - элементарная арифметика - это все равно математика. И интеграл не перестанет быть математическим понятием если его словами расписать :)

Ну вот е-мое, логику не поделили финские парни:D!
А она есть и тут и там,
хотя бы в паспорте специальностей:)
Логика - 09.00.07
Математическая логика, алгебра и теория чисел - 01.01.06

Поэтому как ни крути - современное рассмотрение рассуждений с точки зрения их формы (формальная логика) - это математика. Даже если математический аппарат совершенно не используется. Также рассуждениями, без формул, можно и физические задачи решать, помнится была тут задача про самолет на транспортере. От этого задача же не перестает быть физической :)

Принципиальная мелочь. :)
gav, я этот вопрос разместил, чтобы понять фишку задачи. Заодно и форумчан заинтересовать. :) Пока первого не произошло. Более простые примеры типа "Растения-голосеменные-покрытосеменные-ядовитые" я догадался как делать. Причем решения я привожу именно формальнологическое. Мне мат.логику никогда не читали. :)

читаем

Даже если одного деда я потеряла - подмножество дедов - внутреннее.

ну, кроме вас.

Юрген, так логика формальной не ограничивается. Специфику естественного языка никто не отменял - вот уже целый пласт нематематической логики. Но здесь то речь идет именно о формальной логике, а это именно 01.01.06. Если, конечно, речь идет о современной дисциплине :)

Martusya, deniska56, МР1, gav. Было приятно с Вами пообщаться. Увидимся:D:D:D

gav, че усир...ся? Для чего? :) Давайте как-то ближе к делу. :) Вряд ли из-за столь неопределенной границы между "логиками" Jacky кинет эту тему к физ-матикам. :)

Добавлено через 1 минуту
Ага. Не переключайтесь :D:D:D:D

Просто очень не справедливо, когда по всем пунктам математические вопросы относят к философии :)

Не жадничайте. Логику расположения вопроса в секции философских наук я объяснил. :)