Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: sci.logic,comp.theory Subject: Re: Truthmaker Maximalism and undecidable decision problems Date: Sun, 9 Jun 2024 14:08:09 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 9 Jun 2024 18:08:10 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3621674"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: Bytes: 2429 Lines: 34 On 6/9/24 1:18 PM, olcott wrote: > On 6/9/2024 10:36 AM, olcott wrote: >> *This has direct application to undecidable decision problems* >> >> When we ask the question: What is a truthmaker? The generic answer is >> whatever makes an expression of language true its truthmaker. This >> entails that if there is nothing in the universe that makes expression X >> true then X lacks a truthmaker and is untrue. >> >> X may be untrue because X is false. In that case ~X has a truthmaker. >> Now we have the means to unequivocally define truth-bearer. X is a >> truth-bearer iff (if and only if) X or ~X has a truthmaker. >> >> I have been working in this same area as a non-academician for a few >> years. I have only focused on expressions of language that are {true on >> the basis of their meaning}. >> > > Now that truthmaker and truthbearer are fully anchored it is easy to see > that self-contradictory expressions are simply not truthbearers. > > “This sentence is not true” can't be true because that would make it > untrue and it can't be false because that would make it true. > > Within the the definition of truthmaker specified above: “this sentence > has no truthmaker” is simply not a truthbearer. It can't be true within > the above specified definition of truthmaker because this would make it > false. It can't be false because that makes > it true. > > Unless the system is inconsistent, in which case they can be. Note,