PhilSci Archive

Quine's Conjecture on Many-Sorted Logic

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

WarningThere is a more recent version of this item available.
[img] 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:
CreatorsEmailORCID
Barrett, Thomas Williamthomaswb@princeton.edu
Halvorson, Hanshhalvors@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: http://philsci-archive.pitt.edu/id/eprint/11660

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item