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

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)

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

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

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)

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)

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

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

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

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

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

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)

In Languages of Art, Nelson Goodman presents a general theory of symbolic notation. However, I show that his theory could not adequately explain possible cases of natural language notational uses, and argue that this outcome undermines, not only Goodman's own theory, but any broadly type versus token based account of notational structure.Given this failure, an alternative representational theory is proposed, in which different visual or perceptual aspects of a given physical inscription each represent a different letter, word, or (...) other notational item. Such a view is strongly supported by the completely conventional relation between inscriptions and notation, as shown by encryption techniques etc. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (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: [email protected] 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)

I defend a Deferred Ostension view of quotation, on which quotation-marks are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. On this view, the quoted material works like Nunberg’s indexes in his account of deferred ostensión in general. The referent is obtained through some contextually suggested relation; in the default case the relation will be … instantiates the linguistic type __, but there are other possibilities. In this way, (...) the deferred ostension view deals with a problem I pointed out for the identity proposal in my earlier work, that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens (see the examples on p. 261 of García-Carpintero 1994). (shrink)

This paper suggests that it is largely a want of notional distinctions which fosters the “explanatory gap” that has beset the study of consciousness since T. Nagel’s revival of the topic. Modifying Ned Block’s controversial claim that we should countenance a “phenomenal-consciousness” which exists in its own right, we argue that there is a way to recuperate the intuitions he appeals to without engaging in an onerous reification of the facet in question. By renewing with the full type/token/tone (...) trichotomy developed by C. S. Peirce, we think the distinctness Block calls attention to can be seen as stemming not from any separate module lurking within the mind, but rather from our ability to prescind qualities from occurrences. (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)

Quine maintained that philosophical and scientific theorizing should be conducted in an untyped language, which has just one style of variables and quantifiers. By contrast, typed languages, such as those advocated by Frege and Russell, include multiple styles of variables and matching kinds of quantification. Which form should our theories take? In this article, I argue that expressivity does not favour typed languages over untyped ones.

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

I propose a distinction between design intentions, activities and products, as opposed to artistic intentions, activities and artworks. Examples of design products would include a specific type of car (or any other invention or device) as well as closer relatives of art such as decorative wall designs. In order to distinguish artistic from design intentions, I present an example in which two sculptors independently work on a single object to produce two sculptures, which are distinct just because the (...) artistic intentions of the sculptors are distinct. This case is then contrasted with an attempted parallel example for design intentions, which fails to produce two correspondingly distinct design products in spite of the different design intentions of its designers. I argue that this failure occurs because designs are types, for which any single token of a given type could not simultaneously be a token of some other type of the same general kind; whereas the possibility of my sculptural 'double artwork' example shows that such artworks cannot be types. I then further investigate the concept of a design, and conclude by arguing that an extension of my sculptural example shows that literary artworks also cannot be types. (shrink)

Recently, an increasing number of scholars have been showing interest in old-fashioned racism again. While recent studies on old-fashioned racism apparently increase our knowledge of this psychological theory of racism, the studies actually shed light on a different type of racism, namely offensive racism. The aim of this text is to argue that psychological theories of racism, like old-fashioned racism and modern racism, depend on societies’ social norms. I will show that questionnaires are highly sensitive to social norms, and (...) if there is change in social norms, the original measurement object alters. The theory of old-fashioned racism implicitly assumes agents that follow (or conform to) the social norm to behave prejudiced. Today, however, this social norm does not exist in Western societies. If agents express the same prejudices today, they indicate their willingness to breach the social norm to behave unprejudiced. Thereby, classic old-fashioned racism measures reflect a new kind of racism today. (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)

Issues concerning the spatial orientation of pictures play an important, though previously neglected, role in an adequate understanding of the nature and identity of visual artworks and other pictures. Using a previous contrast ('Artworks Versus Designs', BJA Vol. 41, No. 4, October 2001), I show that differing orientations of a design naturally give rise to distinct pictures, which may be appropriated as distinct artworks by a discerning artist--which also shows that such artworks cannot be types, since they share a common (...) token. The investigation also raises some significant issues concerning artistic printmaking, and strongly suggests in addition that two new concepts of interpretation--of identifying and constitutive interpretation--are required to adequately explain the artistic phenomena that are uncovered. (shrink)

