Re: This makes all Analytic(Olcott) truth computable

Liste des GroupesRevenir à s logic 
Sujet : Re: This makes all Analytic(Olcott) truth computable
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logic
Date : 19. Aug 2024, 10:49:04
Autres entêtes
Organisation : -
Message-ID : <v9v0u0$2qajg$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
User-Agent : Unison/2.2
On 2024-08-18 11:51:33 +0000, olcott said:

On 8/18/2024 5:28 AM, Mikko wrote:
On 2024-08-16 22:16:59 +0000, olcott said:
 
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:
 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.
 That is not sufficient. They also had to Comprehension.
 
Axiom Schema of Specification: We can build a sub-set from another set and a set of conditions. (Which implies the existance of the empty set)
 This is added to keep most of Comprenesion but not Russell's set.
 
 All they did was (as I already said) was redefine the notion of a set.
That this can still be called set theory seems redundant.
They did, as both Richard Damon and I already said, much more. They
also explained their rationale, worked out various consequnces of
their axioms and compared them to expectations, and developed better
sets of axioms.
One consequence of ZF axioms is that there is no set that contains all
other sets as members. Some regard this as a defect and have developed
set thories that have a universal set that contains all other sets as
members (and usually itself, too).
Some common forms of second order logic use sets. Those sets are different
from the sets of ZFC. In ZFC all members of sets are sets but in such
second order logic a set cannot be a memeber of set.
--
Mikko

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