Quine's Conjecture on Many-Sorted Logic
- Publication Year:
- Repository URL:
In this paper we settle a conjecture suggested by Quine (1937, 1938, 1951, 1956, 1960, 1963). Our theorem makes precise the relationship between many-sorted logic and single-sorted logic and yields a remark about a criterion for theoretical equivalence proposed by Glymour (1970, 1977, 1980).