Quine's Conjecture on Many-Sorted Logic

Publication Year:

No metrics available.

Repository URL:
Barrett, Thomas William; Halvorson, Hans
preprint description
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).