Брусенцов Н.П. Искусство достоверного рассуждения. Неформальная реконструкция аристотелевой силлогистики и булевой математики мысли

М.: Фонд "Новое тысячелетие", 1998. — 136 с.Систематическое содержательное исследование фундаментальных в информатике булевой и аристотелевой систем отображения неколичественных взаимосвязей. Рассмотрены методы анализа заданных в дискретном универсуме ситуаций. Выявлена сущность основных взаимосвязей — совместимости, несовместимости, несоисключённости, комплементарности, принадлежности, следования и др. Охарактеризованы важнейшие частные универсумы и их соотношение. Построена исчерпывающая адекватная алгебраическая модель силлогистики Аристотеля.Неудовлетворительность современной науки о мышлении.
Воссоздание аристотелевых начал достоверного рассуждения.
Подлинный смысл суждений в силлогистике Аристотеля.
Булевы связки.
Совокупности и дизъюнкты.
Классы и множества.
Совокупности терминов.
Иерархия совокупностей.
Булева алгебра.
Символы отношений.
Булевы уравнения.
Решение логических задач.
Сущность булевых уравнений.
Алгебра совокупностей.
Диаграмма Льюиса Кэррола. Отношение следования.
Аристотелева силлогистика.
Частные универсумы.
Соотношение булевых и множественных связок.