Some philosophers have claimed that kinds can be construed as mereologically complex structural properties. This essay examines several strategies aimed at construing a certain class of natural kinds, namely isomeric chemical kinds, in accordance with this view. In particular, the essay examines views which posit structural proper parts in addition to micro-constitutive parts to individuate isomeric chemical kinds. It then goes on to argue that the phenomenon of chirality in stereochemistry gives the proponent of kinds-as-complex-properties evidence for positing the existence (...) of causal-cum-dispositional individuating proper parts, in addition to structural parts, for chemical enantiomeric kinds. (shrink)

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

The Millian semantic view of names relies on a metaphysical view of names—often given the label ‘common currency conception’ —on which the names of distinct individuals count as distinct names. While even defenders of the Millian view admit that the CCC ‘does not agree with the most common usage’, I will argue further that the CCC makes names exceptional amongst the class of linguistic expressions: if the CCC is correct, then names must have a sui-generis metaphysical nature, distinct from the (...) metaphysics of every other kind of linguistic expression. Such metaphysical exceptionalism would be justified if the Millian view had a clear, uncontested theoretical advantage over its rivals. However, in the context of a semantic debate about names in which the closest competitors of the Millian view—the Predicate view and Indexicalism—do not result in such exceptionalism, it counts as a strike against the Millian view. (shrink)

In the present paper we develop different arguments to show that there are no reasons to consider that there exists quantum information as qualitatively different than Shannon information. There is only one kind of information, which can be coded by means of orthogonal or non-orthogonal states. The analogy between Shannon’s theory and Schumacher’s theory is confined to coding theorems. The attempt to extend the analogy beyond this original scope leads to a concept of quantum information that becomes indistinguishable from that (...) of quantum state. But information is essentially linked with communication, as it is clear in both Shannon’s and Schumacher’s proposals. If we detach information from this link, we are not talking about information but about quantum mechanics. We also stress the neutrality of information with respect to the physical theories that describe the systems used for its implementation. This view opens the way towards a non-reductive unification of physics: if different physical theories can be reconstructed on the same neutral informational basis, they could be meaningfully compared with no need of searching for reductive links among them. (shrink)

The property theory of musical works says that each musical work is a property that is instantiated by its occurrences, that is, the work's performances and playings. The property theory provides ontological explanations very similar to those given by its popular cousin, the type/token theory of musical works, but it is both simpler and stronger. However, type/token theorists often dismiss the property theory. In this essay, I formulate a version of the property theory that identifies each type (thus, each musical (...) work) with a unique property. I then scrutinize the arguments offered for thinking that types, including musical works, are distinct from properties. I respond that no such argument is forceful and conclude that the property theory of musical works is superior to the type/token theory. (shrink)

The main goal of this essay is to propose and make plausible a framework for developing a philosophical account of musical notation. The proposed framework countenances four elements of notation: symbols (abstract objects that collectively constitute the backbone of a ‘system’ of notation), their characteristic ‘forms’ (for example, shapes, understood abstractly), the concrete instances, or ‘engravings’, of those forms, and the meanings of the symbols. It is argued that these elements are distinct. Along the way, several preliminary arguments are given (...) for how one ought to understand them—for example, it is suggested that engravings represent symbols rather than instantiate forms, although they are characteristically seen to represent a symbol by being seen to instantiate an associated form. Having proposed this framework, the essay explores the nature of musical instructions, as the meanings of symbols, and offers an argument in favor of the commonly held (but recently challenged) view that those meanings are imperative. Specifically, composites of musical notation (paradigmatically, musical scores) primarily express instructional meaning, and denote something like ‘sonic structures’ only secondarily, in virtue of their primary, imperative, meaning. (shrink)

In this paper, we explore locative grounding harmony, according to which the location of the grounds mirrors the location of the grounded. We proceed in three stages. First, we clarify the notion of locative harmony and describe different locative harmony principles. Second, we offer two arguments for the claim that grounding between physically located entities obeys principles of locative harmony. Third, we consider and respond to a range of cases that seem to show that grounding relations between physically located entities (...) do not obey such principles. We conclude that grounding between such entities obeys locative harmony. (shrink)

Words, languages, symphonies, fictional characters, games, and recipes are plausibly abstract artifacts— entities that have no spatial location and that are deliberately brought into existence as a result of creative acts. Many accept that composition is unrestricted: for every plurality of material objects, there is a material object that is the sum of those objects. These two views may seem entirely unrelated. I will argue that the most influential argument against restricted composition—the vagueness argument—doubles as an argument that there can (...) be no abstract artifacts. There is no way to resist the vagueness argument against abstract artifacts that does not also undermine the vagueness argument against restricted composition. (shrink)

Debunking arguments—also known as etiological arguments, genealogical arguments, access problems, isolation objec- tions, and reliability challenges—arise in philosophical debates about a diverse range of topics, including causation, chance, color, consciousness, epistemic reasons, free will, grounding, laws of nature, logic, mathematics, modality, morality, natural kinds, ordinary objects, religion, and time. What unifies the arguments is the transition from a premise about what does or doesn't explain why we have certain mental states to a negative assessment of their epistemic status. I examine (...) the common, underlying structure of the arguments and the different strategies for motivating and resisting the premises of debunking arguments. (shrink)

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. I then argue that this theory (...) is well motivated because it can be part of a theory of what is said. (shrink)

Instrumentalist nominalism responds to the indispensability arguments by rejecting the demand that successful mathematicized scientific theories be nominalized, and instead claiming merely that such theories are nominalistically adequate: the concreta behave ‘as if’ the theory is true. This article examines some definitions of the concept of nominalistic adequacy and concludes with some considerations against instrumentalist nominalism.

Numerous difficulties arising in connection with developing an ontology for linguistic entities can be thought of as manifestations of a more general problem, aptly characterized by David Lewis (1975) as a tension between two conflicting conceptions of language. On the one hand, our best theories model languages as abstract semantic systems—roughly, functions assigning meanings to expressions. On the other hand, we think of languages as contingent and changing social constructs—both grounded in, and grounding, various social relations and institutions of human (...) beings. There are various ways in which these conceptions appear to be in conflict. For instance, if languages are set-theoretical entities—as our best logical and linguistic theories would have it—how do we account for the fact that they change? Or that they could have been different in various respects? And how do we provide principled and noncircular conditions for set-membership, when there appears to be nothing in common to all tokens of the same expression other than belonging to the same type? This paper aims to develop an ontology of linguistic entities—specifically, of languages and linguistic communities—that can resolve these apparent tensions. (shrink)

objects are standardly taken to be causally inert, but this claim is rarely explicitly argued for. In the context of his platonism about musical works, in order for musical works to be audible, Julian Dodd argues that abstracta are causally efficacious in virtue of their concrete tokens participating in events. I attempt to provide a principled argument for the causal inertness of abstracta by first rejecting Dodd’s arguments from events, and then extending and generalizing the causal exclusion argument to the (...) abstract/concrete distinction. For reasons of parsimony, if concrete tokens or instantiations of abstract objects account for all causal work, then there is no reason to attribute causal efficacy to abstracta, and thus reason to maintain their causal inertness. I then consider how one of the main arguments against causal exclusion, namely Stephen Yablo’s notion of “proportionality”, could be modified to support the causal efficacy of abstracta. I argue that from a few simple premises Yablo’s account in fact supports their causal inertness. Having a principled reason for the causal inertness of abstracta appears to entail that the musical platonist must admit that we never literally hear the musical work, but only its performances. I sketch a solution to this problem available to Dodd, so that the musical platonist can maintain that musical works are abstract objects and are causally inert while retaining their audibility. (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)

Some revisionary ontologies are highly parsimonious: they posit far fewer entities than what we quantify over in ordinary discourse. The most radical examples are minimal ontologies, on which physical simples are the only things that exist. Highly parsimonious ontologies, and especially minimal ones, face the challenge of either accounting for the truth of our ordinary quantificational discourse, or paraphrasing such discourse away. Common strategies for addressing this challenge include classical reduction, paraphrase nihilism, and a distinction between ontological and existence commitments. (...) I argue, however, that these strategies are either implausible or fail to provide truth conditions consistent with minimal or parsimonious ontologies. I then discuss, defend, and suggest ways to strengthen an alternative framework for reduction, on which the sentences of reducing theories ground those of reducible theories. Relative to the other options for defending minimal ontology, a strengthened grounding-reductive approach can provide more defensible truth conditions for minimal ontology, better preserve scientific realist intuitions, set a more attainable standard for reduction, and allow our existence commitments to be more responsive to empirical evidence and scientific expertise. As a result, I argue that minimal ontology becomes more defensible—though not certain—on a grounding-reductive framework. But even if minimal ontology were wrong, the grounding-reductive framework makes other parsimonious but non-minimal ontologies more plausible. (shrink)

In this paper we present a solution to Saul Kripke’s Puzzle About Belief Meaning and use, Dordrecht, 1979) based on Kaplan’s metaphysical picture of words. Although it is widely accepted that providing such a solution was one of the main incentives for the development of Kaplan’s theory, it was never presented by Kaplan in a systematic manner and was regarded by many as unsatisfactory. We agree with these critiques, and develop an extension of Kaplan’s theory by introducing the notion of (...) “conservative” word uses, as well as arguing for the restriction of Kripke’s Disquotational Principle only to such uses. This restriction allows us to solve Kripke’s Puzzle by arguing that the assent of the puzzle’s protagonist does not allow disquotation and ascription of corresponding inconsistent belief, as it contains the non-conservative use of a proper name. At the end of the paper, we defend two of Kaplan’s theses that we find essential for our argument to work: that individuation of word tokens involves taking into account the intention of the speaker, and that different uniquely referring proper names of the same shape should be regarded as different homonymous words. (shrink)

I argue that a two-dimensional model of social objects is uniquely positioned to deliver explanations for some of the puzzling metaphysical features of words. I consider how a type-token model offers explanations for the metaphysical features of words, but I give reasons to find the model wanting. In its place, I employ an alternative model from social ontology to explain the puzzling data and questions that are generated from the metaphysical features of words. In the end I chart a new (...) path that foregrounds the agent-dependence and social conditions for word kinds. (shrink)

The consensus is that repeatable artworks cannot be identified with particular material individuals. A perennial temptation is to identify them with types, broadly construed. Such identification, however, faces the so-called “Creation Problem.” This problem stems from the fact that, on the one hand, it seems reasonable to accept the claims that (1) repeatable artworks are types, (2) types cannot be created, and (3) repeatable artworks are created, but, on the other hand, these claims are mutually inconsistent. A possible solution to (...) the Creation Problem is to argue that claim (2) can be rejected because (a) the only motivation for it is that a type, being abstract, cannot stand in causal relations, but (b) this motivation is ungrounded, since types can, in fact, stand in such relations. Clearly, in order for this solution to be successful, it is necessary to substantiate the possibility of types to be causally efficacious. In this essay, I examine an attempt to do this with the help of Yablo’s principle of proportionality, which has been undertaken by Walters (2013) and, more recently, Juvshik (2018). Although the argument they advance may seem to provide strong support for the causal efficacy of types, I think it actually fails to do this. To explain why this is so, I first show that this argument commits us to the existence of widespread causal overdetermination involving types and then argue that this commitment is both epistemically and ontologically problematic. (shrink)

Words are indispensable linguistic tools for beings like us. However, there is not much philosophical work done about what words really are. In this paper, I develop a new ontology for words. I argue that words are abstract artifacts that are created to fulfill various kinds of purposes, and words are abstract in the sense that they are not located in space but they have a beginning and may have an end in time given that certain conditions are met. What (...) follows from this two-fold argument is that words, from an ontological point of view, are more like musical works, fictional characters or computer programs, than numbers or sets. (shrink)

