I assume we need to ask some of these questions in order to decide if, or in what sense, an AGI needs second-order logic.
I assume we need to ask some of these questions in order to decide if, or in what sense, an AGI needs second-order logic.