A counter-example to theatrical type theories

Philosophia 31 (1-2):165-170 (2003)
  Copy   BIBTEX


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.

Author's Profile

John Dilworth
Western Michigan University


Added to PP

318 (#40,352)

6 months
51 (#58,085)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?