X-Received: by 2002:a05:620a:2450:b0:75f:216:4b8b with SMTP id h16-20020a05620a245000b0075f02164b8bmr3756768qkn.3.1687188734211; Mon, 19 Jun 2023 08:32:14 -0700 (PDT) X-Received: by 2002:a25:d886:0:b0:bc4:5077:f59e with SMTP id p128-20020a25d886000000b00bc45077f59emr3625156ybg.13.1687188733997; Mon, 19 Jun 2023 08:32:13 -0700 (PDT) Path: csiph.com!weretis.net!feeder6.news.weretis.net!newsfeed.hasname.com!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: sci.logic Date: Mon, 19 Jun 2023 08:32:13 -0700 (PDT) In-Reply-To: <6250b6a6-9f40-434a-a3ff-bc279e5e3c61n@googlegroups.com> Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r NNTP-Posting-Host: 77.57.53.44 References: <36975c29-e604-41b7-b394-584fe744fec3n@googlegroups.com> <2fa17789-0233-bdce-6515-649372ab98f0@att.net> <7988a26f-8076-4644-9e76-6764c0ec3cdbn@googlegroups.com> <2aee2b7e-2122-4e7c-a2d0-93c9f0b2797en@googlegroups.com> <48dfa2c1-b340-d5df-6c9b-20e0e8af32fc@att.net> <3f7a0c10-3adb-1084-4ead-003a17206c06@att.net> <839e90d7-d188-4176-ae9f-50ac5fe00aa2n@googlegroups.com> <02d3311b-10c4-4efc-9b12-0918c4c41dfcn@googlegroups.com> <5bcaf0c7-1ac5-4d9c-9973-dfd3e7e644f8n@googlegroups.com> <3158b89a-0948-4b2a-a31e-cda125c3d544n@googlegroups.com> <6c880f28-f476-494d-9e59-ec910289581dn@googlegroups.com> <4f036404-4ba6-4b26-941b-840fffc8cafcn@googlegroups.com> <252e87f5-dc27-4e27-8f3a-694a1ca73867n@googlegroups.com> <9ff00bf1-63a3-4f3f-9692-6035b896d699n@googlegroups.com> <8b197d2a-cf8d-47b0-9f40-342faa834185n@googlegroups.com> <2f966fea-7ef8-4e2f-8c23-843829cfc66en@googlegroups.com> <0b995708-d3bc-489e-af93-5e67f5a473fcn@googlegroups.com> <6957ff30-34e1-4249-86bb-45b87b9fc44en@googlegroups.com> <6250b6a6-9f40-434a-a3ff-bc279e5e3c61n@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Why predictions about the future have no truth value From: Mild Shock Injection-Date: Mon, 19 Jun 2023 15:32:14 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 4249 Xref: csiph.com sci.logic:254646 When rain drop falls from the sky it takes some=20 to arrive at Dan Christensense skull. It then makes a hollow sound, because it falls on a void. Dan Christensen schrieb am Montag, 19. Juni 2023 um 16:51:31 UTC+2: > On Monday, June 19, 2023 at 10:35:56=E2=80=AFAM UTC-4, Mild Shock wrote:= =20 > > You can try and prove, a lot of future and standard entailments=20 > > of propositional logic, an impossibility according to Mark Thakkar:=20 > >=20 > > If it rains John takes an umbrella=20 > > If John takes an umbrella he doesn=E2=80=99t get wet=20 > > If it doesn=E2=80=99t rain then John doesn=E2=80=99t get wet=20 > > -----------------------------------------------------------------------= -------=20 > > John doesn=E2=80=99t get wet.=20 > >=20 > > Here is a proof in DC Proof, the example is similar to what=20 > > I already did, i.e. ((A =3D> B) & (~A=3D>B) =3D> B).=20 > >=20 > > R: It rains=20 > > U: John takes an umbrella=20 > > W: John gets wet.=20 > > > [snip]=20 >=20 > Where does your prediction of the future come in? The daily weather forec= ast with its % chance of rain on the day in question? It will still be the = forecast regardless of the actual weather. > Dan=20 >=20 > Download my DC Proof 2.0 freeware at http://www.dcproof.com=20 > Visit my Math Blog at http://www.dcproof.wordpress.com