Usually, the only logic you involve in programming is the simple propositional logic, a.k.a. 0th order logic that is used when constructing boolean expressions. That’s by far not the only form of logic that can be used when programming. Outside of the imperative paradigm or within specialised libraries, you can encounter such things as 1st order logic, fuzzy logic or three-valued logic.

This time, however, I’m going to present the idea of set-based logic. Unlike the other alternate logics I’ve mentioned this one isn’t anything that goes beyond the bounds of propositional logic, it is merely an alternate representation that makes some operations clearer.

There is something to be said about my coding being unconventional. I use certain mathematical principles that are a little bit different than what you might be used to. There’s a lot of ways to achieve the same thing, programming wise, after all. So I thought I’d talk a bit on what I’m doing and why I’m doing it the way I am. But before I can get to that effectively, I thought I’d just introduce the fundamentals of the mathematical constructs that I use.

And so today I’ll waffle on about sets. Sets are neat, and I get a lot of mileage out of using them in my engine.