this post was submitted on 15 Aug 2024
92 points (91.1% liked)

Science Memes

11223 readers
3019 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.

Rules

  1. Don't throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.

Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago
MODERATORS
[email protected]
[email protected]
[email protected]
92
Maths vs Philosophy (mander.xyz)
submitted 3 months ago by [email protected] to c/[email protected]
14 comments fedilink hide all child comments
 
top 14 comments
sorted by: hot top controversial new old
[–] [email protected] 20 points 3 months ago (1 children)

I have a PhD in moral philosophy and I have no idea what's going on here.

[–] [email protected] -1 points 3 months ago (1 children)
[–] [email protected] 7 points 3 months ago (1 children)

Facebook comment sections on anything scientific are always entertaining!

[–] [email protected] 2 points 3 months ago

Facts.

[–] [email protected] 11 points 3 months ago* (last edited 3 months ago) (2 children)

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.

https://en.m.wikipedia.org/wiki/Saul_Kripke

https://en.m.wikipedia.org/wiki/Topos

[–] [email protected] 7 points 3 months ago (1 children)

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 2 points 3 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.

[–] [email protected] 7 points 3 months ago

What

[–] [email protected] 5 points 3 months ago

Wow that's a very specific reach of a meme

[–] [email protected] 4 points 3 months ago

Big Globo

[–] [email protected] 4 points 3 months ago

Worst thing to happen to moral philosophy since Sam Harris decided to write a book about it.

[–] [email protected] 3 points 3 months ago

Ig "moral" and "modal" looks close enough

[–] [email protected] 1 points 3 months ago

I would like to reply to ridicule with another ridicule: Women are immune to maths.