In this article, I argue that Kant’s Categorical Imperative applies to maxim tokens rather than to maxim types. The article has three main parts. In the first, I explain my thesis. In the second, I argue for it. In the third, I argue, further, that, if my thesis is correct, then tokens of different maxim types can have different deontic statuses for different agents.

To avoid difficulties that arise when we appeal to speaker intentions or multiple rules to determine the meaning of indexicals, Cohen (2013) recently defends a conventionalist account of these terms that focuses on their context of tokening. Apart from some tricky cases already discussed in the literature, however, such an account faces a serious difficulty: in many speech acts, multiple apparent tokens are produced – for example when a speaker speaks on a telephone, and her utterance is heard both where (...) she speaks, and at the location of the receiver of the call. The ‘token-contextual’ account seems to imply that in such cases a speaker will simultaneously produce multiple contradictory utterances. Here I argue that to resolve such problems we cannot help but to invoke speaker intentions. However, by appealing to intentions at the level of the metaphysics of semantic tokens, rather than to decide their meaning, the token-contextualist can make this appeal without reintroducing the difficulties associated with intentionalist accounts that she hopes to avoid. The resulting metaphysics of semantic tokens is, interestingly, more complex than we might have expected. -/- . (shrink)

To avoid difficulties facing intention-based accounts of indexicals, Cohen () recently defends a conventionalist account that focuses on the context of tokening. On this view, a token of ‘here’ or ‘now’ refers to the place or time at which it tokens. However, although promising, such an account faces a serious problem: in many speech acts, multiple apparent tokens are produced. If I call Alaska from Paris and say ‘I'm here now’, an apparent token of my utterance will be (...) produced in both Paris and Alaska. The token-contextual account seems to imply that in such cases I will refer to both places and contradict myself. Here I argue that to resolve this and similar puzzles we must realize that not all apparent semantic tokens really are semantic tokens, and that to decide which ones count we must appeal to speaker intentions. However, because this appeal is made at the level of the metaphysics of semantic tokens rather than to determine their meaning, it does not raise the problems associated with intentionalism that the conventionalist hopes to avoid. The metaphysics of semantic tokens uncovered is surprisingly complex, showing that shapes and sounds can transition in and out of being utterances. (shrink)

The blockchain social movement led to the emergence of Web3, a new, token-orchestrated iteration of the World Wide Web comprised of decentralized applications. With Web3, users can adopt a unique digital identity, known as a self-sovereign identity, that allows them to have access to their data and be central administrators of their transportable and interoperable identity. An inherent feature of digital identity in Web3 is that, in some cases, it can live forever. Web3 users, therefore, may accumulate digital assets, (...) such as non-fungible tokens, in an attempt to leave a digital legacy behind. Terror-management theory, a social and evolutionary psychology theory, was theoretically applied to the act of digital asset accumulation as a potential mechanism of escaping death-related fears. In contrast, the current uses of non-fungible tokens (ie, proof-of-ownership) and soulbound tokens (ie, proof-of-character) were evaluated from a Logotherapy perspective to inform how Web3 could evolve toward a Decentralized Society. (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)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, (...) NY 14260-4150 E-mail: corcoran@buffalo.edu The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: token-level and type-level. (...) As such, it takes into account the dual – token and type – ontological character of linguistic entities. The basic notions of the theory: language communication, meaning and interpretation are introduced on the second, type-level of formalization, and their required prior formalization of some of the notions introduced on the first, token-level; among others, the notion of an act of communication. Owing to the theory, it is possible to address the problems of adequacy of both empirical acts of communication and of language communication in general. All the conditions of adequacy of communication discussed in the presented paper, are valid for one-way communication (sender-recipient); nevertheless, they can also apply to the reverse direction of language communication (recipient-sender). Therefore, they concern the problem of two-way understanding in language communication. (shrink)

In this paper, I will provide a conceptual analysis of the term self-defense and argue that in contrast to the widespread “instrumentalist” account of self-defense, self-defense need not be aimed at averting or mitigating an attack, let alone the harm threatened by it. Instead, on the definition offered here, an act token is self-defense if and only if a) it is directed against an ongoing or imminent attack, and b) the actor correctly believes that the act token is (...) an effective form of resistance or the act token belongs to an act type that usually functions as a means to resist an attack. While resistance is effective in making the attack more difficult, it can often be overcome and therefore does not necessarily stop or mitigate the attack. This concept of self-defense, I shall argue, not only matches ordinary language use and plausible accounts of self-defense in the legal literature but also has important practical implications in helping to avoid confusions about necessity and proportionality. In particular, it avoids the notorious problem of the “knowingly helpless rape victim” whose futile struggle against the rapist (futile in terms of averting or mitigating harm) counter-intuitively could not count as justified self-defense on an instrumentalist account. (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)

Sometimes, thinking a thought and saying something to oneself are the same event. Call this the ‘thinking-as-speaking’ thesis. It stands in opposition to the idea that we think something first, and then say it. One way to argue for the thesis is to show that the content of a token thought cannot be fully represented by a token mental state before the production of the utterance which expresses it. I make an argument for that claim based on speech (...) act theory. Many inner speech utterances are inner speech acts; as such they are individuated by an amalgam of semantic content and illocutionary force, which only come together with the performance of the speech act. Call the performance of a speech act its meaning and call its meaning its content. Since a token thought is individuated by its content it follows that the content of the speech act is not represented by any token mental state before the speech act is performed. Metaphysically, a thought, when it is an inner speech act, is not an object of any kind, but an action – the action of performing the speech act. I illustrate my argument with the action of deciding something. (shrink)

This article provides a critical analysis of Mark Walker’s type-token theory. This theory purports to describe, explain, and justify the mechanism by which moral and legal responsibility can be attributed to exact and complete duplicates of persons. However, Walker’s defence of the view of persons as abstract entities is met with several metaphysical objections. Alternatively, a new approach to moral and legal responsibility is developed based on principles of agency law, in which the conception of a guilty person does (...) not require identity with the person who committed the culpable act. (shrink)

According to the classical account, propositions are sui generis, abstract, intrinsically-representational entities and our cognitive attitudes, and the token states within us that realize those attitudes, represent as they do in virtue of their propositional objects. In light of a desire to explain how it could be that propositions represent, much of the recent literature on propositions has pressured various aspects of this account. In place of the classical account, revisionists have aimed to understand propositions in terms of more (...) familiar entities such as facts, types of mental or linguistic acts, and even properties. But we think that the metaphysical story about propositions is much simpler than either the classical theorist or the revisionist would have you believe. In what follows, we argue that a proper understanding of the nature of our cognitive relations to propositions shows that the question of whether propositions themselves represent is, at best, a distraction. We will argue that once this distraction is removed, the possibility of a very pleasing, minimalist story of propositions emerges; a story that appeals only to assumptions that are shared by all theorists in the relevant debate. (shrink)

A speaker's use of a declarative sentence in a context has two effects: it expresses a proposition and represents the speaker as knowing that proposition. This essay is about how to explain the second effect. The standard explanation is act-based. A speaker is represented as knowing because their use of the declarative in a context tokens the act-type of assertion and assertions represent knowledge in what's asserted. I propose a semantic explanation on which declaratives covertly host a "know"-parenthetical. A speaker (...) is thereby represented as knowing the proposition expressed because that is the semantic contribution of the parenthetical. I call this view parentheticalism and defend that it better explains knowledge representation than alternatives. As a consequence of outperforming assertoric explanations, parentheticalism opens the door to eliminating the act-type of assertion from linguistic theorizing. (shrink)

