Philosophia 31 (1-2):165-170 (2003)
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||Philosophy Philosophy Epistemology Ethics Philosophy of Language Philosophy of Mind Philosophy of Science|
|Categories||categorize this paper)|
|Reprint years||2004, 2006|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Works and Performances in the Performing Arts.David Davies - 2009 - Philosophy Compass 4 (5):744-755.
Weight Ω in Stable Theories with Few Types.Bernhard Herwig - 1995 - Journal of Symbolic Logic 60 (2):353-373.
Types of Constraints on Development: An Interactivist Approach.Robert L. Campbell, Mark H. Bickhard, PO Box & Chandler-Ullmann Hall - unknown
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
A Correspondence Between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
Added to index2009-01-28
Total downloads123 ( #39,082 of 2,163,896 )
Recent downloads (6 months)3 ( #129,223 of 2,163,896 )
How can I increase my downloads?