Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct

Liste des GroupesRevenir à c theory 
Sujet : Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 09. Nov 2024, 20:50:01
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vgoed9$3ucjr$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
On 11/9/2024 1:32 PM, Alan Mackenzie wrote:
olcott <polcott333@gmail.com> wrote:
 
The assumption that ~Provable(PA, g) does not mean ~True(PA, g)
cannot correctly be the basis for any proof because it is only
an assumption.
 It is an assumption which swifly leads to a contradiction, therefore must
be false. 
You just said that the current foundation of logic leads to a contradiction. Too many negations you got confused.
When we assume that only provable from the axioms
of PA derives True(PA, g) then (PA ⊢ g) merely means
~True(PA, g) THIS DOES NOT LEAD TO ANY CONTRADICTION.

But you don't understand the concept of proof by
contradiction, and you lack the basic humility to accept what experts
say, so I don't expect this to sink in.
 

We know, by Gödel's Theorem that incompleteness does exist.  So the
initial proposition cannot hold, or it is in an inconsistent system.
 
Only on the basis of the assumption that
~Provable(PA, g) does not mean ~True(PA, g)
 No, there is no such assumption.  There are definitions of provable and
of true, and Gödel proved that these cannot be identical.
 
*He never proved that they cannot be identical*
The way that sound deductive inference is defined
to work is that they must be identical.
A conclusion IS ONLY true when applying truth
preserving operations to true premises.
It is very stupid of you to say that Gödel refuted that.
--
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
27 Oct 24 * The philosophy of computation reformulates existing ideas on a new basis ---588olcott
27 Oct 24 `* Re: The philosophy of computation reformulates existing ideas on a new basis ---587Richard Damon
28 Oct 24  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---586olcott
28 Oct 24   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---585Richard Damon
28 Oct 24    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---584olcott
28 Oct 24     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---583Richard Damon
28 Oct 24      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---582olcott
29 Oct 24       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---581Richard Damon
29 Oct 24        +* Re: The philosophy of computation reformulates existing ideas on a new basis ---466olcott
29 Oct 24        i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
29 Oct 24        i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---464Mikko
29 Oct 24        i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---270olcott
29 Oct 24        i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---242Andy Walker
29 Oct 24        i ii+* Re: The philosophy of computation reformulates existing ideas on a new basis ---9olcott
29 Oct 24        i iii+* Re: The philosophy of computation reformulates existing ideas on a new basis ---7joes
29 Oct 24        i iiii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---6olcott
30 Oct 24        i iiii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---5Richard Damon
30 Oct 24        i iiii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---4olcott
30 Oct 24        i iiii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Richard Damon
30 Oct 24        i iiii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i iiii     `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i iii`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---232Jeff Barnett
30 Oct 24        i ii +* Re: The philosophy of computation reformulates existing ideas on a new basis ---4olcott
30 Oct 24        i ii i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Richard Damon
30 Oct 24        i ii i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i ii i  `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---227Andy Walker
30 Oct 24        i ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i ii  i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
31 Oct 24        i ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---224Mikko
31 Oct 24        i ii   +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3olcott
1 Nov 24        i ii   i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
1 Nov 24        i ii   i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
31 Oct 24        i ii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---220Andy Walker
31 Oct 24        i ii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---219olcott
1 Nov 24        i ii     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---218Richard Damon
1 Nov 24        i ii      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---217olcott
1 Nov 24        i ii       +* Re: The philosophy of computation reformulates existing ideas on a new basis ---207olcott
1 Nov 24        i ii       i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---205Mikko
1 Nov 24        i ii       ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---204olcott
2 Nov 24        i ii       ii +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
2 Nov 24        i ii       ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---202Mikko
2 Nov 24        i ii       ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---187Andy Walker
2 Nov 24        i ii       ii  i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
2 Nov 24        i ii       ii  ii`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
2 Nov 24        i ii       ii  i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
3 Nov 24        i ii       ii  i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---183Mikko
3 Nov 24        i ii       ii  i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---15olcott
3 Nov 24        i ii       ii  i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---12Mike Terry
3 Nov 24        i ii       ii  i ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---11olcott
3 Nov 24        i ii       ii  i ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---10Richard Damon
3 Nov 24        i ii       ii  i ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---9olcott
3 Nov 24        i ii       ii  i ii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---8Richard Damon
3 Nov 24        i ii       ii  i ii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---7olcott
4 Nov 24        i ii       ii  i ii     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---6Richard Damon
4 Nov 24        i ii       ii  i ii      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---5olcott
4 Nov 24        i ii       ii  i ii       +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
4 Nov 24        i ii       ii  i ii       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---3joes
5 Nov 24        i ii       ii  i ii        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
5 Nov 24        i ii       ii  i ii         `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
3 Nov 24        i ii       ii  i i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
4 Nov 24        i ii       ii  i i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
4 Nov 24        i ii       ii  i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---167Andy Walker
4 Nov 24        i ii       ii  i  +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1olcott
4 Nov 24        i ii       ii  i  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---165Mikko
5 Nov 24        i ii       ii  i   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---164Andy Walker
5 Nov 24        i ii       ii  i    +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3olcott
5 Nov 24        i ii       ii  i    i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
5 Nov 24        i ii       ii  i    i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
5 Nov 24        i ii       ii  i    +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Mikko
6 Nov 24        i ii       ii  i    i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---2Andy Walker
6 Nov 24        i ii       ii  i    i `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
6 Nov 24        i ii       ii  i    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---157Alan Mackenzie
6 Nov 24        i ii       ii  i     +* Re: The philosophy of logic reformulates existing ideas on a new basis ---155olcott
6 Nov 24        i ii       ii  i     i+* Re: The philosophy of logic reformulates existing ideas on a new basis ---150Alan Mackenzie
7 Nov 24        i ii       ii  i     ii`* Re: The philosophy of logic reformulates existing ideas on a new basis ---149olcott
8 Nov 24        i ii       ii  i     ii `* Re: The philosophy of logic reformulates existing ideas on a new basis ---148Alan Mackenzie
8 Nov 24        i ii       ii  i     ii  `* Re: The philosophy of logic reformulates existing ideas on a new basis ---147olcott
8 Nov 24        i ii       ii  i     ii   +* Re: The philosophy of logic reformulates existing ideas on a new basis ---145Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---144olcott
8 Nov 24        i ii       ii  i     ii   i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---140Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---139olcott
8 Nov 24        i ii       ii  i     ii   i i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---137Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---136olcott
8 Nov 24        i ii       ii  i     ii   i i i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---128Richard Damon
8 Nov 24        i ii       ii  i     ii   i i i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---127olcott
8 Nov 24        i ii       ii  i     ii   i i i i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---126Richard Damon
8 Nov 24        i ii       ii  i     ii   i i i i  `* Re: The philosophy of logic reformulates existing ideas on a new basis ---125olcott
8 Nov 24        i ii       ii  i     ii   i i i i   `* Re: The philosophy of logic reformulates existing ideas on a new basis ---124Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i    `* Re: The philosophy of logic reformulates existing ideas on a new basis ---123olcott
9 Nov 24        i ii       ii  i     ii   i i i i     `* Re: The philosophy of logic reformulates existing ideas on a new basis ---122Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i      `* Re: The philosophy of logic reformulates existing ideas on a new basis ---121olcott
9 Nov 24        i ii       ii  i     ii   i i i i       +* Re: The philosophy of logic reformulates existing ideas on a new basis ---4Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i       i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---3olcott
9 Nov 24        i ii       ii  i     ii   i i i i       i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---2Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i       i  `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
9 Nov 24        i ii       ii  i     ii   i i i i       `* Re: The philosophy of logic reformulates existing ideas on a new basis ---116joes
9 Nov 24        i ii       ii  i     ii   i i i i        `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct115olcott
9 Nov 24        i ii       ii  i     ii   i i i i         +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i         +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct104Alan Mackenzie
9 Nov 24        i ii       ii  i     ii   i i i i         +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct8joes
10 Nov 24        i ii       ii  i     ii   i i i i         `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Mikko
8 Nov 24        i ii       ii  i     ii   i i i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---7Alan Mackenzie
9 Nov 24        i ii       ii  i     ii   i i `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
8 Nov 24        i ii       ii  i     ii   i +- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Richard Damon
8 Nov 24        i ii       ii  i     ii   i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---2joes
9 Nov 24        i ii       ii  i     ii   `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
7 Nov 24        i ii       ii  i     i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---4Richard Damon
7 Nov 24        i ii       ii  i     `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
2 Nov 24        i ii       ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---12olcott
4 Nov 24        i ii       ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
2 Nov 24        i ii       i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
1 Nov 24        i ii       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---9Mikko
29 Oct 24        i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---16joes
30 Oct 24        i i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---10Mikko
29 Oct 24        i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---193olcott
29 Oct 24        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---114olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal