Epstein et al. fail to show that L2 learners have full access to UG because they do not explain the relationship between UG and functional categories (FCs). Nor do they provide an explanation of why learners with (supposed) full knowledge of FCs fail to use them in a native-like way.

This commentary focuses on whether the full set of categories is available to beginning L2 learners. After critiquing Epstein et al.'s experimental evidence for the presence of functional categories, I outline the results of an experiment involving English speakers learning Japanese as a second language that does indeed point toward the early presence of fuuctional categories.

A notion of resource‐bounded Baire category is developed for the classPC[0,1]of all polynomial‐time computable real‐valued functions on the unit interval. The meager subsets ofPC[0,1]are characterized in terms of resource‐bounded Banach‐Mazur games. This characterization is used to prove that, in the sense of Baire category, almost every function inPC[0,1]is nowhere differentiable. This is a complexity‐theoretic extension of the analogous classical result that Banach proved for the classC[0, 1] in 1931. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim).

The relevance of the research is defined by the need to create a set of linguistic means, which would contribute to effective communication with the general public, and the need to study different functional-semantic categories, including appeals, for the competent formation of public opinion in the political context. The research aims to comprehend the functioning of linguistic means used as appeals in the example of political propaganda texts in the English media field. The methodology is based on the (...) theoretical study of the works of modern linguists, linguistic, structural, and communicative analysis of appeal linguistic units and contexts. The research considered the linguistic means that form the functional-semantic category of the appeal, examples of political contexts from the British and American media were presented, the functions of appeal were presented using specific examples, an idea of the communicative side of political propaganda texts and audience participation in this process was formed, emphasis was placed on different types of propaganda (white, black, gray), the following groups of appeals were characterized: imperatives (volitional and involuntary). The materials presented in this research can be used to form an idea of the functional-semantic category of appeal, the choice of linguistic means for the purpose of information promotion in the media or social networks, the study of communicative strategies in linguistics and their successful implementation, consideration of political propaganda texts, increasing efficiency when influencing the audience, further implementation of means of appeal in machine learning. (shrink)

We use the category of presheaves over PTIME-functions in order to show that Cook and Urquhart's higher-order function algebra PV ω defines exactly the PTIME-functions. As a byproduct we obtain a syntax-free generalisation of PTIME-computability to higher types. By restricting to sheaves for a suitable topology we obtain a model for intuitionistic predicate logic with ∑ 1 b -induction over PV ω and use this to re-establish that the provably total functions in this system are polynomial time computable. Finally, we (...) apply the category-theoretic approach to a new higher-order extension of Bellantoni-Cook's system BC of safe recursion. (shrink)

This paper deals with the “Table of the Categories of Freedom” in the second main chapter of Kant’s Critique of Practical Reason. It provides an account of the role these categories are supposed to play and also of their conceptual content. The key to a proper understanding lies in the realisation that they are derived from the so­called table of judgements in the Critique of Pure Reason and the functions of thinking, which it compiles by means of a (...) metaphysical deduction. I therefore interpret the categories of freedom consistently from the table of judgements and reconstruct their conceptual content from the functions of thinking underlying each category. Furthermore, Kant justifies by means of a transcendental deduction the fact that the categories of freedom necessarily relate to all objects of the will. I argue that the categories are concepts constitutive for the object of the will: the role they play is that of the functions of willing an object. Finally, I show that the categories of freedom reach beyond Kant’s foundation of moral philosophy. They point to the later Metaphysics of Morals in that Kant associates an ambitious system­building claim with them. The idea is therefore that the table of the categories organises the system of moral philosophy. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

IN THE FIRST EDITION TRANSCENDENTAL DEDUCTION of the categories Kant does not mention the logical functions of judgment. In the second edition the Deduction can be said to be dominated by the logical functions of judgment. A transcendental deduction supplies a method for showing that pure concepts can have applicability. My contention is that the two deductions constitute exactly the same method, and so are the exact same deduction. The difference between them, rather, is in the characterization of the (...) pure concepts that the method is supposed to be a method for. The undifferentiated categories of the A edition become the logical functions together with their schemata in the B edition. This does not mean that Kant has split the A edition notion of categories since the A edition categories are equivalent to just the schemata themselves. (shrink)

The aim of this investigation is to discuss the merits of the three radically divergent views as to the nature and function of the categories held by Kant, Ward and Alexander.

It may seem trivial to state that one of the major trends in biological investigation consists in an attempt to explain the structural and functional aspects of living matter in chemical terms, in an effort to obtain insight into the equivalent of macroscopic phenomena on the molecular level. I am sure you are aware of, and this meeting of the Association has brought ample additional evidence, in how many fields this tendency has become apparent. It can be recognized in (...) genetics with the molecular analysis of chromosomes and the enzymatic or metabolic interpretation of hereditary properties like the eyecolor of Drosophila. In a purely morphological branch like histology we do not ask merely for a differentiation of stained cell structure but we ask for the nature of the staining reaction; in nerve physiology we try to interpret conduction as alterations of protein lipoid layers; or in pathology where the age old syndrome of inflammation is explored with biochemical methods. I should mention molecular models of membranes and cell surfaces, the molecular interpretation of secretion and of the macroscopic phenomena of metabolism. Yet insofar as this yield of data could be designated as a trend, it would rather seem to be the natural outcome to be expected from the application of the analytic method of science. In one instance, however, this approach has been carried farther than in all the other fields, and it would seem to be worthwhile to pause for one moment to ask whether this case is important merely because of its technical implications or whether it is meaningful in a wider sense. (shrink)

The goal of this paper is to develop a systematic taxonomy of cognitive artifacts, i.e., human-made, physical objects that functionally contribute to performing a cognitive task. First, I identify the target domain by conceptualizing the category of cognitive artifacts as a functional kind: a kind of artifact that is defined purely by its function. Next, on the basis of their informational properties, I develop a set of related subcategories in which cognitive artifacts with similar properties can be grouped. In (...) this taxonomy, I distinguish between three taxa, those of family, genus, and species. The family includes all cognitive artifacts without further specifying their informational properties. Two genera are then distinguished: representational and non-representational (or ecological) cognitive artifacts. These genera are further divided into species. In case of representational artifacts, these species are iconic, indexical, or symbolic. In case of ecological artifacts, these species are spatial or structural. Within species, token artifacts are identified. The proposed taxonomy is an important first step towards a better understanding of the range and variety of cognitive artifacts and is a helpful point of departure, both for conceptualizing how different artifacts augment or impair cognitive performance and how they transform and are integrated into our cognitive system and practices. (shrink)

Verbs and nouns gear θ-dependencies, Case, agreement, or construal relations. Building on Chomsky’s 1974 decomposition of such categories into ±N, ±V features, by translating said features into ±1, ±i scalars that allow for the construction of a vector space, this paper studies the possibility of organizing said features into 2 × 2 square matrices. In the system proposed to explore “head-complement” relations, operating on nouns yields a measurable/observable (Hermitian matrix), which in turn limits other potential combinations with abstract lexical (...) categories. Functional/grammatical categories in the system deploy the same features, albeit organized differently in the matrix diagonal and off-diagonal. The algebraic result is a group with well-defined mathematical properties, which properly includes the Pauli group of standard use in quantum computation. In the system, the presumed difference between categories and interactions—here, in a context of the head-complement sort—reduces to whether the magnitude of the matrix eigenvalue is 1 or not, in the latter instance inducing asymmetric interactions. (shrink)

General extenders are phrases like 'or something', 'and everything', 'and things ', 'and stuff ', and 'and so on'. Although they are an everyday feature of spoken language, are crucial in successful interpersonal communication, and have multiple functions in discourse, they have so far gone virtually unnoticed in linguistics. This pioneering work provides a comprehensive description of this new linguistic category. It offers new insights into ongoing changes in contemporary English, the effect of grammaticalization, novel uses as associative plural markers (...) and indicators of intertextuality, and the metapragmatic role of extenders in interaction. The forms and functions of general extenders are presented clearly and accessibly, enabling students to understand a number of different frameworks of analysis in discourse-pragmatic studies. From an applied perspective, the book presents a description of translation equivalents, an analysis of second language variation, and practical exercises for teaching second language learners of English. (shrink)

In this paper, I propose to resolve the controversy over the derivation of the categories of quantity by spelling out three claims: (1) the three quantitative functions/forms of judgment (universal-particular-singular), qua synthetic categories of quantity (unity-plurality-totality), lawfully direct the determination of sensible manifolds as singular totalities, which (2) brings to light a specifically categorial type of judgmental activity, distinguishable from but presupposed by empirical judgments. This calls for (3) pairing the category of totality with the singular judgment and (...) the category of unity with the universal judgment (‘Order B’), rather than pairing the singular judgment with unity and the universal judgment with totality (‘Order A’). At stake in this controversy is our understanding of the categories’ normativity, their scope, and the division of labor between intuitions and categories in individuating objects. (shrink)

This article briefly reviews categorization models in both cognitive psychology and cognitive phonology in order to set the background for a psycholinguistically plausible account of the classification of the allophones involved in category overlaps (i.e., the overlapping areas between phoneme categories) and in the so-called positions of neutralization. In addition, the traditional proposals of both Bloomfieldian phonemics (i.e., phonetic similarity) and the Prague School (i.e., archiphonemes) are discussed and an alternative proposal is offered. The latter claims that phonological theory (...) should be informed by psycholinguistic evidence obtained by experimental methods. This line of research will progressively make cognitive phonology a functional phonological theory consistent with the way speakers classify the sounds of their language and will contribute to theoretical progress in phonological theory. (shrink)

The sound system of a language must be able to support a perceptual contrast between different words in order to signal communicatively relevant meaning distinctions. In this paper, we use a simple agent-based exemplar model in which the evolution of sound-category systems is understood as a co-evolutionary process, where the range of variation within sound categories is constrained by functional pressure to keep different words perceptually distinct. We show that this model can reproduce several observed effects on the (...) range of sound variation. We argue that phonological systems can be seen as finding a relative optimum of variation: Efficient communication is sustained while at the same time, hidden category variation provides pathways for future evolution. (shrink)

