[-] ns1@feddit.uk 5 points 22 hours ago

I definitely don't get this comic, but I can give us a starting point on the first statement: "moral situations can be described using Kripke Models"-

Kripke Models are based on Modal Logic, which is a way of doing formal logic including definitions of "necessarily" and "possibly". The link between Modal Logic and ethics is Deontic logic, where "necessarily" is taken to mean "obligatory" and "possibly" means "permitted". Sheaves and Topos theory are pure mathematics stuff and "Globo Matho" doesn't mean anything as far as I can tell.

Be sure to let us all know if you find out what this means!

[-] ns1@feddit.uk 7 points 23 hours ago

Facebook comment sections on anything scientific are always entertaining!

[-] ns1@feddit.uk 1 points 2 days ago

How did I just know this was going to be the answer?

view more: next ›

ns1

joined 1 year ago