Newsportal USENET - Re: True on the basis of meaning

Re: True on the basis of meaning

Sujet : Re: True on the basis of meaning
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theory
Date : 17. May 2024, 19:23:01

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <v283pl$29rd7$3@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
User-Agent : Mozilla Thunderbird

On 5/17/2024 10:49 AM, Mikko wrote:

On 2024-05-16 15:05:44 +0000, olcott said:

On 5/16/2024 3:44 AM, Mikko wrote:
On 2024-05-15 14:27:40 +0000, olcott said:
>
On 5/15/2024 3:39 AM, Mikko wrote:
On 2024-05-14 14:42:36 +0000, olcott said:
>
On 5/14/2024 4:08 AM, Mikko wrote:
On 2024-05-13 14:48:21 +0000, olcott said:
>
On 5/13/2024 4:23 AM, Mikko wrote:
On 2024-05-12 18:36:22 +0000, olcott said:
>
On 5/12/2024 1:22 PM, Richard Damon wrote:
On 5/12/24 2:06 PM, olcott wrote:
On 5/12/2024 12:52 PM, Richard Damon wrote:
On 5/12/24 1:19 PM, olcott wrote:
On 5/12/2024 10:33 AM, Mikko wrote:
On 2024-05-12 14:22:25 +0000, olcott said:
>
On 5/12/2024 2:42 AM, Mikko wrote:
On 2024-05-11 04:27:03 +0000, olcott said:
>
On 5/10/2024 10:49 PM, Richard Damon wrote:
On 5/10/24 11:35 PM, olcott wrote:
On 5/10/2024 10:16 PM, Richard Damon wrote:
On 5/10/24 10:36 PM, olcott wrote:
The entire body of expressions that are {true on the basis of their
meaning} involves nothing more or less than stipulated relations between
finite strings.
>
>
You do know that what you are describing when applied to Formal Systems are the axioms of the system and the most primitively provable theorems.
>
>
YES and there are axioms that comprise the verbal model of the
actual world, thus Quine was wrong.
>
You don't understand what Quite was talking about,
>
>
I don't need to know anything about what he was talking about
except that he disagreed with {true on the basis or meaning}.
I don't care or need to know how he got to an incorrect answer.
>
>
>
You don't seem to understand what "Formal Logic" actually means.
>
>
Ultimately it is anchored in stipulated relations between finite
strings (AKA axioms) and expressions derived from applying truth
preserving operations to these axioms.
>
Which you don't seem to understand what that means.
>
>
I understand this much more deeply than you do.
>
In and about formal logic there is no valid deep understanding. Only
a shallow understanding can be valid.
>
>
It turns out that ALL {true on the basis of meaning} that includes
ALL of logic and math has its entire foundation in relations between
finite strings. Some are stipulated to be true (axioms) and some
are derived by applying truth preserving operations to these axioms.
>
Usually the word "true" is not used when talking about uninterpreted
formal systems. Axioms and what can be inferred from axioms are called
"theorems". Theorems can be true in some interpretations and false in
another. If the system is incosistent then there is no interpretation
where all axioms are true.
>
>
I am not talking about how these things are usually spoken of. I am
talking about my unique contribution to the actual philosophical
foundation of {true on the basis of meaning}.
>
Which means you need to be VERY clear about what you claim to be "usually spoken of" and what is your unique contribution.
>
You then need to show how your contribution isn't in conflict with the classical parts, but follows within its definitions.
>
If you want to say that something in the classical theory is not actually true, then you need to show how removing that piece doesn't affect the system. This seems to be a weak point of yours, you think you can change a system, and not show that the system can still exist as it was.
>
>
This is entirely comprised of relations between finite strings:
some of which are stipulated to have the semantic value of Boolean
true, and others derived from applying truth preserving operations
to these finite string.
>
This is approximately equivalent to proofs from axioms. It is not
exactly the same thing because an infinite sequence of inference
steps may sometimes be required. It is also not exactly the same
because some proofs are not restricted to truth preserving operations.
>
>
So, what effect does that difference have?
>
You seem here to accept that some truths are based on an infinite sequence of operations, while you admit that proofs are finite sequences, but it seems you still assert that all truths must be provable.
>
>
I did not use the term "provable" or "proofs" these only apply to
finite sequences. {derived from applying truth preserving operations}
can involve infinite sequences.
>
But if true can come out of an infinite sequences, and some need such an infinite sequence, but proof requires a finite sequence, that shows that there will exists some statements are true, but not provable.
>
>
...14 Every epistemological antinomy can likewise be used for a similar undecidability proof...(Gödel 1931:43-44)
>
When we look at the way that {true on the basis of meaning}
actually works, then all epistemological antinomies are simply untrue.
>
And Godel would agree to that. You just don't understand what that line 14 means.
>
>
It can be proven in a finite sequence of steps that
epistemological antinomies are simply untrue.
>
And also that every claim from which an epistemological antinomy could
be proven must be untrue.
>
>
There are no sequence of truth preserving operations from expressions that have been stipulated to be true that derive X or ~X when X is an
epistemological antinomy, thus X is rejected as not a truth-bearer.
>
That depends on stipulations. If someone stipulates enough then
it is possible to derive an epistemological antimomy.
>
>
An accurate model of all of the general knowledge of the actual world.
Expressions that are stipulated to be true must actually be true.
>
Does that mean that everything uncertain is excluded from "general
knowledge of the actual world"? If so, then very little is left.
>
>
My purpose is to show a simple easy way to reject epistemological
antinomies such as the Liar Paradox from forming the basis for any
formal proof.
>
How is an accureate model of all general knowledge of the actual world
relevant to that?
>
>
We assume that it has every single detail of human general knowledge
encoded as formalized natural language expressions having stipulated
relations to other formalized natural language expressions. In other
words this entire body of knowledge is specified relations between
finite strings.
>
It can also be provided with context specific information on a
case-by-case basis.
If I understood your words (that are not as clear as they could) you
mean that you cannot reject epsitemological antinomies unless you have
every single detail of human general knowledge encoded as formalized
natural language expressions.

