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 idea of representing words with cell assemblies is very appealing. However, syntactic sequences need to be represented as well. This cannot be done by using the activity levels of assemblies. Instead, structural relations and operations between assemblies are needed to achieve serial order in syntactic word strings.

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)

Nominal concepts represent things as tokens of types. Recent research suggests that we represent principled connections between the type of thing something is (e.g., DOG) and some of its properties (k‐properties; e.g., having four legs for dogs) but not other properties (t‐properties; e.g., being brown for dogs). Principled connections differ from logical, statistical, and causal connections. Principled connections license (i) the expectation that tokens of the type will generally possess their k‐properties, (ii) formal explanations (i.e., explanation of the presence of (...) k‐properties in tokens of a type by reference to the type of thing it is), and (iii) normative expectations concerning the presence of k‐properties in tokens of the type. The present paper investigates the hypothesis that representing principled connections requires representing properties as aspects of being the relevant kind of thing (Aspect Hypothesis). Experiment 1 provides a direct test of the Aspect Hypothesis. Experiments 2 and 3 provide indirect tests of the Aspect Hypothesis. All three experiments provide support for the Aspect Hypothesis. Experiment 4 investigates a prediction of the Aspect Hypothesis concerning the manner in which formal explanations are licensed by principled connections. Finally, Experiment 5 investigates a prediction of the Aspect Hypothesis concerning the nature of the normative expectations licensed by principled connections. Together these results provide strong evidence for the idea that representing principled connections involves representing a property as being an aspect of being a given kind of thing. The results also help clarify the manner in which formal explanation differs from other modes of explanation. Finally, the results of the experiments are used to motivate a proposal concerning the formal structure of the conceptual representations implicated by principled connections. This structure provides a domain‐general way of structuring our concepts and embodies the perspective we take when we think and talk of things as being instances of a kind. (shrink)

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

Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case (...) or digital representations, to be a token of a representational type, where the function of the type is to represent. [An earlier version of this paper was discussed in the web-conference "Interdisciplines" https://web.archive.org/web/20100221125700/http://www.interdisciplines.org/adaptation/papers/7 ]. (shrink)

Determining the nature of binding in grapheme-color synaesthesia has consequences for understanding the neural basis of synaesthesia and visual awareness in general. We evaluated type- and token-based letter-color binding using a synaesthetic version of the object-reviewing paradigm. Although mean response times failed to reveal any significant differences between synaesthetes and control participants, RT analyses with ex-Gaussian distributions revealed that the response facilitation in the synaesthesia group reflected type representations exclusively, while response facilitation in the control group, who learned letter-color (...) associations, was dominated by token representations. Thus, letter-color associations in associator synaesthetes are type-based, and do not involve binding to object tokens, consistent with their subjective reports. Contrary to recent studies that failed to find differences between synaesthetes and non-synaesthetes with behavioral measures, response time distribution analyses indicate that color sensations in synaesthetes are not simply the extreme form of normal letter-color associations, and cannot be attributed to demand characteristics. (shrink)

I argue that thoughts and concepts are mental representations rather than abstracta. I propose that the most important difference between the two views is that the mentalist believes that there are concept and thought tokens as well as types; this reveals that the dispute is not terminological but ontological. I proceed to offer an argument for mentalism. The key step is to establish that concepts and thoughts have lexical as well as semantic properties. I then show that this entails (...) that concepts and thoughts are susceptible to the type/token distinction. I finish by considering some objections to the argument. (shrink)

I argue that thoughts and concepts are mental representations rather than abstracta. I propose that the most important difference between the two views is that the mentalist believes that there are concept and thought tokens as well as types; this reveals that the dispute is not terminological but ontological. I proceed to offer an argument for mentalism. The key step is to establish that concepts and thoughts have lexical as well as semantic properties. I then show that this entails (...) that concepts and thoughts are susceptible to the type/token distinction. I finish by considering some objections to the argument. (shrink)

In this dissertation, I provide the logical foundation for a solution to the mind-body problem, a solution which is directly based upon Wilfrid Sellars' analogical theory of thought and sensation. Chapters I-IV are devoted to an interpretation, analysis, and constructive criticism of Sellars' notions of the inner thought episode and the sensing state. My analysis is offered in support of three general contentions: I argue that the postulation of inner thought episodes and sensing states is necessary for adequate explanations of (...) agent behavior; I hope to show how the analogical theory of inner thought episodes and sensing states actually generates a legitimate problem concerning the relationship between the mental and the physical; and I demonstrate the importance of the notion of analogy in philosophical theory construction. I suggest that the role of analogy provides the key for the solution to the mind-body problem. ;Chapter One is essentially introductory in nature. I offer an interpretation and reconstruction of Sellars' illustrative story entitled "The Jonesean Myth" . The "Myth" provides a suitable representation of Sellars' overall philosophy of mind. But perhaps more importantly, the "Myth" is a paradigm example of what I shall call the analogical method of inquiry, a method employed for the introduction of the notions of inner thought episodes and sensing states. In brief, I want to show how the "Myth" provides the logical basis for a theory adequate for explanations of the mental activity of agents. ;Chapters II and III are closely related. In Chapter II, I present a theory of linguistic representation which will serve as the analogical base for the introduction and characterization of the inner thought episode. In Chapter III, I develop the notion of the inner thought episode , and I examine its nature and status as a theoretical construct. Chapters II and III are thus related by the Sellarsian thesis that the concept of mental representation is to be understood in terms which apply, primarily, to characterizations of the features of the linguistic framework presented in Chapter II. ;In Chapter IV, I argue, again following Sellars' lead, that the explication of the notion of the perceptual thought episode requires the introduction of a second distinct sort of inner episode, namely, that of the sense experience or sensing state. The argument offered in Chapter IV is designed to show that sensing states are theoretical constructs, the reference to which is essential for explanations concerning the occurrence and nature of perceptual representations. Sensing states are introduced and characterized by an analogical extension of families of predicates which are suitable for the identification and description of ordinary physical objects . ;In Chapter V, I propose a solution to the mind-body problem, as the latter is generated by the analysis given to the thought episode and the sensing state . In general terms, I argue that any purported solution to the mind-body problem must provide an explanatory basis for agent behavior, and it is for this reason that I reject "reductionistic" theories of mind of the kind represented by logical behaviorism, type-identity physicalism, and Turing Machine functionalism. My solution, instead, involves a commitment to what I shall call token physicalism, a thesis which is contingent upon the development of a theory of neurophysiology which is rich enough to capture, in an analogical sense, both the intentional features of the thought episode, and the occurrent-like qualities which are exemplified by the sensing state. (shrink)

It is plausible to think that our knowledge of linguistic types can bejustified by what we know about the tokens of these types. But one then hasto explain what it is about the relation a type bears to its tokens that makespossible the move from knowledge of the concrete to knowledge of theabstract. I argue that the standard solution to this difficulty, that the relevant relation is instantiation and that the transition is inductive generalization, is inadequate. I propose an alternative, (...) according to which tokens are representations of the type they belong to. I also defend this view against the charge that it cannot account for the systematic ambiguity of expressions like ‘word’ or ‘sentence’, and the objection that it leads to an implausible form of Platonism. (shrink)

It is plausible to think that our knowledge of linguistic types can bejustified by what we know about the tokens of these types. But one then hasto explain what it is about the relation a type bears to its tokens that makespossible the move from knowledge of the concrete to knowledge of theabstract. I argue that the standard solution to this difficulty, that the relevant relation is instantiation and that the transition is inductive generalization, is inadequate. I propose an alternative, (...) according to which tokens are representations of the type they belong to. I also defend this view against the charge that it cannot account for the systematic ambiguity of expressions like ‘word’ or ‘sentence’, and the objection that it leads to an implausible form of Platonism. (shrink)

According to some views, natural language suffers from underdeterminacy, but thought doesn’t. According to the underdeterminacy claim, sentence types underdetermine the truth-conditions of sentence tokens. In particular, the semantics of a predicate type seems to underdetermine the satisfaction conditions of its tokens. By contrast, mental representation-types are supposed to determine the truth-conditions of its tokens. In this paper I critically examine these mixed views. First, I argue that the arguments supporting the indispensability of including in one’s theory mental representations (...) that are free of the underdeterminacy exhibited by natural language are not sound. As a result, the possibility that mental representation-types are as underdetermined as natural language sentence-types has not been ruled out. Second, I argue that Carston’s ad hoc concept-types are as underdetermined as word-types. I finish by arguing that mental representations are also underdetermined in a second sense—mental representation-tokens only determine a partial function from possible worlds to truth-values. (shrink)

The status of genes as bearers of semantic content remains very much in dispute among philosophers of biology. In a series of papers, Nicholas Shea has argued that his ‘infotel’ theory of semantics vindicates the claim that genes carry semantic content. On Shea’s account, each organism is associated with a ‘developmental system’ that takes genetic representations as inputs and produces whole-organism traits as outputs. Moreover, at least in his most recent work on the topic, Shea is explicit in claiming (...) that these genetic representations are ‘read in ontogenetic time, in the course of individual development’. Here I argue that a close examination of the process of reading, in Shea’s sense, reveals that acts of reading do not actually occur over the course of developmental time at all. To make this vivid, I contrast the process of reading for Shea with another type of developmental process that is widely seen as a form of reading directed on inherited genes, and which certainly does occur over the course of developmental time, namely, gene expression. I suggest that this error in Shea’s thinking can be traced back to an equivocation on Shea’s part in the meaning of ‘reads’, and also to a reliance on an invalid principle regarding the transference of representational content from one token gene to another. The issues at play are bound up with questions about causation and in particular about causation over time. Thus, having first presented my arguments in a way that doesn’t depend on any particular theory of causation, I then make use of Kenneth Waters’ framework of difference-making causation to conceptually sharpen and shed further light on matters. I conclude by discussing a consequence of the fact that acts of reading do not occur in development. 1 Introduction2 Reading for Shea3 Gene Expression as Reading4 Are Genetic Representations Read in Development? Part 15 The Manipulability Theory of Causation and Difference-Making Causation6 Are Genetic Representations Read in Development? Part 27 Conclusion. (shrink)

It has recently been suggested that the type/token theorist concerning musical works cannot come up with an adequate semantic theory of those sentences in which we purport to talk about such works. Specifically, it has been claimed that, since types are abstract entities, a type/token theorist can only account for the truth of sentences such as “The 1812 Overture is very loud” and “Bach's Two Part Invention in C has an F-sharp in its fourth measure” by adopting an untenable semantic (...) claim: namely, that the predicates in such sentences, once applied to musical works, undergo a systematic shift in their meanings. This article is a sustained explanation of why our talk about musical works in fact provides no problem for the type/token theorist. First, we demonstrate that the aforementioned “meaning shift” approach to the sentences’ predicates is well motivated and very credible. Second, we explain how the type/token theorist can adopt the best available version of an alternative, generic quantificational approach to such sentences. Third, we establish that other semantic theories, presented as undermining the type/token theory by giving us a reason for adopting eliminativism about types, are much less theoretically virtuous than the two theories that a type/token theorist can freely adopt. (shrink)

In this paper I defend the traditional anti-intellectualist claim that a form of knowing how to Φ (e.g., knowing how to play the guitar) exists that entails the ability to Φ (play the guitar), and that this knowledge cannot be reduced to propositions (such as ‘S knows a way _w_ to Φ’, where _w_ is a means of Φing). I also argue that S can know how to Φ in the absence of the ability to Φ, and for this knowledge (...) to be likewise irreducible to propositions. This is made possible when one distinguishes between type and token actions. Moreover, I contend that type and token actions, and one’s ability to engage in them, are differentiated at the level of motor representations. Motor representations provide an alternate means of grading knowledge how to that presented by Carlotta Pavese, insofar as this form of gradable knowledge is likewise irreducible to propositions. (shrink)

Writing and reading are closely related and are thus likely to have a common orthographic representation. A fundamental question in the literature on the production of written Chinese characters concerns the structure of orthographic representations. We report on a Chinese character handwriting pedagogical corpus involving a class of 22 persons, 232 composite character types, 1,913 tokens, and 13,057 stroke records, together with the inter-stroke interval, which reflects the parallel processing of multilevel orthographic representation during the writing execution, and 50 (...) orthographic variables from the whole character, logographeme, and stroke. The results of regression analyses show that orthographic representation has a hierarchy and that different representational levels are active simultaneously. In the multilevel structure of orthographic representation, the representation of the logographeme is absolutely dominant. Writing and reading have both commonalities and individual differences in their orthographic representations. The online processing of the logographeme unit probably occurs at the ISI before the initial stroke of the current logographeme, which may also cascade to the first subsequent logographeme. In addition, we propose a new effective character structure unit for describing orthographic complexity. (shrink)

Pietraszewski provides a compelling case that representations of certain interaction-types are the “cognitive primitives” that allow all tokens of group-in-conflict to be represented within the mind. Here, I argue that the folk concept GROUP encodes shared intentions and goals as more central than these interaction-types, and that providing a computational theory of social groups will be more difficult than Pietraszewski envisages.

Fred Dretske?s (1988) account of the causal role of intentional mental states was widely criticized for missing the target: he explained why a type of intentional state causes the type of bodily motion it does rather than some other type, when what we wanted was an account of how the intentional properties of these states play a causal role in each singular causal relation with a token bodily motion. I argue that the non-reductive metaphysics that Dretske defends for his account (...) of behavior can be extended to the case of intentional states, and that this extension provides a way to show how intentional properties can play the causal role that we wanted explained. (shrink)

Propertarian justifications of intellectual property postulate the appropriation of various entities, often called patterns, designs, or technologies. These must be immaterial and should not be confused with material structures that embody them. Hence two classes of objects are distinguished. It is convenient to refer to them as types and tokens. The type must involve a condition defining which material structures should be considered its tokens. For an IP regime to be economically meaningful one must necessarily appropriate types in a way (...) which restricts access to wide classes of similar, non-identical material structures. Therefore, type conditions must be general. They must define, with a margin of tolerance, only certain aspects of the structure, leaving others unspecified. Consequently, the relationship between such types and tokens is of many-to-many variety. The recognition of these facts leads to four problems in justifying intellectual property on propertarian grounds. The first problem is to demonstrate possession of the type in the pre-legal situation. The second one is to explain, why boundaries of an appropriated type should be placed in a particular location. The third problem is to avoid claim deadlocks resulting from conflicts of rights generated by separate overlapping types. The fourth problem is to justify why ownership of the type should entail the control over other separate entities—that is tokens. In the propertarian framework grounded in the pre-legal state of nature, satisfactory solutions do not seem to have been proposed for any of these four problems. (shrink)

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

This paper addresses ethical challenges posed by a robot acting as both a general type of system and a discrete, particular machine. Using the philosophical distinction between “type” and “token,” we locate type-token ambiguity within a larger field of indefinite robotic identity, which can include networked systems or multiple bodies under a single control system. The paper explores three specific areas where the type-token tension might affect human–robot interaction, including how a robot demonstrates the highly personalized recounting of information, how (...) a robot makes moral appeals and justifies its decisions, and how the possible need for replacement of a particular robot shapes its ongoing role. We also consider how a robot might regard itself as a replaceable token of a general robotic type and take extraordinary actions on that basis. For human–robot interaction robotic type-token identity is not an ontological problem that has a single solution, but a range of possible interactions that responsible design must take into account, given how people stand to gain and lose from the shifting identities social robots will present. (shrink)

Empty judgements appear to be about something, and inaccurate judgements to report something. Naturalism tries to explain these appearances without positing non-real objects or states of affairs. Biological naturalism explains that the false and the empty are tokens which fail to perform the function proper to their biological type. But if truth is a biological 'supposed to', we should expect designs that achieve it only often enough. The sensory stimuli which trigger the frog's gulp-launching signal may be a poor guide (...) to the signal's content. Teleosemantics should be anti-verificationist. (shrink)

This paper explores the ontology of musical improvisation (MI). MI, as process in which creative and performing activities are one and the same generative occurrence, is contrasted with the most widespread conceptual resource used in inquiries about music ontology of the Western tradition: the type/token duality (TtD). TtD, which is used for explaining the relationship between musical works (MWs) and performances, does not fit for MI. Nonetheless MI can be ontologically related to MWs. A MW can ensue from MI and (...) MI can be required for performing a MW faithfully. As performance on a MW, MI can offer versions of a MW, manifest a MW, and, especially, use it as one of its ‘ingredients’. Recordings of MI present special challenges and an unexpected ontological revival. (shrink)

In this essay, I specify types of representational content that can be attributed to Kant’s account of representation. The more specific aim is to examine which of these types of content can be regarded as possible without the application of concepts. In order to answer the question, I proceed as follows. First, I show how intuition (in Kant’s sense) can be seen as providing indexical content independently of empirical concepts. Second, I show in what sense the generation of spatial content (...) can be regarded as non-categorial. A key distinction is that a perceptual examination of an object can be understood as thoroughly sensible and particular, whereas a conceptual determination always grasps the object via its generalisable features. Third, I propose that the faculties of sensibility and understanding are not only separable in principle, but that their contributions remain in a certain sense separate in actual cognition as well. This is to say that a conceptual determination of an object does not entail that the object ceases to be non-conceptually available to the perceiver, which further suggests the autonomy of sensibility and its perceptual content. Finally, I raise difficulties in attributing non-conceptual representational content to Kant’s judgment-centered stance on representation and experience, only to emphasise how these difficulties easily lead to a misappreciation of Kant’s fundamental distinction between sensibility and understanding and their unique cognitive contributions. (shrink)

That diagrams are analog, i.e., homomorphic, representations of some kind, and sentential representations are not, is a generally held intuition. In this paper, we develop a formal framework in which the claim can be stated and examined, and certain puzzles resolved. We start by asking how physical things can represent information in some target domain. We lay a basis for investigating possible homomorphisms by modeling both the physical medium and the target domain as sets of variables, each with (...) a constraint structure. When a homomorphism exists, the causality of the physical medium can provide a “free ride,” automatically determining the information that is needed to solve a problem. The modeling technique enables us to show how in sentential representations the structure of the 2-D space is used non-homomorphically to define tokens, and to provide a minimal homomorphism with respect to the ordering of the arguments for n-ary functions, predicates, and operators, but otherwise there is no homomorphism with the target domain. Our treatment also characterizes diagrams as a type of a more general class of physical representations in which physical causality plays a role in providing the information needed to solve a problem. (shrink)

SummaryHow can the immense amount of suffering and waste inherent in the evolutionary process be reconciled with the existence of a perfectly good and omnipotent God? A widely embraced proposal in the area of “evolutionary theodicy” is the so-called “Only Way”-argument. This argument contends that certain valuable goods – in particular, creaturely independence and human freedom – can only come about through a genuinely indeterministic and partly uncontrolled process of evolution. In a previous article, I have argued that the “Only (...) Way”-argument can be defeated by a “Twin Earth”-thought experiment: If God is omnipotent, he could have created – directly, without evolution – creatures that are molecule-for-molecule identical to those that he actually created through evolution. If the creatures that he actually created have freedom and independence, there is no valid reason to deny that the non-evolved “twin creatures” would also be free and independent. Recently, Eikrem and Søvik have suggested a way of blocking my Twin Earth-argument by appealing to the distinction between type-values and token-values. While ES admit that the Twin Earth-argument shows the non-necessity of evolution for the existence of certain type-goods, they argue that an evolutionary creation can be justified by appeal to valuable token-goods that could not have existed without evolution. In this article, I respond to ES’s token-goods argument by showing that it is incompatible with a basic presupposition of “Only Way” evolutionary theodicies, namely the claim that the evolutionary process is genuinely indeterministic and partly uncontrolled. (shrink)

Jerry Fodor now holds (1990) that the content of mental state types opaquely taxonomized (de dicto content: DDC) is determined by the 'orthographical' syntax + the computational/functional role of such states. Mental states whose tokens are both orthographically and truth-conditionally identical may be different with regard to the computational/functional role played by their respective representational cores. This make them tantamount to different contentful states, i.e. states with different DDCs, insofar as they are opaquely taxonomized. Indeed they cannot both be truthfully (...) ascribed to a single subject at the same time. Some years ago (1987), Fodor postulated a notion of mental content which also went beyond that of a mental state's truth-conditions. States whose tokens differ in their truth-conditions, or broad content, might, he claimed, still share a narrow content (NC), which was causally responsible for the shared behavior of the subjects of these states. For instance, two molecularly identical individuals, living in environments in all respects the same, except for the chemical substance of the phenomenically indistinguishable liquids filling their respective lakes and rivers, would behave similarly when having truth-conditionally different thoughts regarding those liquids. According to Fodor, this sameness of behavior was causally dependent on the sameness of the NC of the two individuals' truth-conditionally different thoughts. Now, this way of individuating mental states is still of interest for semantics. Indeed, NC allows one contextually to fix the broad content of a mental state token. Echoing Kaplan's notion of character,1 Fodor explained NC as a function that mapped contexts (of thought) onto broad contents. NC was thus invoked by Fodor mainly in order to account for sameness of intentional behavior. But DDC also plays a role in explaining intentional behavior, precisely by explaining why a subject whose thought-tokens have identical truthconditions may behave differently.. (shrink)

This chapter contains sections titled: The Conventional View of Intentions The Challenge of Inseparable Effects Intentions and the Law: Type/Token Problems Intentions and the Law II: Matching Intentions with Results Beyond Motivational Significance: A Full‐Bodied View of Intentions and Representational Content Intentions and the Law III : Applying the Broader View of Intentions Beyond Intention? References.

What is the ontological status of a musical work? This paper enters the discussion of the question between Julian Dodd and Michael Morris. Dodd is a proponent of a type-token view, which is a version of Platonism. Morris has formulated an argument that purports to show that a musical work cannot be a token of a type. If successful, the argument presents a serious challenge for a type-token theorist with implications for Platonism as a whole. Morris’s argument is, however, problematic (...) in several respects. The aim of this paper is to identify the problems and weaken the strength of Morris’s argument, thus restoring the original appeal of a type-token view. (shrink)

The use of evolutionary explanations to explain phenomena at the individual level has been described by various authors as an explanatory error, the so-called Phylogeny Fallacy. In this paper, this fallacy will be analyzed in the context of teleosemantics, a central project of the philosophy of mind whose main aim is to naturalize intentional systems by appealing to their biological teleofunctions. I will argue that those teleosemantics projects that invoke evolutionary functions generally commit the fallacy. First, I will point to (...) various arguments in the literature that point to this fallacy. However, a more general argument will also be made. To illustrate this puzzling scenario, I will present two desiderata that any teleosemantic project must fulfill. I will argue that naturalizing intentionality based on natural selection creates an explanatory gap between types and tokens. This gap prohibits an adequate explanation of the desiderata. To close the gap, teleosemantics invokes replicator biology, a view of inheritance that has already been identified to commit the fallacy. This leads teleosemantics into a complex situation: to close the gap, it must commit the fallacy. (shrink)

This study focuses on concepts and, ultimately, their possible implementation in brains. Especially salient is analysis of Jerry Fodor's work. The view of concepts found therein is one where many of both are "simple": to be ascribed or to token most concepts doesn't require being ascribed or tokening any other concepts, and most symbols lack "parts" which are themselves symbols. This is, I think, a very popular, and mistaken, view. ;In chapter 1, I argue that Fodor's theory of content is, (...) contra its goals, neither naturalistic nor atomistic. A deep mistake undermines both, viz. that there's no way to individuate a mental symbol non-semantically. This leads to chapter 2, where I explore the much neglected notion of Mentalese syntax. I argue that there are three possible principles of syntactic type individuation, and that these turn out not only to be incompatible but also inadequate for a "language of thought." I conclude that the idea of simple mental symbols is in trouble. ;This then allows me to argue in chapter 3 that we don't have to fear intentional holism , which sanctions the prevalence of complex concepts. I next sketch, in chapter 4, the sort of complex symbols needed to implement complex concepts. The chapter's bulk consists in an empirical argument for the complexity view via seven domains of current cognitive science, including concept context dependency, typicality effects, association, and reasoning. ;Chapter 5 concludes by exploring connectionism. I argue that, despite problems, connectionism seems on the right track in a way that Fodor's computationalism isn't. For example, it's more explicitly brain-like; in dropping the idea of mental computation over symbols it's free from the syntax problems of chapter 2; and, most important, it's highly compatible with the complexity view, which best characterized the cognitive processes of chapter 4. (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)

In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

Introduction -- The type/token theory introduced -- Motivating the type/token theory : repeatability -- Nominalist approaches to the ontology of music -- Musical anti-realism -- The type/token theory elaborated -- Types I : abstract, unstructured, unchanging -- Types introduced and nominalism repelled -- Types as abstracta -- Types as unstructured entities -- Types as fixed and unchanging -- Types II : platonism -- Introduction : eternal existence and timelessness -- Types and properties -- The eternal existence of properties reconsidered -- (...) Types and patterns -- Defending the type/token theory I -- Unstructuredness and analogical predication -- Musical works as fixed and unchanging -- Abstractness and audibility (again) -- Works and interpretations -- Conclusion and resumé -- Defending the type/token theory II : musical platonism -- Platonism it is : replies to Anderson and Levinson -- The existence conditions of works of music -- Composition as creative discovery -- The nature of the compositional process : replies to objections -- Composition and aesthetic appraisal : a reply to Levinson -- Composition and aesthetic appraisal : understanding, interpretation, and correctness -- Musical works as continuants : a theory rejected -- A theory introduced -- Explicating and motivating the continuant view -- The continuant view and repeatability -- Further objections to the continuant view -- Musical works as compositional actions : a critique -- Currie's action-type hypothesis -- Davies's performance theory -- Sonicism I : against instrumentalism -- Sonicism introduced -- Sonicism motivated : moderate empiricism -- Instrumentation : timbral sonicism introduced -- Scores -- Instrumentation, artistic properties, and aesthetic content -- Levinson's rejoinder -- Sonicism II : against contextualism -- Introduction : formulating contextualism -- Contextualist ontological proposals -- Levinson's doppelgänger thought-experiments -- Artistic, representational, and object-directed expressive properties -- Aesthetic and non-object-directed expressive properties -- Conclusion : the place of context. (shrink)

This paper examines the Stanford typed dependencies representation, which was designed to provide a straightforward description of grammatical relations for any user who could benefit from automatic text understanding. For such purposes, we argue that dependency schemes must follow a simple design and provide semantically contentful information, as well as offer an automatic procedure to extract the relations. We consider the underlying design principles of the Stanford scheme from this perspective, and compare it to the GR and PARC representations. (...) Finally, we address the question of the suitability of the Stanford scheme for parser evaluation. (shrink)

This paper examines the relationship between knowing how to G and the ability to G, which is typically presented in one of the following ways: knowing how to G entails the ability to G; knowing how to G does not entail the ability to G. In an attempt to reconcile these two putatively opposing positions, I distinguish between type and token actions. It is my contention that S can know how to G in the absence of an ability to \, (...) where this action is derived from an action-type, but not in the absence of the ability to perform the action-type itself \\). This refinement is an attempt to reconcile differences between intellectualism and anti-intellectualism with regard to knowledge how and ability. (shrink)