There is a widely shared account of the distinction between types and tokens, which might be termed the standard account. However, it has some surprising consequences that are not always realized. According to the standard account, a type is a contingent abstract object that can be created by us, but it does not allow any change and can never be destroyed once it is created, because it is an abstract object. I would like to present an alternative account of types (...) and tokens, according to which types are concrete objects that are located in space and time. This new account is based on a concept that I call a "token generator", which is something that specifies in detail how to produce the tokens. (shrink)

ABSTRACT The idea that two words can be instances of the same word is a central intuition in our conception of language. This fact underlies many of the claims that we make about how we communicate, and how we understand each other. Given this, irrespective of what we think words are, it is common to think that any putative ontology of words, must be able to explain this feature of language. That is, we need to provide criteria of identity for (...) word-types which allow us to individuate words such that it can be the case that two particular word-instances are instances of the same word-type. One solution, recently further developed by Irmak, holds that words are individuated by their history. In this paper, I argue that this view either fails to account for our intuitions about word identity, or is too vague to be a plausible answer to the problem of word individuation. (shrink)

An exclusive disjunction is true when exactly one of the disjuncts is true. In the case of the familiar binary exclusive disjunction, we have a formula occurring as the first disjunct and a formula occurring as the second disjunct, so, if what we have is two formula-tokens of the same formula-type—one formula occurring twice over, that is—the question arises as to whether, when that formula is true, to count the case as one in which exactly one of the disjuncts is (...) true, counting by type, or as a case in which two disjuncts are true, counting by token. The latter is the standard answer: counting by tokens. James McCawley once suggested that, when the exclusively disjunctive construction in natural language is at issue, the construction should be treated as involving a multigrade connective whose semantic treatment is sensitive to the set of disjuncts rather than the corresponding multiset. Without any commitment as to whether there actually is such a construction, and conceding that for obvious pragmatic reasons such ‘repeated disjunct’ cases would be at best highly marginal, we note that for the binary case, this requires a nonstandard answer—count by type rather than by token—to the earlier question, and thus, an idempotent exclusive disjunction connective. Section 2 explores that idea and Section 3, a further idempotent variant for which it is the propositions expressed by the disjuncts, rather than the disjuncts themselves, that get counted once only in the case of repetitions. Sections 1 and 4 respectively set the stage for these investigations and conclude the discussion. More detailed considerations of points arising from the discussion but otherwise in danger of interrupting the flow are deferred to a ‘Longer Notes’ appendix at the end. (shrink)

What are words? What makes two token words tokens of the same word-type? Are words abstract entities, or are they (merely) collections of tokens? The ontology of words tries to provide answers to these, and related questions. This article provides an overview of some of the most prominent views proposed in the literature, with a particular focus on the debate between type-realist, nominalist, and eliminativist ontologies of words.

What are words and how should we individuate them? There are two main answers on the philosophical market. For some, words are bundles of structural-functional features defining a unique performance profile. For others, words are non-eternal continuants individuated by their causal-historical ancestry. These conceptions offer competing views of the nature of words, and it seems natural to assume that at most one of them can capture the essence of wordhood. This paper makes a case for pluralism about wordhood: the view (...) that there is a plurality of acceptable conceptions of the nature of words, none of which is uniquely entitled to inform us as to what wordhood consists in. (shrink)

This book develops a novel approach to distributive justice by building a theory based on a concept of desert. As a work of applied political theory, it presents a simple but powerful theoretical argument and a detailed proposal to eliminate unmerited inequality, poverty, and economic immobility, speaking to the underlying moral principles of both progressives who already support egalitarian measures and also conservatives who have previously rejected egalitarianism on the grounds of individual freedom, personal responsibility, hard work, or economic efficiency. (...) By using an agnostic, flexible, data-driven approach to isolate luck and ultimately measure desert, this proposal makes equal opportunity initiatives both more accurate and effective as it adapts to a changing economy. It grants to each individual the freedom to genuinely choose their place in the distribution. It provides two policy variations that are perfectly economically efficient, and two others that are conditionally so. It straightforwardly aligns outcomes with widely shared, fundamental moral intuitions. Lastly, it demonstrates much of the above by modeling four policy variations using 40 years of survey data from the Panel Study of Income Dynamics. (shrink)

I reconcile the spatiotemporal location of repeatable artworks and impure sets with the non-location of natural numbers despite all three being varieties of abstract objects. This is possible because, while the identity conditions for all three can be given by abstraction principles, in the former two cases spatiotemporal location is a congruence for the equivalence relation featuring in the relevant principle, whereas in the latter it is not. I then generalize this to other ‘physical’ properties like shape, mass, and causal (...) powers. (shrink)

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality and (...) abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

Is nanotechnology-based human enhancement morally permissible? One reason to question such enhancement stems from a concern for preserving our species. It is harder than one might think, however, to explain what could be wrong with altering our own species. One possibility is to turn to the environmental ethics literature. Perhaps some of the arguments for preserving other species can be applied against nanotechnology-based human enhancements that alter human nature. This paper critically examines the case for using two of the strongest (...) arguments in the environmental ethics literature to show that nanotechnology-based human enhancements are impermissible: 1) Our species, like many other naturally occurring species, has aesthetic value. So, nanotechnology-based human enhancements that alter our species should be prohibited. 2) Our species plays valuable ecological roles. Nanotechnology-based human enhancements that alter our species are likely to interfere with our species playing our ecologically valuable roles. So, such enhancements should be prohibited. Neither argument, ultimately, proves conclusive. The paper concludes, however, that considerations underlying both arguments may show us that some nanotechnology-based human enhancements are impermissible. (shrink)

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

According to mainstream linguistic phonetics, speech can be modeled as a string of discrete sound segments or “phones” drawn from a universal phonetic inventory. Recent work has argued that a mature phonetics should refrain from theorizing about speech and speech processing using sound segments, and that the phone concept should be eliminated from linguistic theory. The paper lays out the tenets of the phone methodology and evaluates its prospects in light of the eliminativist arguments. I claim that the eliminativist arguments (...) fail to show that the phone concept should be eliminated from linguistic theory. (shrink)

This paper presents the hypothesis that the representational repertoire underpinning our ability to process the lexical items of a natural language can be modeled as a system of mental files. To start, I clarify the basic phenomena that an account of lexical knowledge should be able to elucidate. Then, I propose to evaluate whether the mental files theory can be brought to bear on an account of the representational format of lexical knowledge by modeling mental words as recognitional files.

Language is infused with materiality and should therefore not be considered as an abstract system that is isolated from socio-material reality. Expressions materialise language in social practices, thus providing the necessary basis for languaging activities. For this reason, it makes sense to challenge proponents of orthodox linguistics and others who hold that language can be studied in isolation from its concrete manifestations. By exploring the relation between materiality and linguistic activity, the article extends Malafouris’ Material Engagement Theory while clarifying the (...) phenomenon of ‘linguistic denotation’. In so doing, it critiques orthodox approaches to language which trace denotation to abstract meanings and/or mental representations. The article shows how the denotative aspects of language can be cashed out in non-representational terms and, furthermore, that the interrelation of denotation and materiality is crucial to human material culture in that it allows for material engagements to transcend localised contexts. These engagements become global in Latour’s sense and, in so doing, denotation ceases to demand descriptions in terms of representations. (shrink)

