Shapiro's full semantics treats second-order quantifiers as ranging over the actual power set of the...