Liste des Groupes | Revenir à s logic |
But truth bearer has another meaning.Because the received view has never gotten past Quine's
The more correct terminology is anyway
truth maker, you have to shift away the
focus from the formula and think it is
a truth bearer, this is anyway wrong,
since you have two additional parameters
your "True" and your language "L".
So all that we see here in expression such as:
[~] True(L, [~] A)
Is truth making, and not truth bearing.
In recent years truth making has received
some attention, there are interesting papers
concerning truth makers. And it has
even a SEP article:
Truthmakers
https://plato.stanford.edu/entries/truthmakers/
A world of truthmakers?This seems at least reasonably plausible yet deals with things besides
https://philipp.philosophie.ch/handouts/2005-5-5-truthmakers.pdf
olcott schrieb:--
> The key difference is that we no long use the misnomer
> "undecidable" sentence and instead call it for what it
> really is an expression that is not a truth bearer, or
> proposition in L.
Les messages affichés proviennent d'usenet.