Opaque.Glass
Search
Search
Search
Dark mode
Light mode
Explorer
Essays
Declassification as a vector for technological progress
Resources
Blogs
Taking nonlogical concepts seriously (Kris Brown)
Books
Category Theory (Awodey)
Counterfactuals and Causal Inference
Linear Algebra Done Right
Modal Homotopy Type Theory
Reasons for Logic, Logic for Reasons
People
Cosma Shalizi
Home
❯
tags
❯
Tag: todo
Tag: todo
2 items with this tag.
Aug 04, 2025
Reasons for Logic, Logic for Reasons
phil-of-lang
philosophy
robert-brandom
logic
todo
Aug 04, 2025
Modal Homotopy Type Theory
type-theory
concept-formalisms
david-corfield
todo