Re: This makes all Analytic(Olcott) truth computable

Liste des GroupesRevenir à s logic 
Sujet : Re: This makes all Analytic(Olcott) truth computable
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic
Date : 17. Aug 2024, 17:33:50
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <43690773dba43c5d93d11635af0a26532e5be390@i2pn2.org>
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
User-Agent : Mozilla Thunderbird
On 8/17/24 11:12 AM, olcott wrote:
On 8/17/2024 9:53 AM, Richard Damon wrote:
On 8/17/24 10:45 AM, olcott wrote:
On 8/17/2024 9:40 AM, Richard Damon wrote:
On 8/17/24 12:05 AM, olcott wrote:
On 8/16/2024 5:57 PM, Richard Damon wrote:
On 8/16/24 6:40 PM, olcott wrote:
On 8/16/2024 5:19 PM, Richard Damon wrote:
On 8/16/24 6:16 PM, olcott wrote:
On 8/16/2024 5:03 PM, Richard Damon wrote:
On 8/16/24 5:35 PM, olcott wrote:
On 8/16/2024 4:05 PM, Richard Damon wrote:
On 8/16/24 4:39 PM, olcott wrote:
On 8/16/2024 2:42 PM, Richard Damon wrote:
On 8/16/24 2:11 PM, olcott wrote:
On 8/16/2024 11:32 AM, Richard Damon wrote:
On 8/16/24 7:02 AM, olcott wrote:
>
>
*This abolishes the notion of undecidability*
As with all math and logic we have expressions of language
that are true on the basis of their meaning expressed
in this same language. Unless expression x has a connection
(through a sequence of true preserving operations) in system
F to its semantic meanings expressed in language L of F
x is simply untrue in F.
>
But you clearly don't understand the meaning of "undecidability"
>
Not at all. I am doing the same sort thing that ZFC
did to conquer Russell's Paradox.
>
>
>
If you want to do that, you need to start at the basics are totally reformulate logic.
>
>
ZFC didn't need to do that. All they had to do is
redefine the notion of a set so that it was no longer
incoherent.
>
>
I guess you haven't read the papers of Zermelo and Fraenkel. They created a new definition of what a set was, and then showed what that implies, since by changing the definitions, all the old work of set theory has to be thrown out, and then we see what can be established.
>
>
None of this is changing any more rules. All
of these are the effects of the change of the
definition of a set.
>
>
No, they defined not only what WAS a set, but what you could do as basic operations ON a set.
>
Axiom of extensibility: the definition of sets being equal, that ZFC is built on first-order logic.
>
>
>
Axion of regularity/Foundation: This is the rule that a set can not be a member of itself, and that we can count the members of a set.
>
This one is the key that conquered Russell's Paradox.
If anything else changed it changed on the basis of this change
or was not required to defeat RP.
>
but they couldn't just "add" it to set theory, they needed to define the full set.
>
I think you problem is you just don't understand how formal logic works.
>
>
I think at a higher level of abstraction.
>
No, you don't, unless you mean by that not bothering to make sure the details work.
>
You can't do fundamental logic in the abstract.
>
That is just called fluff and bluster.
>
>
All that they did is just like I said they redefined
what a set is. You provided a whole bunch of details of
how they redefined a set as a rebuttal to my statement
saying that all they did is redefine a set.
>
Showing the sort of thing YOU need to do to redefine logic
>
>
>
I said that ZFC redefined the notion of a set to get rid of RP.
You show the steps of how ZFC redefined a set as your rebuttal.
>
No, you said that "ALL THEY DID" was that, and that is just a LIE.
>
They developed a full formal system.
>
>
They did nothing besides change the definition of
a set and the result of this was a new formal system.
>
>
I guess you consider all the papers they wrote describing the effects of their definitions "nothing"
>
 Not at all and you know this.
One change had many effects yet was still one change.
 
But would mean nothing without showing the affects of that change.
Just TRY to use that one change without everything else that was derived from that system. You would first need to recreate all the work they did.
But then, you don't seem to understand that you should only use PROVEN statements to make you claims, and not just things that "seem" correct, because you just don't understand how logic works.

Date Sujet#  Auteur
29 Jul 24 * Analytic Expressions of language not linked to their semantic meaning are simply untrue219olcott
29 Jul 24 +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue3Richard Damon
29 Jul 24 i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue2olcott
30 Jul 24 i `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1Richard Damon
29 Jul 24 +- Analytic Expressions of language not linked to their semantic meaning are simply untrue V21olcott
30 Jul 24 +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue212Mikko
30 Jul 24 i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue211olcott
31 Jul 24 i `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue210Mikko
31 Jul 24 i  `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue209olcott
2 Aug 24 i   `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue208Mikko
2 Aug 24 i    +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue206olcott
3 Aug 24 i    i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue205Mikko
3 Aug 24 i    i `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue204olcott
3 Aug 24 i    i  +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue9Richard Damon
3 Aug 24 i    i  i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue8olcott
3 Aug 24 i    i  i `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue7Richard Damon
3 Aug 24 i    i  i  +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue5olcott
4 Aug 24 i    i  i  i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue4Richard Damon
4 Aug 24 i    i  i  i `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue3olcott
4 Aug 24 i    i  i  i  +- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1Python
4 Aug 24 i    i  i  i  `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1Richard Damon
4 Aug 24 i    i  i  `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1olcott
4 Aug 24 i    i  `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue194Mikko
4 Aug 24 i    i   `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue193olcott
6 Aug 24 i    i    `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue192Mikko
6 Aug 24 i    i     `* x true.191olcott
6 Aug 24 i    i      +* Re: x true.2Jim Burns
6 Aug 24 i    i      i`- Boolean True(L, x) refuting Tarski1olcott
6 Aug 24 i    i      +* Re: x true.2joes
6 Aug 24 i    i      i`- Re: x true.1olcott
7 Aug 24 i    i      +* Re: x true.185Mikko
7 Aug 24 i    i      i`* True on the basis of meaning (and not any other kind)184olcott
8 Aug 24 i    i      i `* Re: True on the basis of meaning (and not any other kind)183Mikko
8 Aug 24 i    i      i  `* Re: True on the basis of meaning (and not any other kind)182olcott
9 Aug 24 i    i      i   `* Re: True on the basis of meaning (and not any other kind)181Mikko
9 Aug 24 i    i      i    `* Re: True on the basis of meaning (and not any other kind)180olcott
9 Aug 24 i    i      i     +* This makes all Analytic(Olcott) truth computable177olcott
10 Aug 24 i    i      i     i`* Re: This makes all Analytic(Olcott) truth computable176Mikko
10 Aug 24 i    i      i     i `* Re: This makes all Analytic(Olcott) truth computable175olcott
12 Aug 24 i    i      i     i  `* Re: This makes all Analytic(Olcott) truth computable174Mikko
12 Aug 24 i    i      i     i   `* Re: This makes all Analytic(Olcott) truth computable173olcott
12 Aug 24 i    i      i     i    +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
13 Aug 24 i    i      i     i    `* Re: This makes all Analytic(Olcott) truth computable171Mikko
13 Aug 24 i    i      i     i     `* Re: This makes all Analytic(Olcott) truth computable170olcott
15 Aug 24 i    i      i     i      `* Re: This makes all Analytic(Olcott) truth computable169Mikko
16 Aug 24 i    i      i     i       +* Re: This makes all Analytic(Olcott) truth computable159olcott
16 Aug 24 i    i      i     i       i+* Re: This makes all Analytic(Olcott) truth computable6Mikko
16 Aug 24 i    i      i     i       ii`* Re: This makes all Analytic(Olcott) truth computable5olcott
16 Aug 24 i    i      i     i       ii `* Re: This makes all Analytic(Olcott) truth computable4Mikko
16 Aug 24 i    i      i     i       ii  `* Re: This makes all Analytic(Olcott) truth computable3olcott
18 Aug 24 i    i      i     i       ii   `* Re: This makes all Analytic(Olcott) truth computable2Mikko
18 Aug 24 i    i      i     i       ii    `- Re: This makes all Analytic(Olcott) truth computable1olcott
16 Aug 24 i    i      i     i       i`* Re: This makes all Analytic(Olcott) truth computable152Richard Damon
16 Aug 24 i    i      i     i       i `* Re: This makes all Analytic(Olcott) truth computable151olcott
16 Aug 24 i    i      i     i       i  +* Re: This makes all Analytic(Olcott) truth computable142Richard Damon
16 Aug 24 i    i      i     i       i  i`* Re: This makes all Analytic(Olcott) truth computable141olcott
16 Aug 24 i    i      i     i       i  i +* Re: This makes all Analytic(Olcott) truth computable136Richard Damon
16 Aug 24 i    i      i     i       i  i i+* Re: This makes all Analytic(Olcott) truth computable2olcott
16 Aug 24 i    i      i     i       i  i ii`- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
16 Aug 24 i    i      i     i       i  i i`* Re: This makes all Analytic(Olcott) truth computable133olcott
17 Aug 24 i    i      i     i       i  i i +* Re: This makes all Analytic(Olcott) truth computable131Richard Damon
17 Aug 24 i    i      i     i       i  i i i`* Re: This makes all Analytic(Olcott) truth computable130olcott
17 Aug 24 i    i      i     i       i  i i i +* Re: This makes all Analytic(Olcott) truth computable112Richard Damon
17 Aug 24 i    i      i     i       i  i i i i`* Re: This makes all Analytic(Olcott) truth computable111olcott
17 Aug 24 i    i      i     i       i  i i i i `* Re: This makes all Analytic(Olcott) truth computable110Richard Damon
17 Aug 24 i    i      i     i       i  i i i i  `* Re: This makes all Analytic(Olcott) truth computable109olcott
17 Aug 24 i    i      i     i       i  i i i i   `* Re: This makes all Analytic(Olcott) truth computable108Richard Damon
17 Aug 24 i    i      i     i       i  i i i i    `* Re: This makes all Analytic(Olcott) truth computable107olcott
17 Aug 24 i    i      i     i       i  i i i i     +* Re: This makes all Analytic(Olcott) truth computable99Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i`* Re: This makes all Analytic(Olcott) truth computable98olcott
17 Aug 24 i    i      i     i       i  i i i i     i `* Re: This makes all Analytic(Olcott) truth computable97Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i  `* Re: This makes all Analytic(Olcott) truth computable96olcott
17 Aug 24 i    i      i     i       i  i i i i     i   +* Re: This makes all Analytic(Olcott) truth computable42Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i`* Re: This makes all Analytic(Olcott) truth computable41olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i `* Re: This makes all Analytic(Olcott) truth computable40Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i  `* Re: This makes all Analytic(Olcott) truth computable39olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   +* Re: This makes all Analytic(Olcott) truth computable34Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i`* Re: This makes all Analytic(Olcott) truth computable33olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i +* Re: This makes all Analytic(Olcott) truth computable28Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i`* Re: This makes all Analytic(Olcott) truth computable27olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i +* Re: This makes all Analytic(Olcott) truth computable25Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i`* Re: This makes all Analytic(Olcott) truth computable24olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i +* Re: This makes all Analytic(Olcott) truth computable22Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i`* Re: This makes all Analytic(Olcott) truth computable21olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i `* Re: This makes all Analytic(Olcott) truth computable20Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i  `* Re: This makes all Analytic(Olcott) truth computable19olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   +* Re: This makes all Analytic(Olcott) truth computable17Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i`* Re: This makes all Analytic(Olcott) truth computable16olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i +* Re: This makes all Analytic(Olcott) truth computable14Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i`* Re: This makes all Analytic(Olcott) truth computable13olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i `* Re: This makes all Analytic(Olcott) truth computable12Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i  `* Re: This makes all Analytic(Olcott) truth computable11olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   +* Re: This makes all Analytic(Olcott) truth computable9Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i`* Re: This makes all Analytic(Olcott) truth computable8olcott
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i `* Re: This makes all Analytic(Olcott) truth computable7Richard Damon
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i  `* Re: This makes all Analytic(Olcott) truth computable6olcott
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i   `* Re: This makes all Analytic(Olcott) truth computable5Richard Damon
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i    `* Re: This makes all Analytic(Olcott) truth computable4olcott
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i     `* Re: This makes all Analytic(Olcott) truth computable3Richard Damon
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i      `* Re: This makes all Analytic(Olcott) truth computable2olcott
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i       `- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i `* Re: This makes all Analytic(Olcott) truth computable4Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   `* Re: This makes all Analytic(Olcott) truth computable4Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   `* Re: This makes all Analytic(Olcott) truth computable53Mikko
18 Aug 24 i    i      i     i       i  i i i i     `* Re: This makes all Analytic(Olcott) truth computable7Mikko
18 Aug 24 i    i      i     i       i  i i i `* Re: This makes all Analytic(Olcott) truth computable17Mikko
18 Aug 24 i    i      i     i       i  i i `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i `* Re: This makes all Analytic(Olcott) truth computable4Mikko
18 Aug 24 i    i      i     i       i  `* Re: This makes all Analytic(Olcott) truth computable8Mikko
18 Aug 24 i    i      i     i       `* Re: This makes all Analytic(Olcott) truth computable9olcott
10 Aug 24 i    i      i     +- Re: True on the basis of meaning (and not any other kind)1Mikko
10 Aug 24 i    i      i     `- Re: True on the basis of meaning (and not any other kind)1Mikko
7 Aug 24 i    i      `- Re: x true. but only if it IS true.1Richard Damon
2 Aug 24 i    `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1olcott
31 Jul 24 `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue2olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal