broadly logic

a blog on logic in AI, math, and philosophy