Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis

Liste des GroupesRevenir à c theory 
Sujet : Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis
De : chris.m.thomasson.1 (at) *nospam* gmail.com (Chris M. Thomasson)
Groupes : sci.logic sci.math comp.theory comp.ai.philosophy
Date : 16. Apr 2026, 06:11:24
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10rpr1v$1f8cd$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
User-Agent : Mozilla Thunderbird
On 4/15/2026 2:40 PM, André G. Isaak wrote:
On 2026-04-15 14:37, olcott wrote:
On 4/15/2026 2:13 PM, André G. Isaak wrote:
On 2026-04-15 11:24, olcott wrote:
On 4/15/2026 11:51 AM, André G. Isaak wrote:
On 2026-04-15 06:02, olcott wrote:
>
Like I said until you become an expert in
proof theoretic semantics you will remain
a clueless wonder.
>
>
You'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.
>
It turns out that all of my ideas have been fully anchored
in exactly proof theoretic semantics the whole time.
>
They really haven't been.
>
You stumbled upon a framework which, in your mind, bore some vague resemblance to your own ideas, and then you projected your own ideas onto that framework. But it's very clear from what you've posted here that you don't really understand PTS as used by, e.g. Schroeder- Heister or Francez as you keep attributing things to PTS which they very clearly don't endorse.
>
>
Try to explain the details of this.
I am referring to aspects where Professor Dag Prawitz
and professor Peter Schroeder-Heister may have divergent
views. My perspective unifies these divergent views.
 So what are these divergent views and how exactly have you unified them?
 
Also
my current ideas have taken the exact PTS basis and extended
them much more.
>
Well, until you actually clarify what *you* think that PTS basis is
>
I cannot teach my reviewers the entire PTS basis.
 If you ever realize your plans to publish your work, you would be expected to do just that. PTS is not sufficiently well-known that you could get away with simply assuming it in a published paper; you would need to lay out the details of this theory.
 Doing so here would be good practice since its something you will eventually have to do anyways.
 André
  
Fwiw, I showed a color book of some of my vector fields here. Olcott can do something similar? Well, welcome to margin ville... I got rejected for off margins, gutter, ect... some times. Uggg, but I shall try, try again!
https://www.amazon.com/dp/B0D3WHP7RZ
Anyway.

Date Sujet#  Auteur
2 Apr 26 * The notion of a "well founded justification tree" will be fully elaborated (signature update)264olcott
3 Apr 26 +* Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)260Mikko
3 Apr 26 i+* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example230olcott
4 Apr 26 ii`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example229Mikko
4 Apr 26 ii `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example228olcott
4 Apr 26 ii  +- Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example1olcott
5 Apr 26 ii  `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example226Mikko
5 Apr 26 ii   `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example225olcott
5 Apr 26 ii    +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example2Ross Finlayson
5 Apr 26 ii    i`- Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example1olcott
6 Apr 26 ii    `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example222Mikko
6 Apr 26 ii     `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example221olcott
7 Apr 26 ii      `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example220Mikko
7 Apr 26 ii       `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example219olcott
8 Apr 26 ii        `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example218Mikko
8 Apr 26 ii         `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example217olcott
8 Apr 26 ii          +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction172olcott
9 Apr 26 ii          i`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction171Mikko
9 Apr 26 ii          i `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction170olcott
10 Apr 26 ii          i  `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction169Mikko
10 Apr 26 ii          i   `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction168olcott
10 Apr 26 ii          i    +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction7olcott
11 Apr 26 ii          i    i`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction6Ross Finlayson
11 Apr 26 ii          i    i `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction5olcott
11 Apr 26 ii          i    i  `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction4olcott
11 Apr 26 ii          i    i   `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction3olcott
11 Apr 26 ii          i    i    `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction2Ross Finlayson
11 Apr 26 ii          i    i     `- Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction1olcott
11 Apr 26 ii          i    `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction160Mikko
11 Apr 26 ii          i     `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction159olcott
12 Apr 26 ii          i      `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction158Mikko
12 Apr 26 ii          i       `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction157olcott
13 Apr 26 ii          i        `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction156Mikko
13 Apr 26 ii          i         `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction155olcott
14 Apr 26 ii          i          `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction154Mikko
14 Apr 26 ii          i           `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction153olcott
15 Apr 26 ii          i            `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction152Mikko
15 Apr 26 ii          i             +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction35olcott
16 Apr 26 ii          i             i`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction34Mikko
16 Apr 26 ii          i             i `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction33olcott
16 Apr 26 ii          i             i  +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction27Ross Finlayson
16 Apr 26 ii          i             i  i`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction26olcott
16 Apr 26 ii          i             i  i +- Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction1olcott
16 Apr 26 ii          i             i  i `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction24Ross Finlayson
16 Apr 26 ii          i             i  i  +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction2Ross Finlayson
16 Apr 26 ii          i             i  i  i`- Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction1Ross Finlayson
16 Apr 26 ii          i             i  i  `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction21olcott
16 Apr 26 ii          i             i  i   `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction20Ross Finlayson
16 Apr 26 ii          i             i  i    `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction19olcott
17 Apr 26 ii          i             i  i     `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction18Ross Finlayson
17 Apr 26 ii          i             i  i      `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction17olcott
17 Apr 26 ii          i             i  i       `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction16Ross Finlayson
17 Apr 26 ii          i             i  i        `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction15olcott
17 Apr 26 ii          i             i  i         +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction11olcott
17 Apr 26 ii          i             i  i         i`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction10Ross Finlayson
17 Apr 26 ii          i             i  i         i +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction8olcott
18 Apr 26 ii          i             i  i         i i`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction7Ross Finlayson
18 Apr 26 ii          i             i  i         i i `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction6olcott
18 Apr 26 ii          i             i  i         i i  `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction5Ross Finlayson
18 Apr 26 ii          i             i  i         i i   +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction3olcott
18 Apr 26 ii          i             i  i         i i   i`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction2Ross Finlayson
18 Apr 26 ii          i             i  i         i i   i `- Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction1olcott
18 Apr 26 ii          i             i  i         i i   `- Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction1olcott
17 Apr 26 ii          i             i  i         i `- Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction1olcott
17 Apr 26 ii          i             i  i         `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction3Ross Finlayson
19 Apr 26 ii          i             i  i          `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction2Ross Finlayson
19 Apr 26 ii          i             i  i           `- Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction1Ross Finlayson
17 Apr 26 ii          i             i  `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction5Mikko
17 Apr 26 ii          i             i   `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction4olcott
18 Apr 26 ii          i             i    `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction3Mikko
18 Apr 26 ii          i             i     `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction2olcott
19 Apr 26 ii          i             i      `- Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction1Mikko
18 Apr 26 ii          i             `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction116olcott
19 Apr 26 ii          i              `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction115Mikko
19 Apr 26 ii          i               `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction114olcott
20 Apr 26 ii          i                +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction30Mikko
20 Apr 26 ii          i                i`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction29olcott
21 Apr 26 ii          i                i `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction28Mikko
21 Apr 26 ii          i                i  `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction27olcott
22 Apr 26 ii          i                i   `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction26Mikko
22 Apr 26 ii          i                i    `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction25olcott
23 Apr 26 ii          i                i     `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction24Mikko
23 Apr 26 ii          i                i      `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction23olcott
24 Apr 26 ii          i                i       `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction22Mikko
24 Apr 26 ii          i                i        +* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction10olcott
25 Apr 26 ii          i                i        i`* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction9Mikko
25 Apr 26 ii          i                i        i `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction8olcott
26 Apr 26 ii          i                i        i  `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction7Mikko
26 Apr 26 ii          i                i        i   `* The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars6olcott
27 Apr 26 ii          i                i        i    `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars5Mikko
27 Apr 26 ii          i                i        i     `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars4olcott
28 Apr 26 ii          i                i        i      `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars3Mikko
28 Apr 26 ii          i                i        i       `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars2olcott
29 Apr 26 ii          i                i        i        `- Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars1Mikko
24 Apr 26 ii          i                i        `* The notion of a "well founded justification tree" <is> fully elaborated11olcott
25 Apr 26 ii          i                i         +* Re: The notion of a "well founded justification tree" <is> fully elaborated9Mikko
25 Apr 26 ii          i                i         i`* Re: The notion of a "well founded justification tree" <is> fully elaborated8olcott
26 Apr 26 ii          i                i         i `* Re: The notion of a "well founded justification tree" <is> fully elaborated7Mikko
26 Apr 26 ii          i                i         i  `* Re: The notion of a "well founded justification tree" <is> fully elaborated6olcott
27 Apr 26 ii          i                i         i   `* Re: The notion of a "well founded justification tree" <is> fully elaborated5Mikko
27 Apr 26 ii          i                i         i    `* Re: The notion of a "well founded justification tree" <is> fully elaborated4olcott
30 Apr 26 ii          i                i         `- Re: The notion of a "well founded justification tree" <is> fully elaborated1Mikko
2 May 26 ii          i                `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction83dart200
9 Apr 26 ii          `* Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example44Mikko
3 Apr 26 i`* Re: The notion of a "well founded justification tree" will be fully elaborated29olcott
24 Apr 26 `* Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)3Tristan Wibberley

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal