A tese da indefinibilidade da verdade de Frege tornou-se obsoleta pela definição Tarskiana da verdade?

Frege argumentou, em ‘O Pensamento’ (1918) e escritos relacionados, que toda tentativa de definir a verdade, inclusive a definição clássica da verdade como correspondência, leva a um círculo. Da perspectiva contemporânea, essa tese tornou-se obsoleta pela definição explicita da verdade por Alfred Tarski. O presente projeto visa a reconstruir a tese de Frege e mostrar que a definição Tarskiana da verdade é de fato circular no sentido de Frege. A estratégia de argumentação consiste em mostrar: (i) para reconstruir a tese da indefinibilidade de Frege corretamente, é essencial levar em conta que Frege entende por verdade o que expressamos na linguagem natural pela ‘forma da sentença assertórica’; (ii) o conceito de verdade associado a essa forma não é o conceito semântico da verdade de Tarski, mas o conceito ontológico da verdade segundo o qual ser verdadeiro é ser o caso (um fato); (iii) o conceito ontológico é mais fundamental do que o conceito semântico; (iv), para explicitar o conceito Tarskiano de satisfação da maneira geral, precisamos do conceito ontológico de verdade; (v) consequentemente, a definição de Tarski é circular no sentido de Frege.