Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.

Liste des GroupesRevenir à theory 
Sujet : Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theory
Date : 21. Mar 2025, 21:20:27
Autres entêtes
Organisation : Fix this later
Message-ID : <vrkhmb$29m93$2@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
User-Agent : Mozilla Thunderbird
On 21/03/2025 19:30, Keith Thompson wrote:
My understanding is that Gödel proved that there are statements
that are true but not provable.
Yes. Incompleteness.

It's still not possible for both
X and not-X to be provable.  If proofs exist for both, at least
one of the proofs must be flawed.
I'd be interested to see a proof of that conjecture.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

Date Sujet#  Auteur
17 Mar 25 * Why Tarski is wrong79olcott
17 Mar 25 +* Re: Why Tarski is wrong74Richard Damon
17 Mar 25 i`* Re: Why Tarski is wrong73olcott
18 Mar 25 i +- Re: Why Tarski is wrong1Richard Damon
18 Mar 25 i +- Re: Why Tarski is wrong1Richard Damon
18 Mar 25 i `* Re: Why Tarski is wrong70Mikko
18 Mar 25 i  `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.69olcott
19 Mar 25 i   +* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.67Richard Damon
19 Mar 25 i   i`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.66olcott
20 Mar 25 i   i `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.65Richard Damon
20 Mar 25 i   i  `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.64olcott
21 Mar 25 i   i   +* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.61Richard Damon
21 Mar 25 i   i   i`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.60olcott
21 Mar 25 i   i   i +* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.42Mikko
21 Mar 25 i   i   i i+* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.31Richard Heathfield
21 Mar 25 i   i   i ii+* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.17Richard Damon
21 Mar 25 i   i   i iii+* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.15Richard Heathfield
21 Mar 25 i   i   i iiii`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.14olcott
22 Mar 25 i   i   i iiii +* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.2Richard Damon
22 Mar 25 i   i   i iiii i`- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Heathfield
22 Mar 25 i   i   i iiii `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.11Mikko
22 Mar 25 i   i   i iiii  `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.10olcott
22 Mar 25 i   i   i iiii   +* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.3Mikko
22 Mar 25 i   i   i iiii   i`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.2olcott
23 Mar 25 i   i   i iiii   i `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Mikko
22 Mar 25 i   i   i iiii   `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.6Richard Damon
22 Mar 25 i   i   i iiii    `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.5olcott
23 Mar 25 i   i   i iiii     `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.4Richard Damon
23 Mar 25 i   i   i iiii      `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.3olcott
23 Mar 25 i   i   i iiii       +- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
24 Mar 25 i   i   i iiii       `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1joes
22 Mar 25 i   i   i iii`- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Mikko
21 Mar 25 i   i   i ii+* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.2olcott
22 Mar 25 i   i   i iii`- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
21 Mar 25 i   i   i ii+* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.9Keith Thompson
21 Mar 25 i   i   i iii+* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.4Richard Heathfield
22 Mar 25 i   i   i iiii`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.3Richard Damon
22 Mar 25 i   i   i iiii `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.2Richard Heathfield
22 Mar 25 i   i   i iiii  `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
21 Mar 25 i   i   i iii`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.4olcott
22 Mar 25 i   i   i iii `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.3Richard Damon
22 Mar 25 i   i   i iii  `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.2olcott
22 Mar 25 i   i   i iii   `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
22 Mar 25 i   i   i ii`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.2Mikko
22 Mar 25 i   i   i ii `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Heathfield
21 Mar 25 i   i   i i`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.10olcott
22 Mar 25 i   i   i i +- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
22 Mar 25 i   i   i i `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.8Mikko
22 Mar 25 i   i   i i  `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.7olcott
22 Mar 25 i   i   i i   +- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
23 Mar 25 i   i   i i   `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.5Mikko
23 Mar 25 i   i   i i    `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.4olcott
23 Mar 25 i   i   i i     +- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
24 Mar 25 i   i   i i     +- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1joes
24 Mar 25 i   i   i i     `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Mikko
21 Mar 25 i   i   i +* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.4Richard Damon
21 Mar 25 i   i   i i`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.3olcott
22 Mar 25 i   i   i i +- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
22 Mar 25 i   i   i i `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
21 Mar 25 i   i   i `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.13Richard Damon
21 Mar 25 i   i   i  `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.12olcott
22 Mar 25 i   i   i   `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.11Richard Damon
22 Mar 25 i   i   i    +* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.7olcott
22 Mar 25 i   i   i    i+* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.5Richard Damon
22 Mar 25 i   i   i    ii+* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.2olcott
22 Mar 25 i   i   i    iii`- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
22 Mar 25 i   i   i    ii`* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.2Mikko
22 Mar 25 i   i   i    ii `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
22 Mar 25 i   i   i    i`- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
22 Mar 25 i   i   i    `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.3olcott
22 Mar 25 i   i   i     +- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
22 Mar 25 i   i   i     `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Richard Damon
21 Mar 25 i   i   `* Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.2Mikko
21 Mar 25 i   i    `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1olcott
19 Mar 25 i   `- Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.1Mikko
17 Mar 25 `* Re: Why Tarski is wrong4Richard Damon
17 Mar 25  `* Re: Why Tarski is wrong3olcott
17 Mar 25   +- Re: Why Tarski is wrong1Richard Damon
17 Mar 25   `- Re: Why Tarski is wrong1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal