The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, a species? (...) §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

Philosophers often debate the existence of such things as numbers and propositions, and say that if these objects exist, they are abstract. But what does it mean to call something 'abstract'? And do we have good reason to believe in the existence of abstract objects? This Element addresses those questions, putting newcomers to these debates in a position to understand what they concern and what are the most influential considerations at work in this area of metaphysics. It also provides advice (...) on which lines of discussion promise to be the most fruitful. (shrink)

This dissertation examines the practice of categorizing works of art and its relationship to art criticism. How a work of art is categorized influences how it is appreciated and criticized. Being frightening is a merit for horror, but a demerit for lullabies. The brushstrokes in Monet's "Impression, Sunrise" (1874) look crude when seen as a Neoclassical painting, but graceful when seen as an Impressionist painting. Many of the judgments we make about artworks are category-dependent in this way, but previous research (...) has rarely examined in depth the ontological structure of art categories, how they are generated and maintained, and how they function. This dissertation fills this gap. The proposal of this dissertation can be summarized as follows. Categories (especially genres) should be analyzed as clusters of rules that regulate the responses and behaviors of agents in the artworld. The visual mundaneness is a critical reason to consider Duchamp's "Comb" (1916) provocative, given the existence of the readymade as a set of rules that justifies such reasoning. The critical and appreciative practice of which categorization is a part is a social practice of making, declaring, proposing, reforming, and developing rules of appreciation. How we appreciate artworks, and how criticism guides our appreciation, is sensitive to how we categorize artworks. How we categorize artworks is sensitive to what categories have been set up in our community and which categories are active regarding each artwork. (shrink)

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

There are some names which cannot be spoken and others which cannot be written, at least on certain very natural ways of conceiving of them. Interestingly, this observation proves to be in tension with a wide range of views about what names are. Prima facie, this looks like a problem for predicativists. Ultima facie, it turns out to be equally problematic for Millians. For either sort of theorist, resolving this tension requires embracing a revisionary account of the metaphysics of names. (...) Revisionary Millianism, I argue, offers some important advantages over its predicativist competitor. (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 this paper, I analyze the semantics of the first person pronoun “I” from the perspective of the user/producer distinction. In the first part of the paper, I describe the Simple View and propose three interpretations of its thesis. In the second part, I analyze the notions of use and production of a linguistic token. In the next part, I show that all of the interpretations of SV are sensitive to counterexamples. In the end, I discuss possible answers of the (...) proponents of SV and argue against them. The first aim of this paper is to show that SV is wrong, and the second is to convince the reader that the user/producer distinction is of high importance in the philosophy of language. (shrink)

Is it possible to build a conscious machine, an artifact that has qualitative experiences such as feeling pain, seeing the redness of a flower or enjoying the taste of coffee ? What makes such experiences conscious is their phenomenal character: it is like something to have such experiences. In contemporary philosophy of mind, the question of the qualitative aspect of conscious experiences is often addressed in terms of qualia. In a pre-theoretical and intuitive sense, qualia refer to the phenomenal character (...) or “what-it’s-like-ness” of a conscious experience: the painfulness of a pain experience or the redness of a visual experience of a red object. The problem of artificial qualia is the question of the theoretical possibility of the realization of qualia by artifacts. In this work, this problem will serve as a methodological tool to address what is arguably the most fundamental question of philosophy of mind: what exactly is consciousness? (shrink)

Prior's puzzle is a puzzle about the substitution of certain putatively synonymous or coreferential expressions in sentences. Prior's puzzle is important, because a satisfactory solution to it should constitute a crucial part of an adequate semantic theory for both proposition-embedding expressions and attitudinal verbs. I argue that two recent solutions to this puzzle are unsatisfactory. They either focus on the meaning of attitudinal verbs or content nouns. I propose a solution relying on a recent analysis of that-clauses in linguistics. Our (...) solution is superior, as it not only avoids the problems faced by previous solutions, but it also brings developments in linguistics in line to solve an old puzzle in philosophy. (shrink)

It has been widely argued that words are analogous to species such that words, like species, are natural kinds. In this paper, I consider the metaphysics of word-kinds. After arguing against an essentialist approach, I argue that word-kinds are homeostatic property clusters, in line with the dominant approach to other biological and psychological kinds.

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, (...) and history and philosophy of science and religion. (shrink)

Theory of illness causation is an important issue in all biomedical sciences, and solid etiological explanations are needed in order to develop therapeutic approaches in medicine and preventive interventions in public health. Until now, the literature about the theoretical underpinnings of illness causation research has been scarce and fragmented, and lacking a convenient summary. This interdisciplinary book provides a convenient and accessible distillation of the current status of research into this developing field, and adds a personal flavor to the discussion (...) by proposing the etiological stance as a comprehensive approach to identify modifiable causes of illness. (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)

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)

How can we tell whether an incident counts as a microaggression? How do we draw the boundary between microaggressions and weightier forms of oppression, such as hate crimes? I address these questions by exploring the ontology and epistemology of microaggression, in particular the constitutive relationship between microaggression and systemic social oppression. I argue that we ought to define microaggression in terms of the ambiguous experience that its victims undergo, focusing attention on their perspectives while providing criteria for distinguishing microaggression.

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.

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 argue that it is not acceptable to restrict the claim that linguistic types are concrete entities (type-concretism) to some categories of linguistic types (such as words or proper names), while at the same time conceding that other categories of linguistic types (such as sentence types) are abstract entities. Moreover, I suggest a way in which type-concretism can be extended to every linguistic type, thereby responding to the so-called productivity objection to type-concretism, according to which, whenever tokens of a type (...) t are produced in different, causally isolated circumstances, then t needs to be identified by a certain form or structure. This extension of type-concretism detaches type-concretism from so-called originalism and gives rules a prominent role in type-concretism. (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)

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The result (...) is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (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)

In this short paper, we show that a popular view in information science, information-as-thing, fails to account for a common example of information that seems physical. We then demonstrate how the distinction between types and tokens, recently used to analyse Shannon information, can account for this same example by viewing information as abstract, and discuss existing definitions of information that are consistent with this approach. -/- Dans ce court article nous montrons qu'une vision populaire en sciences de l'information, l'information en (...) tant qu’une chose, échoue à rendre compte d'un exemple commun d'information qui semble physique. Nous démontrons ensuite comment la distinction type/token, utilisée récemment pour analyser l'information de Shannon, peut rendre compte de ce même exemple en considérant l'information comme abstraite, et nous discutons des définitions existantes de l’information qui sont compatibles avec cette approche. (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)

This thesis is an attempt to clarify a concept we are all familiar with, engineers and non-engineers alike. It shows that, behind the first impression of familiarity, there is a wide range of intuitions about failure which are not easily reconciled. While the ensuing ambiguities and lack of clarity may be tolerated in ordinary circumstances, engineers strive for precision and efficiency. These qualities become even more relevant given that engineering activities are increasingly carried out by multidisciplinary and multicultural teams. The (...) chapters included in this thesis illustrate that pursuing conceptual clarification may result in valuable contributions to the existing literature. The identification of tacit assumptions that, so far, have gone undetected can help bringing some degree of order and unity to discussions that have shown a tendency towards fragmentation along disciplinary boundaries. As a whole, these chapters constitute the preliminaries of a conceptual framework that, once supplemented with additional engineering and philosophical contributions, may embrace the multiple facets of failure; a rather complex tangle of phenomena which, despite engineers’ efforts to rein it in, is not going to disappear from the engineering agenda anytime soon. (shrink)

This paper argues for a version of metalinguistic descriptivism, the Mill-Frege view, comparing it to a currently popular alternative, predicativism. The Mill-Frege view combines tenets of Fregean views with features of the theory of direct reference. According to it, proper names have metalinguistic senses, known by competent speakers on the basis of their competence, which figure in ancillary presuppositions. In support of the view the paper argues that the name-bearing relation—which predicativists cite to account for the properties that they take (...) names to express—depends on acts of naming with a semantic significance. Acts of naming create particular words specifically designed for referential use, which they perform whether or not the language has other words articulated with the same sound or orthography. Like other forms of metalinguistic descriptivism, the Mill-Frege view affords responses to Kripke’s semantic and epistemic arguments against descriptivism. The view is prima facie more complex than predicativism; but the additional complexity is independently attested in natural languages and well-motivated. Finally, the Mill-Frege proposal deals well with Kripke’s modal argument, and accounts for modal intuitions about names, both issues that pose serious trouble to predicativism. (shrink)

Convincing disputes about explanatory reductionism in the philosophy of biology require a clear and precise understanding of what a reductive explanation in biology is. The central aim of this book is to provide such an account by revealing the features that determine the reductive character of a biological explanation. Chapters I-IV provide the ground, on which I can then, in Chapter V, develop my own account of explanatory reduction in biology: Chapter I reveals the meta-philosophical assumptions that underlie my analysis (...) of reduction, Chapter II introduces the previous debate about reduction in the philosophy of biology by pointing out the most crucial lessons one should learn from this debate, Chapter III critically discusses the two perspectives on explanatory reduction that have been proposed in the philosophy of biology so far, and Chapter IV clarifies in what ways the issue of reduction is entangled with the issue of explanation. In Chapter V I present my own account of explanatory reduction. My main claim is that reductive explanations in the biological sciences possess three main characteristics: they explain the behavior of a biological system S, first, exclusively in terms of factors that are located on a lower level of organization than S, second, by focusing on factors that are internal to S , and third, by describing the genuine parts of S only as “parts in isolation”. This account is ontic because it traces the reductivity of an explanation back to certain relations that exist in the world. (shrink)

What is the relationship between pain and the body? I claim that pain is best explained as a type of personal experience and the bodily response during pain is best explained in terms of a type of mechanical neurophysiologic operation. I apply the radical philosophy of identity theory from philosophy of mind to the relationship between the personal experience of pain and specific neurophysiologic mechanism and argue that the relationship between them is best explained as one of type identity. Specifically, (...) pain is a specific type of personal experience identical to a specific type of allostatic stress response comprised of interdependent nervous, endocrine and immune mechanical operations. (shrink)

Software is a ubiquitous artifact, yet not much has been done to understand its ontological nature. There are a few accounts offered so far about the nature of software. I argue that none of those accounts give a plausible picture of the nature of software. I draw attention to the striking similarities between software and musical works. These similarities motivate to look more closely on the discussions regarding the nature of the musical works. With the lessons drawn from the ontology (...) of musical works I offer a novel account of the nature of software. In this account, software is an abstract artifact. I elaborate the conditions under which software comes into existence; how it persists; how and on which entities its existence depends. (shrink)

In the present paper I argue that the formalism of Newtonian mechanics stems directly from the general principle to be called the principle of microlevel reducibility which physical systems obey in the realm of classical physics. This principle assumes, first, that all the properties of physical systems must be determined by their states at the current moment of time, in a slogan form it is ``only the present matters to physics.'' Second, it postulates that any physical system is nothing but (...) an ensemble of structureless particles arranged in some whose interaction obeys the superposition principle. I substantiate this statement and demonstrate directly how the formalism of differential equations, the notion of forces in Newtonian mechanics, the concept of phase space and initial conditions, the principle of least actions, etc. result from the principle of microlevel reducibility. The philosophical concept of thick presentism and the introduction of two dimensional time-physical time and meta-time that are mutually independent on infinitesimal scales-are the the pivot points in these constructions. (shrink)

Christopher Timpson proposes a deflationary view about information, according to which the term ‘information’ is an abstract noun and, as a consequence, information is not part of the material contents of the world. The main purpose of the present article consists in supplying a critical analysis of this proposal, which will lead us to conclude that information is an item even more abstract than what Timpson claims. From this view, we embrace a pluralist stance that recognizes the legitimacy of different (...) interpretations of the concept of information. (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)

Strawson (1994) and Peacocke (1992) introduced thought experiments that show that it seems intuitive that there is, in some way, an experiential character to mental events of understanding. Some (e.g., Siewert 1998, 2011; Pitt 2004) try to explain these intuitions by saying that just as we have, say, headache experiences and visual experiences of blueness, so too we have experiences of understanding. Others (e.g., Prinz 2006, 2011; Tye 1996) propose that these intuitions can be explained without positing experiences of understanding. (...) Call this the debate between Realism and Anti-Realism about experiences of understanding. This paper aims to advance that debate in two ways. In the first half, I develop more precise characterizations of what Realists and Anti-Realists propose. In the second half, I distinguish the four most plausible versions of Anti-Realism and argue that Realism better explains the target intuition than any of them does. (shrink)

Slot theory is the view that (i) there exist such entities as argument places, or ‘slots’, in universals, and that (ii) a universal u is n-adic if and only if there are n slots in u. I argue that those who take properties and relations to be abundant, fine-grained, non-set-theoretical entities face pressure to be slot theorists. I note that slots permit a natural account of the notion of adicy. I then consider a series of ‘slot-free’ accounts of that notion (...) and argue that each of them has significant drawbacks. (shrink)

This paper provides a categorization of cross-modal experiences. There are myriad forms. Doing so allows us to think clearly about the nature of different cross-modal experiences and allows us to clearly formulate competing hypotheses about the kind of experiences involved in different cross-modal phenomena.

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)

This paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be “more diagrammatic” than equivalently expressive languages for quantificational logic. The reason of this, he claimed, is that less room is afforded in Existential Graphs than in equivalently expressive languages for different ways of representing the same fact. (...) The reason of this, in turn, is that Existential Graphs are a non-linear, occurrence-referential notation. As a non-linear notation, each graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic that are obtained by permuting those elements that in the graphs lie in the same area. As an occurrence-referential notation, each Beta graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic in which the identity of reference of two or more variables is asserted. In brief, Peirce’s graphs are more diagrammatic than the linear, type-referential notation of first-order logic because the function that translates the latter to the graphs does not define isomorphism between the two notations. (shrink)

This paper argues that there was considerably more philosophy of action in moral theory before 1958 (when Anscombe complained of its lack under the banner 'philosophy of psychology') than there has been since. This is in part because Anscombe influenced the formation of 'virtue theory' as yet another position within normative ethics, and her work contributed to the fashioning of 'moral psychology' as an altogether distinct (and now increasingly empirical) branch of moral philosophy.

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

Many philosophers believe in things, propositions, which are the things that we believe, assert etc., and which are the contents of sentences. The act-type theory of propositions is an attempt to say what propositions are, to explain how we stand in relations to them, and to explain why they are true or false. The core idea of the act-type theory is that propositions are types of acts of predication. The theory is developed in various ways to offer explanations of the (...) important properties of propositions. I present the core idea of the theory, and some developments of it. I discuss the relationship between the theory and the content–force distinction. I also present an important type of objection that has been raised to the explanations offered by the act-type theory. (shrink)

Timpson’s deflationary view of information is an innovative and well articulated view that had a great impact on the philosophy of physics community. However, recently some of the arguments supporting the deflationist view have been critically reviewed. The aim of this paper is to retain the general idea behind Timpson’s proposal, but replacing the conflictive elements used to support his thesis with new argumentative resources based on the notion of manipulability.

The notion of fundamentality is supposed to play an important role in philosophical inquiry and scientific theorising. Yet there is no consensus on how to formulate it in precise terms. According to a promising view, fundamentality is a form of ontological independence. This view has the merit of capturing a natural connection between fundamentality and ontological dependence. However, it has been recently argued that it is possible that there are fundamental and yet ontologically dependent entities; therefore, we should not characterise (...) the fundamental in terms of ontological independence. My aim is to show that such a possibility does not threaten a conception of fundamentality as a form of ontological independence. I illustrate this claim by providing a definition of equifundamentality and showing that fundamental and yet ontologically dependent entities can be treated as equifundamental. (shrink)

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.

Despite of its formal precision and its great many applications, Shannon’s theory still offers an active terrain of debate when the interpretation of its main concepts is the task at issue. In this article we try to analyze certain points that still remain obscure or matter of discussion, and whose elucidation contribute to the assessment of the different interpretative proposals about the concept of information. In particular, we argue for a pluralist position, according to which the different views about information (...) are no longer rival, but different interpretations of a single formal concept. (shrink)

The method of linguistic palaeontology has a controversial status within archaeology. According to its defenders, it promises the ability to see into the social and material cultures of prehistoric societies and uncover facts about peoples beyond the reach of archaeology. Its critics see it as essentially flawed and unscientific. Using a particular case-study, the Indo-European homeland problem, this paper attempts to discern the kinds of inference which proponents of linguistic palaeontology make and whether they can be warranted. I conclude that, (...) while the case for linguistic palaeontology has often been overstated, so has the case against it. (shrink)

ABSTRACT This paper is concerned with the ontological status of linguistic types. According to a widely held view, linguistic types are abstract objects that are instantiated or represented by tokens. The same types might be tokened by both speech, signing and text. This view has implications for how we consider what it is to know a language since knowledge of language is typically taken to be knowledge of linguistic types. We argue below that linguistic types are not abstract objects but (...) action-types and that these action-types are individuated by the capacities that they manifest. The picture that results from this view is that to know a language is to have the capacities required to perform these action-types. (shrink)

This paper analyses the features of the 2021 software for the creation of ultrarealistic digital characters “MetaHuman Creator” and reflects on the causes of such perceived effect of realism to understand if the faces produced with such software represent an actual novelty from an academic standpoint. Such realism is first of all defined as the result of semio-cognitive processes which trigger interpretative habits specifically related to faces. These habits are then related to the main properties of any realistic face: being (...) face-looking, face-meaning and face-acting. These properties, in turn, are put in relation with our interactions with faces in terms of face detection, face recognition, face reading and face agency. Within this theoretical framework, we relate the characteristics of these artificial faces with such interpretative habits. To do so, we first of all make an examination of the technological features behind both the software and the digital faces it produces. This analysis highlights four main points of interest: the mathematical accuracy, the scanned database, the high level of details and the transformative capacities of these artificial faces. We then relate these characteristics with the cultural and cognitive aspects involved in recognizing and granting meaning to faces. This reveals how metahuman faces differs from previous artificial faces in terms of indexicality, intersubjectivity, informativity and irreducibility. But it also reveals some limits of such effect of reality in terms of intentionality and historical context. This examination consequently brings us to conclude that metahuman faces are qualitatively different from previous artificial faces and, in the light of their potentials and limits, to highlight four main lines of future research based on our findings. (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)