Like the ownership of physical property, the issues computer software ownership raises can be understood as concerns over how various rights and duties over software are shared between owners and users. The powers of software owners are defined in software licenses, the legal agreements defining what users can and cannot do with a particular program. To help clarify how these licenses permit and restrict users’ actions, here I present a conceptual framework of software rights and duties that is inspired by (...) the terms of various proprietary, open source, and free software licenses. To clarify the relationships defined by these rights and duties, this framework distinguishes between software creators (the original developer), custodians (those who can control its use), and users (those who utilise the software). I define the various rights and duties that can be shared between these parties and how these rights and duties relate to each other. I conclude with a brief example of how this framework can be used by defining the concepts of free software and copyleft in terms of rights and duties. (shrink)

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

Consider the following object, where, depending on how you are viewing this paper, the object may be a series of ink markings, a portion of a matrix of pixels through or from which light is emitted, etc.,augeLet’s call the object ‘Shape’. Is Shape a word token? If so, what word type is it a token of? Given how words are traditionally individuated, the Spanish, “auge”—meaning, apogee or peak—the French, “auge”—meaning, basin or bowl—and the German, “auge”—meaning, eye, are different words. So, (...) if Shape is a word token, is it a token of the Spanish, “auge”, the French, “auge”, the German, “auge”, or some combination of the three? Generalizing beyond Shape and ink markings/matrices of pixels as a potential medium for word tokens, when does something, f—e.g., some utterance, inscription, manual gesture, etc.—constitute a token of a word type, w, as opposed to some other word type, w *, or no word at all? In this paper, I motivate and place Central Question in the nascent and burgeoning subfield of the metaphysics of words. I argue that what makes something, f, a token of a word type, w, is that the process of generating f is explained and guided by one’s knowledge of w, e.g., one’s semantic, syntactic, morphophonological/orthographic, knowledge of w stored in one’s mental lexicon. (shrink)

There is a strong intuition that we can listen to works of music, yet musical ontologies on which works of music are abstract objects, perhaps most notably, type theories of music, seem to imply that this is impossible. This problem has received relatively little attention in the literature. I here explore and develop a solution suggested by Julian Dodd and argue that it has at least two problematic consequences, namely (i) that some works of music cannot be listened to unless (...) one has already studied the relevant score or through a similar process learned roughly what the work requires of its performances and (ii) that it is possible for two people to listen to different musical works while listening to the same performance. (shrink)

This paper argues that Wittgenstein opposed theories of meaning, and did so for good reasons. Theories of meaning, in the sense discussed here, are attempts to explain what makes it the case that certain sounds, shapes, or movements are meaningful linguistic expressions. It is widely believed that Wittgenstein made fundamental contributions to this explanatory project. I argue, by contrast, that in both his early and later works, Wittgenstein endorsed a disjunctivist conception of language which rejects the assumption underlying the question (...) that such theories seek to answer—namely, the assumption that the notion of a meaningful linguistic expression admits of non-circular analysis. Moreover, I give two arguments in favor of the view I ascribe to Wittgenstein: one based on later Wittgenstein's discussion of meaning skepticism and one based on considerations concerning the identity of linguistic expressions. (shrink)

The Logocratic Method, and the Logocratic theory that underwrites it, provide a philosophical explanation of three purposes or goals that arguers have for their arguments: to make arguments that are internally strong, or that are dialectically strong, or that are rhetorically strong. This article presents the basic terms and methods of Logocratic analysis and then uses a case study to illustrate the Logocratic explanation of arguments. Highlights of this explanation are: the use of a virtue framework to explicate the three (...) strengths and weaknesses of arguments that are of greatest interest to arguers in many contexts, the Logocratic explication of the structure of abduction generally and of legal abduction specifically, the concept of a system of arguments, and the concept of the dynamic interactive virtue of arguments—a property of systems of arguments in which the system of arguments as a whole is as virtuous as are the component arguments that comprise the system. This is especially important since, according to Logocratic theory, some arguments, such as abduction and analogical argument, are themselves comprised of different logical forms. (shrink)

Contemporary theories of universals have two things in common: first, they are unable to account for necessary connections between universals that form a structure. Second, they leave teleology out of their accounts of instantiation. These facts are not unrelated; the reason why contemporary theories have such trouble is they neglect the ancient idea that universals are ends at which nature aims. If we want a working theory of universals, however, we must return to this idea. Despite its unpopularity among realists, (...) teleology is not a disposable eccentricity, and its dismissal is not an improvement on ancient views. (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)

