A Dictionary of Philosophy, Third Edition
. A logical system is many-sorted if different groups of individual VARIABLES in it are restricted to ranging over different kinds of things. Where all the individual variables have the same range the system is one-sorted.
This is the complete article, containing 37 words
(approx. 1 page at 300 words per page).
View More Summaries on Many-sorted logic
