Slurs are derogatory, and theories of slurs aim at explaining their “derogatory force”. This paper draws a distinction between the type derogatory force and the token derogatory force of slurs. To explain the type derogatory force is to explain why a slur is a derogatory word. By contrast, to explain the token derogatory force is to explain why an utterance of a slur is derogatory. This distinction will be defended by examples in which the (...) type and the token derogatory force come apart. Because of the distinction, an adequate theory of slurs must be plausible for both the type and the token derogatory force. However, I will argue that many theories fail to be plausible for both. In particular, Hom’s combinatorial externalism and the conventional implicature theory offer implausible accounts of the token derogatory force, whereas the prohibitionist theory is insufficient to explain the type derogatory force. (shrink)

Propertarian justifications of intellectual property postulate the appropriation of various entities, often called patterns, designs, or technologies. These must be immaterial and should not be confused with material structures that embody them. Hence two classes of objects are distinguished. It is convenient to refer to them as types and tokens. The type must involve a condition defining which material structures should be considered its tokens. For an IP regime to be economically meaningful one must necessarily appropriate types in a (...) way which restricts access to wide classes of similar, non-identical material structures. Therefore, type conditions must be general. They must define, with a margin of tolerance, only certain aspects of the structure, leaving others unspecified. Consequently, the relationship between such types and tokens is of many-to-many variety. The recognition of these facts leads to four problems in justifying intellectual property on propertarian grounds. The first problem is to demonstrate possession of the type in the pre-legal situation. The second one is to explain, why boundaries of an appropriated type should be placed in a particular location. The third problem is to avoid claim deadlocks resulting from conflicts of rights generated by separate overlapping types. The fourth problem is to justify why ownership of the type should entail the control over other separate entities—that is tokens. In the propertarian framework grounded in the pre-legal state of nature, satisfactory solutions do not seem to have been proposed for any of these four problems. (shrink)

SummaryHow can the immense amount of suffering and waste inherent in the evolutionary process be reconciled with the existence of a perfectly good and omnipotent God? A widely embraced proposal in the area of “evolutionary theodicy” is the so-called “Only Way”-argument. This argument contends that certain valuable goods – in particular, creaturely independence and human freedom – can only come about through a genuinely indeterministic and partly uncontrolled process of evolution. In a previous article, I have argued that the “Only (...) Way”-argument can be defeated by a “Twin Earth”-thought experiment: If God is omnipotent, he could have created – directly, without evolution – creatures that are molecule-for-molecule identical to those that he actually created through evolution. If the creatures that he actually created have freedom and independence, there is no valid reason to deny that the non-evolved “twin creatures” would also be free and independent. Recently, Eikrem and Søvik have suggested a way of blocking my Twin Earth-argument by appealing to the distinction between type-values and token-values. While ES admit that the Twin Earth-argument shows the non-necessity of evolution for the existence of certain type-goods, they argue that an evolutionary creation can be justified by appeal to valuable token-goods that could not have existed without evolution. In this article, I respond to ES’s token-goods argument by showing that it is incompatible with a basic presupposition of “Only Way” evolutionary theodicies, namely the claim that the evolutionary process is genuinely indeterministic and partly uncontrolled. (shrink)

This paper examines the relationship between knowing how to G and the ability to G, which is typically presented in one of the following ways: knowing how to G entails the ability to G; knowing how to G does not entail the ability to G. In an attempt to reconcile these two putatively opposing positions, I distinguish between type and token actions. It is my contention that S can know how to G in the absence of an ability (...) to \, where this action is derived from an action-type, but not in the absence of the ability to perform the action-type itself \\). This refinement is an attempt to reconcile differences between intellectualism and anti-intellectualism with regard to knowledge how and ability. (shrink)

According to the Multiple Realizability Argument, a higher-level property typically has many physical realizers, so it cannot be type-identical to any one of them. This enables the non-reductive physicalist to claim that some higher-level properties are type-distinct from physical properties. The reductive physicalist can counter with the Disjunctive Strategy: nothing prevents us from type-identifying the higher-level property with the disjunction of its realizers. Developing a powers-based ontology of properties, Shoemaker and Wilson present responses to the Disjunctive Strategy, (...) wherein higher-level property instances are token-distinct from their realizers, while instances of disjunctions are not. In this paper, I argue that such responses to the Disjunctive Strategy can be reasonably resisted, either by denying token-distinctness, or by insisting that exhaustively overlapping disjunctive properties are also token-distinct from the realizers. This secures the Disjunctive Strategy as a core component of the argument for reductive physicalism. (shrink)

