Analytic Truth-makers

Liste des GroupesRevenir à c theory 
Sujet : Analytic Truth-makers
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 22. Jul 2024, 18:42:53
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7m26d$nrr4$1@dont-email.me>
User-Agent : Mozilla Thunderbird
I have focused on analytic truth-makers where an expression of language x is shown to be true in language L by a sequence of truth preserving operations from the semantic meaning of x in L to x in L.
In rare cases such as the Goldbach conjecture this may require an infinite sequence of truth preserving operations thus making analytic knowledge a subset of analytic truth. https://en.wikipedia.org/wiki/Goldbach%27s_conjecture
There are cases where there is no finite or infinite sequence of
truth preserving operations to x or ~x in L because x is self-
contradictory in L. In this case x is not a truth-bearer in L.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
22 Jul 24 * Analytic Truth-makers51olcott
22 Jul 24 +* ""self contradictory"" (Was: Analytic Truth-makers)6Mild Shock
22 Jul 24 i`* Re: ""self contradictory"" (Was: Analytic Truth-makers)5olcott
22 Jul 24 i `* Re: ""self contradictory"" (Was: Analytic Truth-makers)4Mild Shock
22 Jul 24 i  +- Re: ""self contradictory"" (Was: Analytic Truth-makers)1Mild Shock
22 Jul 24 i  `* Re: ""self contradictory"" (Was: Analytic Truth-makers)2olcott
23 Jul 24 i   `- Re: ""self contradictory"" (Was: Analytic Truth-makers)1Mild Shock
23 Jul 24 `* Re: Analytic Truth-makers44Richard Damon
23 Jul 24  `* Re: Analytic Truth-makers43olcott
23 Jul 24   `* Re: Analytic Truth-makers42Richard Damon
23 Jul 24    +* Re: Analytic Truth-makers26olcott
23 Jul 24    i`* Re: Analytic Truth-makers25Richard Damon
23 Jul 24    i `* Re: Analytic Truth-makers24olcott
23 Jul 24    i  `* Re: Analytic Truth-makers23Richard Damon
23 Jul 24    i   `* Re: Analytic Truth-makers22olcott
23 Jul 24    i    +* Re: Analytic Truth-makers7Richard Damon
23 Jul 24    i    i`* Re: Analytic Truth-makers6olcott
23 Jul 24    i    i +* Re: Analytic Truth-makers4Mild Shock
23 Jul 24    i    i i+* "undecidable" / "unentscheidbar" (Was Analytic Truth-makers)2Mild Shock
23 Jul 24    i    i ii`- Re: "undecidable" / "unentscheidbar" (Was Analytic Truth-makers)1Mild Shock
24 Jul 24    i    i i`- Re: Analytic Truth-makers1olcott
24 Jul 24    i    i `- Re: Analytic Truth-makers1Richard Damon
23 Jul 24    i    `* Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)14Mild Shock
23 Jul 24    i     `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)13olcott
23 Jul 24    i      `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)12Mild Shock
23 Jul 24    i       +* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)2olcott
24 Jul 24    i       i`- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
23 Jul 24    i       `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)9Mild Shock
23 Jul 24    i        +- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Mild Shock
24 Jul 24    i        `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)7olcott
24 Jul 24    i         +- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
24 Jul 24    i         `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)5Mild Shock
24 Jul 24    i          `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)4olcott
24 Jul 24    i           +* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)2Mild Shock
24 Jul 24    i           i`- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Mild Shock
25 Jul 24    i           `- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
23 Jul 24    `* Re: Analytic Truth-makers15Wasell
23 Jul 24     `* Re: Analytic Truth-makers14olcott
24 Jul 24      `* Re: Analytic Truth-makers13Richard Damon
24 Jul 24       `* Re: Analytic Truth-makers12olcott
24 Jul 24        `* Re: Analytic Truth-makers11Richard Damon
24 Jul 24         `* Re: Analytic Truth-makers10olcott
24 Jul 24          `* Re: Analytic Truth-makers9Richard Damon
24 Jul 24           `* Re: Analytic Truth-makers8olcott
24 Jul 24            `* Re: Analytic Truth-makers7Richard Damon
24 Jul 24             `* Re: Analytic Truth-makers6olcott
25 Jul 24              `* Re: Analytic Truth-makers5Richard Damon
25 Jul 24               `* Re: Analytic Truth-makers4olcott
25 Jul 24                `* Re: Analytic Truth-makers3Richard Damon
25 Jul 24                 `* Re: Analytic Truth-makers2olcott
26 Jul 24                  `- Re: Analytic Truth-makers1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal