Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Вокруг силлогистики \ Аристотель и традиционная логика (В. А. Бочаров) \ Традиционная силлогистика \

9.6.2.5.4.1.3. Формальные трактовки категорических высказываний

Начало см. здесь.
Бочаров В. А.
Аристотель и традиционная логика.
(Анализ силлогистических теорий)
М.: Изд-во Моск. ун-та, 1984, cc. 19 — 29.
9.6.2.5.4.1.3.1. Связка "есть" как часть функтора
О том, что понимается под "категорическими высказываниями", см. здесь.
9.6.2.5.4.1.3.1. Связка "есть" как часть функтора
К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Вокруг силлогистики \ Аристотель и традиционная логика (В. А. Бочаров) \ Традиционная силлогистика \