PhilSci Archive

Quine's Conjecture on Many-Sorted Logic

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

This is the latest version of this item.

[img] PDF
quinesconjecture.pdf

Download (617kB)

Abstract

Quine often argued for a simple, untyped system of logic rather than the typed systems that were championed by Russell and Carnap, among others. He claimed that nothing important would be lost by eliminating sorts, and the result would be additional simplicity and elegance. In support of this claim, Quine conjectured that every many-sorted theory is equivalent to a single-sorted theory. We make this conjecture precise, and prove that it's true, at least according to one reasonable notion of theoretical equivalence. Our clarification of Quine's conjecture, however, exposes the shortcomings of his argument against many-sorted logic.


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, Carnap, model theory, many-sorted logic
Subjects: Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Methodology
General Issues > History of Philosophy of Science
General Issues > Logical Positivism/Logical Empiricism
Specific Sciences > Mathematics
General Issues > Philosophers of Science
General Issues > Structure of Theories
Depositing User: Thomas Barrett
Date Deposited: 29 Jan 2016 03:34
Last Modified: 07 May 2017 16:36
Item ID: 11887
Subjects: Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Methodology
General Issues > History of Philosophy of Science
General Issues > Logical Positivism/Logical Empiricism
Specific Sciences > Mathematics
General Issues > Philosophers of Science
General Issues > Structure of Theories
Date: 5 September 2015
URI: https://philsci-archive.pitt.edu/id/eprint/11887

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