The classical rule of Repetition says that if you take any sentence as a premise, and repeat it as a conclusion, you have a valid argument. It's a very basic rule of logic, and many other rules depend on the guarantee that repeating a sentence, or really, any expression, guarantees sameness of referent, or semantic value. However, Repetition fails for token-reflexive expressions. In this paper, I offer three ways that one might replace Repetition, and still keep an interesting notion of (...) validity. Each is a fine way to go for certain purposes, but I argue that one in particular is to be preferred by the semanticist who thinks that there are token-reflexive expressions in natural languages. (shrink)

Token-reflexive theories of indexicals – words like ‘I,’ ‘here,’ and ‘today’ – are widely thought to face a problem in account for intuitively valid arguments involving indexicals. Yet all discussions of the problem with which I am familiar focus on particular examples or on particular rules of inference. In this paper, I first state the problem in its full generality, and then argue that two recent attempts to reject the problem fail. Finally, I consider the proposal by García-Carpintero that demonstratives (...) – ‘this’ and ‘that’ – raise the same problem. I argue that while there are important similarities between the logic problem for token-reflexives and the role of demonstratives in logic, recent work on the logic of demonstratives can offer insights into logic that token-reflexive theories cannot. (shrink)

Token-reflexivity is commonly understood as reference of a token to a token of which it is a part, proper or not. It may be compared with its familiar formal kin – Gödelian reflexivity. In this paper the possibility of the latter type of construction in a formal setting provides a stark point of contrast with token-reflexivity understood as token self-reference, a purported species of natural phenomena, with the token-reflexives themselves understood as the bearers of self-reference. I argue that there is (...) no token-reflexivity thus understood, and so, no token-reflexives. The case provides a particularly useful background against which to discuss the centrality of conditions of production – as opposed to conditions of consumption – in the study of natural language. (shrink)

There are two extant versions of the new tenseless theory of time: the date versionand the token-reflexive version. I ask whether they are equivalent, and if not, whichof them is to be preferred. I argue that they are not equivalent, that the date version isunsatisfactory, and that the token-reflexive version is correct. I defend the token-reflexive version against a string of objections from Quentin Smith. My defence involves a discussion of the ontological and semantic significance of truth conditions, and of (...) the connection between truth and reality on the one hand, and that between truth and meaning on the other. I argue that Smith's objections to the token-reflexive theory stem from his confusing these two aspects of the notion of truth. (shrink)

Reichenbachian approaches to indexicality contend that indexicals are "token-reflexives": semantic rules associated with any given indexical-type determine the truth-conditional import of properly produced tokens of that type relative to certain relational properties of those tokens. Such a view may be understood as sharing the main tenets of Kaplan's well-known theory regarding content, or truth-conditions, but differs from it regarding the nature of the linguistic meaning of indexicals and also regarding the bearers of truth-conditional import and truth-conditions. Kaplan has (...) criticized these approaches on different counts, the most damaging of which is that they make impossible a "logic of demonstratives". The reason for this is that the token-reflexive approach entails that not two tokens of the same sentential type including indexicals are guaranteed to have the same truth-conditions. In this paper I rebut this and other criticisms of the Reichenbachian approach. Additionally, I point out that Kaplan's original theory of "true demonstratives" is empirically inadequate, and claim that any modification capable of accurately handling the linguistic data would have similar problems to those attributed to the Reichenbachian approach. This is intended to show that the difficulties, no matter how real, are not caused by idiosincracies of the "token-reflexive" view, but by deep facts about indexicality. (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 ...

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)

Contextualist scholars working on the rhetoric of corporeal presence in seventeenth-century English religious lyrics have naturally focused their attention on sacramental discourse of the Reformation era. As part of the Common Knowledge symposium on the future of contextualism, this full-length monograph, serialized in installments, argues that the contextualist focus on a single and time-limited “epistemic field” has resulted in a less than adequately ramified understanding of the poetry of John Donne, George Herbert, Aemilia Lanyer, and John Milton. What the contextualist (...) approach misses is that even the religious discourses of the period were tied to a long and in no way local epistemological debate about signs and their meaning, whose roots are to be found in Greek and Latin rhetorical theory. This first installment of “Tokens of Love” commences a discussion of the role of classical pagan sign-theory in the development of Reformation sacramental discourse. (shrink)

We present a probabilistic extension to active path analyses of token causation. The extension uses the generalized notion of intervention presented in : we allow an intervention to set any probability distribution over the intervention variables, not just a single value. The resulting account can handle a wide range of examples. We do not claim the account is complete --- only that it fills an obvious gap in previous active-path approaches. It still succumbs to recent counterexamples by Hiddleston, because it (...) does not explicitly consider causal processes. We claim three benefits: a detailed comparison of three active-path approaches, a probabilistic extension for each, and an algorithmic formulation. (shrink)

Blockchain’s language and terminology is confusing, contested, and rapidly changing. As a hype-driven technology, Blockchain is critical to an increasing number of projects that exist in a space of regulatory uncertainty. As communities of blockchain develop and evolve, the language they use to describe these functions changes. This causes concerns when attempting to have global regulatory certainty and clarity. Regulators and communities have different approaches to blockchain language, and this causes problems because of the translation between practical use in a (...) community, and the legal effects created by regulators. Of particular concern is the lack of clear expression amongst the broader community regarding the concept of blockchain-related assets as these ‘tokens’, ‘coins’, and ‘assets’ form a key part of financial regulation. This project uses semiotics to study the diverse language associated with blockchain. This analyzes a series of self-proclaimed ‘dictionaries of blockchain’ to assess key definitions, themes, perceptions, and misconceptions present in these communities. The study involved a case analysis of the terminology used in Australia’s proposed response to blockchain in comparison with that of wider communities. When comparing this to regulatory definitions and approaches, it becomes clear that this is an area that requires further attention. This project highlights the need for regulators to understand and use common terms in blockchain regulation. It is argued that this approach facilitates a better understanding of poorly understood concepts and clearly connects the law with those it intends to target. (shrink)

A robust stakeholder analysis requires extensive conceptual and empirical work. Yet it is often unclear how to effectively do so. This paper introduces a new method—the Stakeholder Tokens—for designers to elicit a more inclusive set of stakeholders and gain better understanding of stakeholder interrelationships and dynamics. Stakeholder Tokens present a playful hands-on design approach to support value sensitive design stakeholder analyses by employing a style of role play.

The argument from causal overdetermination is considered to be the shortest route to token monism. It only assumes that:1.Efficacy: Mental events are causes of physical events.2.Closure: Every physical event has a sufficient physical cause.3.Exclusion: Systematic Causal Overdetermination is impossible: if an event x is a sufficient cause of an event y then no event x* distinct from x is a cause of y.4.Identity: Therefore, mental events are physical events.Exclusion does not deny the possibility of two gunmen that fi re at (...) a victim at the same time. But event-dualism is like a systematic fi ringsquad case — whenever I want to raise my arm, my arm is raised, and that is intolerable. (shrink)

The argument from causal overdetermination is considered to be the shortest route to token monism. It only assumes that:1.Efficacy: Mental events are causes of physical events.2.Closure: Every physical event has a sufficient physical cause.3.Exclusion: Systematic Causal Overdetermination is impossible: if an event x is a sufficient cause of an event y then no event x* distinct from x is a cause of y.4.Identity: Therefore, mental events are physical events.Exclusion does not deny the possibility of two gunmen that fi re at (...) a victim at the same time. But event-dualism is like a systematic fi ringsquad case — whenever I want to raise my arm, my arm is raised, and that is intolerable. (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)

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)

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)

Some philosophers have argued that so long as two neural events, within a subject, are both of the same type and both carry the same content, then these events may jointly constitute a single mental token, regardless of the sort of causal relation to each other that they bear. These philosophers have used this claim—which I call the “singularity-through-redundancy” position—in order to argue that a split-brain subject normally has a single stream of consciousness, disjunctively realized across the two hemispheres. This (...) paper argues, against this position, that the kind of causal relations multiple neural events bear to each other constrains the mental tokens with which functionalists who are realists can identify them. (shrink)

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)

Synonymy, at its most basic, is sameness of meaning. A token-reflexive expression is an expression whose meaning assigns a referent to its tokens by relating each particular token of that particular expression to its referent. In doing so, the formulation of its meaning mentions the particular expression whose meaning it is. This seems to entail that no two token-reflexive expressions are synonymous, which would constitute a strong objection against token-reflexive semantics. In this paper, I propose and defend a notion (...) of synonymy for token-reflexive expressions that allows such expressions to be synonymous, while being a fairly conservative extension of the customary notion of synonymy. (shrink)

Miranda Fricker maintains that testimonial injustice is a matter of credibility deficit, not excess. In this article, I argue that this restricted characterization of testimonial injustice is too narrow. I introduce a type of identity-prejudicial credibility excess that harms its targets qua knowers and transmitters of knowledge. I show how positive stereotyping and prejudicially inflated credibility assessments contribute to the continued epistemic oppression of marginalized knowers. In particular, I examine harms such as typecasting, compulsory representation, and epistemic exploitation and consider (...) what hearers are obligated to do in response to these injustices. I argue that because epistemic harms to marginalized knowers also arise from prejudicially inflated assessments of their credibility, the virtue of testimonial justice must be revised to remedy them. (shrink)

According to a Reichenbachian treatment, indexicals are token-reflexive. That is, a truth-conditional contribution is assigned to tokens relative to relational properties which they instantiate. By thinking of the relevant expressions occurring in “ordinary contexts” along these lines, I argue that we can give a more accurate account of their semantic behavior when they occur in indirect contexts. The argument involves the following: (1) A defense of theories of indirect discourse which allows that a reference to modes of presentation associated (...) with expressions occurring in indirect contexts can be made depending on contextual aspects. (2) A defense of the “doubleindexing” theories proposed by Stalnaker and others in order to account for the difference between metaphysical and epistemological modalities. (3) The claim that a Reichenbachian view improves upon the theories defended in (1) and (2). (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)

The purpose of this paper is to uncover and correct several confusions about expressions, tokens and the relations between them that crop up in even highly sophisticated writing about language and logic.

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)

This paper disputes a common definition of token identity theory. It also observes that within the philosophical literature there are two significantly different definitions of token identity theory that are commonly used.

There are many grounds to object to tokenism, but that doesn’t mean we should always avoid being the token woman, argues Anca Gheaus.

The literature on causation distinguishes between causal claims relating properties or types and causal claims relating individuals or tokens. Many authors maintain that corresponding to these two kinds of causal claims are two different kinds of causal relations. Whether to regard causal relations among variables as yet another variety of causation is also controversial. This essay maintains that causal relations obtain among tokens and that type causal claims are generalizations concerning causal relations among these tokens.

This paper proposes that the relation between property instances and token causal powers is akin to the relation between primary substances and property instances on the Aristotelian account of property instantiation. This view permits an individual to have two tokens of the same type of causal power. Paul Audi has argued that this cannot be: two tokens of the same power type are discernible, he claims, only if they are borne by discernible individuals. In the context of this (...) criticism, he proposes that power tokens are individuated in part by the individuals bearing them. This paper responds to Audi’s criticism and argues against his preferred view. This paper thus establishes a theory of token causal powers where previously the literature contained only a presumed view and Audi’s objections. (shrink)

