 Some philosophers, perhaps most notably Carnap (1950) have used a concept closely akin to sortals in formulating many-sorted logics. There is a technical point to be explained and a controversy to be discussed in relation to these.