Qiyās, or “correlational inference”, comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause giving rise to a ruling in God’s Law. This was most often discussed under the rubric of “the modes of causal justification”. Among these modes was the much debated test (...) of dawarān. In brief, proponents of dawarān employed it to justify claims that a property occasioned the ruling in an authoritative source-case. In concert with other considerations, the demonstrated co-presence and co-absence of property and ruling—that is, their concomitance “in existence” and “in nonexistence” — was taken as an indication that the property was the ruling’s ʿilla. Delving further into dawarān and causation, the current study interprets “in existence” and “in nonexistence” not as a kind of metaphor for true and false, but as an accurate terminology vis-à-vis the meaning of causality statements, fully compatible with dominant Islamicate views on causal agency. In brief, a deeper logical and linguistic analysis of the different existential modes of dawarān strongly suggests that we should distinguish property and ruling as types as opposed to tokens. Our reading of dawarān as shaped by a finer-grained structure not only allows us to identify the efficient occasioning process as a function which takes some particular token of the ʿilla and renders a token of the general ruling type, but it allows us to elucidate the role of taʿlīl in shaping an epistemological theory of argument to the best explanation: a sophisticated, premodern manifestation of abductive reasoning. (shrink)

This paper argues that the propositions “S knowing how to Φ entails that S has the ability to Φ” and “S knowing how to Φ does not entail the ability to Φ” can both be true and non-contradictory when true, so long as one distinguishes between Φ as an action-type and Φ as an action-token. In order to defend this claim, recent work by Young, Levy, and Gaultier is discussed with a view to integrating into a coherent and novel position (...) certain commonalities within their respective views. As a consequence of this integration, a revised version of Young’s type-token action clause is suggested that provides comprehensive support for the assertion that knowing how to Φ both does and does not necessitate the ability to Φ, depending on whether one is talking about action types or action tokens. (shrink)

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