John Searle has argued that all perceptual experiences are token-reflexive, in the sense that they are constituents of their own veridicality conditions. Many philosophers have found the kind of token-reflexivity he attributes to experiences, which I will call _causal_ token-reflexivity, unfaithful to perceptual phenomenology. In this paper, I develop an argument for a different sort of token-reflexivity in perceptual (as well as some non- perceptual) experiences, which I will call _temporal_ token-reflexivity, and which ought to be phenomenologically unobjectionable.

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 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)

Recent literature on causation invokes a distinction between deviant and default behavior to account for token causation. Critical examination of two prominent attempts to employ a distinction between deviants and defaults reveals that the distinction is far from clear. I clarify and develop the distinction by appeal to the notion of a modally robust process, and show how the distinction can be employed by causal process theorists to respond to cases of causation by omission. This shows that the default/deviant distinction (...) is not so much a tool for counterfactual accounts of causation, but rather for causal process theory. (shrink)

I argue that Kant’s Categorical Imperative should be applied to individual maxim tokens rather than abstract maxim types. The article is divided into five sections. In the first, I explain my thesis. In the second, I show that my thesis disagrees with Rawls. In the third, I argue for my thesis on the basis of the wording of the Categorical Imperative and on the basis of considerations about autonomy. In the fourth, I argue for my thesis on the basis (...) of considerations about the ‘ought implies can’ principle. In the fifth, I provide a summary of the main argumentative moves and also explain some of the philosophical advantages of my thesis. (shrink)

Clearing algorithms are at the core of modern payment systems, facilitating the settling of multilateral credit messages with (near) minimum transfers of currency. Traditional clearing procedures use batch processing based on MILP - mixed-integer linear programming algorithms. The MILP approach demands intensive computational resources; moreover, it is also vulnerable to operational risks generated by possible defaults during the inter-batch period. This paper presents TORC3 - the Token-Ring Clearing Algorithm for Currency Circulation. In contrast to the MILP approach, TORC3 is a (...) real time heuristic procedure, demanding modest computational resources, and able to completely shield the clearing operation against the participating agents’ risk of default. (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)

There are many grounds to object to tokenism, but that doesn’t mean we should always avoid being the token woman, argues Anca Gheaus.

This paper argues for two principal conclusions about natural language semantics based on John Buridan's considerations concerning the notion of formal consequence, that is, formally valid inference. (1) Natural languages are essentially semantically closed, yet they do not have to be on that account inconsistent. (2) Natural language semantics has to be token based, as a matter of principle. The paper investigates the Buridanian considerations leading to these conclusions, and considers some obviously emerging objections to the Buridanian approach.

In this essay I respond to Quentin Smith's chargethat `the date-analysis version ofthe tenseless theory of time cannot give adequateaccounts of the truth conditions ofthe statements made by tensed sentence-tokens'(Smith 1999, 236). His argument isbased on an analysis of certain counterfactualsituations that is at odds with thedate-analysis account of language and hence succeedsonly in begging the questionagainst that theory. To anticipate: his argumentfails if one allows that temporalindexicals such as `now' rigidly designate theirtime of utterance, something thedate-analyst can happily (...) admit whether she adheresto an absolute or relationalmetaphysics of time. (shrink)

Donald Davidson espouses two fundamental theses about the individuation of mental events. The thesis of causal individuation asserts that sameness of cause and effect is sufficient and necessary for event identity. The thesis of content individuation gives only a sufficient condition for difference of mental events: if e and f have different contents then they are different mental events. I argue that given these theses, psychological externalism--the view that mental content is determined by factors external to the subject of the (...) relevant mental events--entails that the token identity theory is false. (shrink)

Both in ancient myths about the passage of the dead to Hades and in the New York subway, small coin-like artifacts shape decisively transitory practices and subjects alike. The numerous conflicts and subversions surrounding these objects reveal their openness as configured by the assemblages in which they develop. Thus, understanding what assemblages are and what effects they produce, one might understand the social effectiveness of artifacts more clearly.