SINOPSIS DEL LIBRO

This series of volumes is meant to extend the scope of what we can formalize in classical predicate logic and in doing so see the limitations of what can be done The first section of this volume presents classical predicate logic with equality In the second section that logic is extended to formalize reasoning that involves adverbs and relative adjectives by viewing those as modifiers of simpler predicates What is normally taken to be an atom...Seguir leyendo