Groups | Search | Server Info | Login | Register
Show key headers only | View raw
Holy Moly. Now I am once more convinced that Dan Christensen didn't write DC Proof. He stole it from somewhere. He doesn't know that DC Proof has LEM built-in? Because its classical logic? And why does he state nonsense like "it seems you still cannot formalize "It will rain tomorrow" using only propositional logic." Why would I like to do that? If formalize means to have a predicate zero-arity or n-arity, in classical logic, then this means it will satisfy LEM. But Mark Thakkar rejects LEM for the future. Just read his paper. I now have the feeling that every time in the past, when Dan Christensen shouted on sci.math and sci.logic, this or that is something for the philosophy department, he in fact meant he is totally ignorant to anything philosophycal, and can even not follow this debate here: https://www.st-andrews.ac.uk/~mnat/files/future.pdf Why this lack of understanding and empathy for philosophy Dan-O-Matik? Are you some Homo neanderthalensis? Mild Shock schrieb am Dienstag, 27. Juni 2023 um 21:18:46 UTC+2: > Dan Christensen schrieb am Dienstag, 27. Juni 2023 um 21:05:04 UTC+2: > > The purpose of these axioms was to state that the truth > > values for these predicates were defined for every integer. > > If you can think of better way to do this, I am open to suggestion. > Come on Dan-O-Matik. You don't need to state LEM for > a predicate in DC Proof. DC Proof is classical logic. Its not > Coq or some other proof assistant, that provides some > > non-classical logic that rejects LEM. Here its provable, > you don't need to state it with an axiom. Its always provable > against Mark Thakkar, who rejects LEM for the future: > > 12 ALL(a):[P(a) => Q(a) | ~Q(a)] > Rem DNeg, 11 > > --------------------- begin proof -------------------------------- > > 1 ~ALL(a):[P(a) => Q(a) | ~Q(a)] > Premise > > 2 ~~EXIST(a):~[P(a) => Q(a) | ~Q(a)] > Quant, 1 > > 3 EXIST(a):~[P(a) => Q(a) | ~Q(a)] > Rem DNeg, 2 > > 4 ~[P(u) => Q(u) | ~Q(u)] > E Spec, 3 > > 5 ~~[P(u) & ~[Q(u) | ~Q(u)]] > Imply-And, 4 > > 6 P(u) & ~[Q(u) | ~Q(u)] > Rem DNeg, 5 > > 7 P(u) > Split, 6 > > 8 ~[Q(u) | ~Q(u)] > Split, 6 > > 9 ~~[~Q(u) & ~~Q(u)] > DeMorgan, 8 > > 10 ~Q(u) & ~~Q(u) > Rem DNeg, 9 > > 11 ~~ALL(a):[P(a) => Q(a) | ~Q(a)] > Conclusion, 1 > > 12 ALL(a):[P(a) => Q(a) | ~Q(a)] > Rem DNeg, 11 > > --------------------- end proof --------------------------------
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-17 20:09 -0700
Re: Why predictions about the future have no truth value Jim Burns <james.g.burns@att.net> - 2023-06-18 00:58 -0400
Re: Why predictions about the future have no truth value Jim Burns <james.g.burns@att.net> - 2023-06-18 02:23 -0400
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 06:10 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 06:20 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 06:29 -0700
Re: Why predictions about the future have no truth value Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-18 08:03 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 09:10 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 09:27 -0700
Re: Why predictions about the future have no truth value Mild Shock <bursejan@gmail.com> - 2023-06-18 09:43 -0700
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