Definability of Truth in Probabilistic Logic - Christiano 2013

N/A

Definability of Truth in Probabilistic Logic (Early draft) Paul Christiano∗ Eliezer Yudkowsky† Marcello Herreshoff‡ Mihaly Barasz§ June 10, 2013 1 Introduction A central notion in metamathematics is the truth of a sentence. To express this notion within a theory, we introduce a predicate True which acts on quoted sentences pϕq and returns their truth value True (pϕq) (where pϕq is a representation of ϕ within the theory, for example its…

saved by

• Lydia Nottingham
• Yudhister Joel Kumar
• Will Anderson

related reading

• A Theory That Proves Its Own Inconsistency · Yan Sheng's siteangyansheng.github.io
• Interpretations of Probability (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• 275A, Notes 0: Foundations of probability theory | What's newterrytao.wordpress.com
• Fine Counterfactualsas.nyu.edu
• Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
• canon00-goedel.pdfhirzels.com
• Liar paradox - Wikipediaen.wikipedia.org
• Probabilities are not the right concept — LessWronglesswrong.com
• Self-Referential Probabilistic Logic Admits the Payor's Lemma — LessWronglesswrong.com
• Eat. Sleep. Math.eatsleepmath.tumblr.com
• Interpretations of Probability (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Probability for Philosophers - by Oak - Offhand Quibblesoffhandquibbles.substack.com