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

On 2024-11-09 14:45:12 +0000, olcott said:

On 11/9/2024 5:01 AM, joes wrote:

Am Fri, 08 Nov 2024 18:39:34 -0600 schrieb olcott:

On 11/8/2024 6:33 PM, Richard Damon wrote:

On 11/8/24 6:36 PM, olcott wrote:

On 11/8/2024 3:59 PM, Richard Damon wrote:

On 11/8/24 4:17 PM, olcott wrote:

On 11/8/2024 12:31 PM, Richard Damon wrote:

On 11/8/24 1:08 PM, olcott wrote:

On 11/8/2024 12:02 PM, Richard Damon wrote:

On 11/8/24 12:25 PM, olcott wrote:
 

That formal systems that only apply truth preserving operations
to expressions of their formal language that have been
stipulated to be true cannot possibly be undecidable is proven
to be over-your-head on the basis that you have no actual
reasoning as a rebuttal.

Gödel showed otherwise.

 That is counter-factual within my precise specification.
 When truth is only derived by starting with
truth and applying truth preserving operations
then unprovable in PA becomes untrue in PA.

What that definition defines is usually not called "truth" but "theorem".
The words "true" and "truth" are usually reserved for interpretations.

Everyone is so sure that whatever I say must be wrong

Even you would think so if you could understand what your words really
mean.
--
Mikko