The distinction between a type and its tokens is auseful metaphysical distinction. In §1 it is explained what itis, and what it is not. Its importance and wide applicability inlinguistics, philosophy, science and everyday life are brieflysurveyed in §2. Whether types are universals is discussed in§3. §4 discusses some other suggestions for what types are,both generally and specifically. Is a type the sets of its tokens?What exactly is a word, a symphony, a species? §5 asks what atoken is. §6 considers (...) the relation between types and theirtokens. Do the type and all its tokens share the same properties? Mustall the tokens be alike in some or all respects? §7 explains someproblems for the view that types exist, and some problems for the viewthat they don’t. §8 elucidates a distinction often confused withthe type-token distinction, that between a type and anoccurrence of it. It also discusses some problems thatoccurrences might be thought to give rise to, and one way to resolvethem. (shrink)

I criticize Julian Dodd's Platonist conception of musical works as discovered eternal types, and defend and elaborate upon Jerrold Levinson's conception of musical works as creatable indicated types. I raise broadly three sorts of worries for Dodd. First, I argue that Dodd conflates types with Platonist universals in claiming that types are eternal and discovered. Secondly, I raise worries for Dodd's Platonist claim that musical works are discovered not created. Here I argue that Dodd's claim goes against our current musical (...) practice. I then argue that Dodd's view leads to a false divide across the arts, and defend this claim from Dodd's criticisms. I also defend the claim that Dodd's view robs artists of the special status we give to them as creators, not merely creative discoverers. I suggest also that musical works can not only be created but can also plausibly cease to exist, which Dodd's Platonism would seem to deny. Thirdly and finally, I defend the conception of musical works as indicated types from Dodd's criticisms. Here I argue that Dodd's view is ontologically profligate. I also submit that Dodd is mistaken in thinking that indicated types have times as their constituents and thus must be events. (shrink)

Can a musical work be created? Some say ‘no’. But, we argue, there is no handbook of universally accepted metaphysical truths that they can use to justify their answer. Others say ‘yes’. They have to find abstract objects that can plausibly be identified with musical works, show that abstract objects of this sort can be created, and show that such abstract objects can persist. But, we argue, none of the standard views about what a musical work is allows musical works (...) both to be created and to persist. (shrink)

This paper sees me clarify, elaborate, and defend the conclusions reached in my ‘Musical Works as Eternal Types’ in the wake of objections raised by Robert Howell, R. A. Sharpe, and Saam Trivedi. In particular, I claim that the thesis that musical works are discovered rather than created by their composers is obligatory once we commit ourselves to thinking of works of music as types, and once we properly understand the ontological nature of types and properties. The central argument of (...) the paper is ‘the argument from the eternal existence of properties’, its moral being that types are eternal entities because they inherit their existence conditions from their eternally existent property-associates. The two key premises in this argument—that properties exist eternally, and that a type exists just in case its property-associate exists—are motivated and then defended at length. (shrink)

I defend the conception of musical works as indicated temporally initiated types against Julian Dodd's recent argument that all types are eternal and uncreated. In doing so, I develop a new account of both cultural and natural types. While types are in a certain sense determined by the properties that underlie them, not all properties determine types; and properties such as being indicated by Beethoven exist only once the temporally initiated entities that those properties essentially involve exist. A cultural type (...) such as Beethoven's Fifth Symphony is a sound pattern that has the essential property of being used in the way specified by Beethoven's singling out of that pattern. (Natural types, such as bird songs or biological species, are patterns having places in actual causal chains in nature.) Given this framework, the Fifth Symphony is an indicated type that was, in a straightforward literal sense, created by Beethoven in 1804–1808. (shrink)