I enjoy working with symbolic logic because it's governed by a really simple set of rules, yet it can be just as expressive as natural language (albeit a lot more terse). In some sense, it's a simple language for expressing reason.

For example, if I want to say that Jane …

Continue reading