The ‘art’ in picking the correct theorem in B seems related to structural realism. ie figuring out where we are importing structure from and how as we port across representations.
The ‘art’ in picking the correct theorem in B seems related to structural realism. ie figuring out where we are importing structure from and how as we port across representations.