Autonomous AI agents present transformative opportunities and significant governance challenges. Existing frameworks, such as the EU AI Act and the NIST AI Risk Management Framework, fall short of addressing the complexities of these agents, which are capable of independent decision-making, learning, and adaptation. To bridge these gaps, we propose the ETHOS (Ethical Technology and Holistic Oversight System) framework—a decentralized governance (DeGov) model leveraging Web3 technologies, including blockchain, smart contracts, and decentralized autonomous organizations (DAOs). ETHOS establishes a global registry for AI (...) agents, enabling dynamic risk classification, proportional oversight, and automated compliance monitoring through tools like soulbound tokens and zero-knowledge proofs. Furthermore, the framework incorporates decentralized justice systems for transparent dispute resolution and introduces AI-specific legal entities to manage limited liability, supported by mandatory insurance to ensure financial accountability and incentivize ethical design. By integrating philosophical principles of rationality, ethical grounding, and goal alignment, ETHOS aims to create a robust research agenda for promoting trust, transparency, and participatory governance. This innovative framework offers a scalable and inclusive strategy for regulating AI agents, balancing innovation with ethical responsibility to meet the demands of an AI-driven future. (shrink)

Realists about corporate agency, according to whom corporate agents may have aims above and beyond those of the individuals who make them up, think that individual agents may switch between participating in individual and corporate agency. My aim is, however, to argue that the inescapability of individual agency spells out a difficulty for this kind of switching – and, therefore, for realism about corporate agency. To do so, I develop Korsgaard’s notion of plight inescapability, which on my take suggests that (...) individual agents are continuously faced with fully exercising their individual agency (absent external limits at the time of its exercise). But then individual agents may not switch to acting as members of corporate agents if the aims of the corporation differ from their own, in the sense that they have different mental state tokens. But as it is possible to participate fully in the action of a corporate entity, this incompatibility between individual and corporate aims suggests that we ought to think of corporate agents as in some sense reducible to individual aims. (shrink)

Solidarity is a widespread but under-explored phenomenon. In this paper, I give a philosophical account of solidarity, answering three salient questions: What motivates acts of solidarity? What unifies different acts into tokens of a single type of act, one of solidarity? And what values do acts of solidarity exhibit? The answer to all three, I argue, involves a certain way of relating to others: identifying with them on the basis of shared features, and identifying with the larger group that one (...) and the others both belong to. (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)

Fear is a preventer, sometimes robustly so. When fear robustly prevents, it changes or diminishes what an agent is able to do. Various popular conceptions of fear focus on its negative role: fear sometimes prevents us from acting as we should, as in certain cases of akrasia. But by the same token, fear sometimes prevents us from acting as we shouldn’t, as in certain other cases of inverse akrasia. We end with a plea on behalf of fear, both in (...) light of its preventing role and its broader connection to other ways we express concern, in particular, to hope. (shrink)

This book is about whether reference to an individual is the essential feature of a proper name -- a widely held view -- or whether referring to an individual is simply a contingent feature. Three questions need resolving, then. First, whether all names in particular contexts are themselves referring devices. Second, whether recognizing names types and the consequent issue of their ambiguity can be resolved simply by distinguishing between name types and tokens thereof. Last, whether names are ever referential in (...) the way Kripke and others have convincingly argued. The answer to first two questions is negative. The answer to third is a qualified "yes." I explain the theory that allows for these answers in the manuscript, as well as addressing other issues such as: the problem of fictional names; descriptive names; empty names; what an act of naming consists of; an account of ontological commitment; and the data that suggests that names are predicates. (shrink)

Creativity has received, and continues to receive, comparatively little analysis in philosophy and the brain and behavioural sciences. This is in spite of the importance of creative thought and action, and the many and varied resources of theories of mind. Here an alternative approach to analyzing creativity is suggested: start from the bottom up with minimally creative thought. Minimally creative thought depends non-accidentally upon agency, is novel relative to the acting agent, and could not have been tokened before the time (...) it is in fact tokened, relative to the agent in question. Thoughts that meet these three conditions—agency, psychological novelty, and modal—are what may be called cognitive breakthroughs. Even if such breakthroughs are not necessary to or definitive of richer creativity, they are indeed central to much of creativity. The minimal analysis provides a more workable explanandum for theories of creativity of varied motivation and method. (shrink)

Coercion by the recipient of consent renders that consent invalid. But what about when the coercive force comes from a third party, not from the person to whom consent would be proffered? In this paper I analyze how threats from a third party affect consent. I argue that, as with other cases of coercion, we should distinguish threats that render consent invalid from threats whose force is too weak to invalidate consent and threats that are legitimate. Illegitimate controlling third party (...) threats render consent invalid just as they do in two party cases. However, knowing that the consent is invalid is not sufficient to tell the recipient of consent what she may or should do. I argue that when presented with a token of consent from someone whom she thinks is experiencing an illegitimate controlling threat, the recipient may act on that token if and only if doing so represents a reasonable joint decision for her and the victim of coercion. The appropriate action for someone faced with third party coercion therefore depends on the other options open to her and those open to the victim of coercion. (shrink)

Identifying the necessary and sufficient conditions for individuating and classifying diseases is a matter of great importance in the fields of law, ethics, epidemiology, and of course, medicine. In this paper, I first propose a means of achieving this goal, ensuring that no two distinct disease-types could correctly be ascribed to the same disease-token. I then posit a metaphysical ontology of diseases—that is, I give an account of what a disease is. This is essential to providing the most effective (...) means of interfering with disease processes. Following existing work in the philosophy of medicine and epidemiology (primarily Christopher Boorse; Caroline Whitbeck; Alexander Broadbent), philosophy of biology (Joseph LaPorte; D.L. Hull), conditional analyses of causation (J.L. Mackie; David Lewis), and recent literature on dispositional essentialism (Stephen Mumford and Rani Anjum; Alexander Bird), I endorse a dispositional conception of disease. Following discussion of various conceptions of disease-identity, their relations to the clinical and pathological effects of the diseases in question, and how diseases are treated, I conclude (i) that diseases should be individuated by their causes, and (ii) that diseases are causal processes best seen as simultaneously acting sequences of mutually manifesting dispositions. (shrink)

Are the methods of synthetic biology capable of recreating authentic living members of an extinct species? An analogy with the restoration of destroyed natural landscapes suggests not. The restored version of a natural landscape will typically lack much of the aesthetic value of the original landscape because of the different historical processes that created it—processes that involved human intentions and actions, rather than natural forces acting over millennia. By the same token, it would appear that synthetically recreated versions of (...) extinct natural organisms will also be less aesthetically valuable than the originals; that they will be, in some strong sense, ‘inauthentic’, because of their peculiar history and mode of origin. I call this the ‘genesis argument’ against de-extinction. In this article I critically evaluate the genesis argument. I highlight an important disanalogy between living organisms and natural landscapes: viz., it is of the essence of the former, but not of the latter, to regularly reproduce and die. The process of iterated natural reproduction that sustains the continued existence of a species through time obviously does not undermine the authenticity of the species. I argue that the authenticity of a species will likewise be left intact by the kind of artificial copying of genes and traits that a de-extinction project entails. I conclude on this basis that the genesis argument is unsound. (shrink)

A standard way of representing causation is with neuron diagrams. This has become popular since the influential work of David Lewis. But it should not be assumed that such representations are metaphysically neutral and amenable to any theory of causation. On the contrary, this way of representing causation already makes several Humean assumptions about what causation is, and which suit Lewis’s programme of Humean Supervenience. An alternative of a vector diagram is better suited for a powers ontology. Causation should be (...) understood as connecting property types and tokens where there are dispositions towards some properties rather than others. Such a model illustrates how an effect is typically polygenous: caused by many powers acting with each other, and sometimes against each other. It models causation as a tendency towards an effect which can be counteracted. The model can represent cases of causal complexity, interference, over-determination and causation of absence (equilibrium). (shrink)

The fourth amendment to the German Medicinal Products Act (Arzneimittelgesetz) states that nontherapeutic research in incompetent populations is permissible under the condition that potential research participants expressly declare their wish to participate in scientific research in an advance research directive. This article explores the implementation of advance research directives in Germany against the background of the international legal and ethical framework for biomedical research. In particular, it addresses a practical problem that arises from the disclosure requirement for advance research directives. (...) We show that, if the disclosure standard for advance research directives is set at a token level, nontherapeutic research in incompetent populations becomes practically impossible. To resolve this issue, we suggest the disclosure standard be set at a type level. (shrink)

Given the importance of sympathetic pleasures within Hume’s account of approval and moral motivation, why does Hume think we feel obliged to act justly on those occasions when we know that doing so will benefit nobody? I argue that Hume uses the case of justice as evidence for a key claim regarding all virtues. Hume does not think we approve of token virtuous actions, whether natural or artificial, because they cause or aim to cause happiness in others. It is (...) sufficient for the action to be of a type which has “a tendency to the public good” for us to feel approval of it, and to be motivated to perform it. Once we are aware that just actions tend to cause happiness, we approve of all just actions, even token actions which cause more unhappiness than happiness. (shrink)

Recording devices are generally taken to present problems for the standard Kaplanian semantics for indexicals. In this paper, I argue that the remote utterance view offers the best way for the Kaplanian semantics to handle the recalcitrant data that comes from the use of recording devices. Following Sidelle I argue that recording devices allow agents to perform utterances at a distance. Using the essential, but widely ignored, distinction between tokens and utterances, I develop the view beyond the initial sketch given (...) by Sidelle, and I answer the main objections raised against the view. The paper is structured as follows. Section 1 gives a succinct presentation of Kaplanian semantics and of the problem raised by the use recording devices, Section 2 presents the remote utterance view and Section 3 answers the objections put forward against the view and further develops it. I conclude that the remote utterance view can handle the data that comes from the use of recording devices with only modest modifications of the Kaplanian semantics. (shrink)

Some parents have taken steps to ensure that they have deaf children, a choice that contrasts with the interest that other parents have in enhancing the traits of their children. Julian Savulescu has argued that, morally speaking, parents have a duty to use assisted reproductive technologies to give their children the best opportunity of the best life. This view extends beyond that which is actually required of parents, which is only that they give children reasonable opportunities to form and act (...) on a conception of a life that is good for them. Does the selection of deaf children violate that responsibility? Morally speaking, parents should refrain from using assisted reproductive treatments or prenatal interventions in order to have a child with a disability. Deafness and other disabilities represent intrinsic disadvantages that cannot be offset by other advantages that families and society can offer to people. By the same token, neither should parents seek enhancements of intelligence or physical traits that would undercut intrinsic goods of human life in similar ways. These moral arguments do not, however, sustain the judgment that the law should necessarily interfere with parents' decisions in these matters, even if those choices are morally unwise. (shrink)

The mythical bronze creature Talos (Greek: Τάλως) was worshiped initially as the god of light or the sun in the Hellenic Island of Crete. He is supposed to have lived in the peak Kouloukona of the Tallaia Mountains in the Gerontospelio cave. His relation towards bronze and fire and his continuous voyage circling the island of Crete most probably introduces the concept of the change of the four seasons. The sun was considered in the area of the South-East Mediterranean nations (...) as just judge, a guardian who monitors and judges from above all the actions of the commoners, a controller for the faithful application of laws in Crete [1]. Hesychios in his Lexicon notes that talos means sun and that the name Tallaios was initially attributed to Zeus [2]. The birth of the Olympian gods forged a new Pantheon and nomenclature forcing some of the old gods to fell into lower deities. This happened to Talos who soon became a mythical hero [1]. According to Apollodorus, the bronze creature was forged by the magnificent constructor Hephaestus as a gift to the mythical King Minoa to help him guard the island [3]. Although the verb “peritrohazo” (Greek: περιτροχαζω) was used, meaning a movement in a steady orbit (track), some depictions image him as a winged being. To protect the island, he was throwing rocks into unknown ships or in the case of a foreign landing he was burning with fire or with his flamed bronze body the intruders. He was holding copper plates with the laws of the island and his circle allowed him to pass all island sores three times daily [1,4-6]. Plato, speaks of him as a real person, suggesting he was the brother of King Rhadamanthys, thus a son of Zeus [5]. Talos may be considered as the token of the Cretan power, a symbol of technological development in the field of metalworking in prehistoric and Minoan times. An animated, programmed gigantic android to enforce its will. A primitive robot for basic actions having a power source, fire and ichor (Greek: ιχώρ) the sacred fluid in the vessels of the gods. The first manufactured being with his individual intelligence, a primary concept of artificial intelligence (AI) [7]. -/- Homer was the first to introduce the term automata (Greek: αυτόματα), to describe ingenious machines built by the supreme blacksmith god of invention and technology, God of metal and fire, Hephaestus, manufactured devices “acting of one’s own will” as the Hellenic word indicates [8]. Eons later, the humanoid automaton the “Automa cavaliere” (English: Automaton knight) appeared in the court of the nobleman and Duke of Milan Ludovico Maria Sforza. It was the year 1495, when Leonardo da Vinci presented his robotic knight, an innovative construction operated by a series of pulleys and cables, presenting though no individual mind. Although it was manufactured by a highly intelligent polymath, it could only be operated through an outer intelligence [9]. Advancements made during the Fourth Industrial Revolution allowed modern technology to manufacture intelligent machines to aid the field of invasive surgery. One of those most sophisticated devises is the da Vince Surgical Tower. -/- Launched in the setting of the 21st century, the DaVinci System is one of the most commonly employed tools/systems, which has prevailed in the field of robotic-assisted surgery [10]. One could claim that it practically reshaped the concept of surgery, providing doctors with immense capabilities, aiming towards the optimal post-operative outcome. Through visual augmentation, high resolution 3D video, enhanced precision and reduced complication rates [11] the DaVinci Si and the latest DaVinci Xi system have been implemented in a variety of surgeries, including but not limited to general, urologic, gynecologic, thoracic and even cardiac procedures; valve and coronary artery bypass graft operations [12,13]. Da Vinci is cleared globally for cardiosurgery and came in vogue to fulfill the dream of cardiac surgeons to operate in closet chest. It offers in patients the same benefits as those that open chest incision surgery procedures do [14]. -/- The more recent DaVinci Xi model was introduced to counteract commonly known drawbacks of the Si system, such as the inability to simultaneously manipulate the different abdominal quadrants [10]. It consists of four boom mounted robotic arms along with a mobile platform and a master console. The latter with the adaptable intraocular distance, the cushioned headrest, the modifiable arm bars and the flexible finger loops, is meticulously designed to meet the surgeon´s “demands” [12]. Every robotic arm has three degrees of freedom, which combined with the EndoWrist technology to imitate the delicate motion of the surgeon´s hand, acquires an extra seven degrees of freedom. Evidently, the combination of the user-friendly interface, the high-quality 3D intraoperative images, the multiple joints and sensors, as well as the surgeon himself, who can learn to handle the DaVinci Xi Surgical System in a relatively short period of time, has established the model in the surgical armamentarium, paving the way towards a continuously progressive future of minimally invasive and robotic surgery (Figure 1) [12]. -/- History testifies that the nomination of the AI surgical tower as da Vinci was wrongfully given to commemorate a majestic historical figure. It is clear that the mythical creature Talos which was fabricated by the ingenious god Hephaestus was the first true automaton in the line of AI origins. (shrink)

