•

Applied to the underestimation of circular thinking by AxiomWriter ago

•

Applied to Neuroevolution, Social Intelligence, and Logic by vinnik.dmitry07 ago

•

Applied to What happens with logical induction when... by Raemon ago

•

Applied to Logical induction for software engineers by Alex Flint ago

•

Applied to Conceptual Problems with UDT and Policy Selection by Noosphere89 ago

•

Applied to Occam's Razor and the Universal Prior by Peter Chatain ago

•

Applied to Two Major Obstacles for Logical Inductor Decision Theory by Steven Byrnes ago

•

Applied to An Intuitive Guide to Garrabrant Induction by Mark Xu ago

•

Applied to Asymptotic Decision Theory (Improved Writeup) by Multicore ago

•

Applied to Bounded Oracle Induction by abramdemski ago

**Logical Induction **is the attempt to reason formally when you have uncertainty about logical truths. Modern probability theory makes the assumption that one is logically omniscient, not having ~~uncertain~~uncertainty about whether a given number is prime or whether a certain theorem is true. This seems like a hole in our basic understanding of reasoning. In recent years Scott Garrabrant and other researchers have developed the first formal account of how to reason under logical uncertain (the writeup can be found here).

•

Applied to Radical Probabilism by abramdemski ago

•

Applied to Godel in second-order logic? by Abhimanyu Pallavi Sudhir ago

Logical Inductionis~~the attempt to reason formally when you have~~a formal theory of reasoning under logical uncertainty~~about logical truths. Modern probability theory makes the assumption that one is logically omniscient, not having uncertainty about whether a given number is prime or whether a certain theorem is true. This seems like a hole in our basic understanding of reasoning. In recent years~~, developed by Scott Garrabrant and other~~researchers have developed the first formal account of how~~researchers. Rationality is defined through a prediction-market analogy. High-quality beliefs are those which are computationally difficult to~~reason under logical uncertain (the~~win bets against. The writeup can be found here~~)~~.