# Category Archives: Surveys

## Differential Logic • Discussion 11

Re: Differential Logic • Discussion 9 Let’s look more closely at the “functor” from to and the connection it makes between real and boolean hierarchies of types.  There’s a detailed discussion of this analogy in the article and section linked … Continue reading

## Differential Logic • Discussion 10

Re: Laws of Form • Lyle Anderson Let’s say we’re observing a system at discrete intervals of time and testing whether its state satisfies or falsifies a given predicate or proposition at each moment.  Then and are two state variables … Continue reading

## Differential Logic • Discussion 9

Re: Laws of Form • Lyle Anderson LA: All I am asking is what is your definition of in relation to ‌.  So far I have is what one has to do to get from to or from to ‌.  … Continue reading

## Differential Logic • Discussion 8

Re: Laws of Form • Lyle Anderson A Reader inquired about the relationship between ordinary and differential boolean variables.  I thought it might help to explain how I first came to think about differential logic as a means of describing … Continue reading

## Differential Logic • Discussion 7

Re: Differential Logic • 1 Re: FB | Pattern Languages for Systemic Transformation • Steve Kramer SK: Can differential logic be described using category theory?  To what other logical or mathematical modalities does differential logic relate?  Give an example.  Partial … Continue reading

## Differential Logic • Discussion 6

Re: Differential Logic • 5 Re: Laws of Form • Lyle Anderson JA: The differential proposition may be read as saying “change or change or both”.  And this can be recognized as just what you need to do if you … Continue reading

## Differential Logic • Discussion 5

Re: Differential Logic • Discussion 4 Re: Laws of Form • Lyle Anderson JA: The differential proposition is one we use to describe a change of state (or a state of change) from to or the reverse. LA: Does this … Continue reading

## Differential Logic • Discussion 4

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 The following proposition would … Continue reading

## Survey of Differential Logic • 3

This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Note.  One effect of the pandemic has been been to blot out my memory of much … Continue reading

## Survey of Inquiry Driven Systems • 3

This is a Survey of blog and wiki posts on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject. An inquiry driven system is a system having among its state variables … Continue reading