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

9.6.2.5.4.1.3.1. Связка "есть"
как часть функтора

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

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