Groups | Search | Server Info | Login | Register

Groups > comp.theory > #109479

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

Path csiph.com!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
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 Tue, 23 Jul 2024 22:44:15 +0200
Message-ID <v7p4mt$8bl4$1@solani.org> (permalink)
References <v7m26d$nrr4$1@dont-email.me> <e41a2d324173031e1fe47acc0fd69b94b7aba55e@i2pn2.org> <v7msg0$sepk$1@dont-email.me> <3fb77583036a3c8b0db4b77610fb4bf4214c9c23@i2pn2.org> <v7much$sepk$2@dont-email.me> <9577ce80fd6c8a3d5dc37b880ce35a4d10d12a0e@i2pn2.org> <v7n3ho$t590$1@dont-email.me> <7d9b88425623e1166e358f1bce4c3a2767c36da0@i2pn2.org> <v7naae$120r5$1@dont-email.me> <v7o64d$7r0l$1@solani.org> <v7ogdr$17h8r$9@dont-email.me> <v7p499$8bb2$5@solani.org>
MIME-Version 1.0
Content-Type text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding 8bit
Injection-Date Tue, 23 Jul 2024 20:44:13 -0000 (UTC)
Injection-Info solani.org; logging-data="274084"; mail-complaints-to="abuse@news.solani.org"
User-Agent Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock sha1:ObaLrG/vFlFo7IETcq6FTr2rySk=
In-Reply-To <v7p499$8bb2$5@solani.org>
X-User-ID eJwNwocRwDAIBLCVDPgp44S2/wjOSRAlLbsKvdhfZp2cEeUtI4eDssPMhD5KHrl7fE/oYGMbHanszDXEhH5ZiRVr
Xref csiph.com comp.theory:109479 sci.logic:336731

Cross-posted to 2 groups.

Show key headers only | View raw

Of course you can restrict yourself to
only so called "decidable" sentences A,

i.e. sentences A where:

True(L,A) v True(L,~A)

But this doesn't mean that all sentences
are decidable, if the language allows for
example at least one propositional variables p,

then you have aleady an example of an
undecidable sentences, you even don't
need anything Gödel, Russell, or who knows

what, all you need is bivalence, which was
already postualated by Aristoteles.

Principle of bivalence
https://en.wikipedia.org/wiki/Principle_of_bivalence

if you assume that a propostional variable
is "variably", meaning it can take different truth
values depending on different possible worlds,

or state of affairs, or valuations, or how ever
you want to call it. Then a propositional variable
is the prime example of an undecided sentence.

Mild Shock schrieb:
> Thats a little bit odd to abolish incompletness.
> Take p, an arbitrary propositional variable.
> Its neither the case that:
> 
> True(L,p)
> 
> Nor is ihe case that:
> 
> True(L,~p)
> 
> Because there are always at least two possible worlds.
> One possible world where p is false, making True(L,p)
> impossible, and one possible world where p is true,
> 
> making True(L,~p) impossible.

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