Re: Truthmaker Maximalism and undecidable decision problems

Liste des GroupesRevenir à theory 
Sujet : Re: Truthmaker Maximalism and undecidable decision problems
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic comp.theory
Date : 14. Jun 2024, 04:45:23
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v4gas3$3tn6r$4@i2pn2.org>
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 31 32 33
User-Agent : Mozilla Thunderbird
On 6/13/24 9:32 AM, olcott wrote:
On 6/13/2024 6:30 AM, Richard Damon wrote:
On 6/13/24 12:01 AM, olcott wrote:
On 6/12/2024 10:51 PM, Richard Damon wrote:
On 6/12/24 11:17 PM, olcott wrote:
On 6/12/2024 10:15 PM, Richard Damon wrote:
On 6/12/24 10:53 PM, olcott wrote:
On 6/12/2024 9:42 PM, Richard Damon wrote:
On 6/12/24 10:32 PM, olcott wrote:
On 6/12/2024 9:21 PM, Richard Damon wrote:
On 6/12/24 10:01 PM, olcott wrote:
On 6/12/2024 8:53 PM, Richard Damon wrote:
On 6/12/24 9:37 PM, olcott wrote:
On 6/12/2024 7:57 PM, Richard Damon wrote:
>
Nope. The concept and definition of natural numbers exist, but doesn't derive from any part of the "universe".
>
Note, they don't "exist" as a substance, only as a concept, and the universe is substance.
>
>
OF EVERYTHING IF THERE IS NOTHING THAT MAKES AN EXPRESSION
OF LANGUAGE X TRUE THENN (THEN AND ONLY THEN) X HAS NO TRUTH-MAKER.
>
And how can we tell that there is nothing that makes the expression of language true?
>
>
What makes the expression: "a frog" true?
>
I don't know, what makes the expression: "a frog" true?
>
It could be if put besides the picture of a frog, or a cage holding one, or a box with a disection kit.
>
>
Do you mean that Russel's Teapot has a truth-maker, because we can not show that there is nothing that makes it true?
>
>
Truth need not be known.
>
Then why do you insisit it must be provable?
>
If of EVERYTHING there is NOTHING that makes an expression
of language X true then X is untrue.
>
Does that only include things in that universe, or of any universe?
>
>
I changed my freaking words because you had trouble with the other
words. WHEN I CHANGE THE WORDS TO MAKE THEM CLEARER I AM NOT FREAKING
USING THE ORIGINAL FREAKING WORDS.
>
>
And thus show that you don't have the mental ability to properly communicate.
>
>
That is your excuse for not freaking paying attention?
IT WAS YOU THAT DID NOT PAY ATTENTION.
>
I changed the words in my paper based on your feedback.
I have always used the term UNIVERSE to exactly mean EVERYTHING.
>
If of EVERYTHING there is NOTHING that makes an expression
of language X true then X is untrue.
>
>
>
WHich just means you have the problem of Naive Set Theory. There is not one "Universe" that is everything.
>
>
*THERE IS A FREAKING EVERYTHING*
>
>
But you can't just accept everything. That is what Russel proved about Naive Set Theory.
>
No finite logic can handle the magnatude of a theory that actually tries to encompase EVERYTHING.
>
So you disagree that there is an EVERYTHING.
IS THAT ALL YOU KNOW HOW TO DO IS DISAGREE?
>
>
No, there is a concept of "Everything" but it is not very usable as a single unified object because parts of it are inconsistant with other parts of it.
>
 If of EVERYTHING there is NOTHING that does X then X cannot be done.
The problem is that the logic of "everything" can't do as much as the logic of a restricted set, if anything at all.
For example, in the mahematic of finite numbers (a+b)+c = a+(b+c).
When we add infintes to the mix, we loose that rule.
Thus, when you try to make a system include EVERYTHING, you lose a lot of the rules you want to use for the more normal cases.
This is one of the things that broke Naive Set Theory, by allowing a set to be anything, we lost all the rules to keep things organized.
Thus, trying to make a SINGLE UNIFIED logic of everything doesn't work, as the individual pieces of everything mignt be inconsistant with other pieces of that everything.

 
You just don't seem to be able to understand these sorts of abstract concepts, which is why you have your problems.
 I understand them at a higher level of abstraction than you are
