Against Cumulative Type Theory

Tim Button & Robert Trueman

Review of Symbolic Logic (forthcoming)

Download Edit this record How to cite View on PhilPapers

Abstract

This article has no associated abstract. (fix it)

Keywords

type theory standard type theory cumulative type theory

Categories

Logical Semantics and Logical Truth in Logic and Philosophy of Logic

Type-Theoretic Semantics in Philosophy of Language

(categorize this paper)

PhilPapers/Archive ID

BUTACT-2

Upload history

Archival date: 2021-08-27
View other versions

Added to PP index
2021-08-27

Total views
53 ( #54,294 of 2,448,333 )

Recent downloads (6 months)
53 ( #11,788 of 2,448,333 )

How can I increase my downloads?

Downloads since first upload

This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Home | Topics | About PhilArchive | OAI-PMH | Contact us

This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Page generated Sun Oct 17 21:29:30 2021 on philpapers-web-b64ccb96b-2tbjx