From Newsgroup: comp.ai.philosophy

On 1/26/2026 8:51 PM, Richard Damon wrote:

On 1/26/26 5:44 PM, olcott wrote:>>

"true on the basis of meaning expressed in language"
Inherently includes every element of the entire body
of knowledge that can be expressed in any formal
mathematical or natural language.

ONLY if meaning means the (possibly infinite) operation of the logical operations of the system to its axioms.

You are the one that told me that proofs are
not infinite. Did you forget that?
--
Copyright 2026 Olcott

My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of knowledge.

This required establishing a new foundation
for correct reasoning.
--- Synchronet 3.21b-Linux NewsLink 1.2