Get Proposit on the App Store
Get Proposit on Google Play
Join the Discord community
Log in / Sign up
Log in / Sign up

On Liberty

Published·6 premises·17 claims
The conclusion: Unknown
The argument: Falls short — not enough was settled
Contents6 premises
Keep the contents in place
Premises
1The verdict on received morality
Conclusion
2The doctrine applied to a received creed
3The argument from fallibility
4Answering the utility and temperance pleas
5What persecution actually costs
6Extending the principle beyond the law
Responses
Responses
0
Collapse premise
Conclusion
The verdict on received morality
Show graph for premise "The verdict on received morality"
Premise details for "The verdict on received morality"
Christian morality is incomplete
Details for "Christian morality is incomplete"
Christian morality, as historically formed by the church, is one-sided and incomplete; secular ethical elements and non-Christian moral insights are needed alongside it.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Collapse premise
The doctrine applied to a received creed
Show graph for premise "The doctrine applied to a received creed"
Premise details for "The doctrine applied to a received creed"
Christian morality is incomplete
Details for "Christian morality is incomplete"
Christian morality, as historically formed by the church, is one-sided and incomplete; secular ethical elements and non-Christian moral insights are needed alongside it.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
if
Discussion keeps truth living
Details for "Discussion keeps truth living"
Even when an opinion is true, it must be freely discussed to be held as a living truth rather than a dead dogma or mere prejudice.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
and
Debate reveals partial truth
Details for "Debate reveals partial truth"
Many received opinions contain only part of the truth, and opposing opinions often supply the neglected remainder; diversity of opinion is therefore useful to reach fuller truth.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
and
Truth should stay contested
Details for "Truth should stay contested"
When opinions stop being disputed, people stop thinking about them and their truth becomes stale; therefore even true doctrines benefit from being openly contested.
Sign in to vote
0
This claim has no citation and isn't the consequent of any premise.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Collapse premise
The argument from fallibility
Show graph for premise "The argument from fallibility"
Premise details for "The argument from fallibility"
Discussion keeps truth living
Details for "Discussion keeps truth living"
Even when an opinion is true, it must be freely discussed to be held as a living truth rather than a dead dogma or mere prejudice.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
if
Suppression assumes infallibility
Details for "Suppression assumes infallibility"
All silencing of discussion presumes infallibility, because no person or authority can claim certainty enough to exclude others from judging an opinion.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
T
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
True by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Axiom: Logical Principle
and
Judgment needs criticism
Details for "Judgment needs criticism"
Human judgment becomes trustworthy through open criticism, discussion, and experience; without free contradiction and refutation, no rational assurance of being right is possible.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
T
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
True by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Axiom: Background Assumption
and
Truth needs open testing
Details for "Truth needs open testing"
The beliefs with the strongest warrant are those that remain open to the whole world’s challenge; if challenge fails, they attain the best certainty fallible beings can have.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
T
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
True by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Axiom: Background Assumption
and
No exception for certainty
Details for "No exception for certainty"
Permitting free discussion only for doubtful matters while forbidding scrutiny of supposedly certain doctrines still assumes that one’s own judges of certainty are infallible.
Sign in to vote
0
This claim has no citation and isn't the consequent of any premise.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Collapse premise
Answering the utility and temperance pleas
Show graph for premise "Answering the utility and temperance pleas"
Premise details for "Answering the utility and temperance pleas"
Debate reveals partial truth
Details for "Debate reveals partial truth"
Many received opinions contain only part of the truth, and opposing opinions often supply the neglected remainder; diversity of opinion is therefore useful to reach fuller truth.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
if
Utility depends on truth
Details for "Utility depends on truth"
The usefulness of an opinion is itself disputable, and truth is part of utility; therefore discussion cannot fairly protect utility while barring debate over truth.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
T
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
True by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Axiom: Stipulation
and
Temperate speech is not enough
Details for "Temperate speech is not enough"
The free expression of opinion should not be restricted by vague demands of temperance, because unfairness and intemperance are judged asymmetrically and cannot be policed consistently by law.
Sign in to vote
0
This claim has no citation and isn't the consequent of any premise.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
and
Dissent sustains mental life
Details for "Dissent sustains mental life"
Open dissent keeps intellects courageous and active, while social intolerance produces conformity, timidity, and suppression of genuine thought.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Collapse premise
What persecution actually costs
Show graph for premise "What persecution actually costs"
Premise details for "What persecution actually costs"
Dissent sustains mental life
Details for "Dissent sustains mental life"
Open dissent keeps intellects courageous and active, while social intolerance produces conformity, timidity, and suppression of genuine thought.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
if
History condemns persecution
Details for "History condemns persecution"
The deaths of Socrates and Jesus, and Marcus Aurelius’s persecution of Christianity, show that sincere and respectable people can persecute profound truth in error.
Sign in to vote
0
This claim has no citation and isn't the consequent of any premise.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
and
Persecution can suppress truth
Details for "Persecution can suppress truth"
Persecution often succeeds in suppressing truth for long periods, and only eventual rediscovery, not any inherent immunity, lets truth prevail in the long run.
Sign in to vote
0
This claim has no citation and isn't the consequent of any premise.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
and
Social stigma persecutes opinion
Details for "Social stigma persecutes opinion"
Modern societies still persecute opinions through legal penalties and social stigma, which can deter expression as effectively as imprisonment for those dependent on public approval.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Collapse premise
Extending the principle beyond the law
Show graph for premise "Extending the principle beyond the law"
Premise details for "Extending the principle beyond the law"
Social stigma persecutes opinion
Details for "Social stigma persecutes opinion"
Modern societies still persecute opinions through legal penalties and social stigma, which can deter expression as effectively as imprisonment for those dependent on public approval.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
if
Press liberty resists tyranny
Details for "Press liberty resists tyranny"
Liberty of the press serves as a security against corrupt or tyrannical government, and governments should not prescribe opinions or determine what doctrines people may hear.
Sign in to vote
0
This claim has no citation and isn't the consequent of any premise.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
and
Majority may not silence one
Details for "Majority may not silence one"
Mankind is not justified in silencing a lone dissenter even if all others share the opposite opinion; the power to silence opinion is illegitimate.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
T
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
True by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Axiom: Background Assumption
and
Silencing robs mankind
Details for "Silencing robs mankind"
Suppressing an opinion harms the human race because it prevents exchange of error for truth when the opinion is right and prevents clearer truth through collision with error when it is wrong.
Sign in to vote
0
This claim has no citation and isn't the consequent of any premise.
U
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
Unknown by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
and
Suppression assumes infallibility
Details for "Suppression assumes infallibility"
All silencing of discussion presumes infallibility, because no person or authority can claim certainty enough to exclude others from judging an opinion.
Sign in to vote
0
No citations. The argument supports this claim through a premise that concludes it, or an axiom.
T
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
True by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Axiom: Logical Principle
Responses (0)
No published responses yet.

About this source

This argument is a Proposit showcase: a formal reconstruction of a canonical work by John Stuart Mill. The original text is that author’s; the analysis below it is ours.

About: On Liberty

On Liberty (1859) is John Stuart Mill's defense of individual freedom against both state power and social conformity. It advances the "harm principle": that power may rightly be used over a member of society, against their will, only to prevent harm to others. The excerpt here is Chapter II, "Of the Liberty of Thought and Discussion," where Mill argues that silencing any opinion presumes our own infallibility, and that even a true belief, left uncontested, hardens into dead dogma.

Original summary for this showcase, informed by public sources including Wikipedia.

Read more: On Liberty on Wikipedia · Full text: On Liberty at Wikisource

What Proposit adds is the structure: the work’s reasoning restated as explicit claims and premises, with each inference laid out so it can be examined, cited and disputed on its own terms. Readers can respond to any individual premise rather than to the work as a whole.
Maximize details
Show details
Maximize details
Argument details
Forks
Argument history
Argument participants
Propositional formulae
Source text