I am specifying the algorithm for a correct True(L,x) and False(L,x)
predicates that operate on every element of the entire body of
finite string expressions that are {true on the basis of their meaning}
and this includes all of expressions of math, logic and computations
specified as finite strings.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Les messages affichés proviennent d'usenet.

Date	Sujet	#	Auteur
11 May 24	True on the basis of meaning	209	olcott
11 May 24	Re: True on the basis of meaning	208	Richard Damon
11 May 24	Re: True on the basis of meaning	207	olcott
11 May 24	Re: True on the basis of meaning	206	Richard Damon
11 May 24	Re: True on the basis of meaning	205	olcott
11 May 24	Re: True on the basis of meaning	1	Richard Damon
12 May 24	Re: True on the basis of meaning	203	Mikko
12 May 24	Re: True on the basis of meaning	202	olcott
12 May 24	Re: True on the basis of meaning	201	Mikko
12 May 24	Re: True on the basis of meaning	200	olcott
12 May 24	Re: True on the basis of meaning	183	Richard Damon
12 May 24	Re: True on the basis of meaning	182	olcott
12 May 24	Re: True on the basis of meaning	181	Richard Damon
12 May 24	Re: True on the basis of meaning	180	olcott
12 May 24	Re: True on the basis of meaning	163	Richard Damon
12 May 24	Re: True on the basis of meaning	162	olcott
13 May 24	Re: True on the basis of meaning	161	Richard Damon
13 May 24	Re: True on the basis of meaning	160	olcott
13 May 24	Re: True on the basis of meaning	159	Richard Damon
13 May 24	Re: True on the basis of meaning	158	olcott
13 May 24	Re: True on the basis of meaning	2	olcott
13 May 24	Re: True on the basis of meaning	1	Richard Damon
13 May 24	Re: True on the basis of meaning	155	Richard Damon
13 May 24	Re: True on the basis of meaning	154	olcott
13 May 24	Re: True on the basis of meaning	153	Richard Damon
13 May 24	Re: True on the basis of meaning	152	olcott
13 May 24	Re: True on the basis of meaning	151	Richard Damon
13 May 24	Re: True on the basis of meaning --- Good job Richard !	150	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard !	149	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard !	2	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard !	1	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	146	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	145	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	4	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	3	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	4	olcott
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	3	Richard Damon
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	4	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	immibis
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	126	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	125	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	124	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	123	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	5	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	4	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	3	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	115	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	114	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	113	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	112	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	111	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	110	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	109	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	108	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	105	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	104	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	103	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	102	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	101	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	100	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	99	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	98	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	97	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	96	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	95	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	94	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	93	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	92	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	91	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	90	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	87	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	86	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	85	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	84	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	83	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	82	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	81	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	80	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	79	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	63	Mikko
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	62	olcott
20 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	61	Mikko
20 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	60	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	15	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
13 May 24	Re: True on the basis of meaning	16	Mikko
13 May 24	Re: True on the basis of meaning --- Tarski	16	olcott