The distinction between a type and its tokens is auseful metaphysical distinction. In §1 it is explained what itis, and what it is not. Its importance and wide applicability inlinguistics, philosophy, science and everyday life are brieflysurveyed in §2. Whether types are universals is discussed in§3. §4 discusses some other suggestions for what types are,both generally and specifically. Is a type the sets of its tokens?What exactly is a word, a symphony, a species? §5 asks what atoken is. §6 considers (...) the relation between types and theirtokens. Do the type and all its tokens share the same properties? Mustall the tokens be alike in some or all respects? §7 explains someproblems for the view that types exist, and some problems for the viewthat they don’t. §8 elucidates a distinction often confused withthe type-token distinction, that between a type and anoccurrence of it. It also discusses some problems thatoccurrences might be thought to give rise to, and one way to resolvethem. (shrink)

Time underlies many interesting human behaviors. Thus, the question of how to represent time in connectionist models is very important. One approach is to represent time implicitly by its effects on processing rather than explicitly (as in a spatial representation). The current report develops a proposal along these lines first described by Jordan (1986) which involves the use of recurrent links in order to provide networks with a dynamic memory. In this approach, hidden unit patterns are fed back to themselves: (...) the internal representations which develop thus reflect task demands in the context of prior internal states. A set of simulations is reported which range from relatively simple problems (temporal version of XOR) to discovering syntactic/semantic features for words. The networks are able to learn interesting internal representations which incorporate task demands with memory demands: indeed, in this approach the notion of memory is inextricably bound up with task processing. These representations reveal a rich structure, which allows them to be highly context‐dependent, while also expressing generalizations across classes of items. These representations suggest a method for representing lexical categories and the type/token distinction. (shrink)