Type Theory, Category Theory and Philosophy
Posted by David Corfield
I held a small gathering this week in Kent, Type theory, Category theory and Philosophy. Currently I only have my own slides up there. I’ll see which others I can add.
My talk was on events and temporal type theory. That events are spoken of in ways unlike objects has long been observed by philosophers. Looking for a type-theoretic rendition of natural language, one would expect at the very least that the object/event distinction should be recognised.
My belief is growing the philosophy, computer science and linguistics have much to say to one another, so it was great to hear from Dominic Orchard, a local computer scientist, of his work on graded modalities, and how philosophers such as Kit Fine and Lou Goble had uncovered them in the early 70s. There’s a body of work by linguistics to go through too, such as Lassiter’s Graded Modality.
Posted at July 5, 2019 11:08 AM UTC
Re: Type theory, Category theory and Philosophy
Thanks for uploading your slides!