A counter-example to theatrical type theories

Philosophia 31 (1-2):165-170 (2003)
Download Edit this record How to cite View on PhilPapers
Plays, symphonies and other works in the performing arts are generally regarded, ontologically speaking, as being types, with individual performances of those works being regarded as tokens of those types. But I show that there is a logical feature of type theory which makes it impossible for such a theory to satisfactorily explain a 'double performance' case that I present: one in which a single play performance is actually a performance of two different plays. Hence type theories fail, both for plays and for the related performing art of music as well.
(categorize this paper)
Reprint years
2004, 2006
PhilPapers/Archive ID
Upload history
Archival date: 2015-09-03
View other versions
Added to PP index

Total views
192 ( #37,236 of 71,189 )

Recent downloads (6 months)
5 ( #67,431 of 71,189 )

How can I increase my downloads?

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