currently capable of and you have no correct reasoning to show
otherwise.
I don't think so, or you would be able to start to break down you statement to things finer. You are stuck at just one level and can't move.

 Most of the best experts in truth-maker theory make this same mistake
because they define their terms to have subtle incoherence that is
too abstract to be noticed by them.
 *These definitions prove that every truth has a truthmaker*
 When we ask the question: What is a truthmaker?
The generic answer is whatever makes an expression of language true <is>
its truthmaker.
Except that not all things CAN have a truth maker as you eventually get to a root idea that doesn't have a truthmaker, not even a statement that makes it its own truth maker, as THAT statement needs a truth make.

 If of everything there is nothing that makes expression of language X
true then X is untrue.
 X may be untrue because X is false. In that case ~X has a truthmaker.
 If neither X nor ~X has a truthmaker then X is not a truth-bearer.
 
So, what makes the truthmakers truthmakers, you need a more fundamental truth maker, which take you to infinite depth.

Date Sujet#  Auteur
9 Jun 24 * Truthmaker Maximalism and undecidable decision problems80olcott
9 Jun 24 +* Re: Truthmaker Maximalism and undecidable decision problems72olcott
9 Jun 24 i`* Re: Truthmaker Maximalism and undecidable decision problems71Richard Damon
9 Jun 24 i `* Re: Truthmaker Maximalism and undecidable decision problems70olcott
9 Jun 24 i  `* Re: Truthmaker Maximalism and undecidable decision problems69Richard Damon
9 Jun 24 i   `* Re: Truthmaker Maximalism and undecidable decision problems68olcott
9 Jun 24 i    +* Re: Truthmaker Maximalism and undecidable decision problems42Richard Damon
9 Jun 24 i    i`* Re: Truthmaker Maximalism and undecidable decision problems41olcott
9 Jun 24 i    i +* Re: Truthmaker Maximalism and undecidable decision problems39Richard Damon
10 Jun 24 i    i i`* Re: Truthmaker Maximalism and undecidable decision problems38olcott
10 Jun 24 i    i i +* Re: Truthmaker Maximalism and undecidable decision problems34Richard Damon
10 Jun 24 i    i i i`* Re: Truthmaker Maximalism and undecidable decision problems33olcott
10 Jun 24 i    i i i `* Re: Truthmaker Maximalism and undecidable decision problems32Richard Damon
10 Jun 24 i    i i i  `* Re: Truthmaker Maximalism and undecidable decision problems31olcott
11 Jun 24 i    i i i   `* Re: Truthmaker Maximalism and undecidable decision problems30Richard Damon
11 Jun 24 i    i i i    `* Re: Truthmaker Maximalism and undecidable decision problems29olcott
12 Jun 24 i    i i i     `* Re: Truthmaker Maximalism and undecidable decision problems28Richard Damon
12 Jun 24 i    i i i      `* Re: Truthmaker Maximalism and undecidable decision problems27olcott
12 Jun 24 i    i i i       `* Re: Truthmaker Maximalism and undecidable decision problems26Richard Damon
12 Jun 24 i    i i i        `* Re: Truthmaker Maximalism and undecidable decision problems25olcott
12 Jun 24 i    i i i         `* Re: Truthmaker Maximalism and undecidable decision problems24Richard Damon
12 Jun 24 i    i i i          `* Re: Truthmaker Maximalism and undecidable decision problems23olcott
12 Jun 24 i    i i i           `* Re: Truthmaker Maximalism and undecidable decision problems22Richard Damon
12 Jun 24 i    i i i            `* Re: Truthmaker Maximalism and undecidable decision problems21olcott
13 Jun 24 i    i i i             `* Re: Truthmaker Maximalism and undecidable decision problems20Richard Damon
13 Jun 24 i    i i i              `* Re: Truthmaker Maximalism and undecidable decision problems19olcott
13 Jun 24 i    i i i               `* Re: Truthmaker Maximalism and undecidable decision problems18Richard Damon
13 Jun 24 i    i i i                `* Re: Truthmaker Maximalism and undecidable decision problems17olcott
13 Jun 24 i    i i i                 `* Re: Truthmaker Maximalism and undecidable decision problems16Richard Damon
13 Jun 24 i    i i i                  `* Re: Truthmaker Maximalism and undecidable decision problems15olcott
13 Jun 24 i    i i i                   `* Re: Truthmaker Maximalism and undecidable decision problems14Richard Damon
13 Jun 24 i    i i i                    `* Re: Truthmaker Maximalism and undecidable decision problems13olcott
13 Jun 24 i    i i i                     `* Re: Truthmaker Maximalism and undecidable decision problems12Richard Damon
13 Jun 24 i    i i i                      `* Re: Truthmaker Maximalism and undecidable decision problems11olcott
13 Jun 24 i    i i i                       `* Re: Truthmaker Maximalism and undecidable decision problems10Richard Damon
13 Jun 24 i    i i i                        `* Re: Truthmaker Maximalism and undecidable decision problems9olcott
13 Jun 24 i    i i i                         `* Re: Truthmaker Maximalism and undecidable decision problems8Richard Damon
13 Jun 24 i    i i i                          `* Re: Truthmaker Maximalism and undecidable decision problems7olcott
13 Jun 24 i    i i i                           `* Re: Truthmaker Maximalism and undecidable decision problems6Richard Damon
13 Jun 24 i    i i i                            `* Re: Truthmaker Maximalism and undecidable decision problems5olcott
14 Jun 24 i    i i i                             `* Re: Truthmaker Maximalism and undecidable decision problems4Richard Damon
14 Jun 24 i    i i i                              `* Re: Truthmaker Maximalism and undecidable decision problems3olcott
14 Jun 24 i    i i i                               `* Re: Truthmaker Maximalism and undecidable decision problems2Richard Damon
14 Jun 24 i    i i i                                `- Re: Truthmaker Maximalism and undecidable decision problems1olcott
10 Jun 24 i    i i `* Re: Truthmaker Maximalism and undecidable decision problems3Mikko
10 Jun 24 i    i i  `* Re: Truthmaker Maximalism and undecidable decision problems2olcott
11 Jun 24 i    i i   `- Re: Truthmaker Maximalism and undecidable decision problems1Mikko
10 Jun 24 i    i `- Re: Truthmaker Maximalism and undecidable decision problems1Richard Damon
10 Jun 24 i    `* Re: Truthmaker Maximalism and undecidable decision problems25Mikko
10 Jun 24 i     `* Re: Truthmaker Maximalism and undecidable decision problems24olcott
11 Jun 24 i      +* Re: Truthmaker Maximalism and undecidable decision problems22Mikko
11 Jun 24 i      i`* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works21olcott
12 Jun 24 i      i +* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works9Richard Damon
12 Jun 24 i      i i`* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works8olcott
12 Jun 24 i      i i `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works7Richard Damon
12 Jun 24 i      i i  `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works6olcott
12 Jun 24 i      i i   `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works5Richard Damon
12 Jun 24 i      i i    `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works4olcott
13 Jun 24 i      i i     `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works3Richard Damon
13 Jun 24 i      i i      `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works2olcott
13 Jun 24 i      i i       `- Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works1Richard Damon
12 Jun 24 i      i `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works11Mikko
12 Jun 24 i      i  `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works10olcott
12 Jun 24 i      i   `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works9Mikko
12 Jun 24 i      i    `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works8olcott
12 Jun 24 i      i     `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works7Mikko
12 Jun 24 i      i      `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works6olcott
13 Jun 24 i      i       `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works5Mikko
13 Jun 24 i      i        `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works4olcott
13 Jun 24 i      i         +* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works2Mikko
13 Jun 24 i      i         i`- Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works1olcott
14 Jun 24 i      i         `- Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works1Richard Damon
12 Jun 24 i      `- Re: Truthmaker Maximalism and undecidable decision problems1Richard Damon
9 Jun 24 +* Re: Truthmaker Maximalism and undecidable decision problems2joes
9 Jun 24 i`- Re: Truthmaker Maximalism and undecidable decision problems1olcott
9 Jun 24 `* Re: Truthmaker Maximalism and undecidable decision problems5Richard Damon
9 Jun 24  `* Re: Truthmaker Maximalism and undecidable decision problems4olcott
9 Jun 24   `* Re: Truthmaker Maximalism and undecidable decision problems3Richard Damon
9 Jun 24    `* Re: Truthmaker Maximalism and undecidable decision problems2olcott
9 Jun 24     `- Re: Truthmaker Maximalism and undecidable decision problems1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal