В статье рассматривается неклассическая пропозициональная логика, включающая традиционную силлогистику. Показана тесная связь продукционных систем и онтологии, являющейся областью интерпретации правильных формул данной логики. Приведены примеры, имеющие прикладное значение. The article explains the reasons to replace the multisemantic basis of Aristotle in classical logic and traditional syllogistic. In return it is suggested looking at mono-semantic basis, isomorphic to relationship "equivalent", "entailing", "independent", which happen between random events in probability theory
