# Log­i­cal Induction

TagLast edit: 17 Jul 2020 5:41 UTC by

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 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).

# An In­tu­itive Guide to Garrabrant Induction

3 Jun 2021 22:21 UTC
131 points

# What Would I Do? Self-pre­dic­tion in Sim­ple Algorithms

20 Jul 2020 4:27 UTC
64 points

# Log­i­cal in­duc­tion for soft­ware engineers

3 Dec 2022 19:55 UTC
136 points

# Toward a New Tech­ni­cal Ex­pla­na­tion of Tech­ni­cal Explanation

16 Feb 2018 0:44 UTC
85 points

# Mar­kets are Univer­sal for Log­i­cal Induction

22 Aug 2019 6:44 UTC
75 points

18 Aug 2020 21:14 UTC
171 points

# His­tory of the Devel­op­ment of Log­i­cal Induction

29 Aug 2018 3:15 UTC
96 points

# Com­put­er­phile dis­cusses MIRI’s “Log­i­cal In­duc­tion” paper

4 Oct 2018 16:00 UTC
43 points

# Log­i­cal In­duc­tors that trust their limits

20 Sep 2016 23:17 UTC
5 points

# [Question] Log­i­cal in­duc­tors in mul­ti­stable situ­a­tions.

3 Jan 2019 23:56 UTC
8 points

# Log­i­cal un­cer­tainty and Math­e­mat­i­cal uncertainty

26 Jun 2018 1:08 UTC
35 points

# The set of Log­i­cal In­duc­tors is not Convex

27 Sep 2016 9:05 UTC
5 points

26 Jun 2020 22:14 UTC
47 points

# A mea­sure-the­o­retic gen­er­al­iza­tion of log­i­cal induction

18 Jan 2017 13:56 UTC
6 points

# Re­lat­ing HCH and Log­i­cal Induction

16 Jun 2020 22:08 UTC
50 points

# Op­ti­miz­ing ar­bi­trary ex­pres­sions with a lin­ear num­ber of queries to a Log­i­cal In­duc­tion Or­a­cle (Car­toon Guide)

23 Jul 2020 21:37 UTC
4 points

# Log­i­cal In­duc­tion with in­com­putable sequences

17 Aug 2017 0:39 UTC
4 points

# Log­i­cal Uncer­tainty as Probability

29 Apr 2012 22:26 UTC
4 points

# Two Ma­jor Ob­sta­cles for Log­i­cal In­duc­tor De­ci­sion Theory

17 Apr 2017 21:10 UTC
30 points

# Oc­cam’s Ra­zor and the Univer­sal Prior

3 Oct 2021 3:23 UTC
22 points

# Bounded Or­a­cle Induction

28 Nov 2018 8:11 UTC
25 points

# Asymp­totic Log­i­cal Uncer­tainty: Con­crete Failure of the Solomonoff Approach

22 Jul 2015 19:27 UTC
13 points

# Squeez­ing foun­da­tions re­search as­sis­tance out of for­mal logic nar­row AI.

8 Mar 2023 9:38 UTC
16 points

# In Log­i­cal Time, All Games are Iter­ated Games

20 Sep 2018 2:01 UTC
91 points

# [Question] What hap­pens with log­i­cal in­duc­tion when...

26 Mar 2023 18:31 UTC
18 points

# Neu­roevolu­tion, So­cial In­tel­li­gence, and Logic

31 May 2023 17:54 UTC
1 point