# Category Archives: Inquiry Driven Systems

## Inquiry Driven Systems • Discussion 4

Re: Category Theory • Eduardo Ochs EO: Do you have links on how to teach Logical Graphs to children (and to people like me!) and how to use them as a basis for learning Propositional Calculus and quantifiers? Dear Eduardo, … Continue reading

## Inquiry Driven Systems • Discussion 3

Re: Category Theory • Henry Story HS: Could one re-invent the whole curriculum from age 5 onwards built on new [category theoretic] concepts? If I were starting from scratch, and I’m always starting from scratch, I would ease my way … Continue reading

## Inquiry Driven Systems • Discussion 2

Re: Category Theory • Henry Story Way back in the Summer of Love I met a girl who had just graduated in Chemistry and was thinking about grad school in Education, the hot new field of Instructional Media, we got … Continue reading

## 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

## Inquiry Driven Systems • Discussion 1

Re: Topos Lab • MathFoldr Project Re: Category Theory • Valeria de Paiva Dear Brendan and Valeria, I’ve been a participant∫observer in web-ontology knowledge projects for a couple of decades and they always give far more attention to knowledge as … 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 • Comment 6

Cf: Category Theory • Jon Awbrey I opened a topic in the “logic” stream of “category theory.zulipchat” to discuss differential logic in a category theoretic environment and began by linking a few basic resources. The topic on logical graphs introduced … 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