LESSWRONG
LW

2119
Wikitags
You are viewing version 1.2.0 of this page. Click here to view the latest version.

Logical Uncertainty

Edited by abramdemski, JoshuaFox, et al. last updated 6th Jun 2022
You are viewing revision 1.2.0, last edited by Ruby

Logical Uncertainty is probabilistic uncertainty about the implications of beliefs. (Another way of thinking about it is: uncertainty about computations.) Probability theory typically assumes logical omniscience, IE, perfect knowledge of logic. The easiest way to see the importance of this assumption is co consider Bayesian reasoning: to evaluate the probability of evidence given a hypothesis, P(e|h), it's necessary to know what the implications of the hypothesis are. However, realistic agents cannot be logically omniscient.

See Also: Logical Induction

Subscribe
Discussion
Subscribe
Discussion
Posts tagged Logical Uncertainty
103History of the Development of Logical Induction
Ω
Scott Garrabrant
7y
Ω
4
173An Untrollable Mathematician Illustrated
Ω
abramdemski
8y
Ω
38
112Reflection in Probabilistic Logic
Eliezer Yudkowsky
13y
168
87Bayesian Probability is for things that are Space-like Separated from You
Ω
Scott Garrabrant
7y
Ω
22
65What Would I Do? Self-prediction in Simple Algorithms
Scott Garrabrant
5y
12
50Relating HCH and Logical Induction
Ω
abramdemski
5y
Ω
4
48Radical Probabilism [Transcript]
Ω
abramdemski, Ben Pace
5y
Ω
12
30Applications of logical uncertainty
alex_zag_al
11y
19
29Questions of Reasoning under Logical Uncertainty
So8res
11y
19
13Asymptotic Logical Uncertainty: Concrete Failure of the Solomonoff Approach
Ω
Scott Garrabrant
10y
Ω
0
8Logical inductors in multistable situations.
Q
Donald Hobson
7y
Q
4
6A measure-theoretic generalization of logical induction
Ω
Vanessa Kosoy
9y
Ω
0
5The set of Logical Inductors is not Convex
Ω
Scott Garrabrant
9y
Ω
4
5Logical Inductors that trust their limits
Ω
Scott Garrabrant
9y
Ω
2
92Toward a New Technical Explanation of Technical Explanation
Ω
abramdemski
8y
Ω
36
Load More (15/65)
Add Posts