Tag Archives: Logical Graphs

Re: Dick Lipton & Ken Regan • (1) • (2) Let’s take a moment from the differential analysis of the proposition in Example 1 to form a handy compendium of the results obtained so far. Example 1 (1) Enlargement Map of … Continue reading →

Re: Dick Lipton & Ken Regan • (1) • (2) (5) Figure 5 shows the 14 terms of the difference map as arcs, arrows, or directed edges in the venn diagram of the original proposition The arcs of are directed into … Continue reading →

“It doesn’t matter what one does,” the Man Without Qualities said to himself, shrugging his shoulders. “In a tangle of forces like this it doesn’t make a scrap of difference.” He turned away like a man who has learned renunciation, … Continue reading →

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 →