Both the semantics of fictional discourse and the semantics of indexicality are canonical topics in the philosophy of language, on which there exists well-known significant literature. However, the same cannot be said for the terrain where they overlap. That is, the distinctive issues raised by fictive uses of indexicals and demonstratives have not been extensively studied per se. The aim of the present essay is to shed some light on this terrain, and to advance our understanding of some of these (...) issues. As it happens, accounting for indexicals in fiction requires the use of innovative new tools. In particular, the standard, familiar taxonomy of types / tokens / utterances is not sufficient to account for the complex cognitive significance and truth-conditions, unique to these kinds of case. For instance: it is widely recognized that, with indexicals generally, semantic properties attach to utterances, not to types or to tokens. But in fiction there are no utterances (in the relevant sense). An innovative notion is required, which I call an “indexed token”. This account of indexicals in fiction, based on the notion of an indexed token, is developed within a Perry (2012)-inspired pluri-propositionalist framework. As such, the present essay constitutes an original application of that framework, extending its already impressive reach. (shrink)

Words are ubiquitous and familiar, and the concept of a word features both in common-sense ways of understanding the world, and in more theoretical discourse. Nonetheless, it has been repeatedly argued that there is no such thing as words. In this paper, I will set out a range of arguments for eliminativism about words, and indicate the most promising responses. I begin by considering an eliminativist argument based on the alleged mind-dependency of words, before turning to two challenges arising from (...) linguistic theory in the Chomskian tradition. The first of these is issued by Rey in a number of places, including in his recent book. The second is Collins’s argument based on the alleged explanatory redundancy of words. I will also consider an eliminativist challenge based on the difficulty of providing existence and persistence conditions for words. One general lesson which emerges is that these eliminativist arguments, if they work at all, could be turned against a whole swathe of non-linguistic objects; in other words, the case for eliminativism about words is no stronger than the case for eliminativism about ordinary objects in general. (shrink)

In the literature of belief revision, it is widely accepted that: there is only one revision phase in belief revision which is well characterized by the Bayes’ Rule, Jeffrey’s Rule, etc.. However, as I argue in this article, there are at least four successive phases in belief revision, namely first/second order evaluation and first/second order revision. To characterize these phases, I propose mainly four rules of belief revision based on agent’s criteria, and make one composition rule to characterize belief revision (...) as a whole. (shrink)

This article surveys the philosophical literature on theoretical linguistics. The focus of the paper is centred around the major debates in the philosophy of linguistics, past and present, with specific relation to how they connect to the philosophy of science. Specific issues such as scientific realism in linguistics, the scientific status of grammars, the methodological underpinnings of formal semantics, and the integration of linguistics into the larger cognitive sciences form the crux of the discussion.

A mathematical matrix is usually defined as a two-dimensional array of scalars. And yet, as I explain, matrices are not in fact two-dimensional arrays. So are we to conclude that matrices do not exist? I show how to resolve the puzzle, for both contemporary and older mathematics. The solution generalises to the interpretation of all mathematical discourse. The paper as a whole attempts to reinforce mathematical structuralism by reflecting on how best to interpret mathematics.

Sharp opposition between revolution as a positively valued and dominant term and restoration as its subordinated complement, loaded with negative meaning, is one of the legacies of the 1789 French Revolution. This may be the main reason why social restorations still are neglected in the philosophy of history and historical sociology, although both types of modern revolutions (French 1789 or “bourgeois” and Russian 1917 or “socialist”) did end with restorations. This paper proposes revisions to only attempt at the theory of (...) social restorations (by Austrian American comparativist Robert Kann (1906-1981) to make it applicable to post-communist restorations. They include the distinction between type and token restorations, endurance and performance success of restorations, and a new formulation of the criterion of endurance success. (shrink)