Category Archives: Animata

Differential Expansions of Propositions Bird’s Eye View An efficient calculus for the realm of logic represented by boolean functions and elementary propositions makes it feasible to compute the finite differences and the differentials of those functions and propositions. For example, … Continue reading →

Cactus Language for Propositional Logic Table 1 shows the cactus graphs, the corresponding cactus expressions, their logical meanings under the so-called existential interpretation, and their translations into conventional notations for a sample of basic propositional forms. Table 1.  Syntax and … Continue reading →

Cactus Language for Propositional Logic The development of differential logic is facilitated by having a moderately efficient calculus in place at the level of boolean-valued functions and elementary logical propositions.  One very efficient calculus on both conceptual and computational grounds … Continue reading →

Introduction Differential logic is the component of logic whose object is the description of variation — for example, the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description.  A definition that broad naturally … Continue reading →

The previous series of blog posts on Differential Propositional Calculus brought us to the threshold of the subject without quite stepping over but I wanted to lay out the necessary ingredients in the most concrete, intuitive, and visual way possible … Continue reading →

This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Elements Differential Logic • Introduction Differential Logic • Part 1 • Part 2 • Part 3 … Continue reading →