силлогистика не является полностью формой логики предикатов. Я думаю, за границей рассматривается как форма логики предикатов.
Ну так не только у нас в стране рассматривают. Когда в книгах показывают теоретико-множественные штуки или показывают, как на языке логики предикатов записывать силлогизмы - это не силлогистика. Силлогистики погружаются в исчисление предикатов, но вообще они формально строятся на другом языке, буквально другой синтаксис, другие категории языковых выражений (например общие имена)
Обсуждают сегодня