Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: The Tarski Undefinability Theorem failed to understand truthmaker
 theory
Date: Tue, 2 Jul 2024 22:00:49 -0500
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <v62et1$20moo$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 03 Jul 2024 05:00:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="29a678b7ecb7074967021c8dcb9f1179";
	logging-data="2120472"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ebkqNy+JlyNN/TvcXbpoi"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:KkMUyYm+br68tlzgLJ64acOciFQ=
Content-Language: en-US
Bytes: 2503

Every {analytic} proposition X having a truth-maker is true.
Every {analytic} proposition X having a truth-maker for ~X is false.
Those expressions of language left over are not not truth bearers.

True(L,x) and False(L,x) where L is the language and x is the
expression of that language rejects self-contradictory undecidable
propositions as not truth-bearers.

Only expressions of language requiring an infinite number of steps
such as Goldbach's conjecture slip through the cracks. These can
be separately recognized.

{Analytic} propositions are expressions of formal or natural language
that are linked by a sequence of truth preserving operations to the
verbal meanings that make them true or false. This includes expressions
of language that form the accurate verbal model of the actual world.

Modern day philosophers at best only have a vague understanding
of what a truth-maker or truth-bearer is.

Truthmakers
This much is agreed: “x makes it true that p” is a construction that 
signifies, if it signifies anything at all, a relation borne to a 
truth-bearer by something else, a truth-maker. But it isn’t generally 
agreed what that something else might be, or what truth-bearers are, or 
what the character might be of the relationship that holds, if it does, 
between them, or even whether such a relationship ever does hold. 
https://plato.stanford.edu/entries/truthmakers/

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer