В этой главе будет рассмотрена тема Формальной Логики (ФЛ). Мы рассмотрим понятие “понятия” с точки зрения ФЛ и ДЛ; понятие абстрактного и конкретного с точки зрения ФЛ и ДЛ; Что такое суждение и умозаключение; Виды индукции; О причинной связи явлений; Что такое аналогия; Имплицитное и эксплицитное знание; Основные формы и законы формальной логики; Понятие о логическом законе; Четыре закона ФЛ; Классическая и современная ФЛ; И значение логических законов. В конце задачи по формальной логике. Предыдущая...

Международный коллектив ученых из Сколковского института науки и технологий, МФТИ, Института исследований искусственного интеллекта (AIRI) и Университета Париж-Сите разработал новый, элегантный метод для проверки логических способностей больших языковых моделей (LLM). Вместо того чтобы судить о правильности рассуждений нейросети лишь по ее финальному ответу, исследователи научились заглядывать внутрь ее механизма «внимания» и находить там скрытые паттерны, отвечающие за проверку логики. Этот подход,...