Филип Джонсон-Лэрд. Создал важные модели человеческого познания и логики
Логика 473
Рис. 14.2. Диаграммы, в которых представлены силлогизмы «все и некоторые А суть В» и «никакое или некоторые А суть В»
что опознается как посылка типа А. Посылка типа I «Некоторые А суть В» (рис. 14.2) представляется так:
Посылка Е «Никакое А не суть Б»:
Посылка О «Некоторые А не суть В»:
Если вторая посылка имеет вид «Некоторые пчеловоды суть химики», то форма силлогизма будет следующей:
Все художники суть пчеловоды.
Некоторые пчеловоды суть химики.
Или в символическом виде:
Глава 14. Мышление (I): формирование понятий, логика и принятие решений