Re: Minimal Logics in the 2020's: A Meteoric Rise

Liste des GroupesRevenir à s logic 
Sujet : Re: Minimal Logics in the 2020's: A Meteoric Rise
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logic
Date : 05. Jul 2024, 03:58:03
Autres entêtes
Message-ID : <v67jvc$6l2j$1@solani.org>
References : 1 2 3 4
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
When red means blue, and yellow means
green, then black is white. Thanks for your hint!
If my Grandmother had wheels she would have been a bike
https://www.youtube.com/watch?v=OplyHCIBmfE
olcott schrieb:
When provable means true and false means unprovable
then (Γ ⊢ X) means X is true in Γ.
then (Γ ⊢ ~X) means X is conventional false  in Γ.
the (Γ ⊬ X) ∧ (Γ ⊬ ~X) X is not a truth bearer in Γ.

Date Sujet#  Auteur
5 Jul 24 * Minimal Logics in the 2020's: A Meteoric Rise179Mild Shock
5 Jul 24 +* Re: Minimal Logics in the 2020's: A Meteoric Rise131olcott
5 Jul 24 i`* Re: Minimal Logics in the 2020's: A Meteoric Rise130Mild Shock
5 Jul 24 i +- Minimal Logics in the 2020's: A Meteoric Rise1Mild Shock
5 Jul 24 i `* Re: Minimal Logics in the 2020's: A Meteoric Rise128olcott
5 Jul 24 i  `* Re: Minimal Logics in the 2020's: A Meteoric Rise127Mild Shock
5 Jul 24 i   `* Re: Minimal Logics in the 2020's: A Meteoric Rise126olcott
5 Jul 24 i    `* Re: Minimal Logics in the 2020's: A Meteoric Rise125Richard Damon
5 Jul 24 i     `* Re: Minimal Logics in the 2020's: A Meteoric Rise124olcott
5 Jul 24 i      `* Re: Minimal Logics in the 2020's: A Meteoric Rise123Richard Damon
5 Jul 24 i       +* Re: Minimal Logics in the 2020's: A Meteoric Rise2olcott
5 Jul 24 i       i`- Re: Minimal Logics in the 2020's: A Meteoric Rise1Richard Damon
5 Jul 24 i       `* Re: Minimal Logics in the 2020's: A Meteoric Rise120olcott
5 Jul 24 i        `* Re: Minimal Logics in the 2020's: A Meteoric Rise119Richard Damon
5 Jul 24 i         `* Re: Minimal Logics in the 2020's: A Meteoric Rise118olcott
5 Jul 24 i          `* Re: Minimal Logics in the 2020's: A Meteoric Rise117Richard Damon
5 Jul 24 i           `* Re: Minimal Logics in the 2020's: A Meteoric Rise116olcott
6 Jul 24 i            `* Re: Minimal Logics in the 2020's: A Meteoric Rise115Richard Damon
6 Jul 24 i             `* Re: Minimal Logics in the 2020's: A Meteoric Rise114olcott
6 Jul 24 i              `* Re: Minimal Logics in the 2020's: A Meteoric Rise113Richard Damon
6 Jul 24 i               `* Re: Minimal Logics in the 2020's: A Meteoric Rise112olcott
6 Jul 24 i                `* Re: Minimal Logics in the 2020's: A Meteoric Rise111Richard Damon
6 Jul 24 i                 `* Re: Minimal Logics in the 2020's: A Meteoric Rise110olcott
6 Jul 24 i                  `* Re: Minimal Logics in the 2020's: A Meteoric Rise109Richard Damon
6 Jul 24 i                   `* Re: Minimal Logics in the 2020's: A Meteoric Rise108olcott
6 Jul 24 i                    `* Re: Minimal Logics in the 2020's: A Meteoric Rise107Richard Damon
6 Jul 24 i                     `* Re: Minimal Logics in the 2020's: A Meteoric Rise106olcott
6 Jul 24 i                      `* Re: Minimal Logics in the 2020's: A Meteoric Rise105Richard Damon
6 Jul 24 i                       `* Re: Minimal Logics in the 2020's: A Meteoric Rise104olcott
6 Jul 24 i                        `* Re: Minimal Logics in the 2020's: A Meteoric Rise103Richard Damon
7 Jul 24 i                         `* Re: Minimal Logics in the 2020's: A Meteoric Rise102olcott
7 Jul 24 i                          `* Re: Minimal Logics in the 2020's: A Meteoric Rise101Richard Damon
7 Jul 24 i                           `* Re: Minimal Logics in the 2020's: A Meteoric Rise100olcott
7 Jul 24 i                            `* Re: Minimal Logics in the 2020's: A Meteoric Rise99Richard Damon
7 Jul 24 i                             `* Re: Minimal Logics in the 2020's: A Meteoric Rise98olcott
7 Jul 24 i                              `* Re: Minimal Logics in the 2020's: A Meteoric Rise97Richard Damon
7 Jul 24 i                               `* Re: Minimal Logics in the 2020's: A Meteoric Rise96olcott
7 Jul 24 i                                `* Re: Minimal Logics in the 2020's: A Meteoric Rise95Richard Damon
7 Jul 24 i                                 `* Re: Minimal Logics in the 2020's: A Meteoric Rise94olcott
7 Jul 24 i                                  `* Re: Minimal Logics in the 2020's: A Meteoric Rise93Richard Damon
7 Jul 24 i                                   `* Re: Minimal Logics in the 2020's: A Meteoric Rise92olcott
7 Jul 24 i                                    `* Re: Minimal Logics in the 2020's: A Meteoric Rise91Richard Damon
7 Jul 24 i                                     `* Re: Minimal Logics in the 2020's: A Meteoric Rise90olcott
7 Jul 24 i                                      `* Re: Minimal Logics in the 2020's: A Meteoric Rise89Richard Damon
7 Jul 24 i                                       `* Re: Minimal Logics in the 2020's: A Meteoric Rise88olcott
7 Jul 24 i                                        `* Re: Minimal Logics in the 2020's: A Meteoric Rise87Richard Damon
8 Jul 24 i                                         +* Re: Minimal Logics in the 2020's: A Meteoric Rise2olcott
8 Jul 24 i                                         i`- Re: Minimal Logics in the 2020's: A Meteoric Rise1Richard Damon
8 Jul 24 i                                         +* Re: Minimal Logics in the 2020's: A Meteoric Rise2olcott
8 Jul 24 i                                         i`- Re: Minimal Logics in the 2020's: A Meteoric Rise1Richard Damon
8 Jul 24 i                                         +* Re: Minimal Logics in the 2020's: A Meteoric Rise2olcott
8 Jul 24 i                                         i`- Re: Minimal Logics in the 2020's: A Meteoric Rise1Richard Damon
8 Jul 24 i                                         +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- news group failure2olcott
8 Jul 24 i                                         i`- Re: Minimal Logics in the 2020's: A Meteoric Rise --- news group failure1Richard Damon
8 Jul 24 i                                         `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure78Richard Damon
8 Jul 24 i                                          `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure77olcott
8 Jul 24 i                                           `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure76Richard Damon
8 Jul 24 i                                            `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure75olcott
8 Jul 24 i                                             `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure74olcott
8 Jul 24 i                                              +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure7Richard Damon
8 Jul 24 i                                              i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure6olcott
8 Jul 24 i                                              i `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure5Richard Damon
8 Jul 24 i                                              i  `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure4olcott
9 Jul 24 i                                              i   `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure3Richard Damon
9 Jul 24 i                                              i    `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure2olcott
9 Jul 24 i                                              i     `- Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure1Richard Damon
9 Jul 24 i                                              `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure66olcott
9 Jul 24 i                                               `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure65Richard Damon
9 Jul 24 i                                                `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure64olcott
9 Jul 24 i                                                 `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure63Richard Damon
9 Jul 24 i                                                  +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard contradicts himself6olcott
9 Jul 24 i                                                  i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard contradicts himself5Richard Damon
9 Jul 24 i                                                  i `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard contradicts himself4olcott
9 Jul 24 i                                                  i  `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott lies as he POOPs himself3Richard Damon
9 Jul 24 i                                                  i   `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard caught in contradiction2olcott
9 Jul 24 i                                                  i    `- Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott shows his stupidity.1Richard Damon
9 Jul 24 i                                                  +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard caught in inescapable contradiction5olcott
9 Jul 24 i                                                  i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott caught in inescapable contradiction4Richard Damon
9 Jul 24 i                                                  i `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard caught in inescapable contradiction3olcott
9 Jul 24 i                                                  i  +- Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott caught in inescapable lie1Richard Damon
9 Jul 24 i                                                  i  `- Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott caught in inescapable contradiction1Richard Damon
9 Jul 24 i                                                  +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard contradicts himself right here3olcott
9 Jul 24 i                                                  i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott doesn't understand about formal systems and meta2Richard Damon
9 Jul 24 i                                                  i `- Shut the Fuck Up Richard Damon and olcott1Mild Shock
10 Jul 24 i                                                  +* Richard contradicts himself about infinite proofs2olcott
10 Jul 24 i                                                  i`- Re: Olcott doesn't understand meta-systems1Richard Damon
10 Jul 24 i                                                  `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure46olcott
11 Jul 24 i                                                   +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure11Richard Damon
11 Jul 24 i                                                   i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure10olcott
11 Jul 24 i                                                   i `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure9Richard Damon
11 Jul 24 i                                                   i  `* Infinite proofs do not derive knowledge8olcott
11 Jul 24 i                                                   i   `* Re: Infinite proofs do not derive knowledge7Richard Damon
11 Jul 24 i                                                   i    `* Re: Infinite proofs do not derive knowledge6olcott
11 Jul 24 i                                                   i     `* Re: Infinite proofs do not derive knowledge5Richard Damon
11 Jul 24 i                                                   i      `* Re: Infinite proofs do not derive knowledge4olcott
11 Jul 24 i                                                   i       `* Re: Infinite proofs do not derive knowledge3Richard Damon
11 Jul 24 i                                                   i        `* Re: Infinite proofs do not derive knowledge2olcott
12 Jul 24 i                                                   i         `- Re: Infinite proofs do not derive knowledge, but do define Truth!1Richard Damon
15 Jul 24 i                                                   `* Re: Infinite proofs do not derive knowledge --- Richard is proved wrong34olcott
16 Jul 24 i                                                    `* Re: Infinite proofs do not derive knowledge --- Olcott is proved wrong33Richard Damon
16 Jul 24 i                                                     `* Re: Infinite proofs do not derive knowledge --- Olcott is proved wrong32olcott
5 Jul 24 +* The curse of Negri & Plato (Was: Minimal Logics in the 2020's: A Meteoric Rise)3Mild Shock
5 Jul 24 +* Re: Minimal Logics in the 2020's: A Meteoric Rise3Mild Shock
12 Jul 24 +* French Philosophy in 2024 (Was: Minimal Logics in the 2020's: A Meteoric Rise)4Mild Shock
13 Jul 24 +* The error in Jan von Platos presentation (Was: Minimal Logics in the 2020's: A Meteoric Rise)4Mild Shock
22 Jul 24 +- Distinction between Computation & Derivation (Was: Minimal Logics in the 2020's: A Meteoric Rise)1Mild Shock
31 Jul 24 +* Prolegomena by Rappaport (Was: Minimal Logics in the 2020's: A Meteoric Rise)6Mild Shock
4 Aug 24 +- The two rules (Was: Minimal Logics in the 2020's: A Meteoric Rise)1Mild Shock
4 Aug 24 +* LLM and Prolog, a Marriage in Heaven? (Was: Minimal Logics in the 2020's: A Meteoric Rise)4Mild Shock
1 Sep 24 +* Holy Shit: AI is cheaper than Humans (Re: Minimal Logics in the 2020's: A Meteoric Rise)17Mild Shock
3 Oct 24 +* "Emotional AI" and "Spiritual AI" (Was: Minimal Logics in the 2020's: A Meteoric Rise)3Mild Shock
26 Oct 24 `- Highly bred Hackers: Wallowing in enlightenment (Re: Minimal Logics in the 2020's: A Meteoric Rise)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal