## Differential Logic • Discussion 4

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.

### 2 Responses to Differential Logic • Discussion 4

This site uses Akismet to reduce spam. Learn how your comment data is processed.