I think it’s wrong to call this a criticism of the rationality community. The people who designed systems like market auctions for spectrum aren’t member of the rationalist community.
When I’m thinking about an institution in our movement that advocates knowledge gathering through formal methods without attempts at openness no one come to mind.
You could call GiveWell an organisation that uses formal methods for knowledge gathering but they are also an institution that releases recordings of their board meetings to the public. Actions like that are a costly signal for valuing legibility.
CFAR doesn’t teach people to reason with formal systems. That’s not what they teach.
I think it’s wrong to call this a criticism of the rationality community. The people who designed systems like market auctions for spectrum aren’t member of the rationalist community.
When I’m thinking about an institution in our movement that advocates knowledge gathering through formal methods without attempts at openness no one come to mind.
You could call GiveWell an organisation that uses formal methods for knowledge gathering but they are also an institution that releases recordings of their board meetings to the public. Actions like that are a costly signal for valuing legibility.
CFAR doesn’t teach people to reason with formal systems. That’s not what they teach.