O papel expressivo do conceito de verdade na lógica fregeana

Em publicações antigas, propus uma nova reconstrução da linguagem formal da lógica fregeana segundo a qual a forma lógica das sentenças dessa linguagem é O valor de verdade de: que p, é o Verdadeiro . Recentemente, Joan Weiner submeteu essa reconstrução a uma crítica detalhada. O presente projeto visa defender a reconstrução do proponente contra a crítica de Weiner. A hipótese de trabalho é que, na linguagem formal, a assim chamada barra do juízo | funciona como um predicado de verdade cuja contrapartida na linguagem natural não é o predicado é o Verdadeiro , propriamente dito, mas a forma da sentença assertórica. Esta hipótese teria como conseqüência que a crítica de Weiner não pode ser sustentada.