1. Forum
  2. Newsgroups
  3. comp.ai.philosophy

  • "true on the basis of meaning expressed in language"

    From olcott@NoOne@NoWhere.com to sci.logic,sci.math,comp.theory,comp.ai.philosophy,alt.philosophy on Mon Jan 26 21:28:20 2026
    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