Affiliation: | aCenter for Logic and Computation, IST, Lisbon, Portugal;bDepartment of Philosophy, UNICAMP, Brazil;cCenter for Exact Sciences, Unileste-MG, Brazil;dCentre for Logic and Philosophy of Science, UGent, Belgium;eCentre for Logic, Epistemology and the History of Science, UNICAMP, Brazil |