In this monograph, different formal logics for sortal concepts and sortal-related logical notions (such as sortal identity and first-order sortal quantification) are characterized. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics.