Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-06-28 20:37 -0700 |
| References | (80 earlier) <c688ebbd-f870-42c2-8b14-82a9e340a3ccn@googlegroups.com> <df5bfcef-f972-47d4-be7d-a80206c806c3n@googlegroups.com> <c0c7c388-9ea1-48fa-abd6-3947217e3bcbn@googlegroups.com> <6e78bd07-f5ac-442c-88d5-160446883115n@googlegroups.com> <4c61ce6a-2ad0-4e30-97e6-0fdad07afa33n@googlegroups.com> |
| Message-ID | <40f22cbe-e00f-4e62-832f-1a1d7ae4737bn@googlegroups.com> (permalink) |
| Subject | Re: Why predictions about the future have no truth value |
| From | Dan Christensen <Dan_Christensen@sympatico.ca> |
On Tuesday, June 27, 2023 at 6:48:07 PM UTC-4, Mild Shock wrote: > $Dan Christensen schrieb am Dienstag, 27. Juni 2023 um 23:39:51 UTC+2: > > On Tuesday, June 27, 2023 at 4:35:57 PM UTC-4, Mild Shock wrote: > > > > > Dan Christensen schrieb am Dienstag, 27. Juni 2023 um 22:12:11 UTC+2: > > > > On Tuesday, June 27, 2023 at 3:55:14 PM UTC-4, Mild Shock wrote: > > > > > Dan Christensen schrieb am Dienstag, 27. Juni 2023 um 21:53:23 UTC+2: > > > > > > > > > > I guess I don't really need lines 7 and 8 of my revised formalization since I have x in Z in the premise. Then the formulization of "It will rain tomorrow" is Today(x) & Rain(x+1) for any x in Z where Today(x) means today is day x and Rain(x) means it rains on day x. > > > > > Even if Dan Christensen would make a 180° head turn, > > > > > and listen to Mark Thakkar, I doubt that something > > > > > productive will result. > > > > [snip more the same] > > > > > > > > Here I have presented a formalization of "It will rain tomorrow." (See above.) Unfortunately, for you, Mr. Collapse, it makes use of FOL and set theory. You foolishly claimed that it could be formalized using only propositional logic (with no predicates or quantifiers). Must be frustrating as hell for you. > > > [snip childish abuse] > > > > > > No I don't claim anymore that it can be formalized. I > > > changed the topic. > > Wise move. > > > While you didn't read Mark Thakkar, > > > I spent the time reading Mark Thakkar, and he > > > > > > clearly says that this here: > > > > > > "It will rain tomorrow." > > > > > > Cannot be a statement with a truth value, neither in > > > propositional logic à la mathematical logic > > > nor > > > in first order logic à la mathematical logic. > > > > > In both cases they can be formalized and introduced as a premise in proof. > > > He generally refuses that statements of the futures > > > act like facts, and can have truth values like facts. > > > So according to Mark Thakkar you can write down as fact: > > > > > > "It was raining yesterday." > > > > > Using my formalism, that would be: > > > > x in Z & Today(x) & Rain(x-1) > > > > which could be introduced in a proof as a premise with free variable x. > > > But you cannot write down as fact: > > > > > > "It will rain tomorrow." > > > > > Again, > > > > x in Z & Today(x) & Rain(x+1) > > > > can be introduced in a proof as a premise with free variable x. > You didn't formalize the notion "fact" versus "fiction". > Usually first order logic or propostional logic do not > make this distinction. Again in terms of Mark Thakkars > paper, you would need a formalism that can say that this is fact: > > "It was raining yesterday." > Today(x) & Rain(x-1) > [snip] "It was raining in the past. (fact?) x in N & Today(x) & EXISTS(y):[ y in N & y<x & Rain(y)] > And that this is fiction: > "It will rain tomorrow." > Today(x) & Rain(x+1) "It will rain in the future" (fiction?) x in N & Today(x) & EXISTS(y):[ y in N & x<y & Rain(y)] Dan Download my DC Proof 2.0 freeware at http://www.dcproof.com Visit my Math Blog at http://www.dcproof.wordpress.com
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-18 10:36 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 11:05 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 11:08 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-18 12:35 -0700
Re: Why predictions about the future have no truth value Mild Shock <janburse@fastmail.fm> - 2023-06-18 23:32 +0200
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 14:42 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-18 15:09 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 15:24 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 15:35 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 15:40 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 15:47 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 15:49 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 15:59 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 16:03 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-18 18:53 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 01:20 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 01:31 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 01:38 -0700
Re: Why predictions about the future have no truth value Jim Burns <james.g.burns@att.net> - 2023-06-19 11:14 -0400
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-19 06:44 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 07:23 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 07:35 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-19 07:51 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 08:32 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 15:08 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-19 19:42 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-19 22:31 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 23:22 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 23:28 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-19 23:33 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-20 07:59 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-20 08:15 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-20 08:18 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-20 12:28 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-20 12:40 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-20 13:02 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-20 15:33 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-20 20:03 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-20 21:16 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-20 21:39 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-20 23:03 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 00:50 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 06:31 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 08:43 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 08:54 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 09:10 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 09:11 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 09:12 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 09:14 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 09:14 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 09:25 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 09:30 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 09:37 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 09:41 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 10:43 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 11:13 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 11:49 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-21 13:11 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 22:00 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-21 22:12 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 22:27 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-21 22:34 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-22 02:59 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-22 03:14 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-22 03:19 -0700
Re: Why predictions about the future have no truth value Julio Di Egidio <julio@diegidio.name> - 2023-06-22 03:20 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-22 04:09 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-22 04:13 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-22 04:21 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-22 08:28 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-22 08:59 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-22 13:42 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-24 09:49 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-24 11:14 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-25 09:30 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-25 15:34 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-25 16:05 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-25 16:29 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-25 16:34 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-25 19:29 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-25 19:32 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-25 21:20 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-25 22:42 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-26 00:17 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-26 00:28 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-26 00:34 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-26 00:41 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-26 09:31 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-26 10:40 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-26 10:58 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-26 12:36 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-26 17:27 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-26 18:21 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-26 18:43 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-26 20:32 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-26 21:13 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-26 21:36 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-26 22:14 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 04:15 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 04:27 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-27 07:55 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 09:49 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 09:57 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 10:25 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-27 10:39 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-27 10:48 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-27 10:57 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 11:11 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 11:20 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 11:24 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-27 12:05 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 12:18 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 12:26 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 12:33 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-27 12:53 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 12:55 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 13:02 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-27 13:12 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 13:35 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 13:45 -0700
Re: Why predictions about the future have no truth value Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-27 14:10 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 14:16 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-27 14:39 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 15:48 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-27 16:02 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-27 16:54 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-28 20:37 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-07-02 15:37 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-07-02 17:49 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-07-03 04:04 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-25 19:16 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-22 23:40 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-22 23:51 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 00:05 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-23 08:58 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 09:49 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-23 10:12 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 10:19 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 10:30 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-23 11:20 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 13:57 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 14:16 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-23 14:20 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 14:26 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 14:37 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-23 14:55 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 15:03 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-23 15:08 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 15:12 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 15:28 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-23 15:54 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 17:14 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 17:19 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-23 17:29 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-20 15:22 -0700
Re: Why predictions about the future have no truth value Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-20 11:37 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-18 15:40 -0700
csiph-web