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

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.theory, sci.logic
Subject	Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)
Date	2024-07-24 22:33 +0200
Message-ID	<v7roel$9t9k$1@solani.org> (permalink)
References	(9 earlier) <v7o64d$7r0l$1@solani.org> <v7ogdr$17h8r$9@dont-email.me> <v7p499$8bb2$5@solani.org> <v7p4mt$8bl4$1@solani.org> <v7ph81$1dv95$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

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.

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