Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: =?UTF-8?Q?Re=3A_G=C3=B6del=27s_Basic_Logic_Course_at_Notre_Dame_=28?= =?UTF-8?Q?Was=3A_Analytic_Truth-makers=29?= Date: Tue, 23 Jul 2024 15:43:50 -0500 Organization: A noiseless patient Spider Lines: 59 Message-ID: References: <3fb77583036a3c8b0db4b77610fb4bf4214c9c23@i2pn2.org> <9577ce80fd6c8a3d5dc37b880ce35a4d10d12a0e@i2pn2.org> <7d9b88425623e1166e358f1bce4c3a2767c36da0@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 23 Jul 2024 22:43:50 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c53d2de4672c698529f342dcfedcfa3a"; logging-data="1439584"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+uxjOy1538SxJp59T63mmu" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:J+FdUGgdaXGiLGie16zGdEuj0go= Content-Language: en-US In-Reply-To: Bytes: 3313 On 7/23/2024 3:36 PM, Mild Shock wrote: > Thats a little bit odd to abolish incompletness. > Take p, an arbitrary propositional variable. > Its neither the case that: > > True(L,p) > > Nor is ihe case that: > > True(L,~p) > > Because there are always at least two possible worlds. > One possible world where p is false, making True(L,p) > impossible, and one possible world where p is true, > > making True(L,~p) impossible. > We are not using propositional logic we are using an extension of Montague Semantics such that every natural language meaning can be formalized. L is an actual language and p is a specific static constant finite string expression of that language. There is no possible world where the living animal of a puppy is a 15 story office building. There is no possible world where this sentence or its negation are true: "This sentence is not true". > olcott schrieb: >> On 7/23/2024 7:02 AM, Mild Shock wrote: >>> Little bit odd reference to mathematical logic for 2024. >>> >>> olcott schrieb: >>>>>> Curry, Harkell B. 1977. Foundations of Mathematical Logic. Page:45 >> >> https://www.liarparadox.org/Haskell_Curry_45.pdf >> >> *It sustains this idea* >> >> L is the language of a formal mathematical system. >> x is an expression of that language. >> >> When we understand that True(L,x) means that there is a finite >> sequence of truth preserving operations in L from the semantic >> meaning of x to x in L, then mathematical incompleteness is abolished. >> >> ~True(L,x) ∧ ~True(L,~x) >> means that x is not a truth-bearer in L. >> It does not mean that L is incomplete >> > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer