TRUTHMAKERS, THE DISJUNCTION THESIS AND THE PRINCIPLE OF EXCLUDED MIDDLE FAZEDORES-DE-VERDADE, A TESE DA DISJUNÇÃO E O PRINCÍPIO DO TERCEIRO EXCLUÍDO

Abstract

The aim of this paper is to present and analyze the <em>truthmaker monism</em>, a result according to which any truthmaker makes true any true proposition. Truthmaker monism depends on the characterization of the truthmaking relation in terms of strict implication, the principle of excluded middle and the so called disjunction thesis. I will restrict the discussion to a theory of truthmakers of empirical truths and I will argue that, in the scope of such a theory, the problem does not lie in the use of strict implication neither in the excluded middle but, rather, in the disjunction thesis, that must be rejected.O objetivo deste artigo é apresentar e analisar o chamado monismo de fazedores-de-verdade, um resultado segundo o qual qualquer fazedor-de-verdade faz verdadeira qualquer proposição verdadeira. Esse resultado, que trivializa a noção de fazedores-de-verdade, depende da caracterização da relação de fazer-verdadeiro em termos de implicação estrita combinada com o princípio do terceiro excluído e a tese da disjunção. Eu irei restringir a discussão a uma teoria de fazedores-de-verdade de verdades empíricas e argumentar que o problema não está na utilização de implicação restrita nem no princípio do terceiro excluído, mas sim na tese da disjunção, que deve ser rejeitada.

Keywords

• fazedores-de-verdade, verdade, lógica intuicionista