Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.logic > #335324

Re: Truthmaker Maximalism and undecidable decision problems

From Richard Damon <richard@damon-family.org>
Newsgroups sci.logic, comp.theory
Subject Re: Truthmaker Maximalism and undecidable decision problems
Date 2024-06-09 14:08 -0400
Organization i2pn2 (i2pn.org)
Message-ID <v44r28$3egpa$4@i2pn2.org> (permalink)
References <v44i60$3jnc8$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 6/9/24 11: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.

I guess you don't understand Formal Logic then.

If Formal logic, the logic system starts with an explicit listing of 
statements and definitions that are considered "True" and logical 
operations that are considered VALID.

> 
> 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}.
> 

Which seems to mean you have focused on general Philosophy, and NOT 
formal logic, which has a much broader definition of "truth", and thus 
room to argue it.

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 10:36 -0500
  Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 12:18 -0500
    Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-09 14:08 -0400
      Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 13:13 -0500
        Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-09 14:29 -0400
          Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 13:40 -0500
            Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-09 14:54 -0400
              Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 14:08 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-09 15:36 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 21:47 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-09 22:56 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 22:12 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-10 07:16 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-10 11:09 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-10 23:32 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-11 12:30 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-11 19:22 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-11 20:43 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-11 22:34 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-11 21:58 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-11 23:01 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-11 22:20 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-12 07:33 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-12 10:40 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-12 19:49 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-12 19:44 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-12 20:57 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-12 20:37 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-12 21:53 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-12 21:01 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-12 22:21 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-12 21:32 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-12 22:42 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-12 21:53 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-12 23:15 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-12 22:17 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-12 23:51 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-12 23:01 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-13 07:30 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-13 08:32 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-13 22:45 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-13 22:50 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-14 07:39 -0400
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-14 08:58 -0500
                Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-10 09:52 -0500
                Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-09 23:00 -0400
            Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works olcott <polcott333@gmail.com> - 2024-06-11 11:06 -0500
              Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works Richard Damon <richard@damon-family.org> - 2024-06-11 21:44 -0400
                Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works olcott <polcott333@gmail.com> - 2024-06-11 20:57 -0500
                Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works Richard Damon <richard@damon-family.org> - 2024-06-11 22:37 -0400
                Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works olcott <polcott333@gmail.com> - 2024-06-11 22:17 -0500
                Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works Richard Damon <richard@damon-family.org> - 2024-06-12 07:33 -0400
                Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works olcott <polcott333@gmail.com> - 2024-06-12 08:05 -0500
                Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works Richard Damon <richard@damon-family.org> - 2024-06-12 19:55 -0400
                Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works olcott <polcott333@gmail.com> - 2024-06-12 20:16 -0500
                Re: Truthmaker Maximalism and undecidable decision problems --- the way truth really works Richard Damon <richard@damon-family.org> - 2024-06-12 21:48 -0400
  Re: Truthmaker Maximalism and undecidable decision problems joes <noreply@example.com> - 2024-06-09 17:40 +0000
    Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 12:52 -0500
  Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-09 14:08 -0400
    Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 13:10 -0500
      Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-09 14:31 -0400
        Re: Truthmaker Maximalism and undecidable decision problems olcott <polcott333@gmail.com> - 2024-06-09 13:48 -0500
          Re: Truthmaker Maximalism and undecidable decision problems Richard Damon <richard@damon-family.org> - 2024-06-09 14:57 -0400

csiph-web