I wish to defend the claim that given the content and structure of any moral theory we are likely to find palatable, there is no way of uniquely breaking down that theory into either consequentialist or deontological elements. Indeed, once we examine the actual structure of any such theory more closely, we see that it can be classified in either way arbitrarily. Hence if we ignore the metaethical pronouncements often made by adherents of the consequentialist-deontological distinction, we are quickly (...) led to the conclusion that this distinction contributes nothing of consequence to an understanding of moral theory. I will try to show that there are basically two reasons for this. First, what we mean by the terms endemic to the consequentialist-deontological distinction have no unique references to particular states of affairs in actual cases of moral decision making. Hence we may justify any such concrete moral decision by reference to typically consequentialist or deontological reasoning indifferently. Second, scrutiny of actual and viable moral theories reveals a much finer-grained structure than the consequentialist-deontological taxonomy can capture. And it is this structure, rather than simple attention to consequences or principles, that determines practical moral decision making. We would thus do better to develop the richer vocabulary of causes and constituents, goals and effects, states and events (mental, social, or physical). So in the end, the consequentialist-deontological distinction is irrelevant at the normative level of actual moral reasoning, whereas at the metaethical level it crudely schematizes two opposing types of dummy theory, neither of which is convincing, upon reflection, to any practicing moral philosopher. (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)

I develop a distinction between two types of psychological hedonism. Inferential hedonism (or “I-hedonism”) holds that each person only has ultimate desires regarding his or her own hedonic states (pleasure and pain). Reinforcement hedonism (or “R–hedonism”) holds that each person's ultimate desires, whatever their contents are, are differentially reinforced in that person’s cognitive system only by virtue of their association with hedonic states. I’ll argue that accepting R-hedonism and rejecting I-hedonism provides a conciliatory position on the traditional altruism debate, (...) and that it coheres well with the neuroscientist Anthony Dickinson’s theory about the evolutionary function of hedonic states, the “hedonic interface theory.” Finally, I’ll defend R-hedonism from potential objections. (shrink)

I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system (...) which undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

Epistemic instrumentalism views epistemic norms and epistemic normativity as essentially involving the instrumental relation between means and ends. It construes notions like epistemic normativity, norms, and rationality, as forms of instrumental or means-end normativity, norms, and rationality. I do two main things in this paper. In part 1, I argue that there is an under-appreciated distinction between two independent types of epistemic instrumentalism. These are instrumentalism about epistemic norms and instrumentalism about epistemic normativity. In part 2, I argue that (...) this under-appreciated distinction matters for the debate surrounding the plausibility of EI. Specifically, whether we interpret EI as norm-EI or as source-EI matters for the widely discussed universality or categoricity objection to EI, and for two important motivations for adopting EI, namely naturalism and the practical utility of epistemic norms. I will then conclude by drawing some lessons for epistemic instrumentalism going forward. (shrink)

Virtue epistemology has been divided into two camps: reliabilists and responsibilists. This division has been attributed in part to a focus on different types of virtues, viz., faculty virtues and character virtues. I will argue that this distinction is unhelpful, and that we should carve up the theoretical terrain differently. Making several better distinctions among virtues will show us two important things. First, that responsibilists and reliabilists are actually engaged in different, complementary projects; and second, that certain responsibilist critiques (...) of reliabilism miss the mark. With these distinctions on the table, we can see that the virtue reliabilist project is in some ways more fundamental than the responsibilist project, since the latter importantly depends on the former. I argue that the distinctively epistemic value of the responsibilist’s character virtues is derived from their connections to the reliabilist’s constitutive virtues. While this will give us a unified account of the epistemic value of intellectual virtues, it is not a reduction of the responsibilist project to the reliabilist one; rather, it as a way of securing the separate importance of each project by clarifying how they relate to one another. (shrink)

The primary aim of this chapter is to show that several missteps made by others in in their thinking about law as an artefact are due to misconceptions about the role of intentions in understanding law as an artefact. I first briefly recap my own contention that law is a genre of institutionalized abstract artefacts (put forth in The Functions of Law (OUP 2016) and subsequent papers), mostly following Searle’s understanding of institutions and Thomasson’s understanding of public artefacts. I highlight (...) the central place that this theory affords law’s functions, without requiring the theorist to say that possession or performance of the function is either necessary or sufficient for inclusion in the class of law. Some of the most common misunderstandings are exemplified in Brian Leiter’s paper ‘Legal Positivism about the Artifact Law’. He thinks that holding an intentionalist view of artefacts commits the theorist to privileging drafters’ intentions when interpreting law. (It doesn’t.) He also has confusions about the differences between artefact tokens and artefact types leading him to a problematically broad understanding of artefacts. Another problem can be seen in thinking that functional understandings of artefacts are vulnerable to the same problems that arise in functional explanations for biological systems. I go on to consider the work of Luka Burazin and Corrado Roversi, addressing worries that making intentionality central to artefacts implies too much conscious thought is required to make one, noting that several theories of intentionality do not require conscious thought in the execution of intentional action. While those who think a central place for intentionality threatens to leave us unable to explain customary law, this can be dealt with by noting the important distinction between customary rules and customary laws (where the latter requires a decision to enlist public aid in redressing violations). I claim that authors’ intentions are communicated requests for the artefacts’ audiences to see the artefacts as members of their putative kinds. Finally, I address the question of whether or not legal systems are themselves artefacts and institutions, given that they may or may not have been intentionally created. An early lawgiver might have created a legal system by accident in the process of handing down the first laws. I raise the possibility that we might want to impute intentionality to necessary by-products of artefact creation, seeing those by-products as artefacts as well. (shrink)

In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of (...) the type-identity theory. (shrink)

An analysis of the classical-quantum correspondence shows that it needs to identify a preferred class of coordinate systems, which defines a torsionless connection. One such class is that of the locally-geodesic systems, corresponding to the Levi-Civita connection. Another class, thus another connection, emerges if a preferred reference frame is available. From the classical Hamiltonian that rules geodesic motion, the correspondence yields two distinct Klein-Gordon equations and two distinct Dirac-type equations in a general metric, depending on the connection used. Each (...) of these two equations is generally-covariant, transforms the wave function as a four-vector, and differs from the Fock-Weyl gravitational Dirac equation (DFW equation). One obeys the equivalence principle in an often-accepted sense, whereas the DFW equation obeys that principle only in an extended sense. (shrink)

The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. (...) Modifier trope theory faces challenges concerning the inscrutability of predication and the incompatibility with bundle theory, whereas module trope theory faces challenges concerning character overdetermination and a collapse into austere nominalism. These differences indicate that the modifier/module distinction divides the advantages of general trope theory and thus presents the trope theorist with a pivotal choice. (shrink)

Slurs are both derogatory and offensive, and they are said to exhibit “derogatory force” and “offensiveness.” Almost all theories of slurs, except the truth-conditional content theory and the invocational content theory, conflate these two features and use “derogatory force” and “offensiveness” interchangeably. This paper defends and explains the distinction between slurs’ derogatory force and offensiveness by fulfilling three goals. First, it distinguishes between slurs’ being derogatory and their being offensive with four arguments. For instance, ‘Monday’, a slur in the (...) Bostonian argot, is used to secretly derogate African Americans without causing offense. Second, this paper points out that many theories of slurs run into problems because they conflate derogatory force with offensiveness. For example, the prohibition theory’s account of offensiveness in terms of prohibitions struggles to explain why ‘Monday’ is derogatory when it is not a prohibited word in English. Third, this paper offers a new explanation of this distinction from the perspective of a speech act theory of slurs; derogatory force is different from offensiveness because they arise from two different kinds of speech acts that slurs are used to perform, i.e., the illocutionary act of derogation and the perlocutionary act of offending. This new explanation avoids the problems faced by other theories. (shrink)

Le droit d’offenser est partie intégrante de la liberté d’expression. Sa justification repose sur la distinction entre les dogmes, qui peuvent faire l’objet de critiques ou de moqueries, et les individus qui peuvent y adhérer. Sans elle, les désaccords moraux et religieux ne pourraient plus s’exprimer dans l’espace public.

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)

Noam Chomsky’s well-known claim that linguistics is a “branch of cognitive psychology” has generated a great deal of dissent—not from linguists or psychologists, but from philosophers. Jerrold Katz, Scott Soames, Michael Devitt, and Kim Sterelny have presented a number of arguments, intended to show that this Chomskian hypothesis is incorrect. On both sides of this debate, two distinct issues are often conflated: (1) the ontological status of language and (2) the relation between psychology and linguistics. The ontological issue is, I (...) will argue, not the relevant issue in the debate. Even if this Chomskian position on the ontology of language is false, linguistics may still be a subfield of psychology if the relevant methods in linguistic theory construction are psychological. Two options are open to the philosopher who denies Chomskian conceptualism: linguistic nominalism or linguistic platonism. The former position holds that syntactic, semantic, and phonological properties are primarily properties, not of mental representations, but rather of public languagesentence tokens; The latter position holds that the linguistic properties are properties of public language sentence types. I will argue that both of these positions are compatible with Chomsky’s claim that linguistics is a branch of psychology, and the arguments that have been given for nominalism and platonism do not establish that linguistics and psychology are distinct disciplines. (shrink)

The purpose of this chapter is twofold. On the one hand, our goal is theoretical, as we aim at providing an instrument for detecting, analyzing, and solving ambiguities based on the reasoning mechanism underlying interpretation. To this purpose, combining the insights from pragmatics and argumentation theory, we represent the background assumptions driving an interpretation as presumptions. Presumptions are then investigated as the backbone of the argumentative reasoning that is used to assess and solve ambiguities and drive (theoretically) interpretive mechanisms. On (...) the other hand, our goal is practical. By analyzing ambiguities as stemming from different presumptions concerning language or, more importantly, expected communicative roles and goals, we can use communicative misunderstandings as the signal of deeper disagreements concerning mutual expectations or cultural differences. This argumentation-based interpretive mechanism will be applied to the analysis of medical interviews in the area of diabetes care, and will be used to bring to light the sources of misunderstanding and the different presumptions that define distinct cultures. We will consequently illustrate the analytical tools by identifying and distinguishing the various types of ambiguity underlying misunderstandings, and we will address them by describing the communicative intentions ascribed to the ambiguous utterances. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role of (...) these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

An examination of conditionals in di¤erent languages leads to a distinction of three types of conditionals instead of the usual two (indicative and subjunctive). The three types can be explained by the degree of acceptance or as-if acceptance of the truth of the antecedent. The labels subjunctive and indicative are shown to be inadequate. So-called indicative conditionals comprise two classes, the very frequent uncertain-fact conditionals and the quite rare accepted-fact conditionals. Uncertain-fact conditionals may have a time shift in contemporary (...) English and the future subjunctive in Portuguese (though not all of them do). Moreover, paraphrases of if with in case or supposing are usually possible with approximately the same meaning. Accepted-fact conditionals never have these features. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the (...) different token ontologies. In a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and mastered (...) three books." In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of indefinites, common nouns are modeled as identifications of their aspects using HoTT identity types, e.g., the common noun book is modeled as identifications of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type theories make the correct predictions but at the expense of ad hoc extensions (e.g., partial functions, dot types and coercive subtyping). The model proposed here, also predicts the correct results but using a conceptually simpler foundation and no ad hoc extensions. (shrink)

Technological innovation is almost always investigated from an economic perspective; with few exceptions, the specific technological and social nature of innovation is often ignored. We argue that a novel way to characterise and make sense of different types of technological innovation is to start considering uncertainty. This seems plausible since technological development and innovation almost always occur under conditions of uncertainty. We rely on the distinction between, on the one hand, uncertainty that can be quantified (e.g. probabilistic risk) and, (...) on the other, deep forms of uncertainty that may resist the possibility of being quantified (e.g. severe or fundamental uncertainties). On the basis of these different ingredients of uncertainty in technological innovation, we propose a new taxonomy that reveals the technological nature of innovation. Unlike previous taxonomies employed to handle different types of technological innovations, our taxonomy does not consider the economic value of innovation alone; it is much more oriented towards societal preferences and forms of technological uncertainty. Finally, we investigate the coherence of our proposal with the dual nature of technological artefacts, showing that innovation can be grounded on structural and functional factors and not just on economic ones. (shrink)

Many philosophers believe that true belief is of epistemic value, but that knowledge is of even more epistemic value. Some claim that this surplus value is instrumentally valuable to the value of true belief. I call the conjunction of these claims the Instrumentalist’s Conjunction. The so-called “Swamping Problem” is meant to show that Instrumentalist’s Conjunction is inconsistent. Crudely put, the problem is that if knowledge only has surplus value to the value of true belief, and a belief is true because (...) known, then knowledge cannot be of any more value than true belief. Given the inconsistency, most philosopher reject the claim the surplus value of knowledge is instrumental to the value of true belief. This paper argues that the Swamping Problem is illusory. Once we clean up the problem and pay attention to the distinction between token/type properties, we can see that Instrumentalist’s Conjunction is perfectly coherent. (shrink)

The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes (...) of tokens). The basic concepts of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent (...) literature on epistemic modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

The purpose of this paper is to offer an account of what an agent's being rational to do or think something might amount to, which doesn't reduce to saying that it consists in this agent's doing or thinking something that is rational for him. In the first section, I call attention to the fact that such a distinction between agent rationality and action or belief rationality is widely admitted, I reject the idea that it could be interpreted as a (...) distinction between the rationality of tokens and the rationality of types, and I suggest one natural way in which a notion of objective agent rationality could be informally characterized in terms of action or belief rationality. But this first, rough, characterization depends on further uses of the notion of rationality which I try to make sense of in the second section, at least in a preliminary way. The burden of this second section is then to determine whether the intuition behind the informal proposal introduced in the first can be substantiated, i.e., whether a substantial and coherent notion of agent rationality can be worked out, and at what cost. In the concluding section, I try to "deflate" some of the worries that could be raised by the account of agent rationality I end up with. (shrink)