The present study aims at analyzing the so-called Tarski proposal, a proposal about which objects should be considered as logical. My analysis has two parts: the first part, more historically oriented, compares Tarskis evolving methodology to Carnaps and Quines, in particular with the dierent conceptions of these latter two regarding that which they called explication. The second, more argumentative part, attempts to show that the most natural environment for this proposal is a platonic metaphysics of a neo-Fregean variety.

O presente estudo tem por objetivo analisar a assim chamada proposta de Tarski, a qual visa fornecer uma resposta à pergunta: quais objetos são lógicos? Nossa análise consiste em duas partes: uma primeira, mais histórica, compara a metodologia de Tarski àquela de Carnap e de Quine, se atentando principalmente às diferentes acepções que cada um deles atribui à noção de explicação (explication). A segunda parte, mais argumentativa, procura mostrar que um ambiente natural para essa proposta é uma metafísica platônica de franca inspiração neo-fregeana.