Quine's Conjecture on Many-Sorted Logic

Publication Year:
Social Media 1
Tweets 1
Repository URL:
Thomas William Barrett, Hans Halvorson
Most Recent Tweet View All Tweets
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).

This preprint has 0 Wikipedia mention.