Заседание No. 39, Неклассическое непарадоксальное логическое следствие как инструмент анализа надёжности устройств и аристотелевой силлогистики