Ну это уже фактическая ошибка у них и про естественность и про троичность и про аристотелевость.
Н. П. Брусенцов, создатель ЭВМ "Сетунь", не согласился бы:
Цитата:
По Аристотелю конъюнкция не-утверждения и не-антиутверждения (“не быть благом и не быть не благом”) составляет третье, среднее, промежуточное между утверждением и антиутверждением - συμβεβηκος (привходящее). Хрисипп же “упростил" логику, изъяв это третье, а вместе с ним адекватность реальности и здравому смыслу. Поразительна живучесть хрисипповой “простоты”. На протяжении двух с лишним тысячелетий имели место лишь единичные попытки преодолеть роковую ограниченность (Раймонд Лулий, Уильям Оккам, Ян Коменский, Лейбниц, Гегель, Льюис Кэррол).
Цитата:
Адекватным инструментом интеллекта оказывается силлогистика Аристотеля при надлежащем трехзначном истолковании. Статус первичных (несоставных) терминов предполагается в ней четко определенным, двухзначным, тогда как принадлежность элементов совокупности 2-го уровня (совокупности вещей) трехзначна: “необходимо есть” / “необходимо нет” / “привходяще”. При этих предположениях алгебра силлогистики в условиях УА обретает естественный, непарадоксальный, диалектический характер, является подлинным аристотелевым Органоном в современном исполнении.