Local Validity as a Key to Sanity and Civilization — LessWrong
Eliezer describes the similarity between understanding what a locally valid proof step is in mathematics, knowing there are bad arguments for true co…
x Local Validity as a Key to Sanity and Civilization — LessWrong Best of LessWrong 2018 Epistemology Decoupling vs Contextualizing Public Discourse Common Knowledge Gears-Level Rationality Curated 252 Local Validity as a Key to Sanity and Civilization by Eliezer Yudkowsky 7th Apr 2018 15 min read 70 252 (Cross-posted from Facebook .) 0. Tl;dr: There's a similarity between these three concepts: A locally valid proof step in mathematics is one that, in general, produces only true statements from true statements. This is a property of a single step, irrespective of whether the final conclusion is
saved by
related reading
- LLM Alignment, ethical and mathematical realism, and the most important actions in davidad's understanding — LessWronglesswrong.com
- Gears in understanding — LessWronglesswrong.com
- Eliezer's Unteachable Methods of Sanity — LessWronglesswrong.com
- How To Write Quickly While Maintaining Epistemic Rigor — LessWronglesswrong.com
- Dark Side Epistemology — LessWronglesswrong.com
- What Do We Mean By "Rationality"? — LessWronglesswrong.com
- The Best of LessWrong — LessWronglesswrong.com
- Knowing About Biases Can Hurt People — LessWronglesswrong.com
- Philosophy: A Diseased Discipline — LessWronglesswrong.com
- The Useful Idea of Truth — LessWronglesswrong.com
- Annoyingly Principled People, and what befalls them — LessWronglesswrong.com
- Your Strength as a Rationalist — LessWronglesswrong.com