Socrates is Mortal
webAuthor
Benquo
Credibility Rating
3/5
Good(3)Good quality. Reputable source with community review or editorial standards, but less rigorous than peer-reviewed venues.
Rating inherited from publication venue: LessWrong
A LessWrong post using philosophical framing around classic syllogistic logic; content unavailable for full analysis, so metadata is estimated based on title and platform context.
Forum Post Details
Karma
163
Comments
32
Forum
lesswrong
Forum Tags
World Modeling
Metadata
Importance: 20/100commentary
Summary
A LessWrong post likely exploring logical reasoning, deductive inference, or epistemics using the classic syllogism 'Socrates is mortal' as a framing device. Without access to the content, it appears to examine how formal logic, probabilistic reasoning, or philosophical argumentation applies to AI-relevant topics such as uncertainty, knowledge representation, or inference.
Key Points
- •Uses the classic Socratic syllogism as a lens to explore reasoning or epistemics
- •Likely discusses deductive vs. inductive reasoning and their limitations or applications
- •May connect formal logic to AI reasoning systems or human cognition
- •Explores how general rules apply to specific cases under uncertainty
Cached Content Preview
HTTP 200Fetched Apr 7, 202620 KB
# Socrates is Mortal
By Benquo
Published: 2026-03-26
There is a scene in Plato that contains, in miniature, the catastrophe of Athenian public life. Two men meet at a courthouse. One is there to prosecute his own father for the death of a slave. The other is there to be indicted for indecency.[^1] The prosecutor, Euthyphro, is certain he understands what decency requires. The accused, Socrates, is not certain of anything, and says so. They talk.
Euthyphro’s confidence is striking. His own family thinks it is indecent for a son to prosecute his father; Euthyphro insists that true decency demands it, that he understands what the gods require better than his relatives do. Socrates, who is about to be tried for teaching indecency toward the gods, asks Euthyphro to explain what decency actually is, since Euthyphro claims to know, and Socrates will need such knowledge for his own defense.
Euthyphro’s first answer is: decency is what I am doing right now, prosecuting wrongdoers regardless of kinship. Socrates points out that this is an example, not a definition. There are many decent acts; what makes them all decent?
Euthyphro tries again: decency is what the gods love. But the gods disagree among themselves, Socrates observes, so by this definition the same act could be both decent and indecent. Euthyphro refines: decency is what *all* the gods love. And here Socrates asks a question Euthyphro cannot answer: do the gods love decent things because they are decent, or are things decent because the gods love them?[^2]
If decent things are decent because the gods love them, then decency is arbitrary, a matter of divine whim. Socrates is too polite to say so, but the implication is: if decency is defined by the arbitrary whim of our betters, who are you to prosecute your father?
If the gods love decent things because they are decent, then however we know this, we already know the standard for decency ourselves and can cut out the middleman. But then Euthyphro should be able to explain the standard. He can’t.
Euthyphro tries a few more times, suggesting that decency is a kind of service to the gods, a kind of trade with the gods. Each time Socrates gently follows the definition to its consequences, and each time it collapses. Eventually Euthyphro leaves, saying he is in a hurry. Socrates’ last words are a lament: you have abandoned me without the understanding I needed for my own defense.
This is usually read as a proto-academic dialogue about definitions. It is a scene from a civilization in crisis. A man is about to use the legal system to destroy his own father on the basis of a concept he cannot define, in a courthouse where another man is about to be destroyed by the same concept. And the man who cannot define it is not unusual. He is representative.
The indecency for which Socrates was being prosecuted seems to have consisted of asking just the sort of questions Socrates posed to Euthyphro.
-----
Athens in the late fifth century had recently
... (truncated, 20 KB total)Resource ID:
03bcb386c529042e | Stable ID: sid_6RlrTpq9PZ