"To put it super crudely it's a sort of disagreement with the idea that informal rationality is just an approximation to the math instead of the other way around." - Srijit Sanyal gives the best one-line description of @Meaningness's views I've heard. Or at least I thought so?
-
-
Formal rationality has to rely on reasonableness to make contact with concrete reality. There’s always a gap of non-formal interpretation between formal symbolic understanding and the world. Recognizing this is a prerequisite to meta-rationality; but is not meta-rationality.
-
Meta-rationality means figuring out how to deploy formal rationality effectively in particular circumstances. That can involve examining the specifics of the rationality/reasonableness interface in those circumstances; but it goes well beyond that.pic.twitter.com/1SNXhP7Fhu
- 2 more replies
New conversation -
-
-
Here's another one I toyed with: it's about relegating all systems of thought based on definitions and definability to an ultimately instrumental status. Sort of like the LW "winning is the ultimate rationality", but extended more seriously to the epistemology and metaphysics.
-
Maybe this sounds similar to
@ESYudkowsky’s toolbox vs Law distinction? Which I’m still not sure I understand. - 1 more reply
New conversation -
-
-
Oh god now it's here? I started disliking my explanation as soon as I saw he agreed with it, lol. Much too different a way of thinking for him to grasp so quickly. (It's a diffferent sort of "meta" than he's used to.)
-
I’d be curious to see the original, if it is not inconvenient or embarrassing :) It’s really useful to see ways other people summarize/understand what I write, so I can clarify! (Was this on Facebook? I don’t have an account there…)
End of conversation
New conversation -
-
-
Now Eliezer can and likely will reply along the lines that David is confusing particular methods of rationality (or even the collection of them) with "the rationalist's art", and it is the latter that is more valuable. At which I'll leave it to David to make further headway.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Like, Eliezer is committed to the notion that whatever it is that does the winning is ultimately executing some algorithm that could be written down in a finite universe - so once again his "truer meaning" is formal. (Actually the whole thing is at bottom a dispute about meaning)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.