Re: This makes all Analytic(Olcott) truth computable

Liste des GroupesRevenir à s logic 
Sujet : Re: This makes all Analytic(Olcott) truth computable
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic
Date : 17. Aug 2024, 21:54:51
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9qv6c$1tedb$34@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
User-Agent : Mozilla Thunderbird
On 8/17/2024 2:41 PM, Richard Damon wrote:
On 8/17/24 3:12 PM, olcott wrote:
On 8/17/2024 1:45 PM, Richard Damon wrote:
On 8/17/24 2:19 PM, olcott wrote:
On 8/17/2024 1:10 PM, Richard Damon wrote:
On 8/17/24 2:04 PM, olcott wrote:
On 8/17/2024 12:51 PM, Richard Damon wrote:
>
In other words, you are just admitting you don't understand how logic works.
>
If you CHANGE an existing axiom, everything that depended on that axiom needs to be re-verified.
>
If you ADD a new axiom, it doesn't affect ANY argument that doesn't try to use it, and thus doesn't affect Russel's Paradox.
>
OK.
>
I add the definition for the True(L, x) predicate
and every instance of the notion of True changes
in every formal mathematical logic system.
>
>
But either that changes what that instance means,
>
When I stipulate what True(L,x) means then that is done.
It does not go on and in any circle endlessly redefining itself.
>
Nope. You can say for YOUR usage, what you mean by True(L,x). You can't force others to use that,
>
Likewise ZFC is a mere opinion that most everyone chooses to ignore.
 No, it isn't an "opinion", it is a set of definitions, and the logic system that comes out of them.
 People are of course allowed to choose which ever set theory they want to use, but if they choose to use Naive Set Theory, they have the problem that it is known to be inconsistant, and thus any "proof" they build is suspect.
 They can also shoose some other Set theory  Theory, maybe even just ZF, or to one of the derived theorys like Morse-Kelly, or to something different like one of the New Foundations Systems. The key is you tend to need to specify if you differ from ZFC which is generally considered the default.
 You seem to be having trouble with the words you are using.
 
Not that. I am taking the hypothetical extreme position
to see where you set your own boundaries on this.

>
or reinterprete what others have said or proven based on you stipulation, in fact, by stipulating that definition, anythig that uses any other definition of it becomes out of bounds for your argument.
>
>
Everything in logic the depended on some notion of True is
changed. Any logic operations that were not truth preserving
are discarded. The notion of valid inference is also changed
because it was not truth preserving.
>
>
And needs to be reproved to see if it is still true.
>
>
When a conclusion is not a necessary consequence of all of its
premises then the argument is invalid.
>
>
Right, so YOUR argument here is invalid.
>
>
It is proven totally true entirely on the basis of the
meaning of its words. Math conventions to the contrary
simply ignore this.
>
 Nope. You are just proving by the meaning of the words that you are totally ignorant of how logic works.
 Sorry, but that is the facts.
 
Logic is currently defined to work contrary to the way that
truth itself actually works. No logician ever noticed this
because testing the coherence of basic principles of logic
is outside of the scope of logicians.
They are generally a learned-by-rote bunch. Philosophy of
logic delves into this more deeply the problem. The
learned-by-rote bunch assumes that learning by rote makes
them philosophers. They tend to push actual philosophers
out by denigrating them in the philosophy of logic spaces.
Wittgenstein had no patience with them.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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