This paper attempts to define indexicality so as to semantically distinguish indexicals from proper names and definite descriptions. The widely-accepted approach that says that indexical reference is distinctive in being dependent on context of use is criticized. A reductive approach is proposed and defended that takes an indexical to be (roughly) an expression that either is or is equivalent to ‘here’ or ‘now’, or is such that a tokening of it refers by relating something to the place and/or time that (...) would have been referred to had ‘here’ and ‘now’ been tokened instead. Alternative reductive approaches are criticized. (shrink)

The banking sector is under increasing pressure to ensure secure and seamless digital payment processes. Tokenization, a method of securing sensitive payment data, has emerged as an effective strategy for mitigating security risks and ensuring compliance with Payment Card Industry Data Security Standards (PCI DSS). This paper explores the implementation of tokenization strategies within the banking sector, emphasizing its role in achieving PCI compliance. Through case studies, statistics, and the presentation of real-world examples, the paper highlights both the challenges and (...) benefits of adopting tokenization strategies. (shrink)

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)

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)

The entry provides an overview of the type-token distinction, including a comparison to other nearby distinctions.

Causal Bayes nets (CBNs) provide one of the most powerful tools for modelling coarse-grained type-level causal structure. As in other fields (e.g., thermodynamics) the question arises how such coarse-grained characterisations are related to the characterisation of their underlying structure (in this case: token-level causal relations). Answering this question meets what is called a “coherence-requirement” in the reduction debate: How are different accounts of one and the same system (or kind of system) related to each other. We argue that CBNs (...) as tools for type-level causal inference are abstract enough to roughly fit any current token-level theory of causation as long as certain modelling assumptions are satisfied, but accounts of actual causation, i.e. accounts that attempt to infer token-causation based on CBNs, for the very same reason, face certain limitations. (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)

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 (...) class='Hi'>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)

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)

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

The theory of embodiment is used in providing an account of the identity of acts and in providing solutions to various puzzles concerning acts.

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.

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)

What makes it the case that an utterance constitutes an illocutionary act of a given kind? This is the central question of speech-act theory. Answers to it—i.e., theories of speech acts—have proliferated. Our main goal in this chapter is to clarify the logical space into which these different theories fit. -/- We begin, in Section 1, by dividing theories of speech acts into five families, each distinguished from the others by its account of the key ingredients in illocutionary acts. Are (...) speech acts fundamentally a matter of convention or intention? Or should we instead think of them in terms of the psychological states they express, in terms of the effects that it is their function to produce, or in terms of the norms that govern them? In Section 2, we take up the highly influential idea that speech acts can be understood in terms of their effects on a conversation’s context or “score”. Part of why this idea has been so useful is that it allows speech-act theorists from the five families to engage at a level of abstraction that elides their foundational disagreements. In Section 3, we investigate some of the motivations for the traditional distinction between propositional content and illocutionary force, and some of the ways in which this distinction has been undermined by recent work. In Section 4, we survey some of the ways in which speech-act theory has been applied to issues outside semantics and pragmatics, narrowly construed. (shrink)

What does it mean for an actor to empathize with the character she is playing? We review different theories of empathy and of acting. We then consider the notion of “twofoldness”, which has been used to characterize the observer or audience perspective on the relation between actor and character. This same kind of twofoldness or double attunement applies from the perspective of the actor herself who must, at certain points of preparation, distinguish between the character portrayed and her own portrayal (...) effected in her craft. We argue that this concept helps us to understand how the actor can empathize with her character. For the actor who must study and rehearse her character, empathy may begin with higher-order processes that provide a contextualized understanding of the character. This understanding eventually integrates with more basic empathic processes in her actual performance. (shrink)

