Re: Truthmaker Maximalism and undecidable decision problems

Liste des GroupesRevenir à s logic 
Sujet : Re: Truthmaker Maximalism and undecidable decision problems
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theory
Date : 09. Jun 2024, 21:08:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v44ujh$3m841$6@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird
On 6/9/2024 1:54 PM, Richard Damon wrote:
On 6/9/24 2:40 PM, olcott wrote:
On 6/9/2024 1:29 PM, Richard Damon wrote:
On 6/9/24 2:13 PM, olcott wrote:
On 6/9/2024 1:08 PM, Richard Damon wrote:
On 6/9/24 1:18 PM, olcott wrote:
On 6/9/2024 10:36 AM, olcott wrote:
*This has direct application to undecidable decision problems*
>
When we ask the question: What is a truthmaker? The generic answer is
whatever makes an expression of language true <is> its truthmaker. This
entails that if there is nothing in the universe that makes expression X
true then X lacks a truthmaker and is untrue.
>
X may be untrue because X is false. In that case ~X has a truthmaker.
Now we have the means to unequivocally define truth-bearer. X is a
truth-bearer iff (if and only if) X or ~X has a truthmaker.
>
I have been working in this same area as a non-academician for a few
years. I have only focused on expressions of language that are {true on
the basis of their meaning}.
>
>
Now that truthmaker and truthbearer are fully anchored it is easy to see
that self-contradictory expressions are simply not truthbearers.
>
“This sentence is not true” can't be true because that would make it
untrue and it can't be false because that would make it true.
>
Within the the definition of truthmaker specified above: “this sentence
has no truthmaker” is simply not a truthbearer. It can't be true within
the above specified definition of truthmaker because this would make it
false. It can't be false because that makes
it true.
>
>
>
Unless the system is inconsistent, in which case they can be.
>
Note,
>
When I specify the ultimate foundation of all truth then this
does apply to truth in logic, truth in math and truth in science.
>
Nope. Not for Formal system, which have a specific definition of its truth-makers, unless you let your definition become trivial for Formal logic where a "truth-makers" is what has been defined to be the "truth-makers" for the system.
>
>
Formal systems are free to define their own truthmakers.
When these definitions result in inconsistency they are
proved to be incorrect.
 So, you admit that your definition is just inconsistant, as it says FOR ALL and then you admit it isn't FOR ALL
 And a formal system proven inconsistant isn't necessarily incorrect, just inconsistent.
 
To the extent that they define inconsistency they
are not truth-makers.

Note, some Formal Logic system specifically DEFINE how to handle inconsistant statements (typically uses a non-binary logic system, which makes the term "inconsistant" somewhat of a poorly defined term).
 
If they do not reject inconsistent axioms then they are wrong.

>
>
*Three laws of logic apply to all propositions*
¬(p ∧ ¬p) Law of non-contradiction
  (p ∨ ¬p) Law of excluded middle
   p = p   Law of identity
>
Nope, only for systems that accept those requirements.
>
There are (typically non-binary) systems that do not include one or both of the first two "laws".
>
>
I personally construe those as nonsense.
True, False and not a truth-bearer are the only ones
that I consider correct.
>
  So, you admit that you logic system isn't the classical binary system, and thus not applicable for most classical logic based on binary logic, and that you mind is just unimaginative enough to handle broader systems of logic.
 
Classic logic makes sure to ignore that some expressions
of language are not truth-bearers.

I guess you just admitted that your definiton of
I defined the foundation of ALL truth, when logic diverges
from this then logic is incorrect.
When we ask the question: What is a truthmaker?
The generic answer is whatever makes an expression of
language true <is> its truthmaker. This entails that
if there is nothing in the universe that makes expression
X true then X lacks a truthmaker and is untrue.

a "Foundation of Logic" has just defined yourself out of all the fields you want to talk about, since they do NOT have the logic value of "not a truth-bearer".
 
--
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
9 Jun 24 * Truthmaker Maximalism and undecidable decision problems63olcott
9 Jun 24 +* Re: Truthmaker Maximalism and undecidable decision problems55olcott
9 Jun 24 i`* Re: Truthmaker Maximalism and undecidable decision problems54Richard Damon
9 Jun 24 i `* Re: Truthmaker Maximalism and undecidable decision problems53olcott
9 Jun 24 i  `* Re: Truthmaker Maximalism and undecidable decision problems52Richard Damon
9 Jun 24 i   `* Re: Truthmaker Maximalism and undecidable decision problems51olcott
9 Jun 24 i    +* Re: Truthmaker Maximalism and undecidable decision problems40Richard Damon
9 Jun 24 i    i`* Re: Truthmaker Maximalism and undecidable decision problems39olcott
9 Jun 24 i    i +* Re: Truthmaker Maximalism and undecidable decision problems37Richard Damon
10 Jun 24 i    i i`* Re: Truthmaker Maximalism and undecidable decision problems36olcott
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 problems1olcott
10 Jun 24 i    i `- Re: Truthmaker Maximalism and undecidable decision problems1Richard Damon
11 Jun 24 i    `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works10olcott
12 Jun 24 i     `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works9Richard Damon
12 Jun 24 i      `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works8olcott
12 Jun 24 i       `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works7Richard Damon
12 Jun 24 i        `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works6olcott
12 Jun 24 i         `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works5Richard Damon
12 Jun 24 i          `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works4olcott
13 Jun 24 i           `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works3Richard Damon
13 Jun 24 i            `* Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works2olcott
13 Jun 24 i             `- Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works1Richard 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