Re: This makes all Analytic(Olcott) truth computable --- truth-bearer

Liste des GroupesRevenir à s logic 
Sujet : Re: This makes all Analytic(Olcott) truth computable --- truth-bearer
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logic
Date : 23. Aug 2024, 09:34:07
Autres entêtes
Organisation : -
Message-ID : <va9hhv$rnd8$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
User-Agent : Unison/2.2
On 2024-08-22 13:23:39 +0000, olcott said:

On 8/22/2024 7:06 AM, Mikko wrote:
On 2024-08-21 12:47:37 +0000, olcott said:
 
 Formal systems kind of sort of has some vague idea of what True
means. Tarski "proved" that there is no True(L,x) that can be
consistently defined.
https://en.wikipedia.org/wiki/ Tarski%27s_undefinability_theorem#General_form
 *The defined predicate True(L,x) fixed that*
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 then x is simply
untrue in F.
 Whenever there is no sequence of truth preserving from
x or ~x to its meaning in L of F then x has no truth-maker
in F and x not a truth-bearer in F. We never get to x is
undecidable in F.
 Tarski proved that True is undefineable in certain formal systems.
Your definition is not expressible in F, at least not as a definition.
 
 Like ZFC redefined the foundation of all sets I redefine
the foundation of all formal systems.
You cannot redefine the foundation of all formal systems. Every formal
system has the foundation it has and that cannot be changed. Formal
systems are eternal and immutable.
--
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
3 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
16 Aug 24 i    i      i     i       i  i i +* Re: This makes all Analytic(Olcott) truth computable131Richard Damon
16 Aug 24 i    i      i     i       i  i i i`* Re: This makes all Analytic(Olcott) truth computable130olcott
16 Aug 24 i    i      i     i       i  i i i +* Re: This makes all Analytic(Olcott) truth computable112Richard Damon
16 Aug 24 i    i      i     i       i  i i i i`* Re: This makes all Analytic(Olcott) truth computable111olcott
16 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
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 computable7Richard 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 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