In recent years discussions centered around digital inheritance have increased among social media users and across blockchain ecosystems. As a result digital assets such as social media content cryptocurrencies and non-fungible tokens have become increasingly valuable and widespread, leading to the need for clear and secure mechanisms for transferring these assets upon the testators death or incapacitation. This study proposes a framework for digital inheritance using soulbound tokens and the social recovery pallet as a use case in the Polkadot and (...) Kusama blockchain networks. The findings discussed within this study suggest that while soulbound tokens and the social recovery pallet offer a promising solution for creating a digital inheritance plan the findings also raise important considerations for testators digital executors and developers. While further research is needed to fully understand the potential impacts and risks of other technologies such as artificial intelligence and quantum computing this study provides a primer for users to begin planning a digital inheritance strategy and for developers to develop a more intuitive solution. (shrink)

I show that the act-type theories of Soames and Hanks entail that every sentence with alternative analyses (including every atomic sentence with a polyadic predicate) is ambiguous, many of them massively so. I assume that act types directed toward distinct objects are themselves distinct, plus some standard semantic axioms, and infer that act-type theorists are committed to saying that ‘Mary loves John’ expresses both the act type of predicating [loving John] of Mary and that of predicating [being loved by Mary] (...) of John. Since the two properties are distinct, so are the act types. Hence, the sentence expresses two propositions. I also discuss a non-standard “pluralist” act-type theory, as well as some retreat positions, which all come with considerable problems. Finally, I extrapolate to a general constraint on theories of structured propositions, and find that Jeffrey King’s theory has the same unacceptable consequence as the act-type theory. (shrink)

An overview (about 8,000 words) of act utilitarianism, covering the basic idea of the theory, historical examples, how it differs from rule utilitarianism and motive utilitarianism, supporting arguments, and standard objections. A closing section provides a brief introduction to indirect utilitarianism (i.e., a Hare- or Railton-style view distinguishing between a decision procedure and a criterion of rightness).

ABSTRACT Act-based theories of content hold that propositions are identical to acts of predication that we perform in thought and talk. To undergo an occurrent thought with a particular content is just to perform the act of predication that individuates that content. But identifying the content of a thought with the performance of an act of predication makes it difficult to explain the intentionality of bouletic mental activity, like wanting and desiring. In this paper, I argue that this difficulty is (...) insurmountable: the contents of occurrent desires cannot be determined by acts of predication. (shrink)

According to hedonistic act utilitarianism, an act is morally right if and only if, and because, it produces at least as much pleasure minus pain as any alternative act available to the agent. This dissertation gives a partial defense of utilitarianism against two types of objections: action guidance objections and intuitive objections. In Chapter 1, the main themes of the dissertation are introduced. The chapter also examines questions of how to understand utilitarianism, including (a) how to best formulate the moral (...) explanatory claim of the theory, (b) how to best interpret the phrase "pleasure minus pain," and (c) how the theory is related to act consequentialism. The first part (Chapters 2 and 3) deals with action guidance objections to utilitarianism. Chapter 2 defines two kinds of action guidance: doxastic and evidential guidance. It is argued that utilitarianism is evidentially but not doxastically guiding for us. Chapter 3 evaluates various action guidance objections to utilitarianism. These are the objections that utilitarianism, because it is not doxastically guiding, is a bad moral theory, fails to be a moral theory, is an uninteresting and unimportant moral theory, and is a false moral theory. The second part (Chapters 4, 5 and 6) deals with intuitive objections to utilitarianism. Chapter 4 presents three intuitive objections: Experience Machine, Transplant, and Utility Monster. Three defenses of utilitarianism are subsequently evaluated. Chapter 5 and 6 introduces two alternative defenses of utilitarianism against intuitive objections, both of which concern the role that imagination plays in thought experimentation. In Chapter 5, it is argued that we sometimes unknowingly carry out the wrong thought experiment when we direct intuitive objections against utilitarianism. In many such cases, we elicit moral intuitions that we believe give us reason to reject utilitarianism, but that in fact do not. In Chapter 6, it is argued that using the right kind of sensory imagination when we perform thought experiments will positively affect the epistemic trustworthiness of our moral intuitions. Moreover, it is suggested that doing so renders utilitarianism more plausible. In Chapter 7, the contents of the dissertation are summarized. (shrink)