On: Gettiers in software engineering (2019)

[grvbck]

> for any given claim in Philosophy, if you could find a way to either (a) compare it to the world or (b) state it in unambiguous symbolic terms…

Not a crazy idea – that is called logic. Which is a field of philosophy. Philosophy and math intersect more than many people think.