On 2026-04-15 06:02, olcott wrote:It turns out that all of my ideas have been fully anchored
Like I said until you become an expert inYou've said this (or something similar) to several different posters now; but bear in mind that you yourself only became aware of the existence of proof-theoretic semantics a few months ago which means that you have hardly had enough time to become an expert in PTS.
proof theoretic semantics you will remain
a clueless wonder.
>
in exactly proof theoretic semantics the whole time. Also
my current ideas have taken the exact PTS basis and extended
them much more.
The current state of PTS seems to still be anchored in
what is essentially propositional logic whereas my system
has been anchored in formalized natural language semantics
for a long time.
So you're really not in a position to tell people what an expert in PTS might claim about any particular issue.--
André
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.
This required establishing a new foundation
Les messages affichés proviennent d'usenet.