Research Group in Logic and Foundations of Science (CNPq)