Daily Archives: July 26, 2021

Re: Laws of Form • Leon Conrad LC: As someone who has worked on, teaches, and uses the CoI [Calculus of Indications] to make classical syllogistic logic much easier to practice and more visually intuitive than any of the visualisations we … Continue reading →

Re: Category Theory • Simon Burton SB: From what I’ve noticed there are two kinds of mathematical thinking:  manipulating abstract syntax, versus direct experience/perception of concrete mathematics.  These two are intertwined in various ways, but in my experience people generally … Continue reading →

Re: Category Theory • Henry Story HS: I place Logic within Mathematics and modal logic is a field of Logic, and so of mathematics.  You will find that modal logic comes up a lot working with machines, programs, and all … Continue reading →