Liste des Groupes | Revenir à c theory |
On 5/19/2024 12:17 PM, Richard Damon wrote:This is not self-reference.On 5/19/24 9:41 AM, olcott wrote:p = ~True(L,p) // p is not a truth bearer because its refers to itself>>
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?
>
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*
x := y means x is defined to be another name for y>>
~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?
>
https://en.wikipedia.org/wiki/List_of_logic_symbols
LP := ~True(L,LP)
means ~True(~True(~True(~True(~True(...)))))
It is the common convention to encode self-reference incorrectly.
LP ↔ ~True(L, LP)
Les messages affichés proviennent d'usenet.