This paper addresses ethical challenges posed by a robot acting as both a general type of system and a discrete, particular machine. Using the philosophical distinction between “type” and “token,” we locate type-token ambiguity within a larger field of indefinite robotic identity, which can include networked systems or multiple bodies under a single control system. The paper explores three specific areas where the type-token tension might affect human–robot interaction, including how a robot (...) demonstrates the highly personalized recounting of information, how a robot makes moral appeals and justifies its decisions, and how the possible need for replacement of a particular robot shapes its ongoing role. We also consider how a robot might regard itself as a replaceable token of a general robotic type and take extraordinary actions on that basis. For human–robot interaction robotic type-token identity is not an ontological problem that has a single solution, but a range of possible interactions that responsible design must take into account, given how people stand to gain and lose from the shifting identities social robots will present. (shrink)

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. (...) The construction of the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...

The distinction between institution types and institution tokens plays an important role in Francesco Guala’s philosophy of institutions. In this commentary, I argue that this distinction faces a number of difficulties that are not sufficiently addressed in Understanding Institutions. In particular, I critically discuss Guala’s comparison between the taxonomy of organisms and the taxonomy of institutions, consider the semantics of institution terms on different levels in this taxonomy, and argue for an alternative solution to the problem of how (...) to reconcile reformism and realism about institutions like marriage. (shrink)

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)

What kind of entities are works of art from an ontological point of view? This question has become canonical in the framework of analytic philosophy. One way of answering the puzzle seemed to be conclusive. It is the hypothesis that all, or the majority of artworks can be identified with types embedded into tokens. To begin with, I will survey how the type-token distinction transitioned from semiotics to ontology. Secondly, I will consider how some contemporary art forms (...) contributed to questioning this approach to the ontology of artworks. Lastly, I will suggest how the nature of types and tokens should be reassessed in order to properly describe artworks in their historical and socially construed nature. (shrink)

Commentators such as Kemp Smith (1941), Mendelbaum (1974), and Bricke (1980) have taken the distinctions of reason to pose either a counterexample to or a limitation of scope on the Separability Principle. This has been convincingly addressed by various accounts such as Garrett (1997), Hoffman (2011), and Baxter (2011). However, I argue in this paper that there are two notions of ‘distinction of reason’, one between particular instantiations (token distinctions of reason) and one between general ideas (type (...) distinctions of reason). Discussion of the distinctions of reason in the secondary literature has without fail focused on token distinctions of reason, but I will argue that type distinctions of reason prove problematic for Hume’s Separability Principle. I find a way around this problem that is consonant with Hume’s account of general ideas, but which can hardly be said to be an account which he explicitly or even implicitly endorsed. (shrink)

Our comment is based on a simple but, we believe, compelling principle. The proposed cognitive processes and functions that are components of Jablonka and Ginsburg’s Unlimited Associative Learning (UAL) are real and are fundamental elements in the varieties of consciousness, cognition, problem solving, and sentience in the species they identify. But, from our perspective, they didn’t function as the metaphoric biomolecular ship that brought consciousness into being. The UAL functions are, and should be viewed as, evolutionary steps that built upon (...) a deeper and much older cognitive foundation. The appearance of UAL didn’t allow consciousness to emerge. It allowed it to change the manner in which sentience was instantiated − just as a host of other evolutionary developments did. In short, the emergence of UAL is a _token_ on a continuum of mental experience and not a distinct _type_ of mentation. (shrink)

Charles S. Peirce introduces the distinction between a token and a type into semiotics and philosophy by using as an example two ways of individuating words:(P1) A common mode of estimating the amount of matter in a MS. or printed book is to count the number of words. There will ordinarily be about twenty the's on a page, and of course they count as twenty words. In another sense of the word "word," however, there is but one (...) word "the" in the English language; and it is impossible that this word should lie visibly on a page or be heard in any voice, for the reason that it is not a Single thing or Single event. It does not exist; it only determines things that do exist. Such a definitely significant Form, I propose.. (shrink)

The distinction between historiography and the social sciences.

Peirce illustrated the type-token distinction by means of the definite article: there is only one word type “the,” but there are likely to be about twenty tokens of it on this page. Not all tokens are inscriptions; some are sounds, whispered or shouted, and some are smoke signals. The type “the” is neither written ink nor spoken sound; it is an abstract object. Or consider the Grizzly Bear, Ursus arctos horribilis. At one time its U.S. (...) range was most of the area west of the Missouri River and it numbered 10,000 in California alone. Today it numbers less than 1,000. Of course no particular bear numbers 1,000 and no particular bear ever had a range comprising most of the area west of the Missouri. It is a type of bear, a species of bear, that has both properties.We are all familiar with this way of talking about types of things. But—aside from being universals—what are types? What makes a token of one type rather than another? How do we know it is a token of that type? Do some types fail to have tokens? What, if anything, do all and only tokens of a particular type have in common other than being tokens of that type? The first half of the paper answers the last question (“Nothing beyond being a token of the type”). The second half contains sketches of answers to the other questions. (shrink)

If—as many scholars aver—gender is not a biological but rather a social fact, then how is it possible for someone assigned to the category Man at birth at some point later to feel or otherwise experience a personal (as contrasted with social) reality as a woman? If gender is social, how could a statement of the form “I feel like a woman” be true for such a person? This paper aims to defuse the apparent tension, by articulating an account of (...) the construction of oneself-as-gendered (which we may refer to as a gender token), within the wider context of social construction. The aim is to illuminate the differences between constructions of gender tokens, on the one hand, and the social constructions of gender types (known just as gender), on the other. Illuminating both as constructions, but of distinct origins and requiring differential degrees of social collaboration, defuses the tension. (shrink)

Token physicalism is often viewed as a modest and unproblematic physicalist commitment, as contrasted with type physicalism. This paper argues that the prevalence of functional individuation in biology creates serious problems for token physicalism, because the latter requires that biological entities can be individuated physically and without reference to biological functioning. After characterizing the main philosophical roles for token physicalism, I describe the distinctive uses of functional individuation in models of biological processes. I then introduce some (...) requirements on token identity claims that arise from a position on individuation and identity known as sortalism. An examination of biological examples shows that these sortalist requirements cannot be plausibly met due to differences between individuation by functional biological criteria and by physical criteria. Even without assuming sortalism, token physicalism faces the more basic problem of excluding functionally irrelevant detail from the individuation of biological tokens. I close by suggesting that the philosophical roles for token identity are better fulfilled by a notion of token composition, which promotes a hierarchical picture of individuality. (shrink)

A central motivation for the type-token model of music works is its ability to explain musical multiplicity—the fact that musical works are capable of having multiple performances through which they can be experienced and which cannot be individually identified with the works themselves. The type-token model explains multiplicity by identifying musical works with structural types and taking performances to be tokens of those types. In this paper, I argue that musical works are flexible in ways which (...) permit performances which are tokens of distinct structural types to be performances of the same musical work. And I argue that various attempts to reconcile the type-token model with musical flexibility are ultimately unsuccessful. (shrink)

I argue that imperatives express contents that are both cognitively and semantically related to, but nevertheless distinct from, modal propositions. Imperatives, on this analysis, semantically encode features of planning that are modally specified. Uttering an imperative amounts to tokening this feature in discourse, and thereby proffering it for adoption by the audience. This analysis deals smoothly with the problems afflicting Portner's Dynamic Pragmatic account and Kaufmann's Modal account. It also suggests an appealing reorientation of clause-type theorizing, in which the (...) cognitive act of updating on a typed sentence plays a central role in theorizing about both its semantics and role in discourse. (shrink)

The distinction between token and type physicalism is a familiar feature of discussion of psychophysical relations. Token physicalism, or ontological physicalism, is the view that every token, or particular, in the spatiotemporal world is a physical particular. It is contrasted with type physicalism, or property physicalism -- the view that every first-order type, or property, instantiated in the spatiotemporal world is a physical property. Token physicalism is commonly viewed as a clear thesis, (...) strictly weaker than property physicalism, strictly stronger than substance physicalism, and as a good statement on its own or in conjunction with other theses of minimal physicalism.[i] It is also generally simply assumed to be true, though Davidson has offered a famous argument for its truth, and some have argued against it. Many of those arguing against it are substance physicalists, indicating that they believe token physicalism to be a strictly stronger view.[ii]. (shrink)

The popular interpretation of token‐reflexivism states that at the level of logical form, indexicals and demonstratives are disguised descriptions that employ complex demonstratives or special quotation‐mark names involving particular tokens of the appropriate expression‐types. In this article I first demonstrate that this interpretation of token‐reflexivism is only one of many, and that it is better to think of token‐reflexivism as denoting a family of distinct theoretical frameworks. Second, I contrast two interpretations of the idea of the (...) class='Hi'>token‐reflexive paraphrase of an indexical sentence. The utterance approach claims that token‐reflexive paraphrases involve tokens of entire utterances. The sub‐utterance approach maintains that token‐reflexive paraphrases involve tokens of the particular indexical words used in the utterance. Next, I pose a problem that shows that neither of the two approaches is correct. The problem shows that the only viable version of the token‐reflexive proposition must somehow take into account the referential intentions of the speaker of the context. Therefore I conclude the article by sketching the framework of restricted intentional token‐reflexivism. I argue that it is an attractive semantic theory of distributed utterances that, among other things, enables automatic and intentional indexicals to be distinguished. (shrink)

In his famous argument for the unreality of time, McTaggart claims that i) being past, being present, and being future are incompatible properties of an event, yet ii) every event admits all these three properties. In this paper, I examine two key concepts involved in the formulation of i) and ii), namely that of “validity” and that of “contradiction”, and for each concept I distinguish a static version and a dynamic version of it. I then arrive at three different ways (...) of formulating McTaggart’s claims that avoid the notorious McTaggart’s Paradox. So long as we demand that McTaggart make clear use/mention and token/type distinctions in his claims, we shall find that it is indeed very difficult for him to get a genuine contradiction from i) and ii). (shrink)

In this paper I examine following Jerry Fodor a distinction between Standard Realism about psychological States and intentional or content realism. I try to assess whether Standard Realism and Intentional Realism can satisfy the following two conditions: condition a The content of psychological states can satisfy a type-token distinction. condition b. The content of psychological states is causally relevant to action.

A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the (...) syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic. (shrink)

Machamer, Darden, and Craver's account of the nature and role of mechanisms in the special sciences has been very influential. Unfortunately, a confusing array of ontic, epistemic, and pragmatic distinctions is required to individuate their mechanisms, mechanism schemata, and mechanism sketches. I diagnose this as a conflation of token-level causal relations with type-level relations. I propose instead that a mechanism is an abstraction that relates entity types and activity types on the model of a directed graph. Mechanisms have (...) an ontic status distinct from the causal chains of token entities and token activities that instantiate them. (shrink)

This chapter contains sections titled: Criteria Used for the Concept of the Universal Some Conceptual Barriers to Early Grasp of the Universal Empedocles: Formulae for Compounds; Biological Forms; Type‐Identities across Cycles Philolaus: Genus, Species, and the Relation to Particulars Democritus: An Infinity of Atomic Types, Atomic Tokens Comments by Democritus on the Universal Democritus and Aristotle: Origins of the Type–Token Distinction Democritus and Plato Bibliography.

It has recently been suggested that the type/token theorist concerning musical works cannot come up with an adequate semantic theory of those sentences in which we purport to talk about such works. Specifically, it has been claimed that, since types are abstract entities, a type/token theorist can only account for the truth of sentences such as “The 1812 Overture is very loud” and “Bach's Two Part Invention in C has an F-sharp in its fourth measure” by (...) adopting an untenable semantic claim: namely, that the predicates in such sentences, once applied to musical works, undergo a systematic shift in their meanings. This article is a sustained explanation of why our talk about musical works in fact provides no problem for the type/token theorist. First, we demonstrate that the aforementioned “meaning shift” approach to the sentences’ predicates is well motivated and very credible. Second, we explain how the type/token theorist can adopt the best available version of an alternative, generic quantificational approach to such sentences. Third, we establish that other semantic theories, presented as undermining the type/token theory by giving us a reason for adopting eliminativism about types, are much less theoretically virtuous than the two theories that a type/token theorist can freely adopt. (shrink)

In this paper, we support a continuistic reading of Joseph Margolis' philosophy, defending the claim that in the 1970s, Margolis tackled the issues suggested by the analytic philosophy of art from an original theoretical perspective and through conceptual tools exceeding the analytical framework. Later that perspective turned out to be a radically pragmatist one, in which explicitly tolerant realistic claims and non-reductive naturalism converged with radical historicism and contextualism. We will endorse this thesis by focusing on two important concepts appearing (...) in Margolis' aesthetics essays from the late 1950s to the 1970s: the type-token pair and the notion of cultural emergence. On the one hand, we will emphasise Margolis' indebtedness to Peirce's first formulation of the type-token distinction, involving a strong interdependence between the two elements of the pair, as well as an anti-essentialistic, historicised, and contextualised notion of type. On the other hand, we will delve into Margolis' exploration of the concept of emergence and cultural emergence, involving a genuinely pluralistic view of ontology, as well as a non-reductive, continuistic form of naturalism. Finally, we will connect the criticism of the so-called closure of the physical world with Margolis' anti-autonomistic stance in defining artworks. (shrink)

According to the Computational/Representational Theory of Thought (CRTT ? Language of Thought Hypothesis, or LOTH), propositional attitudes, such as belief, desire, and the like, are triadic relations among subjects, propositions, and internal mental representations. These representations form a representational _system_ physically realized in the brain of sufficiently sophisticated cognitive organisms. Further, this system of representations has a combinatorial syntax and semantics, but the processes that operate on the representations are causally sensitive only to their syntax, not to their semantics. On (...) this approach, a first pass account of propositional attitudes is the following (cf. Field 1978: 37 and Fodor 1987: 17). (shrink)

This chapter discusses the nature of software maintenance in light of software’s ontological status. A realist view of software need not commit us to the otiose position that software maintenance is impossible. Many philosophers and computer scientists have been concerned with drawing attention to software’s dual nature, its being both symbolic and physical, abstract and concrete. There are strong connections to be found between this topic and recent investigations in the philosophy of linguistics, particularly the metaphysics of words. It is (...) shown, contra Irmak, that software can be best understood through a realist type-token distinction employing an ontology of composite objects that was put forward by Katz. This approach employs both non-spatiotemporal abstract types and tokens of those types. Further developing Katz’s realist approach can help to make better sense of the dual nature of computational artefacts and their maintenance than the alternatives outlined. Young claims that a prevalent imbalanced view of maintenance as solely conservative is due to a misunderstanding of the nature of artefacts as being realisations of their producers’ intentions. This is a problem for theories of artefacts that employ intentions, such as the one involved with the realist view of software and software maintenance. Software maintenance on this view is not solely conservative but also adaptive and enhancive, constituting a source of counterexamples to Young’s claim. An alternative explanation of the imbalanced view is provided, based on observations by software engineers, especially Sommerville. (shrink)

The subject matter of this work covers the issues or problems listed below: * The problem of the ontological status of language signs and a more general philosophical problem connected with it: * What is language as a system of signs, which – on the one hand – serves to: 1) represent our knowledge about the reality which is being recognized, and, on the other one to: 2) a. explore and better cognize or discover it, b. describe it in an (...) adequate manner, and c. enable users to make interpersonal communication? All the pragmatic functions of language require carrying out its logical-philosophical analysis, and this means both regarding its syntax and semantics. Such an analysis is not possible without determining the following: How are signs perceived and what is their ontological nature in the so-called functional approach towards logical semiotics of natural language, founded on two ways of their usage: either as signs which we use in concrete situational or situational-language contexts or as isolated signs detached from such contexts? In the first case, they are language tokens (concretes), existing material objects perceived through the senses, with a fixed temporal-spatial location, in the other one – they are non-concretes and as such (as the majority of researchers in the field of philosophy and linguistics accept) – abstract objects, language types. The type-token distinction (differentiation between abstract and concrete) has already acquired a certain status in contemporary philosophy and is of considerable importance to metaphysics and epistemology in particular. Indeed, it is most often illustrated with reference to language signs (words, expressions) as the distinction type/token of a sign, introduced into semiotics by Ch. S. Peirce. In the semiotic analysis, and also in the linguistic one, there are used both types and tokens of signs, however, often without paying due attention to when it is said about types and when about tokens. This is related to the problems which are still considered by the philosophy of language: What is the type? What is the token (specimen)? What are the mutual relations between the type and the token? Disputes concerning providing answers to these questions are related to existential issues dealing with the ontological status of these language signs and two currents within the ontology of language, remaining under the influence of two fundamental concepts formed in the debate: nominalism and realism. The author presents in brief different stances on the above-mentioned issues or problems, as well as argues that from the logical point of view: 1) working out any theoretical conception of language must take into account its bi-aspectual characteristics: as a language of expression-tokens and as a language of expression-types; 2) advocating either of the standpoints: (a) types exist independent of their tokens, or (b) it is not so, can be omitted in syntactic considerations on language; 3) mutual relations between sign-tokens differ from the mutual relations between sign-types, yet; 4) determination of the mutual relation between sign-types and sign-tokens depends on accepting either of the standpoints: (a) or (b); 5) semantic or semantic-pragmatic concepts of language, such as meaning, denotation, interpretation should be defined exclusively for types of tokens, but their definitions require certain reference to the functions which sign-tokens perform in the language (words, expressions), or to relations between them; 6) The concept of an act of language communication differs from general language communication: the first one is defined by means of sign-tokens, whereas the other one – with the use of sign-types. (shrink)

This paper explores the ontology of musical improvisation (MI). MI, as process in which creative and performing activities are one and the same generative occurrence, is contrasted with the most widespread conceptual resource used in inquiries about music ontology of the Western tradition: the type/token duality (TtD). TtD, which is used for explaining the relationship between musical works (MWs) and performances, does not fit for MI. Nonetheless MI can be ontologically related to MWs. A MW can ensue from (...) MI and MI can be required for performing a MW faithfully. As performance on a MW, MI can offer versions of a MW, manifest a MW, and, especially, use it as one of its ‘ingredients’. Recordings of MI present special challenges and an unexpected ontological revival. (shrink)

Jody Azzouni argues that we involuntarily experience certain physical items, certain products of human actions, and certain human actions themselves as having meaning-properties. We understand these items as possessing meaning or as having truth values. For example, a sign on a door reading "Drinks Inside" strikes native English speakers as referring to liquids in the room behind the door. The sign has a truth value--if no drinks are found in the room, the sign is misleading. Someone pointing in a direction (...) has the same effect: we experience her gesture as significant. Azzouni does not suggest that we don't recognize the expectations or intentions of speakers ; we do recognize that the person pointing in a certain direction intends for us to understand her gesture's significance. Nevertheless, Azzouni asserts that we experience that gesture as having significance independent of her intentions. The gesture is meaningful on its own. The same is true of language, both spoken and written. We experience the meanings of language artifacts as independent of their makers' intentions in the same way that we experience an object's shape as a property independent of the object's color. There is a distinctive phenomenology to the experience of understanding language, and Semantic Perception shows how this phenomenology can be brought to bear as evidence for and against competing theories of language. (shrink)

What is the ontological status of a musical work? This paper enters the discussion of the question between Julian Dodd and Michael Morris. Dodd is a proponent of a type-token view, which is a version of Platonism. Morris has formulated an argument that purports to show that a musical work cannot be a token of a type. If successful, the argument presents a serious challenge for a type-token theorist with implications for Platonism as a (...) whole. Morris’s argument is, however, problematic in several respects. The aim of this paper is to identify the problems and weaken the strength of Morris’s argument, thus restoring the original appeal of a type-token view. (shrink)

Time underlies many interesting human behaviors. Thus, the question of how to represent time in connectionist models is very important. One approach is to represent time implicitly by its effects on processing rather than explicitly (as in a spatial representation). The current report develops a proposal along these lines first described by Jordan (1986) which involves the use of recurrent links in order to provide networks with a dynamic memory. In this approach, hidden unit patterns are fed back to themselves: (...) the internal representations which develop thus reflect task demands in the context of prior internal states. A set of simulations is reported which range from relatively simple problems (temporal version of XOR) to discovering syntactic/semantic features for words. The networks are able to learn interesting internal representations which incorporate task demands with memory demands: indeed, in this approach the notion of memory is inextricably bound up with task processing. These representations reveal a rich structure, which allows them to be highly context‐dependent, while also expressing generalizations across classes of items. These representations suggest a method for representing lexical categories and the type/token distinction. (shrink)

The use of evolutionary explanations to explain phenomena at the individual level has been described by various authors as an explanatory error, the so-called Phylogeny Fallacy. In this paper, this fallacy will be analyzed in the context of teleosemantics, a central project of the philosophy of mind whose main aim is to naturalize intentional systems by appealing to their biological teleofunctions. I will argue that those teleosemantics projects that invoke evolutionary functions generally commit the fallacy. First, I will point to (...) various arguments in the literature that point to this fallacy. However, a more general argument will also be made. To illustrate this puzzling scenario, I will present two desiderata that any teleosemantic project must fulfill. I will argue that naturalizing intentionality based on natural selection creates an explanatory gap between types and tokens. This gap prohibits an adequate explanation of the desiderata. To close the gap, teleosemantics invokes replicator biology, a view of inheritance that has already been identified to commit the fallacy. This leads teleosemantics into a complex situation: to close the gap, it must commit the fallacy. (shrink)

This article focuses primarily on improvisation in the arts as discussed in philosophical aesthetics, supplemented with accounts of improvisational practice by arts theorists and educators. It begins with an overview of the term improvisation, first as it is used in general and then as it is used to describe particular products and practices in the individual arts. From here, questions and challenges that improvisation raises for the traditional work-of-art concept, the type-token distinction, and the appreciation and evaluation (...) of the arts will be explored. This article concludes with the suggestion that further research and discussion on improvisation in the arts is needed, particularly in the areas of non-jazz improvisation. (shrink)

We compare Guala’s unified theory of institutions with that of Searle and Greif. We show that unification can be many things and it may be associated with diverse explanatory goals. We also highlight some of the important shortcomings of Guala’s account: it does not capture all social institutions, its ability to bridge social ontology and game theory is based on a problematic interpretation of the type-token distinction, and its ability to make social ontology useful for social sciences (...) is hindered by Guala’s interpretation of social institution types as social kinds akin to natural kinds. (shrink)

Words form a fundamental basis for our understanding of linguistic practice. However, the precise ontology of words has eluded many philosophers and linguists. A persistent difficulty for most accounts of words is the type-token distinction [Bromberger, S. 1989. “Types and Tokens in Linguistics.” In Reflections on Chomsky, edited by A. George, 58–90. Basil Blackwell; Kaplan, D. 1990. “Words.” Aristotelian Society Supplementary Volume LXIV: 93–119]. In this paper, I present a novel account of words which differs from the (...) atomistic and platonistic conceptions of previous accounts which I argue fall prey to this problem. Specifically, I proffer a structuralist account of linguistic items, along the lines of structuralism in the philosophy of mathematics [Shapiro, S. 1997. Philosophy of Mathematics: Structure and Ontology. Oxford University Press], in which words are defined in part as positions in larger linguistic structures. I then follow Szabò [1999. “Expressions and Their Representations.” The Philosophical Quarterly 49 (195): 145–163] and Parsons [1990. “The Structuralist View of Mathematical Objects.” Synthese 84: 303–346] in further defining words as quasi-concrete objects according to a representation relation. This view aims for general correspondence with contemporary generative linguistic approaches to the study of language. (shrink)

Although the expression 'intellectual property' is widely used, it could be argued that the very idea of intellectual property is incoherent. After all, ideas are not like land, houses or clothing; surely they are not the sorts of things that can be owned? I shall examine two arguments - one ontological, one jurisprudential - that put pressure on the coherence of the idea of intellectual property, both leading to the conclusion that intellectual property rights are not genuine property rights, but (...) rights to monopolies. In setting up and responding to the first argument, I discuss the applicability of the type/ token distinction to intellectual property law; a distinction I also appeal to as a way of clarifying my response to the second argument. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

In the recent literature on the ontology and metaphysics of words, Jerrold J. Katz’ type-realist or ‘Platonist’ view is often mentioned but never spelt out in detail. This is perhaps understandable in light of the fact that his most developed statements on this matter are effectively offshoots of his main discourse in Realistic Rationalism (Katz, 1998a). His direct statements about the metaphysics of words are few and far between and are scattered across the text. This situation has often led (...) to misunderstandings or misconstruals about the exact nature of his view, some of which is buried in footnotes, and some of which must be reconstructed. Hence, criticisms of Katz’ approach have been wide of the mark or otherwise unproductive. In this article, I provide a remedy for this situation by drawing together and abstracting the relevant material regarding the metaphysics of words from its context and reconstructing the theory. I also develop the view further through resolving some potential problems and omissions, and by responding to recent criticism that the approach has received in the burgeoning literature on the philosophy of words. I hope that this will help to clarify the theory and lead to further debate and development on all sides of the discussion. (shrink)

