Comments by "Владислав Масликов" (@Syllogist) on "ФПМИ МФТИ - 3 часа про факультет и саморазвитие" video.

@video_project_so Мне было бы интересно узнать оценки ваших специалистов по формальным системам по весьма интересному для перспективных разработок ИИ вопросу: Насколько в понимании ваших специалистов связаны между собой изучаемые ими цепочки формальных заключений с разделом логики «силлогистика». Ведь, в конечном счёте, любые цепочки формальных заключений разбираются на элементарные силлогистические конструкции. В реальной практике преподавания силлогистики весьма удивительно то, что между конструктами алгебры логики (формальными конструктами) и силлогизмами (конструктами более близкими к естественным языкам) практически нет никакого соответствия. В видео подробно поясняются ТРИ БАЗОВЫЕ ПРИЧИНЫ такого алогичного состояния дел и предлагается ПРИНЦИПИАЛЬНО НОВЫЙ ПОДХОД к понимаю и описанию важнейшего раздела логики «силлогистика». Этот, предложенный в видео (https://youtu.be/PtqBE4BTqwQ) подход (конечно же, пока только по моему мнению) открывает возможность создания не только полноценных систем человека-машинного диалога, но и нового поколения ИИ – Интеллектуальных систем. БЫЛО БЫ ОЧЕНЬ ИНТЕРЕСНО УЗНАТЬ МНЕНИЕ СПЕЦИАЛИСТОВ ВАШЕГО ВЫСОКОРЕЙТИНГОВОГО ВУЗА НА ПРИЧИНЫ НЕСООТВЕТСТВИЯ КОНСТРУКТОВ ФОРМАЛЬНОЙ ЛОГИКИ КОНСТРУКТАМ СИЛЛОГИСТИКИ.
2
Интересно: а изучают ли на ФПМИ логику? В смысле алгоритмики получения правильных логических выводов... Что бы Вы могли (или не могли) сказать об этом видео: 06-02. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ для СТУДЕНТА (+СИЛЛО-ПАРАД ОТ ЛУЧШИХ ВУЗОВ): https://youtu.be/PtqBE4BTqwQ ? :-)
1
@video_project_so И Вас благодарю за ответ и обещание задать вопрос экспертам по мат.логике. Считаю должным заранее Вас предупредить, что ответ на этот вопрос для них будет весьма не прост. Во-первых, потому, что отойти от многовековых, устоявшихся догм любому человеку весьма непросто. Во-вторых, потому, что (даже если человек – а куда он денется! – признает, что преподаваемый в вузах раздел «силлогистика» действительно требует внесения существенных изменений), то решиться высказать такую точку зрения публично – это серьёзный риск «опозориться» перед коллегами по логическому цеху. На это может решиться далеко не каждый. Чтобы не брать на себя никакой ответственности среднему мат.лог.профессионалу удобней всего будет объявить видео (https://youtu.be/PtqBE4BTqwQ) и другие мои работы по силлогистике чем-то типа «маргинального дилетантства», «фейка» или просто «пустой болтовни». Так что - успехов Вам в вашей работе! :-)
1