Символическая логика, или Безупречная бессмыслица

Одна из исторических баек гласит, что когда королева Виктория, очарованная сказкой о девочке Алисе, провалившейся в кроличью нору, захотела познакомится с другими книгами автора, ей прислали математические труды Чарльза Лютвиджа Доджсона...

Чарльз Лютвидж Доджсон (литературный псевдоним Льюис Кэрролл), известный как автор самой абсурдной в мире сказки, написал несколько серьезных научных работ в области евклидовой геометрии и линейной алгебры. Хотя, по заверению сетевых источников, наиболее значим стал его вклад в математическую логику. Доджсон был большим любителем головоломок и выпустил немало сборников с логическими задачами, в том числе и для детей...

Для тех, кто не в курсе сообщу, что ключевым понятием в мире логики является понятие силлогизма. Эта форма рассуждения, когда из двух истинных утверждений, выводится третье, которое тоже является истинным.

Классический пример:
Все люди смертны.
Сократ — человек.
Следовательно, Сократ смертен.

Обращаю внимание, что за истинное утверждение, мы можем принят любое высказывание.

Ни одно ископаемое животное не может быть не­счастнее любви.
Устрица может быть несчастна в любви.

Какой делается вывод? "Устрица — не ископаемое животное".

А не кажется ли вам, что эти высказывания слегка абсурдны? Или не слегка?

Все кошки знают французский язык.
Некоторые цыплята — кошки.

Вывод делайте сами...

Правила логических построений соблюдены, а вот здравый смысл исчезает.

Кроме задач на силлогизмы в книге представлены логические задачи-парадоксы. Например,какие часы точнее показывают время: те, которые отстают на минуту в сутки, или те, которые вовсе не идут?..

Материал изложен живо и наглядно, но советовать книгу поклонникам литературного творчества Кэррола не буду, все таки это учебник+решебник+задачник. Школьникам интересующимся математикой и не только, рекомендую. 

Кошка съедает одну мышку за одну минуту. За сколько времени кошка съест 60000 мышек?
Ответ. Не скоро. Я лично думаю, что мышки скорее съедят кошку.