Barrett, Thomas William and Halvorson, Hans (2015) Quine's Conjecture on Many-Sorted Logic. [Preprint]
This is the latest version of this item.
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: |
Available Versions of this Item
-
Quine's Conjecture on Many-Sorted Logic. (deposited 06 Sep 2015 14:51)
- Quine's Conjecture on Many-Sorted Logic. (deposited 29 Jan 2016 03:34) [Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
View Item |