Liste des Groupes | Revenir à s logic |
On 7/24/2024 3:34 PM, Mild Shock wrote: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/
>
nonsense rebuttal of the analytic synthetic distinction
no other expert on truth-maker theory made much progress.
{true on the basis of meaning expressed in language}
conquers any of Quine's gibberish.
A truth maker is any sequence of truth preserving operations
that links an expression x of language L to its semantic meaning
in language L. The lack of such a connection in L to x or ~x
means that x is not a truth-bearer in L.
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
>
{true on the basis of meaning expressed in language}
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.