The book analyzes the logical-philosophical problem that exists between logical formalisms and natural language, trying to answer the question of whether it is possible to formalize natural or common sense logic .It begins by presenting a characterization of natural logic, its f…