Musings

mechanization of rationality / thought (specifically, as displayed by type theory, programming languages, ..)

Descartes on the mind body problem: why could physical things not interact with non-physicals?

context morphisms

taal: syntax/semantiek reflecteren associatie.
Een gegeven systeem verbiedt dus ook zekere associaties. Dat is de politiek van taal (Foucault).

philosophy vs. politically engaged intellectual thought = exploration vs. introspection & arrangement [Fedor]: the former is cool & fun, the latter is neccessary and more important (at least in the short term)