Caledonian: He isn’t using “too-big” in the way you are interpreting it.
The point is not: Mindspace has a size X, X > Y, and any set of minds of size > Y cannot admit universal arguments.
The point is: For any putative universal argument you can cook up, I can cook up a mind design that isn’t convinced by it.
The reason that we say it is too big is because there are subsets of Mindspace that do admit universally compelling arguments, such as (we hope) neurologically intact humans.
Caledonian: He isn’t using “too-big” in the way you are interpreting it.
The point is not: Mindspace has a size X, X > Y, and any set of minds of size > Y cannot admit universal arguments.
The point is: For any putative universal argument you can cook up, I can cook up a mind design that isn’t convinced by it.
The reason that we say it is too big is because there are subsets of Mindspace that do admit universally compelling arguments, such as (we hope) neurologically intact humans.