Differential Logic • Comment 2

Re: Laws Of Form DiscussionJB

As always, we have to distinguish between the diagram itself, the representation or sign inscribed in some medium, and the formal object it represents under a given interpretation.

A venn diagram is an iconic sign we use to represent a formal object, namely, a universe of discourse, by virtue of properties the sign shares with the object.  But it is only the relevant properties that do the job — the icon has many properties the object lacks and the object has many properties the icon lacks.

As far as the universe of discourse goes, its regions do not necessarily have any boundaries defined.  In order to define boundaries for the regions we would need to impose a particular topology on the object space.

However, even at the level of abstract logical properties, such as described by a propositional calculus, we can construct a differential extension of the calculus by attaching names to the qualitative changes involved in crossing from regions to their complements, and that is what leads to the simplest order of differential logic.

See the following article for the basic intuitions:

This entry was posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Diagrammatic Reasoning, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

One Response to Differential Logic • Comment 2

  1. Pingback: Differential Logic • Comment 3 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s