Deutsch English Français Italiano |
<v7tmol$2acgd$5@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: sci.logic,comp.theory Subject: Re: Truth Bearer or Truth Maker Date: Thu, 25 Jul 2024 09:16:53 -0500 Organization: A noiseless patient Spider Lines: 48 Message-ID: <v7tmol$2acgd$5@dont-email.me> References: <v7rohj$9t9k$2@solani.org> <v7rpra$1sv5t$2@dont-email.me> <v7rsko$9vkk$1@solani.org> <v7rtu5$1tp9a$1@dont-email.me> <e197c26d636042212a7a60c04d8dff0803bb2503@i2pn2.org> <v7s6v0$1v7h9$1@dont-email.me> <v7t6m2$b7d9$1@solani.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 25 Jul 2024 16:16:53 +0200 (CEST) Injection-Info: dont-email.me; posting-host="43e64e6e679a39fe462151fef9da7f11"; logging-data="2437645"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/Pyqj2honm0enCAjjIiVRf" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:b75wzYX/YeCT5bK8lvcn7b+PxTU= Content-Language: en-US In-Reply-To: <v7t6m2$b7d9$1@solani.org> Bytes: 2752 On 7/25/2024 4:42 AM, Mild Shock wrote: > Most of the fallacies arise, since originally > logic was only made for the every day finite. > Applying it to the infinite automatically gets > > you into muddy waters. Take sentence such as > > Goldbach's conjecture > every even natural number greater than 2 is > the sum of two prime numbers > > It contains a forall quantifier. And its an > infinite forall quantifier. Its a not a finite > quantifier such as "all my kitchen utils", > > its an infinite quantifier "every even natural > number". In the intented model of arithmetic > the above sentence has a truth value. > > By classical logic we should even have, this > is a form of LEM, namely: > > ∀x G(x) v ∃x ~G(x) > > Without knowning which one of the sides is > true, and without knowing whether we look at > the intented model of arithmetic or not. > > Such a generalization is for example > rejected in intuitionistic logic, which tries > to regain some of the "finite" character of logic. > > olcott schrieb: >> In other words there really is no such thing as true >> because "a fish" is neither true nor false in English. > "This sentence is not true" is indeed not true and thus satisfies its assertion that it is not true. The fact that it and its negation are both not true meets the criteria of incompleteness thus proving that the notion of incompleteness is incorrect. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer