AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Parts and Holes - Sidesteps the Whole Thing
Wel awe: I want goin to say, i mean, there's even another path here that side steps the entire thing. This is less well known, but i sh want to mention it, because the issue of parts and holes a kind of fusing. But we can sort a sidestep entirely by talking about types and asking why certain types are istantiated. And so when we think in terms of type, we can then think about the general type being contingent. So if we want to avoid a circular explanation, now we're back to a non contingent, necessary foundation for contingent things.