On 8/10/2026 1:31 AM, Fred. Zwarts wrote:Here it's sort of understood what Prawitz' "inversion principle" is,Op 08.aug.2026 om 23:13 schreef polcott:>On 8/8/2026 1:20 PM, Johann 'Myrkraverk' Oskarsson wrote:>On 08/08/2026 11:30 PM, olcott wrote:>
>
> My 28 year goal has been to make
> "true on the basis of meaning expressed in language"
> reliably computable for the entire body of general 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).
>
Do I understand you correctly, that you plan to make a compiler for
the ML language from 1997? Which stands for M.L., the /meta language/,
and never /machine learning/.
>
>
Happy compiler making! I can point you in some directions, but I
believe you have the basics covered!
I spent 28 years
You told us that this sentence has no truth value, because of a
pathological self-reference with the word 'I'.
>
>> figuring out how to make the body of> general knowledge fully
computable from first principles.>>
I can now explain
Again a pathological self-reference. Can we assume that you mean no
truth value? Is it not true?
>
If you understand what a directed acyclic graph
is then you will understand how you are wrong.
>>> my work in terms of adaptations and> improvements to the ideas of>
five foundational prooftheoretic papers by Dag Prawitz, Thomas Piecha and>
Peter Schroeder-Heister.
>
>
and "adaptations and improvements" don't include "maladaptations
and disfigurements".
Also "Aristotle won't be made a fool, given Chrysippus not Philo".
Prawitz actually technically defines the word "recovery",
and it's resolving references, not balking at circularity.
So, "happy recovery" here is for Prawitz and others who make
for a wider, fuller dialectic and won't get fooled by pathological
reasoning: lack thereof.
Not sock-puppet-bots the logical/mathematical howler trolls.
| Date | Sujet | # | Auteur | |
| 8 Aug 26 |  In the hospital with pneumonia for three weeks recovering at home on oxygen | 25 | olcott | |
| 8 Aug 26 |  Re: Happy Recovery | 24 | polcott | |
| 10 Aug 26 |    Re: Happy Recovery | 1 | polcott | |
| 10 Aug 26 | Re: Happy Recovery | 21 | Fred. Zwarts | |
| 10 Aug 26 |  Re: Happy Recovery | 19 | polcott | |
| 10 Aug 26 | Re: Happy Recovery | 2 | Ross Finlayson | |
| 10 Aug 26 | Re: Happy Recovery | 1 | polcott | |
| 11 Aug 26 | Re: Happy Recovery | 7 | Mikko | |
| 11 Aug 26 | Re: Happy Recovery | 6 | polcott | |
| 12 Aug 26 | Re: Happy Recovery | 4 | Mikko | |
| 12 Aug 26 | Re: Happy Recovery | 3 | olcott | |
| 13 Aug 26 | Re: Happy Recovery | 2 | Mikko | |
| 13 Aug 26 | Re: Happy Recovery | 1 | polcott | |
| 14 Aug22:25 | Re: Happy Recovery | 1 | polcott | |
| 14 Aug22:22 | Re: Happy Recovery | 9 | polcott | |
| 15 Aug08:51 | Re: Happy Recovery | 5 | Mikko | |
| 15 Aug11:26 | Re: Happy Recovery | 4 | polcott | |
| 16 Aug08:29 | Re: Happy Recovery | 2 | Mikko | |
| 16 Aug13:34 | Re: Happy Recovery | 1 | polcott | |
| 16 Aug13:52 | Re: Happy Recovery | 1 | Alan Mackenzie | |
| 15 Aug11:33 | Re: Happy Recovery | 3 | polcott | |
| 15 Aug14:32 | Re: Happy Recovery | 2 | polcott | |
| 15 Aug20:33 | Re: Happy Recovery | 1 | Chris M. Thomasson | |
| 10 Aug 26 | Re: Happy Recovery | 1 | Chris M. Thomasson | |
| 10 Aug 26 | Re: Happy Recovery | 1 | Chris M. Thomasson |
Les messages affichés proviennent d'usenet.