A Formal Skeleton of Commonsense Reasoning

Abstract

After referring several times to Commonsense or Ordinary Reasoning, let’s devote a few pages to present a (minimal) mathematical model of it that can be seen as the ‘Skeleton’ of Reasoning, since it is defined by a set of few, simple laws appearing in the models of particular and specialized modes of reasoning like, for instance: Boolean Algebras for the reasoning with precise concepts; Orto-modular lattices for the reasoning with the concepts of Quantum Physics; and also in the so called Algebras of Fuzzy Sets for the reasoning with imprecise concepts, and among them De Morgan-Kleene algebras. All these models have interesting applications.