My aim in this chapter is to extend the Realist account of the foundations of linguistics offered by Postal, Katz and others. I first argue against the idea that naive Platonism can capture the necessary requirements on what I call a ‘mixed realist’ view of linguistics, which takes aspects of Platonism, Nominalism and Mentalism into consideration. I then advocate three desiderata for an appropriate ‘mixed realist’ account of linguistic ontology and foundations, namely (1) linguistic creativity and infinity, (2) linguistics as (...) a theory of types (and not tokens) and (3) independence but structural respect between language and the linguistic competence thereof. My own brand of mixed realism, what I call ante rem realism, is defended along the lines of an ante rem or non-eliminative structuralism, the likes of which has been offered for mathematics by Resnik (1997) and Shapiro (1997). In other words, grammars describe a mind-independent (but not necessarily unconnected) linguistic reality in terms of linguistic patterns or structures also known as natural languages. I further amend this picture to allow for the possibility of a naturalistic account of language acquisition and evolution by arguing against a particular view of the type-token distinction. (shrink)

Psychologism is defined as “the doctrine that the laws of mathematics and logic can be reduced to or depend on the laws governing thinking” (Moran & Cohen, 2012 266). And for Husserl, the laws of logic include the laws of meaning: “logic evidently is the science of meanings as such [Wissenschaft von Bedeutungen als solchen]” (Husserl ( 1975 ) 98/2001 225). I argue that, since it is sufficient for a theory to be psychologistic if the empiricistic theory of abstraction is (...) employed, it follows that neural networks are psychologistic insofar as they use this theory of abstraction, which I demonstrate is the case (Husserl ( 1975 ) 191/2001 120). It’s sufficient for psychologism because, according to Husserl, the theory in question reduces one’s phenomenological ability to intend types (or universals) to one’s past history of intending tokens (or particulars), usually amalgamated in some fashion (classically via associations; recently via autoencoders) (ibid; Kelleher, 2019 ). Similarly dynamical systems theory entails psychologism. For dynamical systems theory ties content to the temporal evolution of a system, which, according to Husserl, violates the fact that intentionality toward validities and objectivities does not pertain to "particular temporal experience[s]" (Husserl ( 1975 ) 194/2001 121). It follows that neither the species (neural networks), nor the genus (dynamical systems), can avoid psychologism and intend objects "in specie" (ibid). After critiquing these two approaches, I proceed to give an account based on the essentialist school of cognitive psychology of how we may intend objects "in specie" while avoiding the empiricistic theory of abstraction (Keil, 1989, Carey, 2009, Marcus & Davis, 2019 ). Such an account preserves the type-token distinction without psychologistic reduction to the temporal evolution of a dynamical system (Hinzen, 2006 ). This opens the way toward a truly unifying account of Husserlian phenomenology in league with cognitive science that avoids Yoshimi's ( 2016 ) and neurophenomenology's psychologistic foundation (herein demonstrated) and builds upon Sokolowski's ( 2003 ) syntactic account of Husserlian phenomenology. (shrink)

Prospective developments in computer and nanotechnology suggest that there is some possibility—perhaps as early as this century—that we will have the technological means to attempt to duplicate people. For example, it has been speculated that the psychology of individuals might be emulated on a computer platform to create a personality duplicate—an “upload.” Physical duplicates might be created by advanced nanobots tasked with creating molecule-for-molecule copies of individuals. Such possibilities are discussed in the philosophical literature as (putative) cases of “fission”: one (...) person “splitting” into two. Many philosophers, perhaps most, reject the idea of fission, appealing to some form of a “no-branching” condition to rule out such possibilities. I argue, to the contrary, that there are good moral reasons to think that any account of personal identity that does not permit fission is deeply problematic, especially in connection with theorizing about criminal punishment. I discuss and reject David Lewis’ famous account of personal identity that invokes “multiple occupancy” to allow for branching. In contrast, I offer an account of personal identity that permits branching using the type/token distinction to help with such puzzling cases. (shrink)