Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #143278

Re: Happy Recovery

From polcott <polcott333@gmail.com>
Newsgroups comp.theory, sci.logic
Subject Re: Happy Recovery
Date 2026-08-10 10:20 -0500
Message-ID <115cq7l$7utv$1@solani.org> (permalink)
References (1 earlier) <csKdS.220$Tjb8.73@fx07.ams4> <1158654$4pjc$1@solani.org> <115br7j$2tilv$4@dont-email.me> <115cjhm$7pv1$1@solani.org> <T_OcnU6FqM2IR-T3nZ2dnZfqnPqdnZ2d@giganews.com>

Cross-posted to 2 groups.

Show all headers | View raw

On 8/10/2026 9:02 AM, Ross Finlayson wrote:
> On 08/10/2026 06:26 AM, polcott wrote:
>> On 8/10/2026 1:31 AM, Fred. Zwarts wrote:
>>> 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 proof
>>>> theoretic papers by Dag Prawitz, Thomas Piecha and
>>>> Peter Schroeder-Heister.
>>>>
>>>
>>
>>
> 
> Here it's sort of understood what Prawitz' "inversion principle" is,
> 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.
> 
> 

*Foundational Papers that my work is anchored in*

Truth as an Epistemic Notion
Dag Prawitz
Topoi (2012) 31:9–16
DOI 10.1007/s11245-011-9107-6

Atomic Systems in Proof-Theoretic Semantics: Two Approaches
Thomas Piecha and Peter Schroeder-Heister
© Springer International Publishing Switzerland 2016
J. Redmond et al. (eds.), Epistemology, Knowledge and the Impact of 
Interaction,
Logic, Epistemology, and the Unity of Science 38, DOI 
10.1007/978-3-319-26506-3_2

The Definitional View of Atomic Systems in Proof-Theoretic Semantics
THOMAS PIECHA AND PETER SCHROEDER-HEISTER
In: Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016
London: College Publications 2017, pp. 185-200
(Published online with permission of College Publications)

The aim and validity of inference and argument
Dag Prawitz
Received: 5 June 2024 Accepted: 5 June 2024
DOI: 10.1111/theo.12546
This is an open access article under the terms of the Creative Commons 
Attribution-NonCommercial-NoDerivs License, which permits
use and distribution in any medium, provided the original work is 
properly cited, the use is non-commercial and no modifications or
adaptations are made.
© 2024 The Author(s). Theoria published by John Wiley & Sons Ltd on 
behalf of Stiftelsen Theoria.


-- 
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 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).

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

In the hospital with pneumonia for three weeks recovering at home on oxygen olcott <polcott333@gmail.com> - 2026-08-08 10:30 -0500
  Happy Recovery (was: Re: In the hospital with pneumonia for three weeks recovering at home on oxygen) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-09 02:20 +0800
    Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-08 16:13 -0500
      Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-10 05:40 +0800
        Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-09 18:07 -0500
        Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-10 13:13 -0700
      Re: Happy Recovery "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-08-10 08:31 +0200
        Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-10 08:26 -0500
          Re: Happy Recovery Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-10 07:02 -0700
            Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-10 10:20 -0500
          Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-11 11:22 +0300
            Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-11 07:35 -0500
              Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-12 11:46 +0300
                Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-12 08:36 -0500
                Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-13 10:07 +0300
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-13 04:05 -0500
              Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 01:55 +0800
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-14 16:25 -0500
          Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 01:49 +0800
            Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-14 16:22 -0500
              Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 13:31 +0800
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-15 05:33 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 19:26 +0800
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-15 08:32 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 22:36 +0800
                Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-15 12:33 -0700
              Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-15 10:51 +0300
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-15 05:26 -0500
                Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-16 10:29 +0300
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-16 07:34 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-16 16:03 +0800
                Re: Happy Recovery Alan Mackenzie <acm@muc.de> - 2026-08-16 12:52 +0000
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-16 21:20 +0800
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-21 12:36 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-22 02:17 +0800
                Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-21 15:02 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-22 07:35 +0800
                Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-21 21:41 -0500
        Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-10 13:12 -0700

csiph-web