Differential Logic • Discussion 4

Posted on June 16, 2021 by Jon Awbrey

Re: Differential Logic • 2
Re: Peirce List • Mauro Bertani

MB:
About Lobe Connective and Node Connective and their consequences,
I have a question:

You say that genus and species are evaluated by the proposition \texttt{(} a \texttt{,(} b \texttt{),(} c \texttt{))}.

The following proposition would no longer be appropriate:  a \texttt{(} b \texttt{,} c \texttt{)}.

And another question about differential calculus:

When we talk about A and \mathrm{d}A we talk about A and \texttt{(} A \texttt{)}
or is it more similar to A and B \, ?

Dear Mauro,

The proposition \texttt{(} a \texttt{,(} b \texttt{),(} c \texttt{))} describes a genus a divided into species b and c.

The proposition a \texttt{(} b \texttt{,} c \texttt{)} says a is always true while just one of b or c is true.

The first proposition leaves space between the whole universe and the genus a
while the second proposition identifies the genus a with the whole universe.

The differential proposition \mathrm{d}A is one we use to describe a change of state
(or a state of change) from A to \texttt{(} A \texttt{)} or the reverse.

Resources

cc: Cybernetics • Ontolog • Peirce (1) (2) (3) (4) • Structural Modeling • Systems Science
cc: FB | Differential Logic • Laws of Form

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.