On the number of types

Synthese 194 (12):5005-5021 (2017)
  Copy   BIBTEX

Abstract

In this paper, I investigate type theories from several perspectives. First, I present and elaborate the philosophical and technical motivations for these theories. I then offer a formal analysis of various TTs, focusing on the cardinality of the set of types contained in each. I argue that these TTs can be divided into four formal categories, which are derived from the cardinality of the set of their basic elementary types and the finiteness of the lengths of their molecular types. The paper provides proofs of the cardinality of the universe of types for each of the specified theories.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s11229-016-1190-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The number of types in simple theories.Enrique Casanovas - 1999 - Annals of Pure and Applied Logic 98 (1-3):69-86.
Peirce's 10, 28, and 66 sign-types: The simplest mathematics.Robert W. Burch - 2011 - Semiotica 2011 (184):93-98.
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Unraveling Scientific Impact: Citation types in marketing journals.Stefan Stremersch, Nuno Camacho, Sofie Vanneste & Isabel Verniers - 2015 - International Journal of Research in Marketing 32 (1):64-77.
Types of constraints on development: An interactivist approach.Mark Bickhard - manuscript
Stable types in rosy theories.Assaf Hasson & Alf Onshuus - 2010 - Journal of Symbolic Logic 75 (4):1211-1230.
Classification of types of ontogenetic reproduction.Gavril Acălugăriţei - 1986 - Acta Biotheoretica 35 (1-2):107-121.
On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.
Enumerating the preconditions of agent message types.Jeff Pelletier - unknown
Types of Constraints on Development: An Interactivist Approach.Robert L. Campbell, Mark H. Bickhard, PO Box & Chandler-Ullmann Hall - unknown
Invariant Version of Cardinality Quantifiers in Superstable Theories.Alexander Berenstein & Ziv Shami - 2006 - Notre Dame Journal of Formal Logic 47 (3):343-351.
Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Combining type disciplines.Felice Cardone, Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro - 1994 - Annals of Pure and Applied Logic 66 (3):197-230.

Analytics

Added to PP
2016-08-25

Downloads
36 (#431,270)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.

Add more citations

References found in this work

Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
The Impossible: An Essay on Hyperintensionality.Mark Jago - 2014 - Oxford, United Kingdom: Oxford University Press.
Principles of Mathematics.Bertrand Russell - 1937 - New York,: Routledge.

View all 24 references / Add more references