Studia Logica

, Volume 65, Issue 3, pp 367-381

First online:

A Complete and Consistent Formal System for Sortals

  • Max A. FreundAffiliated withDepartamento de Filosofia

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.

sortal logic conceptualism semantics for sortals