[Question] Logical inductors in multistable situations.

I was read­ing about log­i­cal in­duc­tion at


and un­der­stand how it re­solves para­dox­i­cal self refer­ence, but I’m not sure what the in­duc­tor will do in situ­a­tions where mul­ti­ple sta­ble solu­tions ex­ist.


If is con­tin­u­ous then it must have a fixed point. Even if it has finitely many dis­con­ti­nu­ities, it must have an “al­most fixed” point. An such that

How­ever some have mul­ti­ple such points.

Has “al­most fixed” points at , and .

A similar con­tin­u­ous is


Hav­ing ev­ery point fixed.


Th­ese func­tions make the log­i­cal in­duc­tor ver­sion of “this state­ment is true”. Mul­ti­ple val­ues can be con­sis­tently ap­plied to this log­i­cally un­cer­tain vari­able. None of the pos­si­ble val­ues al­low a money pump, so the tech­nique of show­ing that some be­havi­our would make the mar­ket ex­ploitable that is used re­peat­edly in the pa­per don’t work here.

Is the value of uniquely defined or does it de­pend on the im­ple­men­ta­tion de­tails of the log­i­cal in­duc­tor? Does it tend to a limit as ? Is there a sense in which

causes has a stronger at­trac­tor to than it does to ?

Can be 0.6 where

be­cause the small­est vari­a­tion would force it to be ?