Against eliminating sorts

Abstract

Each many-sorted theory can be converted to an unsorted theory. But this conversion procedure is not uniquely determined, leading to a dilemma: which unsorted theory captures the content of the corresponding many-sorted theory?

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2024-01-05

Downloads
212 (#99,050)

6 months
126 (#40,376)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hans Halvorson
Princeton University

Citations of this work

No citations found.

Add more citations

References found in this work

Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.
Symposium: The Law of Excluded Middle.P. T. Geach & W. F. Bednarowski - 1956 - Aristotelian Society Supplementary Volume 30 (1):59 - 90.
Symposium: The Law of Excluded Middle.P. T. Geach - 1956 - Aristotelian Society Supplementary Volume 30 (1):59-90.

Add more references