A Formalization of Reasoning Not Derived From Standard Predicate Logic

A system of formal reasoning, termed object-oriented logic (OOL), is presented which is based on the logical concepts present in modern computer programming and not related directly to predicate logic. It is expected to be efficient in deriving simple conclusions when information is centered around objects and in combining independently designed subsystems. Some examples are discussed, as well as relation to other systems for logic and/or programming. Key words: non-predicate logic; logic programming; object-oriented programming; open data model. 1 Introduction This is an extended version of a paper submitted to a special issue of Theoretical Computer Science series of Elsevier Science. It is a refinement of the previous paper [3] 1 where a formal system with some reasoning capabilities was proposed, which was not a variant of the predicate logic. This should not be construed as a totally fresh start in formalization of thinking: an independent tradition of "logic" can be traced back..