Sujet : Re: True on the basis of meaning --- Good job Richard ! ---Socratic method
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 19. May 2024, 21:12:04
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2dmem$3i21i$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 5/19/2024 12:17 PM, Richard Damon wrote:
On 5/19/24 9:41 AM, olcott wrote:
>
True(L,x) is always a truth bearer.
when x is defined as True(L,x) then x is not a truth bearer.
So, x being DEFINED to be a certain sentence doesn't make x to have the same meaning as the sentence itself?
What does it mean to define a name to a given sentence, if not that such a name referes to exactly that sentence?
p = ~True(L,p) // p is not a truth bearer because its refers to itself
True(L,p) is false
True(L,~p) is false
~True(True(L,p)) is true and is referring to the p that refers
to itself it is not referring to its own self.
*ONE LEVEL OF INDIRECT REFERENCE MAKES ALL THE DIFFERENCE*
>
~True(L,x) is always a truth bearer.
when x is defined as ~True(L,x) then x is not a truth bearer.
Again, what does "Defined as" mean to you?
x := y means x is defined to be another name for y
https://en.wikipedia.org/wiki/List_of_logic_symbolsLP := ~True(L,LP)
means ~True(~True(~True(~True(~True(...)))))
It is the common convention to encode self-reference incorrectly.
LP ↔ ~True(L, LP)
ϕ(x) there is a sentence ψ such that S ⊢ ψ ↔ ϕ⟨ψ⟩.
The sentence ψ is of course not self-referential in a
strict sense, but mathematically it behaves like one.
https://plato.stanford.edu/entries/self-reference/<big snip>
*Usenet Article Lookup*
http://al.howardknight.net/ chops off long posts
Since we can no longer use Google Groups to link to recent posts.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer