I am really trying to follow this, but I need more coffee I think. I am happy to be educated if it can be explained a little easier or some good reference material.
Maths vs Philosophy
Submitted 2 months ago by fossilesque@mander.xyz to science_memes@mander.xyz
https://mander.xyz/pictrs/image/86f5ec3f-7ca5-4435-8479-6f1a573898d2.jpeg
Comments
jadedwench@lemmy.world 2 months ago
ns1@feddit.uk 2 months 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!
Thelie@sh.itjust.works 2 months ago
From what I gathered from the Wikipedia page of Kripke Models, they take the form of something like a graph (nodes and edges). My mediocre knowledge of higher math makes me wave my hands and say something about Category theory also working with graph-like structures and that sheaves and topoi definitely come up there, too.
fossilesque@mander.xyz 2 months ago
LesserAbe@lemmy.world 2 months ago
What
Krauerking@lemy.lol 2 months ago
Wow that’s a very specific reach of a meme
yesman@lemmy.world 2 months ago
Worst thing to happen to moral philosophy since Sam Harris decided to write a book about it.
_____@lemm.ee 2 months ago
Big Globo
someacnt_@lemmy.world 2 months ago
I would like to reply to ridicule with another ridicule: Women are immune to maths.
Anamnesis@lemmy.world 2 months ago
I have a PhD in moral philosophy and I have no idea what’s going on here.
fossilesque@mander.xyz 2 months ago
Discussion
ns1@feddit.uk 2 months ago
Facebook comment sections on anything scientific are always entertaining!