Sujet : Re: Undecidability based on epistemological antinomies V2 --Mendelson--
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logicDate : 26. Apr 2024, 10:42:20
Autres entêtes
Organisation : -
Message-ID : <v0fpdc$3j50e$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Unison/2.2
On 2024-04-25 14:27:23 +0000, olcott said:
On 4/25/2024 3:26 AM, Mikko wrote:
epistemological antinomy
It <is> part of the current (thus incorrect) definition
of undecidability because expressions of language that
are neither true nor false (epistemological antinomies)
do prove undecidability even though these expressions
are not truth bearers thus not propositions.
That a definition is current does not mean that is incorrect.
An epistemological antinomy can only be an undecidable sentence
if it can be a sentence. What epistemological antinomies you
can find that can be expressed in, say, first order goup theory
or first order arithmetic or first order set tehory?
-- Mikko
| Date | Sujet | # | | Auteur |
| 18 Apr 24 |  Undecidability based on epistemological antinomies V2 | 323 | | olcott |
| 18 Apr 24 |  Re: Undecidability based on epistemological antinomies V2 | 262 | | Richard Damon |
| 18 Apr 24 |   Re: Undecidability based on epistemological antinomies V2 | 261 | | olcott |
| 19 Apr 24 |  Re: Undecidability based on epistemological antinomies V2 | 260 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 259 | | olcott |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 258 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 56 | | olcott |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 5 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 4 | | olcott |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 3 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |
| 20 Apr 24 |  Re: Undecidability based on epistemological antinomies V2 | 1 | | Richard Damon |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 50 | | Mikko |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 49 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 47 | | Mikko |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 46 | | olcott |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 43 | | Mikko |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 10 | | olcott |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | Mikko |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | olcott |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | Mikko |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | olcott |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Mikko |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | Richard Damon |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | olcott |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Mikko |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 32 | | olcott |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 31 | | Mikko |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 30 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 29 | | Mikko |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 28 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 27 | | Mikko |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 26 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 7 | | Ross Finlayson |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 6 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | Richard Damon |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | Ross Finlayson |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | Richard Damon |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Ross Finlayson |
| 27 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 17 | | Mikko |
| 27 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 16 | | olcott |
| 28 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 15 | | Mikko |
| 28 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 14 | | olcott |
| 29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 13 | | Mikko |
| 29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 12 | | olcott |
| 29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 11 | | Mikko |
| 29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 10 | | olcott |
| 30 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 9 | | Mikko |
| 30 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 8 | | olcott |
| 1 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 7 | | Mikko |
| 1 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 6 | | olcott |
| 2 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | Mikko |
| 2 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | olcott |
| 3 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | Mikko |
| 3 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | olcott |
| 4 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Mikko |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 1 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 199 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 3 | | Richard Damon |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 2 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | Richard Damon |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 195 | | Mikko |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 194 | | olcott |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 3 | | Richard Damon |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 2 | | olcott |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | Richard Damon |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 190 | | Mikko |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 189 | | olcott |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 188 | | Mikko |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 187 | | olcott |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 186 | | Mikko |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | olcott |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 184 | | olcott |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 183 | | Mikko |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 182 | | olcott |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 181 | | Mikko |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 180 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 149 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 148 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 10 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 9 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 8 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 7 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 6 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 2 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 2 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Ross Finlayson |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 137 | | Mikko |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 136 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 134 | | Mikko |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 26 | | olcott |
| 26 Apr 24 | D simulated by H never halts no matter what H does | 107 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 30 | | Mikko |
| 18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 54 | | olcott |
| 18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 6 | | olcott |