Barrett, Thomas William and Halvorson, Hans (2015) Quine's Conjecture on Many-Sorted Logic. [Preprint]

PDF quinesconjecture.pdf Download (594kB)

Abstract

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).

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Barrett, Thomas William thomaswb@princeton.edu Halvorson, Hans hhalvors@princeton.edu
Keywords:	theoretical equivalence, definitional equivalence, Morita equivalence, Quine, model theory, many-sorted logic
Subjects:	General Issues > History of Philosophy of Science General Issues > Philosophers of Science General Issues > Structure of Theories
Depositing User:	Thomas Barrett
Date Deposited:	06 Sep 2015 14:51
Last Modified:	29 Jan 2016 03:34
Item ID:	11660
Subjects:	General Issues > History of Philosophy of Science General Issues > Philosophers of Science General Issues > Structure of Theories
Date:	5 September 2015
URI:	https://philsci-archive.pitt.edu/id/eprint/11660

Available Versions of this Item

• Quine's Conjecture on Many-Sorted Logic. (deposited 06 Sep 2015 14:51) [Currently Displayed]
  • Quine's Conjecture on Many-Sorted Logic. (deposited 29 Jan 2016 03:34)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item