It is not the case that In many-sorted logic, the choice of whether sorts must be non-empty, disjoint, or allow subsort relations introduces semantic underdetermination not present in single-sorted first-order logic.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.