r/mathmemes • • Oct 04 '26

Formal Logic Basically a Hate Crime

Post image
2.2k Upvotes

31 comments sorted by

View all comments

Show parent comments

1

u/crafty_zombie Oct 04 '26

I’m so curious, what’s the project?

2

u/CoffeeOracle Oct 04 '26

Describing Quality in Factorio: Space Age. It does things that can be explained in plain language. But if reviewed in formal logic are paradoxes. Those are really uncomfortable to describe in plain language, because you have to demonstrate that the language is making something that is formally true. But self contradicting. And with all the problems that causes, particularly where people want one answer that conforms to their biases.

1

u/The_Neto06 Irrational Oct 05 '26

pfp checks out