The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed 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 a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to capture the (...) right distinctions we ought to make between what I call _typographical sentence types_—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out. (shrink)

A widespread intuition is that words, musical works, and flags are intentionally produced and that they’re abstract types that can have incorrect tokens. But some philosophers, notably Julian Dodd and Nicholas Wolterstorff, think intention-dependence isn’t necessary; tokens just need to have certain relevant intrinsic features to be tokens of a given type. I show how there’s an unappreciated puzzle that arises from these two views: if tokens aren’t intention-dependent and types can admit of correct and incorrect tokens, then some driftwood (...) that washes up and forms what seems like the word ‘cat’ may simultaneously be a misspelling of ‘act’ and innumerable other misspelt words. I consider various ways Dodd and Wolterstorff can respond to this counterintuitive result and argue that biting the bullet, as well as nearby views, are implausible. Thus, they need to give up one of the two commitments, and I argue that requiring the intention-dependence of tokens, rather than the mere possession of certain intrinsic properties, is the best option. (shrink)

In Languages of Art, Nelson Goodman presents a general theory of symbolic notation. However, I show that his theory could not adequately explain possible cases of natural language notational uses, and argue that this outcome undermines, not only Goodman's own theory, but any broadly type versus token based account of notational structure.Given this failure, an alternative representational theory is proposed, in which different visual or perceptual aspects of a given physical inscription each represent a different letter, word, or other notational (...) item. Such a view is strongly supported by the completely conventional relation between inscriptions and notation, as shown by encryption techniques etc. (shrink)

My Ph.D. thesis œImpossibilità nel diritto€ [Impossibility in the Legal Domain] is devoted to the systematic analyses of what are called, at least prima facie, €œlegal impossibilities. My dissertation defines and isolates an area of studies - impossibility in the law - that has never been put organically together. In my work I present some case studies of normative impossibilities and discuss them from a philosophical point of view: impossible laws, impossible norms in a prescriptive theory of norms (ch. 2), (...) conflicting norms and legal gaps (metanormative impossibility - ch. 3), impossible obligations (ch. 4), impossible crimes (ch. 5), impossible legal proofs (ch. 6). I organize my research along the distinction -€“ introduced in ch. 1 -€“ between impossibility of norms (i.e. impossible norms and impossible normative acts) and impossibility from norms (i.e. impossibility due to a norm or a set of norms); the distinction between the impossibility of a norm conceived as a single entity and the impossibility of a norm conceived as part of a legal system; and the distinction of two uses of impossibilities in general, as impossibility can be both the object of a modal qualification and a modality itself. I propose four new contributions to the study of impossibility in the legal domain (ch. 7). Firstly, I reconstruct two different functions of the impossibility in the legal domain (exculpatory and invalidating); secondly, I put forward a triadic model for describing impossibility in the legal domain (in which, roughly, a set of sources of impossibilities is qualified by a function for the assumption of impossibility in the actual and concrete legal system); thirdly, I define and investigate the relationship of creation, assumption and presupposition between impossibility and a legal system; fourthly, I critically list and review all the different kinds of things that are called €˜impossibilities€™ inside a legal system, showing how sometimes the use of the concept of impossibility is not carefully justified. As an appendix (ch. 8), I outline a logic for impossibilities in the legal domain that allows to investigate the phenomena discussed in the work by breaking down the equivalence between being impossible (in the legal domain) and being logically contradictory. (shrink)

It is plausible to think that our knowledge of linguistic types can bejustified by what we know about the tokens of these types. But one then hasto explain what it is about the relation a type bears to its tokens that makespossible the move from knowledge of the concrete to knowledge of theabstract. I argue that the standard solution to this difficulty, that the relevant relation is instantiation and that the transition is inductive generalization, is inadequate. I propose an alternative, (...) according to which tokens are representations of the type they belong to. I also defend this view against the charge that it cannot account for the systematic ambiguity of expressions like ‘word’ or ‘sentence’, and the objection that it leads to an implausible form of Platonism. (shrink)

We present a unified diagnosis of three well-known puzzles about proper names, based on a new view of the metaphysics of words and proper names in particular adumbrated by David Kaplan in “Words”. While our solution comes at some metaphysical price, we think it is worth being considered a serious contender and may illustrate the promise of taking more seriously the metaphysical foundations of our semantic theories.

This thesis develops methods for representing how the contents of theories of meaning become conceived by their users. These contents are treated as the range of systematically elicited conceptions afforded by a designated corpus of key texts. The approach being taken involves first detailing a formal scheme for the components of situations attributed to various entities. This scheme is then applied as a framing device to form a template which accounts for the shared structure between the mental spaces which embody (...) how people conceive different theories of meaning. For the purposes of this task, cognition is treated as embodied in the sense that both the form and content of personal conceptualisations are largely dependent on what both bodily and ecological factors afford. The purpose of this approach is to help understand how theories operate when viewed as worldly entities within a materialist framework. The significance of such understanding lies in enabling analyses and comparisons which account for the effects of material restrictions such as how a theory’s presentation must necessarily be selective and how human cognition operates on models set by precedent. The framework being provided here allows the conceptions each individual theory of meaning elicits to be reduced to formal, commensurate models which account for differences between typical influences on the conceptions characteristic of different demographics such as experts of related fields. Approaching theories of meaning from this angle also reveals new avenues of comparison concerning otherwise implicit details. One involves theory-internal conditions on the full material identity of meaning-instantiating entities. The other concerns the extent of the domains for aggregating applicable influences for which a theory accounts and the range of those it may accommodate. (shrink)

It is plausible to think that our knowledge of linguistic types can bejustified by what we know about the tokens of these types. But one then hasto explain what it is about the relation a type bears to its tokens that makespossible the move from knowledge of the concrete to knowledge of theabstract. I argue that the standard solution to this difficulty, that the relevant relation is instantiation and that the transition is inductive generalization, is inadequate. I propose an alternative, (...) according to which tokens are representations of the type they belong to. I also defend this view against the charge that it cannot account for the systematic ambiguity of expressions like ‘word’ or ‘sentence’, and the objection that it leads to an implausible form of Platonism. (shrink)

The different occurrences of a word in a sentence cannot be identified with the one word type, nor with its many tokens. What then are occurrences of a word? How can one type occur more than once in another type? Is the conception of ‘structural universals’ that leads to these questions incoherent, as Lewis maintained? I argue against the answer Wetzel suggested, which identifies sentences with functions from numbers to expressions, and propose instead that occurrences of one type in another (...) are subtypes with different relative positions in the whole. Types have subtypes as well as tokens. Occurrences in non-symmetrical types like sequences are individuated by their relative positions in the type. Occurrences in a symmetrical whole have different positions but stand in the same relations to the other components. They are numerically different subtypes that do not differ from each other qualitatively. (shrink)