welcome to the logical blog

A growing list of articles about formal logic, analytic philosophy, automated reasoning, permissionless technology and blockchains.