Polytopos

Epistemic status: This post offers a philosophical argument for distinguishing truth and fittingness as parallel success concepts for two phases of rational inquiry. I have graduate degrees in philosophy, with relevant expertise in logic, type theory, epistemology, phenomenology, ontology, and philosophy of science. I am confident (0.9) about truth the...

For a while now I've been planning to do a series of posts about conceptual media. A conceptual medium is a an expressive medium that primarily serves to express abstract thoughts and ideas. It is analogous to the concept of an artistic medium (e.g., painting, poetry, violin, etc), but pertains...

I was listening to an interview with the economist Paul Krugman the other day about whether robots will be taking our jobs. He pointed to data showing that the growth in productivity has declined in recent years, citing this as evidence that AI and robotics are not (yet at least)...

Prompted by this article from Quanta magazine about physicist Nicolas Gisin's recent work on intuitionism and the flow of time, I have done my best to explicate the philosophical and mathematical background to this subject for a non-technical audience. I find this topic to be a fascinating intersection of philosophical...

I've been studying the field of knowledge representation (KR) and everything I've come across is focused on building knowledge systems for machine processing. I wonder why nobody seems to have applied these ideas to make digital KR systems for human beings to use as tool for active inquiry or personal...