# 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
138 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
160 points

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

22 Aug 2019 6:44 UTC
75 points

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

16 Feb 2018 0:44 UTC
85 points

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

29 Aug 2018 3:15 UTC
100 points

18 Aug 2020 21:14 UTC
176 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 un­cer­tainty and Math­e­mat­i­cal uncertainty

26 Jun 2018 1:08 UTC
35 points

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

16 Jun 2020 22:08 UTC
50 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

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

3 Jan 2019 23:56 UTC
8 points

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

27 Sep 2016 9:05 UTC
5 points

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

20 Sep 2016 23:17 UTC
5 points

26 Jun 2020 22:14 UTC
48 points

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

17 Aug 2017 0:39 UTC
4 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

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

26 Mar 2023 18:31 UTC
18 points

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

20 Sep 2018 2:01 UTC
93 points

# Log­i­cal Uncer­tainty as Probability

29 Apr 2012 22:26 UTC
4 points

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

22 Jul 2015 19:27 UTC
13 points

# Bounded Or­a­cle Induction

28 Nov 2018 8:11 UTC
25 points

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

17 Apr 2017 21:10 UTC
35 points

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

3 Oct 2021 3:23 UTC
28 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

# A de­sign con­cept for su­per­in­tel­li­gent ma­chines (and Pop­per’s cri­tique of in­duc­tion)

12 Dec 2023 18:31 UTC
−7 points
(tiplur-bilrex.tlon.network)

# the un­der­es­ti­ma­tion of cir­cu­lar thinking

30 Mar 2024 9:45 UTC
1 point

# Con­cep­tual Prob­lems with UDT and Policy Selection

28 Jun 2019 23:50 UTC
64 points