О силлогизмах

ПОНЯТИЕ – отображённое в мышлении единство существенных свойств, связей и отношений предметов или явлений.

СУЖДЕНИЕ – мысль, в которой утверждается наличие или отсутствие раз- личных типов отношений между понятиями.

Различные типы суждений (высказываний) изучаются как в философской, так и в математической логике, причём научные оценки в этих двух важнейших областях человеческого знания не совпадают. Причина в том, что «...в традиционной логике не были выработаны достаточно универсальные критерии правильности умозаключений». (Ивлев Ю. В. Логика для юристов: учебник / Москва: Проспект, 2019 – 272 с.,ISBN 978-5-392-28609-6, стр. 55).

В представленной здесь УНИВЕРСУМНОЙ ЛОГИКЕ (U) эта проблема нашла разрешение в виде единства формальной (математической, булевой алгебры) логики и порождённой преимущественно философией логикой высказываний. ИНТЕЛЛЕКТУАЛЬНЫЙ ПРОЦЕСС ФОРМАЛЬНОГО ВЫВОДА В КОНСТРУКТАХ УНИВЕРСУМНОЙ ЛОГИКИ ПОДДАЁТСЯ АВТОМАТИЗАЦИИ, что и позволило создать программу - КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ SYLL.

CИЛЛОГИЗМ – схема логического вывода, состоящая из трёх высказываний в виде двух суждений (утверждений, посылок) и одного заключения (умозаключения). Две исходных посылки силлогизма обычно содержат три понятия, а каждое из суждений – два из них. Силлогистика является разделом обширной логики высказываний, оперирующей различными видами (преимущественно философских) суждений.

Это силлогизм (простой категорический)

В традиционной логике посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения).

В силлогизме также заключено три термина:

• S — меньший термин: субъект заключения (входит также в меньшую посылку);
• P — бо́льший термин: предикат заключения (входит также в большую посылку);
• M — средний термин: входит в обе посылки, но не входит в заключение.

Расставим все термины в примере:

Посылка 1 бо́льшая: Всякий человек (М) смертен (P) (содержит предикат (P) заключения)
Посылка 2 меньшая: Сократ (S) — человек (М) (содержит субъект (S) заключения)
‐‐‐‐‐‐‐‐‐‐‐‐
Заключение: Сократ (S) смертен (P) (содержит предикат (P) и субъект(S))

Однако, в жизни, «мыслить логически» - это способность думать и рассуждать последовательно, умение правильно выстроить причинно-следственную связь, при этом, в процессе реального мышления мы легко меняем местами субъекты (S) и предикаты (P), например, вместо суждения "Сократ (S) смертен (P)" можно утверждать, что "Смертность (S) - это свойство Сократа (P)", а весь силлогизм о Сократе представить следующим образом:

Посылка 1 бо́льшая: Cмертность (S) – неотъемлемая характеристика Человека (М) (содержит субъект (S) заключения)
Посылка 2 меньшая: Человек (М) – это, например, Сократ (P) (содержит предикат (P) заключения)
‐‐‐‐‐‐‐‐‐‐‐‐
Заключение: Смертность (S) ‐ это свойство Сократа (P) (содержит субъект(S) и предикат (P))

Мы предлагаем новый, алгебраический, универсумный подход, позволяющий свести различные силлогизмы к единой – автоматизированной (пригодной для систем ИИ) - форме описания.

Ответственно заявляем: да, логика поддаётся автоматизации, что и позволило нам создать калькулятор силлогизмов.