Strawson on Categories

Journal of Critical Analysis 7 (3):83-87 (1978)
Download Edit this record How to cite View on PhilPapers
A type theory constructed with reference to a particular language will associate with each monadic predicate P of that language a class of individuals C(P) of which it is categorically significant to predicate P (or which P spans, for short). The extension of P is a subset of C(P), which is a subset of the language’s universe of discourse. The set C(P) is a category discriminated by the language. The relation 'is spanned by the same predicates as' divides the language’s universe of discourse into equivalence classes. These are the types discriminated by the language. This paper criticizes an attempt by Peter Strawson to explain terms peculiar to type theory in terms of other notions not peculiar to type theory
PhilPapers/Archive ID
Upload history
Archival date: 2015-11-21
View other versions
Added to PP index

Total views
315 ( #22,018 of 65,538 )

Recent downloads (6 months)
8 ( #57,710 of 65,538 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.