Philosophia 31 (1-2):165-170 (2003)
|Abstract||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.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
David Davies (2009). Works and Performances in the Performing Arts. Philosophy Compass 4 (5):744-755.
Bernhard Herwig (1995). Weight Ω in Stable Theories with Few Types. Journal of Symbolic Logic 60 (2):353-373.
Robert L. Campbell, Mark H. Bickhard, PO Box & Chandler-Ullmann Hall, Types of Constraints on Development: An Interactivist Approach.
Linda Wetzel, Types and Tokens. Stanford Encyclopedia of Philosophy.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Fairouz Kamareddine & Twan Laan (2001). A Correspondence Between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. Journal of Logic, Language and Information 10 (3):375-402.
Linda Wetzel (2002). On Types and Words. Journal of Philosophical Research 27:239-265.
John Dilworth (2003). Ariadne at the Movies. Contemporary Aesthetics 1 (1):Online.
Jeffrey C. Alexander (2004). Cultural Pragmatics: Social Performance Between Ritual and Strategy. Sociological Theory 22 (4):527-573.
Added to index2009-01-28
Total downloads7 ( #133,637 of 549,701 )
Recent downloads (6 months)1 ( #63,425 of 549,701 )
How can I increase my downloads?