I defend the view that many biological categories are defined by homology against a series of arguments designed to show that all biological categories are defined, at least in part, by selected function. I show that categories of homology are `abnormality inclusive'—something often alleged to be unique to selected function categories. I show that classifications by selected function are logically dependent on classifications by homology, but not vice-versa. Finally, I reject the view that biologists must use (...) considerations of selected function to abstract away from variation and pathology to form a canonical description of a class of biological systems. (shrink)

A value statement such as “she is a good teacher” is categoryspecified, i.e., the criteria of evaluation are specified as those that are applicable to a given category, in this case the category of teachers. In this study of categoryspecified value statements, certain categories are identified that cannot be used to specify value aspects. Special attention is paid to categories that are constituted by functional characteristics. The logical properties of value statements that refer to such categories (...) are shown to differ significantly from the corresponding properties in social choice theory. (shrink)

The philosophy of medicine and psychiatry has considered the defining of disease, illness, and disorder an important project for over three decades. Within this literature, accounts based on adaptive "functions" have been prominent, particularly in the DSM nosology. In response to this trend, Jerome Wakefield has presented a view of mental disorder as "harmful dysfunction." In this view, "harm" contributes the value-element to disorder concepts, while "dysfunction" implies a value-free foundation as long as the latter is grounded in evolutionary biology. (...) In a critical review of Wakefield's and others' functionalist arguments for disorder concepts, we make four major points. We recommend a shift away from the definition of value-free disorder concepts, instead emphasizing the analysis of the logical features and the value commitments in nosological categories. (shrink)

My main goal here is to develop a functional analysis of cheating and corruption in sports, and to differentiate cheating within the broader category of corruption. Whereas officials can act corruptly, they cannot cheat. In contrast, sports participants, since they occupy two roles, can do both. I argue that although acts of cheating are acts of corruption, not all corrupt acts by competitors are acts of cheating. I also respond to some skeptical challenges and criticisms of the concept of (...) ‘cheating’ by providing some opposing arguments and a provisional definition. I argue that cheating in sports occurs in the context of a complex institutional practice. It transpires due to some failing in the efforts and/or limitations of sports officials to prohibit it. In central cases it consists in both the functional and ethical violation of the constitutional norms of a sport in the service of obtaining unearned victory for the cheater. (shrink)

Contemporary analyses of biological function almost invariably advocate a naturalistic analysis, grounding biological functions in some feature of the mind-independent world. Many recent accounts suggest that no single analysis will be appropriate for all cases of use and that biological teleology should be split into several distinct categories. This paper argues that such accounts have paid too little attention to the way in which functional language is used, concentrating instead on the types of situation in which it is (...) used. An example of the role of teleology in science is examined and, on the basis of conclusions drawn from this, an alternative unifying analysis is proposed. It is suggested that, contrary to naturalistic accounts, teleology in biology carries no ontological commitment whatsoever to any class of mind-independent entities or properties. Instead, it is best regarded as a methodological device which is used to focus interest, formulate research perspectives and facilitate the structuring of certain questions or types of question that are pertinent in a given context of interest. (shrink)

Here we defend the view that one ought to categorize and classify at least some mental disorders as clusters of interrelated dysfunctions of (usually, several) cognitive capacities – that is, the kinds of capacities that are postulated in cognitive science; capacities that are understood as entities that are primarily individuated in cognitive-functional terms (CF-systems); systems that have a set of peculiar properties in their manner of operation when processing information or representations. Usually, some of the mental disorders postulated in (...) psychiatry are clinically heterogeneous with respect to their symptoms, and tend to be comorbid – that is, one disorder is often accompanied by other disorders – for example, schizophrenia often comes with major depression. We argue that describing the manner in which CF-systems operate within themselves and with other CF-systems as well as with stimuli and other kinds of information can best explain why certain mental disorders are very heterogeneous with respect to their symptoms, and why comorbidity is so frequent among these disorders. A consequence is that both within-category heterogeneity and comorbodity are not necessarily indications of defective classifications but are rather a consequence of the actual cognitive functional architecture itself and are therefore to be expected in these cases. (shrink)

There are indications that the interpersonal affective factor and the social deviation factor, both of which are underlying dimensions of psychopathy, have a positive and a negative relationship, respectively, with executive functioning. However, this is seldom taken into consideration in the research on the relationship between executive functioning and psychopathy, which may be an explanation for the many inconsistent results in this area as reported in the literature (e.g., Rogers, 2006). In the present study, executive functioning was studied using the (...) Wisconsin Card Sorting Test (WCST) in 53 inpatients of a Dutch forensic psychiatric clinic who were classified by means of the Psychopathy Checklist-Revised (PCL-R). Special attention was given to the relationship between the two separate factors and executive functioning. Age, educational level, and substance abuse were controlled for in the analysis. No difference was found between psychopathic (N = 17) and nonpsychopathic (N = 36) patients in the WCST scoring categories, nor was there a significant difference in the four diagnostic subgroups defined by the two factors. However, the trends observed do justify further study in this direction. (shrink)

It would be useful to have a category of extensive-form games whose isomorphisms specify equivalences between games. Since working with entire games is too large a project for a single paper, I begin here with preforms, where a “preform” is a rooted tree together with choices and information sets. In particular, this paper first defines the category \, whose objects are “functioned trees”, which are specially designed to be incorporated into preforms. I show that \ is isomorphic to the full (...) subcategory of \ whose objects are converging arborescences. Then the paper defines the category \, whose objects are “node-and-choice preforms”, each of which consists of a node set, a choice set, and an operator mapping node-choice pairs to nodes. I characterize the \ isomorphisms, define a forgetful functor from \ to \, and show that \ is equivalent to the full subcategory of \ whose objects are perfect-information preforms. The paper also shows that many game-theoretic entities can be derived from preforms, and that these entities are well-behaved with respect to \ morphisms and isomorphisms. (shrink)

The existence of dysfunctions precludes the possibility of identifying the function to do F with the capacity to do F. Nevertheless, we continuously infer capacities from functions. For this and other reasons stated in the first part of this article, I propose a new theory of functions (of the etiological sort), applying to organisms as well as to artefacts, in which to have some determinate probability P to do F (i.e. a probabilistic capacity to do F) is a necessary condition (...) for having the function to do F. The main objective of this paper is to justify the legitimacy of this condition when considering artefacts. I begin by distinguishing “perspectival probabilities”, which reflect a pragmatic interest or an arbitrary state of knowledge, from “objective probabilities”, which depend on some objective feature of the envisageditems. I show that objective probabilities are not necessarily based on physical constitution. I then explain why we should distinguish between considering an object as a physical body and considering it as an artefact, and why the probability of dysfunction to be taken into account is one relative to the object as member of an artefact category. After clarifying how an artefact category can be defined if it is not defined in physical terms, I establish the objectivity of the probability of dysfunction under consideration by showing how it is causally determined by objective factors regulating the production of items of a definite artefact type. Ifocus on the case of industrially produced artefacts where the objective factors determining the probability of dysfunction can be best seen. (shrink)

In this review essay, I raise three principal concerns relating to Schulting’s project of deriving the categories from apperception as elaborated in his recent book Kant’s Deduction and Apperception (Palgrave Macmillan, 2012). First, I claim that Schulting overlooks a key ambiguity relating to ‘ableiten’ and which contrasts with his strictly logical understanding of that term. Second, I dispute on textual and philosophical grounds Schulting’s characterization of the subject’s consciousness of its own identity in terms of the analytic unity of (...) apperception. Finally, I raise an objection to Schulting’s account of the derivation of the concept of substance from apperception, as I claim that at best Kant allows that the logical function underlying this category (rather than the category itself) can be so derived, and I note that this objection can be extrapolated to apply to the other derivations of the categories Schulting offers. (shrink)

Category-specific impairments of object recognition and naming are among the most intriguing disorders in neuropsychology, affecting the retrieval of knowledge about either living or nonliving things. They can give us insight into the nature of our representations of objects: Have we evolved different neural systems for recognizing different categories of object? What kinds of knowledge are important for recognizing particular objects? How does visual similarity within a category influence object recognition and representation? What is the nature of our semantic (...) knowledge about different objects? We review the evidence on category-specific impairments, arguing that deficits even for one class of object cannot be accounted for in terms of a single information processing disorder across all patients; problems arise at contrasting loci in different patients. The same apparent pattern of impairment can be produced by damage to different loci. According to a new processing framework for object recognition and naming, the hierarchical interactive theory, we have a hierarchy of highly interactive stored representations. HIT explains the variety of patients in terms of lesions at different levels of processing and different forms of stored knowledge used both for particular tasks and for particular categories of object. Key Words: category-specific deficits; functional imaging; hierarchical models; interactive activation models; neuropsychology; object recognition; perceptual and functional knowledge. (shrink)

Influenced by the flowering of positive psychology in the field of foreign language acquisition research in recent years, the present study aimed to explore the perceived functions of playfulness, as a personality construct, among English as a foreign language learners. To this aim, an initial sample of 38 EFL learners were selected randomly from the private language institutes of Mashhad, the second largest city in Iran. They were interviewed about any perceived functions of playfulness in the EFL learning context. A (...) qualitative content analysis of the collected data led to the extraction of four categories: Fun and laughter, creativity, mastery orientation, and cultivating relationships. A further in-depth analysis of the categories and comparison with the functions of adult playfulness in psychology revealed that these four categories can be subsumed under two of the four structural components of adult playfulness; namely, other-directed playfulness and intellectual playfulness. The ability of EFL learners to turn language learning situations, tasks, and environment into enjoyable ones via their playfulness can have implications for the quality of their interpersonal interactions in class and eventually their language proficiency. The findings of this study can pave the way for the translation of the adult playfulness construct from developmental and personality psychology and family relations into the second language acquisition domain and its conceptualization in future research in this domain. (shrink)

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Information is inherently dynamic; the same (...) ideas can be organized and reorganized in countless ways, and the ability to translate between such organizational structures is becoming increasingly important in the sciences. Category theory offers a unifying framework for information modeling that can facilitate the translation of knowledge between disciplines. Written in an engaging and straightforward style, and assuming little background in mathematics, the book is rigorous but accessible to non-mathematicians. Using databases as an entry to category theory, it begins with sets and functions, then introduces the reader to notions that are fundamental in mathematics: monoids, groups, orders, and graphs—categories in disguise. After explaining the “big three” concepts of category theory—categories, functors, and natural transformations—the book covers other topics, including limits, colimits, functor categories, sheaves, monads, and operads. The book explains category theory by examples and exercises rather than focusing on theorems and proofs. It includes more than 300 exercises, with solutions. Category Theory for the Sciences is intended to create a bridge between the vast array of mathematical concepts used by mathematicians and the models and frameworks of such scientific disciplines as computation, neuroscience, and physics. (shrink)

This is a response to Christie, Brusse, et al., ‘Are biological traits explained by their “selected effect” functions?’ The interest of their paper is that it draws our attention to those cases in which changes in a population that are brought about by natural selection in turn bring about changes in the environment that alter the selectionist pressures that were responsible for the original changes. Much of the paper, however, is an argument that the notion of a ‘proper function’ introduced (...) in my Language, Thought, and Other Biological Categories (LTOBC), exhibits deep misunderstandings about the actual workings of natural selection. Very little that they say about ‘proper functions’ and related notions from LTOBC is correct, however. I will not list the errors but I will try to make my uses of ‘proper function’ and certain related terms clearer. (shrink)

The dialogue being a form of communication represents a dynamic structure. Speech communication analysis is mostly based on the material of spontaneous dialogue, but it can be analyzed on the material of a fiction dialogue as well. The fiction dialogue appears to be the product of one of the most complicated types of communication. It refers to fiction and literature and its subjects are the author, the readers and the characters. The functional-communicative approach in the analysis of a fiction (...) dialogue reveals new possibilities for the communicative analysis of the communicative behavior of a certain character. The article deals with the description of the dialogue function in the stories by V. M. Shukshin. The specificity of the artistic dialogues is defined by its aesthetic function. The dramatic category becomes the principle of V. M. Shukshin’s poetics. Verbal and visual form created by the writer is a peculiarity of his artistic system. Polyfunctionality of the dialogues in Shukshin’s stories determines his dominant, text forming function. The dialogue in this case possesses a high level of informativeness: it moves the action, develops the plot, exposes the interrelation between the characters thus defining their behaviour. The test of the characters in Shukshin’s works is made by means of dialogues, that’s why the characterological function is very important. It represents an essential feature of the writer’s prose style. The dialogue is a means of modeling the ‘speech mask‘ that reflects the peculiarities of speech behavior of Shukshin’s characters. In Shukshin’s stories, the dialogue performs an evaluating function as it gives the opportunity to deliver some evaluating positions. The evaluating position is the perception and evaluation of the depicted objects by the author and actors. It’s the dialogues that expose the Shukshin’s characters’ peculiarities of the worldview, ethics and values. (shrink)