Aumentar a expressividade de um sistema lógico é um objetivo de muitos campos na Ciência da Computação como o de Sistemas Formais, Construção de Co- nhecimento, Linguística, Lógica Universal e Teoria dos modelos. O aumento ...

This article presents some aspects of the relationship between the philosophies of Frege and Stuart Mill, from the standpoint of the fregean critic of psychologism and empiricism. I defend the thesis that, in Foundations ...