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 real limitations of what can be doneIn the first section the standard of modern formal logic classical predicate logic with equality is set out drawing on the full development in An Introduction to Formal LogicIn the second section classical predicate logic is extended to formalize reasoning that involves adverbs and r...Seguir leyendo