Category Archives: Differential Logic

Re: Dick Lipton & Ken Regan • (1) • (2) (4) Figure 4 shows the eight terms of the tacit extension as arcs, arrows, or directed edges in the venn diagram of the original proposition Each term of the tacit extension … Continue reading →

Re: Dick Lipton & Ken Regan • (1) • (2) We continue with the differential analysis of the proposition in Example 1. Example 1 (1) A proposition defined on one universe of discourse has natural extensions to larger universes of discourse. … Continue reading →

Re: Dick Lipton & Ken Regan • (1) • (2) (3) Figure 3 shows the eight terms of the enlarged proposition as arcs, arrows, or directed edges in the venn diagram of the original proposition Each term of the enlargement corresponds … Continue reading →

Re: Dick Lipton & Ken Regan • (1) • (2) Putting all thought of the Frankl Conjecture out of our minds for the moment, let’s return to the proposition in Example 1 and work through its differential analysis from scratch. Example … Continue reading →

Re: Dick Lipton & Ken Regan • (1) • (2) Let’s go back to the “key lemma” from (2) and try it out on a simple example, just to get a sense of what the terms mean. Lemma.  Let be … Continue reading →

Re: Dick Lipton & Ken Regan • (1) • (2) Here’s a few pages on differential logic, whose ideas I’ll be trying out in the present setting: Differential Logic : Introduction Differential Propositional Calculus Differential Logic and Dynamic Systems I … Continue reading →

Re: Dick Lipton & Ken Regan • (1) • (2) Supplied by the cache of definitions from Post 1, I can return to the passage from (2) that seemed to jog a bit of memory and see if what I imagined … Continue reading →

Re: Dick Lipton and Ken Regan • (1) • (2) I need to think a little about the context Lipton and Regan have wrapped around the Frankl Conjecture, if not exactly about the problem itself.  This will be a scratch-worky … Continue reading →