Paper delivered at 1st CLE Colloquium for Philosophy and Formal Sciences Campinas, 21-23 March 2013 Accepted for publication in the Proceedings of the Conference
DRAFT