
5 - Infra-Bayesianism with Vanessa Kosoy
AXRP - the AI X-risk Research Podcast
00:00
Is There a Consecs Hall of Sets?
The logic conection is something that i think we haven't really talked much about interposed so far. So the basic idea is is kind of simple. Like, once you have convicets, don't you have the natural operation of intersecting those sets? And then your operations of intersection and comnonx hall correspond to just intersectionn union. What's nice about it is that you can kind of use this sort of logic to construct your hypothesis. You know, like prepositional logic is already and the complete first thorte logic is not computable bubut like informational logic.
Transcript
Play full episode