Groups | Search | Server Info | Login | Register

Groups > comp.theory > #109515

Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)

From olcott <polcott333@gmail.com>
Newsgroups comp.theory, sci.logic
Subject Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)
Date 2024-07-24 15:45 -0500
Organization A noiseless patient Spider
Message-ID <v7rp4t$1sv5t$1@dont-email.me> (permalink)
References (10 earlier) <v7ogdr$17h8r$9@dont-email.me> <v7p499$8bb2$5@solani.org> <v7p4mt$8bl4$1@solani.org> <v7ph81$1dv95$1@dont-email.me> <v7roel$9t9k$1@solani.org>

Cross-posted to 2 groups.

Show all headers | View raw

On 7/24/2024 3:33 PM, Mild Shock wrote:
> But truth bearer has another meaning.
> The more correct terminology is anyway
> truth maker, you have to shift away the
> 
> focus from the formula and think it is
> a truth bearer, this is anyway wrong,
> since you have two additional parameters
> your "True" and your language "L".
> 
> So all that we see here in expression such as:
> 
> [~] True(L, [~] A)
> 
> Is truth making, and not truth bearing.
> In recent years truth making has received
> some attention, there are interesting papers
> concerning truth makers. And it has
> 
> even a SEP article:
> 
> Truthmakers
> https://plato.stanford.edu/entries/truthmakers/
> 
> A world of truthmakers?
> https://philipp.philosophie.ch/handouts/2005-5-5-truthmakers.pdf
> 
> olcott schrieb:
> 
>> The key difference is that we no long use the misnomer
>> "undecidable" sentence and instead call it for what it
>> really is an expression that is not a truth bearer, or
>> proposition in L.

A truth-bearer is any expression of language that can
be true or false. Self-contradictory expressions are not
truth bearers.


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 11:42 -0500
  ""self contradictory"" (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-22 22:18 +0200
    Re: ""self contradictory"" (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-22 15:32 -0500
      Re: ""self contradictory"" (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-22 22:46 +0200
        Re: ""self contradictory"" (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-22 22:49 +0200
        Re: ""self contradictory"" (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-22 16:42 -0500
          Re: ""self contradictory"" (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 00:49 +0200
  Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-22 20:01 -0400
    Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 19:11 -0500
      Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-22 20:17 -0400
        Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 19:44 -0500
          Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-22 21:42 -0400
            Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 21:12 -0500
              Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-22 22:56 -0400
                Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 23:07 -0500
                Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 07:30 -0400
                Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 09:55 -0500
                Re: Analytic Truth-makers Mild Shock <janburse@fastmail.fm> - 2024-07-23 22:57 +0200
                "undecidable" / "unentscheidbar" (Was Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 23:02 +0200
                Re: "undecidable" / "unentscheidbar" (Was Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 23:13 +0200
                Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 19:25 -0500
                Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 22:15 -0400
                Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 14:02 +0200
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-23 09:58 -0500
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 22:36 +0200
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-23 15:43 -0500
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Richard Damon <richard@damon-family.org> - 2024-07-23 22:15 -0400
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 22:44 +0200
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 22:52 +0200
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-23 19:18 -0500
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Richard Damon <richard@damon-family.org> - 2024-07-23 22:15 -0400
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-24 22:33 +0200
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-24 15:45 -0500
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-24 23:54 +0200
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-24 23:54 +0200
                Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Richard Damon <richard@damon-family.org> - 2024-07-24 19:57 -0400
        Re: Analytic Truth-makers Wasell <wasell@example.com> - 2024-07-23 16:51 +0200
          Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 11:26 -0500
            Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 22:15 -0400
              Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 21:45 -0500
                Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 23:03 -0400
                Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 22:17 -0500
                Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 23:27 -0400
                Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 23:09 -0500
                Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-24 07:28 -0400
                Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-24 09:20 -0500
                Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-24 19:57 -0400
                Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-24 19:44 -0500
                Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-24 21:05 -0400
                Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-25 09:12 -0500
                Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-25 19:35 -0400

csiph-web