From Newsgroup: comp.ai.philosophy
On 5/23/2026 10:53 AM, Ross Finlayson wrote:
On 05/23/2026 08:31 AM, olcott wrote:
Sock-puppet
In other words you as too damned lazy to attempt
to find an actual flaw so you spew baseless rhetoric
instead.
Although you have proven that your yourself are very
intelligent by a recent critique of my work your above
comment is merely stupid and lazy.
--
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.
The complete structure of this system is now defined.
The entire body of knowledge expressed in language is
comprised of two types of relations between finite strings:
(a) *Axioms* Expressions of language that are stipulated to be true.
My system bridges the analytic/synthetic distinction by
expressly encoding all empirical "atomic facts" in a formal
language such as CycL of the Cyc project.
(b) *Inference Rules* Expressions of language that are semantically
entailed syntactically from (a) and/or (b).
--- Synchronet 3.22a-Linux NewsLink 1.2