The author explores with the leading scholars of today the way and extent to which many forms of oppression, such as racism, classism, capitalism, sexism, and linguicis, have affected the women, poor working-class people, queer people, students of color, female faculty and faculty of color. The leading scholars are: Richard Delgado, David Gillborn , Zeus Leonardo, Antonia Darder, Howard Winant, Christine Sleeter, Sonia Nieto, Carl Grant, Peter McLaren, Noam Chomsky, Eduardo Bonilla-Silva, Pedro Noguera, and Dave Stovall. Sometimes immensely personal, the (...) interviews unveil the how far America has come, and just how far we have to go, in the quest for equality for all its citizens. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

The subject of this article is the conceptual core of early Soviet cultural policy in the field of nation-building, as indicated by the well-known Stalinist formulation “socialist in content, national in form.” In addition to being well recognizable, there are several reason to address this phrase: 1) an interest in the Soviet regime’s language of self-description, which not only “conceals” real social practices from us, but also gives us access to them; 2) the opportunity to extend its descriptive power (...) not only to the culture of socialist realism but also to the nature of production in the multinational socialist space; and 3) the formulation is not as vague and empty as it may seem, despite the manipulativeness so characteristic of the language of ideology that allows one to avoid any meaningful definition through multi-stage rhetorical moves.This article describes both the logical-rhetorical effects produced by the phrase and the sociocultural problems it was attempting to respond to. The main material for the present analysis is the work of Bolshevik leaders on the nationalities question and on issues of cultural construction. Its theoretical framework is contemporary research focused on the specific features of the Soviet multinational political project. (shrink)

Action research and reflective thinking can enhance learning since both processes provide students with the opportunities to step back and think about how they actually solve problems. While there is a robust academic inquiry on reflection practices and AR in the educational setting, investigating learners’ reflections through AR practices can shed more light on related research. This study implemented reflective journal writing through AR and aimed to investigate the participants’ views about reflective journal writing, the effects of journal writing on (...) RT development, and the learners’ grammar use in writing. Eighty language learners formed the two experimental and control groups of the study. The possible relationship between the RT level and participants’ final exam was checked. Analyses of the participants’ journals, the semi-structured interview, the questionnaires’ results, and the final exam scores were considered. The findings showed that the participants had positive views about journal writing, and they could enhance their level of RT as well as their grammar use in writing; nevertheless, no relationship between the RT level and final exam scores of the participants was found. The methodology and the results of the study could be conducive to welcoming alternative methods of teaching and assessment that encourage the learners’ reflective practices and active engagements in language classes. (shrink)

In this paper we mainly deal with first-order languages without equality and introduce a weak form of equality predicate, the so-called Leibniz equality. This equality is characterized algebraically by means of a natural concept of congruence; in any structure, it turns out to be the maximum congruence of the structure. We show that first-order logic without equality has two distinct complete semantics (fll semantics and reduced semantics) related by the reduction operator. The last and main part of the (...) paper contains a series of Birkhoff-style theorems characterizing certain classes of structures defined without equality, not only full classes but also reduced ones. (shrink)

Theories of adverbial modification can be roughly distinguished into two sorts. One kind of theory takes logical form to follow surface grammatical form. Adverbs are treated as unanalyzable logical operators that turn a predicate or sentence into a different predicate or sentence respectively. And new rules of logic are stated for these operators. -/- A different kind of theory does not suppose that logical form must parallel surface grammatical form. It allows that logical form may (...) have more to do with deeper structures that might be studied in transformational grammar. Adverbs are treated as surface forms of the underlying predicates represented by corresponding adjectives and verbs. 'Slowly' is derived from 'slow'; 'intentionally' from 'intentional' or 'intend'; etc. And new rules of logic are avoided where they can be. -/- In this paper I attempt to state some of the advantages of the second sort of theory. My procedure will be this. First, I will try to say in outline what theories of logical form are. Then I will state five principles for evaluating such theories. Next, I will sketch the sorts of analyses acceptance of principles (1)-(5) leads to. In particular I will talk about adverbial phrases (e.g. locatives) that are best analyzed in terms of implicit references to events, relative modifiers (like 'large') which relate something to a comparison class, and 'that' clauses taken as names of propositions. By appealing to principles (1)-(5) I will defend these analyses against certain others, one that appeals to many logical operators, a second that treats all sentences as names of propositions, and a third that sees implicit reference to possible worlds in the language being analyzed. Finally, I will offer a pragmatic defense of my approach in terms of principles (1)-(5) as against a different approach that appeals to possible world semantics. (shrink)

The phrase ‘Lebensform’ had a long and varied history prior to Wittgenstein’s use of it on a mere three occasions in the Philosophical Investigations. It is not a pivotal concept in Wittgenstein’s philosophy. But it is a minor signpost of a major reorientation of philosophy, philosophy of language and logic, and philosophy of mathematics that Wittgenstein instigated. For Wittgenstein sought to replace the conception of a language as a meaning calculus by an anthropological or ethnological conception. A language is not (...) a class of sentences that can be formed from a set of axioms, formation and transformation rules and the meanings of which is given by their truth-conditions, but an open-ended series of interlocking language-games constituting a form of life or way of living. Wittgenstein’s uses of ‘Lebensform’ and its cognates, both in the Investigations and in his Nachlass are severally analysed, and various exegetical misinterpretations are clarified. (shrink)

In this paper we mainly deal with first-order languages without equality and introduce a weak form of equality predicate, the so-called Leibniz equality. This equality is characterized algebraically by means of a natural concept of congruence; in any structure, it turns out to be the maximum congruence of the structure. We show that first-order logic without equality has two distinct complete semantics (fll semantics and reduced semantics) related by the reduction operator. The last and main part of the (...) paper contains a series of Birkhoff-style theorems characterizing certain classes of structures defined without equality, not only full classes but also reduced ones. (shrink)

Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 1 we show that English quantifiers of type $ $ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form Q1x 1⋯ Qnx nRx 1⋯ xn and q1x 1⋯ (...) qnx nRx 1⋯ xn are logically equivalent for arbitrary generalized quantifiers Qi, qi. GPT generalizes, perhaps in an unexpectedly strong form, the Linear Prefix Theorem (appropriately modified) of Keisler & Walkoe (1973). (shrink)

This volume is a collection of ten essays by Douglas Gasking (1911–1994), a significant figure in Australian philosophy. There are three previously published papers, “Mathematics and the World” (proposing a form of conventionalism), “Causation and Recipes” (expounding a manipulation account of causation), and “Clusters”, (an account of certain varieties of class-membership). The seven previously unpublished papers include further work on causation, some epistemological issues, subjective probability, a carefully worked out account of the sense in which observable behaviour can be (...) criterial for mental states, and the distinction between deductive and inductive arguments.The introduction to the volume describes Gasking’s life and work, and a bibliography lists Gasking’s publication, and also works of other philosophers who have engaged with Gasking’s ideas. (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)

A form (or pattern) of inference, let us say, explicitlysubsumes just such particular inferences as are instances of the form, and implicitly subsumes thoseinferences with a premiss and conclusion logically equivalent to the premiss and conclusion of an instanceof the form in question. (For simplicity we restrict attention to one-premiss inferences.) A form ofinference is archetypal if it implicitly subsumes every correct inference. A precise definition (Section 1)of these concepts relativizes them to logics, since different logics (...) classify different inferences ascorrect, as well as ruling differently on the matter of logical equivalence which entered into the definitionof implicit subsumption. When relativized to classical propositional logic, we find (Section 2) thatall but a handful of `degenerate' inference forms turn out to be archetypal, whereas matters are verydifferent in this respect for the case of intuitionistic propositional logic (Sections 3 and 4), and an interestingstructure emerges in this case (the poset of equivalence classes of inference forms, with respect tothe equivalence relation of implicitly subsuming the same inferences). Thus a more accurate, if excessivelylong-winded title would be 'Archetypal and Non-Archetypal Forms of Inference in Classical andIntuitionistic Propositional Logic'. Some left-overs are postponed for a final discussion (Section 5).The overall intention is to introduce a new subject matter rather than to have the last word on thequestions it raises; indeed several significant questions are left as open problems. (shrink)

If the cortex is an associative memory, strongly connected cell assemblies will form when neurons in different cortical areas are frequently active at the same time. The cortical distributions of these assemblies must be a consequence of where in the cortex correlated neuronal activity occurred during learning. An assembly can be considered a functional unit exhibiting activity states such as full activation (“ignition”) after appropriate sensory stimulation (possibly related to perception) and continuous reverberation of excitation within the assembly (a (...) putative memory process). This has implications for cortical topographies and activity dynamics of cell assemblies forming during language acquisition, in particular for those representing words. Cortical topographies of assemblies should be related to aspects of the meaning of the words they represent, and physiological signs of cell assembly ignition should be followed by possible indicators of reverberation. The following postulates are discussed in detail: (1) assemblies representing phonological word forms are strongly lateralized and distributed over perisylvian cortices; (2) assemblies representing highly abstract words such as grammatical function words are also strongly lateralized and restricted to these perisylvian regions; (3) assemblies representing concrete content words include additional neurons in both hemispheres; (4) assemblies representing words referring to visual stimuli include neurons in visual cortices; and (5) assemblies representing words referring to actions include neurons in motor cortices. Two main sources of evidence are used to evaluate these proposals: (a) imaging studies focusing on localizing word processing in the brain, based on stimulus-triggered event-related potentials (ERPs), positron emission tomography (PET), and functional magnetic resonance imaging (fMRI), and (b) studies of the temporal dynamics of fast activity changes in the brain, as revealed by high-frequency responses recorded in the electroencephalogram (EEG) and magnetoencephalogram (MEG). These data provide evidence for processing differences between words and matched meaningless pseudowords, and between word classes, such as concrete content and abstract function words, and words evoking visual or motor associations. There is evidence for early word class-specific spreading of neuronal activity and for equally specific high-frequency responses occurring later. These results support a neurobiological model of language in the Hebbian tradition. Competing large-scale neuronal theories of language are discussed in light of the data summarized. Neurobiological perspectives on the problem of serial order of words in syntactic strings are considered in closing. Key Words: associative learning; cell assembly; cognition; cortex; ERP; EEG; fMRI; language; lexicon; MEG; PET; word category. (shrink)

A traditional aspect of model theory has been the interplay between formal languages and mathematical structures. This dissertation is concerned, in particular, with the relationship between the languages of relevant logic and Routley-Meyer models. One fundamental question is treated: what is the expressive power of relevant languages in the Routley-Meyer framework? In the case of finitary relevant propositional languages, two answers are provided. The first is that finitary propositional relevant languages are the fragments of first (...) order logic preserved under relevant directed bisimulations. The second is that, when we restrict our attention to what can be labelled as De Morgan models, we can obtain an analogue of Lindström's theorem for finitary propositional relevant languages. Furthermore, it is shown that a preservation theorem characterizing the expressive power of infinitary relevant languages in classical infinitary languages follows as a consequence of an interpolation theorem for classical infinitary logic. In addition, algebraic characterizations of the classes of Routley-Meyer models axiomatizable in relevant propositional languages, incompactness of infinitary relevant propositional languages and the expressive power of quantificational relevant languages are discussed. A final chapter is devoted to the study of relevant languages as second order frame languages. In particular we devote our attention to the problem of which properties expressible by relevant languages are elementary and which are not. An algebraic characterization of such elementary properties together with some examples of non first order properties axiomatizable in relevant logic are given. Finally, a Sahlqvist-van Benthem algorithm showing that relevant formulas with a certain syntactic form express calculable first order properties at the level of frames is established. (shrink)

When assessing North American students' oral participation in classes, should all students be subject to the same evaluation criteria or should teachers make reasonable allowances for Asian students practicing humility? How do we weigh the promotion of 'courage' through character education initiatives with traditional Asian dispositions? Viewing Asian humility in Western classrooms and as it rubs up against liberal principles of equality or justice, and a virtue ethic raises a number of philosophical questions around authenticity, polyvalence, and relativity. I (...) approach first through the lens of liberal philosophy as the 'dilemma of diversity' meets a boundary with communitarianism, and then through the contextualist lenses of Wittgenstein, Heidegger, and Foucault. Drawing on Tully's political philosophy, I inspect humility as embedded in language-games and then open it to revision through comparative history, inviting participants in the teacher's game of assessment to renegotiate the rules: a process complicated by their reticence to speak up. I also use Medina and Scheman's political reading of Wittgenstein to discuss how teachers can discern humility as performative silence within the classroom, distinguishing between genealogical accounts that show how comportments could be otherwise from perspicuous inspection of interconnected language-games in current educational settings. (shrink)

We show that derivations in the nonassociative and commutative Lambek calculus with product can be transformed to a normal form as it is the case with derivations in noncommutative calculi. As an application we obtain that the class of languages generated by categorial grammars based on the nonassociative and commutative Lambek calculus with product is included in the class of CF-languages. MSC: 68Q50, 03D15, 03B65.

Emotions are part of our culture ; particular emotions like resentment andguilt are part of specific cultural heritages. On the other hand, moral judgementsand imperatives have the appearance of objectivity. There lies - or so it seems -a conflict, even a contradiction. Statements like "Slavery is unjust" may beasserted, agreements may be reached concerning what they claim or express,and they may occur as antecedents in conditionals such as "If slavery is unjust,then it must be abolished". When it is claimed that (...) slavery is unjust or that it iswrong to harm others, it is thereby claimed that it is so objectively. We mean bythis (among other things) that it is so independently of the moral emotionsanyone may feel with respect to slavery or the infliction of pain.It will be argued here that there are grounds to believe that emotions must beevaluated cognitively and that they do have cognitive significance, value andcontent. In this cognitive or quasi-cognitive perspective, the appropriatecharacter of an emotion is akin to the truth of a proposition : just as the truth of aproposition may be evaluated in terms of the justifications we are able toprovide in its favour, the correctness of emotions may be evaluated relatively tocognitive bases and classes of available warrants. Some emotions may be ruledout as incorrect or inapproriate, just as some propositions may be rejected asunjustified or in need of a warrant. The parallel relies on the controversial notionof non-propositional forms of moral justification. The notion may be construedin a variety of ways, the most promising construals being, I believe, thoseprovided by the perceptual model.I shall focus on the following point. Moral judgements and imperatives areexpressed with the usual resources of natural languages. These typically includepredicates like "unjust" and "wrong", and deontic sentential operators like"must" and "should". Moral emotions, on the other hand, may be expressed bybodily movements and facial expressions. Although it may be argued thatemotions do not bear the cognitive marks of objectivity when expressed in thisway, there is no reason to think that a reformed language of ethics, i.e. a purelanguage of emotions, free of all the linguistic or symbolic marks of truth,assertability and objectivity, would thereby be free of normative input, or evenbe inadequate to express normative claims. I shall argue that once nonpropositionalforms of justifications are taken into account, the reformingstrategy of emotivists and neo-emotivists is indeed ineffective. (shrink)

We describe a pattern acquisition algorithm that learns, in an unsupervised fashion, a streamlined representation of linguistic structures from a plain natural-language corpus. This paper addresses the issues of learning structured knowledge from a large-scale natural language data set, and of generalization to unseen text. The implemented algorithm represents sentences as paths on a graph whose vertices are words. Significant patterns, determined by recursive context-sensitive statistical inference, form new vertices. Linguistic constructions are represented by trees composed of significant patterns (...) and their associated equivalence classes. An input module allows the algorithm to be subjected to a standard test of English as a Second Language profi- ciency. The results are encouraging: the model attains a level of performance considered to be “intermediate” for 9th-grade students, despite having been trained on a corpus containing transcribed speech of parents directed to small children. (shrink)

The present paper entitled "Subaltern Language Games and Political Conditions: A Perspective on Applied Philosophy" attempts to streamline Wittgensteinian language games and political conditions. The expression `subaltern ` stands for the meaning as given in the concise oxford dictionary, that is, `of inferior rank`. Subaltern language game is the game of marginalized people. Language game is meaningful in the context of social and political relationship. My contention is that technical or symbolic language is an instrument to serve the end of (...) the affluent class. I think that any social and political change requires change in languagegame. By applied philosophy, I mean that philosophical theories are applicable in concrete human situation. In this sense, I have considered Wittgenstein as an applied philosopher because he holds that words are dead but assume life when it is used or applied in the concrete life situation. In order to make society free from exploitation and reduce inequality, we have to change the prevailing language game. The language game which I am proposing may be called as the "Subaltern Language Game". I have tried to understand Wittgenstein's language game in the light of Derrida's theory of deconstruction. The ordinary languagephilosophy as expounded in` Philosophical Investigation` deconstructs `technical language philosophy' of `Tractatus` because technical language gives an abstract system of symbols and lacks blood and flesh of lifeworld. My contention is that language game is inseparable from socio-political structure. As a matter of fact language game is the expression of forms of life. The language game of the affluent and the ruling class is different from the language game of the poor and downtrodden. The language game of one ethnic group is different from the language game of another ethnic group. The language game of the white people is different from the language game of the black. In Indian context, the language game of the upper caste is different from the language game of the lower caste. The possibility of inequality due to linguistic advantages of privileged class is a fact and not a fantasy. In order to develop linguistic capacity, it requires socio-political and socio-cultural mechanism. The social inequality due to linguistic handicap of individual can be lessened by a process of change in values. This process of change in value system is called culturalisation or sanskritisation. It can be helpful in changing the use of language and its meaning. Thus, in moving from theory to practice, philosophers work to change these words and rules for those philosophers who are trying to do applied philosophy. The language game of the applied philosopher should be fashioned in accordance with socio-political realities. It is not plausible to do applied philosophy with outdated mode of philosophising. (shrink)

Cette étude analyse les réponses orales de 63 élèves français de 9-11 ans lors d’une tâche de vocabulaire du type définition de mots. La performance globale, mais aussi l’organisation et l’accessibilité des informations catégorielles, fonctionnelles ou perceptives sont examinées en considérant l’origine sociale des enfants. Les résultats quantitatifs de l’étude confirment ceux obtenus par les recherches sur la relation entre milieu socio-économique et étendue du vocabulaire. Les données qualitatives, tirées de l’analyse de la structure de 567 définitions, mettent en évidence (...) des différences modérées de l’évolution vers la forme canonique de la définition, selon la classe sociale. Ceci interroge nos manières de penser l’enseignement-apprentissage du vocabulaire et invite à explorer plus avant les mécanismes en jeu dans l’inégal accès à la connaissance de la signification des mots. (shrink)

We investigate the theory Peano Arithmetic with Indiscernibles ( \(\textrm{PAI}\) ). Models of \(\textrm{PAI}\) are of the form \(({\mathcal {M}},I)\), where \({\mathcal {M}}\) is a model of \(\textrm{PA}\), _I_ is an unbounded set of order indiscernibles over \({\mathcal {M}}\), and \(({\mathcal {M}},I)\) satisfies the extended induction scheme for formulae mentioning _I_. Our main results are Theorems A and B following. _Theorem A._ _Let_ \({\mathcal {M}}\) _be a nonstandard model of_ \(\textrm{PA}\) _ of any cardinality_. \(\mathcal {M }\) _has an (...) expansion to a model of _ \(\textrm{PAI}\) _iff_ \( {\mathcal {M}}\) _has an inductive partial satisfaction class._ Theorem A yields the following corollary, which provides a new characterization of countable recursively saturated models of \(\textrm{PA}\) : _Corollary._ _A countable model_ \({\mathcal {M}}\) of \(\textrm{PA}\) _is recursively saturated iff _ \({\mathcal {M}}\) _has an expansion to a model of _ \(\textrm{PAI}\). _Theorem B._ _There is a sentence _ \(\alpha \) _ in the language obtained by adding a unary predicate_ _I_(_x_) _to the language of arithmetic such that given any nonstandard model _ \({\mathcal {M}}\) _of_ \(\textrm{PA}\) _ of any cardinality_, \({\mathcal {M}}\) _has an expansion to a model of _ \(\text {PAI}+\alpha \) _iff_ \({\mathcal {M}}\) _has a inductive full satisfaction class._. (shrink)

In this article, we first present the platform and the Dislog language, designed for discourse analysis with a logic and linguistic perspective. The platform has now reached a certain level of maturity which allows the recognition of a large diversity of discourse structures including general-purpose rhetorical structures as well as domain-specific discourse structures. The Dislog language is based on linguistic considerations and includes knowledge access and inference capabilities. Functionalities of the language are presented together with a method for writing discourse (...) analysis rules. Efficiency and portability of the system over domains and languages are investigated to conclude this first part. In a second part, we analyse the different types of arguments found in several document genres, most notably: procedures, didactic texts and requirements. Arguments form a large class of discourse relations. A generic and frequently encountered form emerges from our analysis: ?reasons for conclusion? which constitutes a homogeneous family of arguments from a language, functional and conceptual point of view. This family can be viewed as a kind of proto-argument. We then elaborate its linguistic structure and show how it is implemented in . We then investigate the cooperation between explanation and arguments, in particular in didactic texts where they are particularly rich and elaborated. This article ends with a prospective section that develops current and potential uses of this work and how it can be extended to the recognition of other forms of arguments. (shrink)

The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, and I think (...) that wholehearted acceptance of modal language should be considered to carry ontological commitment to something like possible worldsConsidered as two languages for describing the same subject matter, modal and purely quantificational languages show interesting differences. The operator variables of the purely quantificational languages give them more power than the modal languages, but at least some of the functions performed by the apparatus of operator variables are also performed, in a more primitive and less versatile way, by actuality operators in modal languages.A final note. Quine has written much on the inter-relations of quantifiers, identity, and the concept of existence. These, he holds, form a tightly knit conceptual system which has been evolved to a high point of perfection, but which might conceivably change yet further.29 He has also dropped hints about the possibility of a simpler, primitive or defective version of the system, in which the quantifiers are not backed up in their accustomed way by the concept of identity. He has dubbed the resulting concept a ‘pre-individuative’ concept of existence, or a concept of ‘entity without identity.’ What would a pre-individuative concept of existence be like? Quine has sometimes suggested that one might be embodied in the use of mass nouns, but the identity concept is used in connection with stuff as well as with things: “is that the same coffee that was in the cup last night?” I would submit that modality provides a better case. In view of the comparative weakness of modal languages, compared to the explicitly quantificational ones Quine takes as canonical, there is surely a sense in which the concept of existence embodied in that disguised existential quantifier, the possibility operator, is a defective one. And as we have seen, one of the differences between modal operators and explicit quantifiers is that modal operators cannot be joined with the identity predicate in the way quantifiers with operator variables can. Surely, then, there is a sense in which ordinary speech, as opposed to the metaphysical theorizing of a Leibniz or a David Lewis, conceives of possible worlds as entities without identity. (shrink)

Scientists often communicate using generic generalizations, which are unquantified generalizations such as ‘Americans overestimate social class mobility’ or ‘sound waves carry gravitational mass’. In this paper, I explain the role of such generic generalizations in science, based on a novel theory about their characteristic meaning. According to this theory, a scientific generalization of the form ‘Ks are F’ says that F is one property based on which category K qualifies as a scientific kind. Because what it takes to qualify (...) as a scientific kind varies depending on the discipline, what a generic sentence entails also varies. Based on this semantic theory, I discuss the benefits and drawbacks of using generic language in science. (shrink)

Language and Theory of Mind come together in communication, but their relationship has been intensely contested. I hypothesize that pragmatic markers connect language and Theory of Mind and enable their co-development and co-evolution through a positive feedback loop, whereby the development of one skill boosts the development of the other. I propose to test this hypothesis by investigating two types of pragmatic markers: demonstratives and articles. Pragmatic markers are closed-class words that encode non-representational information that is unavailable to consciousness, but (...) accessed automatically in processing. These markers have been associated with implicit Theory of Mind because they are used to establish joint attention and mark shared knowledge. Here I develop a theoretical account of how joint attention is the basis for children’s later tracking of common ground. The developmental path from joint attention to common ground parallels language change, with demonstrative forms giving rise to definite articles. This parallel opens the possibility of modelling the emergence of Theory of Mind in human development in tandem with its routinization across language communities and generations of speakers. I therefore propose that, in order to understand the relationship between language and Theory of Mind, we should study pragmatics at three parallel timescales: during language acquisition, language use, and language change. (shrink)

From classical, Fraïissé-homogeneous, ($\leq \omega$)-categorical theories over finite relational languages, we construct intuitionistic theories that are complete, prove negations of classical tautologies, and admit quantifier elimination. We also determine the intuitionistic universal fragments of these theories.

Learning theory has frequently been applied to language acquisition, but discussion has largely focused on information theoretic problems—in particular on the absence of direct negative evidence. Such arguments typically neglect the probabilistic nature of cognition and learning in general. We argue first that these arguments, and analyses based on them, suffer from a major flaw: they systematically conflate the hypothesis class and the learnable concept class. As a result, they do not allow one to draw significant conclusions about the learner. (...) Second, we claim that the real problem for language learning is the computational complexity of constructing a hypothesis from input data. Studying this problem allows for a more direct approach to the object of study—the language acquisition device—rather than the learnable class of languages, which is epiphenomenal and possibly hard to characterize. The learnability results informed by complexity studies are much more insightful. They strongly suggest that target grammars need to be objective, in the sense that the primitive elements of these grammars are based on objectively definable properties of the language itself. These considerations support the view that language acquisition proceeds primarily through data-driven learning of some form. (shrink)

Reflections on Language brings together a collection of seventy-eight articles that examine language from many different perspectives. Its selections focus on language as a social form, demonstrating how it is an indispensable component of the world and how we interpret it. Organized thematically, the text addresses many topics, including the acquisition of language, the rhetoric of advertising, the language of politics, language between the sexes, and language across cultures. It also discusses areas not covered by similar books, such as (...) the bodily basis of language, communication across species, and the language of cyberspace. Ideal for courses in freshman composition, introduction to language, and a variety of writing classes, Reflections on Language helps students and other readers to become more aware of language and to use it more effectively. The text offers useful aids for writing instruction, including an opening chapter on writing and revising, a rhetorical table of contents, and a glossary, as well as introductory notes, journal writing prompts, and analytical exercises for each selection. Reflections on Language also includes an index as well as thirteen advertisements, eighteen cartoons, and numerous end-of-chapter writing assignments. This unique reader incorporates a substantial number of scholarly articles by language theorists in addition to pieces by popular writers and works of short fiction, poetry, and drama. Lively, informative, and authoritative, Reflections on Language leads students and general readers to a deeper understanding of language and its power. (shrink)

Let L be a first-order language and Φ and ψ two $\Sigma _{1}^{1}$ L-sentences that cannot be satisfied simultaneously in any finite L-structure. Then obviously the following principle Chain L,Φ,ψ (n,m) holds: For any chain of finite L-structures C 1 ,...,C m with the universe [n] one of the following conditions must fail: 1. $C_{1}\vDash \Phi $ , 2. C i ≅ C i+1 , for i = 1,...,m — 1, 3. $C_{m}\vDash \Psi $ . For each fixed L and (...) parameters n,m the principle Chain L,Φ,ψ (n,m) can be encoded into a propositional DNF formula of size polynomial in n,m. For any language L containing only constants and unary predicates we show that there is a constant c L such that the following holds: If a constant depth Frege system in DeMorgan language proves Chain L,Φ,ψ (n, c L · n) by a size s proof then the class of finite L-structures with universe [n] satisfying Φ can be separated from the class of those L-structures on [n] satisfying ψ by a depth 3 formula of size $2^{{\rm log}(s)^{O(1)}}$ and with bottom fan-in ${\rm log}(s)^{O(1)}$. (shrink)

The prevailing assumption is that anResearch underlying this study was conducted with support of the Russian Foundation for Basic Research grant #17-06-00460.agreement feature originates in one linguistic element, that is a controller, and is copied onto another one, a target. This form-to-form approach encounters massive difficulties when confronted with data, such as missing controllers or feature mismatches. A cognition-to-form mapping approach is proposed instead, suggesting that agreement features, such as person, number, and gender, are associated with referents (...) in the cognitive representation. They serve to specify referents on either notional or conventional grounds, and are thus referential features. Referential features are mapped onto various sites in linguistic structure, including inflections. Parallel agreement between various sites is observed, as a side effect of mappings from the same cognitive source. Languages differ in which and how many sites for marking referential features they require. Analysis of Russian evidence suggests that the cognition-to-form mapping approach has a much greater explanatory force than the traditional form-to-form approach. There are only peripheral classes of instances in which form-to-form agreement may be needed as a supplementary factor. In general, the roots of agreement lie in cognitively motivated discourse processes associated with reference. (shrink)

We show that the Axiom of Foundation, as well as the Antifoundation Axiom AFA, plays a crucial role in determining the decidability of the following problem. Given a first-order theory T over the language , and a sentence F of the form with quantifier-free in the same language, are there models of T in which F is true? Furthermore we show that the Extensionality Axiom is quite irrelevant in that respect.

The prevailing assumption is that an Research underlying this study was conducted with support of the Russian Foundation for Basic Research grant #17-06-00460.agreement feature originates in one linguistic element, that is a controller, and is copied onto another one, a target. This form-to-form approach encounters massive difficulties when confronted with data, such as missing controllers or feature mismatches. A cognition-to-form mapping approach is proposed instead, suggesting that agreement features, such as person, number, and gender, are associated with (...) referents in the cognitive representation. They serve to specify referents on either notional or conventional grounds, and are thus referential features. Referential features are mapped onto various sites in linguistic structure, including inflections. Parallel agreement between various sites is observed, as a side effect of mappings from the same cognitive source. Languages differ in which and how many sites for marking referential features they require. Analysis of Russian evidence suggests that the cognition-to-form mapping approach has a much greater explanatory force than the traditional form-to-form approach. There are only peripheral classes of instances in which form-to-form agreement may be needed as a supplementary factor. In general, the roots of agreement lie in cognitively motivated discourse processes associated with reference. (shrink)

Theories of relations between language and conceptual development benefit from empirical evidence for concepts available in infancy, but such evidence is comparatively scarce. Here, we examine early representations of specific concepts, namely, sets of dynamic events corresponding either to predicates involving two variables with a reversible, asymmetric relation between them (such as the set of all events that correspond to a linguistic phrase like “a dog is pushing a car,”) or to comparatively simpler, one-variable predicates (such as the set of (...) events corresponding to a phrase like “a dog is jumping.”). We develop a non-linguistic, anticipatory eye-tracking task that can be administered to both infants and adults, and we use this task to gather evidence for the formation and use of such one-and two-place-predicate classes (which we refer to as event sortals) in 12–24-mo-old infants, and in adults with and without concurrent verbal prose shadowing. Using visually similar stimuli for both the simpler (one-place) and the more complex (reversible, asymmetric, two-place) concepts, we find that infants only show evidence for forming and generalizing one-place event sortals, and, while adults succeed with both kinds in the absence of verbal shadowing, shadowing hampers their ability to form and use the asymmetric two-place event sortals. In a subsequent experiment with adults, we find that if the shadowing material is grammatically impoverished, adults now succeed in forming and using both one- and two-place event sortals. We discuss implications of these results for theories of concept acquisition, and the role of language in this process. (shrink)

This book is a collection of papers on modals in the languages of Europe, written by experts in the area of modality. It provides readers with a wealth of data and addresses the issues of under which circumstances modals are borrowed, from which linguistic materials they typically arise in these languages, and whether and how modals form a system which is separate from other word classes.

How we think national standard languages came to dominate the world depends on how we conceptualize the way languages are linked to the people that use them. Weberian theory posits the arbitrariness and constructedness of a community based on language. People who speak the same language do not necessarily think of themselves as a community, and so such a community is an intentional, political, and inclusive production. Bourdieusian theory treats language as a form of unequally distributed cultural (...) capital, thus highlighting language’s classed nature. The rise of standard languages thus reflects a change in the class structure of a nationalizing society. In contrast, I move beyond the familiar Western cases on which these theories are based to reveal the shortcomings of both these theoretical approaches. China, with an exceptionally artificial national standard language that was promulgated by the state in an extremely top-down process, highlights the importance of intentionality in both the design of the language and the social function it was supposed to play. Building on Weber and Bourdieu, I argue that even egalitarian language standardization projects, such as the Chinese case, can result in unintended new hierarchies of privilege and power, outrunning the best intentions of their designers. (shrink)

This paper addresses the use of noun-class markers in Tagbana from the perspective of a cognitively-inspired approach based on Langacker’s (2000. Grammar and conceptualization. Berlin & New York: Mouton de Gruyter) semiological principle. Drawing on this basic tenet of Cognitive Grammar according to which the symbolic function of language consists in making speakers’ conceptualizations auditorily or visually perceptible, it demonstrates that in syntactic constructions composed of ‘noun-stem+noun-class marker’ and ‘noun-class marker+identifier’, noun-class markers fulfil the semantic function of making explicit the (...) way the speaker conceives of the experiential entity referred to in the utterance.This view goes beyond form-centred functions such as referent-tracking to include the signifying of complex conceptualizations involving more than one noun-class marker with the same noun-stem, as well as the discourse functions of indicating topicality, insistence on a referent’s existence and contrastive focus. (shrink)

Phraseology is a treasury of language. It is the fruit, which was born in the result of a long process of the practical use of the language. Phraseologisms give the speech power, persuasiveness, brilliance and imagery. They enliven the language and make it more emotional. In this article, we focus on the negative psycho-emotional state of a person. The negative psycho-emotional state of a person is emotion and feelings that are formed in the result of the negative mood of a (...) person and related to the dissatisfaction with vital needs. The authors of the article identified 5 phraseological subgroups that characterize the negative psycho-emotional state of a person: anger ; disgust, hatred; terror ; anxiety, agitation; sadness, melancholy. (shrink)

Lautemann et al. (1995) gave a descriptive characterisation of the class of context-free languages, showing that a language is context-free iff it is definable as the set of words satisfying some sentence of a particular logic (fragment) over words. The present notes discuss how to specialise this result to the class of linear languages. Somewhat surprisingly, what would seem the most straightforward specialisation actually fails, due to the fact that linear grammars fail to admit a Greibach normal (...) class='Hi'>form. We identify an alternative specialisation, based on an alternative characterisation of context-free languages, also noted by Lautemann et al. (1995). (shrink)

In this paper we provide frame definability results for weak versions of classical modal axioms that can be expressed in Fitting's many-valued modal languages. These languages were introduced by M. Fitting in the early '90s and are built on Heyting algebras which serve as the space of truth values. The possible-worlds frames interpreting these languages are directed graphs whose edges are labelled with an element of the underlying Heyting algebra, providing us a form of many-valued accessibility (...) relation. Weak axioms of the form we treat here have been examined from the completeness perspective and further explored for applications in non-monotonic reasoning. Here, we introduce more weak many-valued modal axioms and prove a frame correspondence result for all of them. The classes of corresponding labelled frames possess algebraic properties which are strongly reminiscent of many classical ones, such as the Church-Rosser property, reflexivity, transitivity, partial functionality, etc. (shrink)

Methods of machine learning (ML) are gradually complementing and sometimes even replacing methods of classical statistics in science. This raises the question whether ML faces the same methodological problems as classical statistics. This paper sheds light on this question by investigating a long-standing challenge to classical statistics: the reference class problem (RCP). It arises whenever statistical evidence is applied to an individual object, since the individual belongs to several reference classes and evidence might vary across them. Thus, the problem (...) consists in choosing a suitable reference class for the individual. I argue that deep neural networks (DNNs) are able to overcome specific instantiations of the RCP. Whereas the criteria of narrowness, reliability, and homogeneity, that have been proposed to determine a suitable reference class, pose an inextricable tradeoff to classical statistics, DNNs are able to satisfy them in some situations. On the one hand, they can exploit the high dimensionality in big-data settings. I argue that this corresponds to the criteria of narrowness and reliability. On the other hand, ML research indicates that DNNs are generally not susceptible to overfitting. I argue that this property is related to a particular form of homogeneity. Taking both aspects together reveals that there are specific settings in which DNNs can overcome the RCP. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Great World House: Martin Luther King Jr. and Global Ethics by Hak Joon Lee, and: Democracy in Twenty-First Century America: Race, Class, Religion, and Region by Ronald B. NealReggie L. WilliamsThe Great World House: Martin Luther King Jr. and Global Ethics HAK JOON LEE Cleveland, OH: Pilgrim Press, 2011. 256 pp. $25.00Democracy in Twenty-First Century America: Race, Class, Religion, and Region RONALD B. NEAL Macon, GA: Mercer (...) University Press, 2012. 138 pp. $30.00On Christmas Eve 1967, Martin Luther King Jr. asked the members of a congregation to recognize that they are—every day—interacting with many different nations all around the world as they maneuver throughout their normal daily routines. Hak Joon Lee’s The Great World House: Martin Luther King Jr. and Global Ethics examines the implications of this daily global interaction as the need for a broader ethical perspective in a shrinking world. The need begins with the realization that we do indeed inhabit a shrinking world in which our local behavior has a broader global impact. Once we recognize the moral implications of our local interaction, it becomes clear that we must learn how to live together in a broader community.But how do we speak the language of a global morality? What does a global morality look like? Lee argues that King’s metaphor of a great world house provides a structure on which to frame the content of a healthy global morality in a shrinking world. The metaphor indicates a collective understanding of all humanity as a global community (ix). The notion of a single world house moves people groups beyond rival communities with well-defined in-group and out-group barriers into what Lee describes as a global civil society where we are all seen as members of a collective in-group (13). The concept of a collective in-group helps illustrate what Lee understands to be King’s argument for a global morality; “King’s idea of a great world house redefines what the boundaries and membership of a moral community are: the great world house constitutes a single inclusive ethical community for humanity because it identifies the world as a single unified community” (53). [End Page 234]But as laudable as King’s great world house metaphor is, we are still burdened with the task of imagining a universal moral language in practice. Efforts toward the formation of universal truths have historically been death-dealing for people groups caught on the wrong side of the color line. A one-size-fits-all morality has been a procrustean bed for people who have been racialized and subordinated to white European males. Yet Lee interprets King’s method of universal engagement to begin with convictions shared at home within the particularity of his African American Christian worldview before it moves outward toward a shared vision of a global civil society. The movement from particular to universal for a public morality is unlike the historically harmful practice of universal morality. King’s universal method includes attention to four components: vision, norms, virtues, and political practices. These four components belong to what Lee depicts as a careful and intricate dialectic between what is local and what is universal in a political dialogue that seeks the end of a global civil society with shared conceptions of community and human rights.Ironically, with regard to the conversation about human rights, Lee claims that King’s formative African American interpretation of human rights was primarily informed by the Enlightenment and then blended with an African American experience: “Mostly appropriated from Christianity and the Western Enlightenment tradition, these norms [justice, freedom, and equality] obtained a new significance for African Americans in the context of the sizzling cauldron of slavery and segregation” (55). Yet one would be hard pressed to identify the presence of modern Enlightenment intellectuals within the formative theological worldview of the African American Christianity that Lee identifies. Of necessity, African American Christianity, the Christian worldview that birthed Martin Luther King Jr., was formed to deflect the white Christian worldview that was shaped by the intersection of race, religion, and empire in modernity. The Enlightenment fueled modernity’s... (shrink)

Sweet describes the pragmatic foundations of standard logic and applies these foundations to the task of developing a theory of intended models as an extension of standard model theory in which the relevant "intending" is represented pragmatically. Methods of formal logic are used to investigate the structure of the relation between language and the world. The truism which holds that this relation includes the speaker as well as the object spoken about is formally explicated and applied to the problem of (...) illuminating one of the deepest phenomena in standard model theory: the existence of non-isomorphic models of complete theories. To this end it is shown that standard logic admits pragmatic foundations upon which a theory of intended models can be built as an extension of standard model theory. The relevant "intending" is represented by the very forms of verbal behavior which determine the grammatical and logical structure of the sentences whose referential meaning is in question. The uniqueness properties of the class of intended models may then be described. The first section of the book states the immediate goal of standard pragmatics as that of recovering the algebraic structure first-order logic by means of a purely pragmatic construction. The second section, the major portion of the work, then provides the foundation for a semiotic theory of intended models and referential meaning. The theory is then applied to the problem of referential indeterminancy, which has been associated with the phenomenon of scientific revolutions. The theory is also applied to the problem of the apparent synonymy of observationally equivalent theories. Sweet concludes that such theories are not referentially synonymous in any natural sense which is analogous to the paradigm sense in which theories of alternative scales of measurement are referentially synonymous. A novel feature of this book is the formal explication of the idea that the factors, pragmatical in nature, which distinguish the actual meaning of a sentence from among its possible meanings, whose range is defined by the manner in which the sentence is parsed, determine that very parsing. Applicability to natural language of the model-theoretic semantics thereby obtained is made possible by another feature of the book: the development of a theory of locally standard grammar which provides the foundation for representing the structure of natural language as that of standard first-order logic, in a local, as distinguished from a global, sense. This book is intended for scholars in logic, semiotics, and the philosophies of language and of science. Those concerned specifically with such philosophers as Peirce, Martin, and Davidson will also find the study valuable. (shrink)

This very long book sets out to track and trace the working-class men and, less commonly, women who, against the limited expectations of their social position, learned Greek and Latin as an aspiration for personal change. The ideology of the book is clear and welcome: these figures “offer us a new ancestral backstory for a discipline sorely in need of a democratic makeover.” The book's twenty-five chapters explore how classics and class were linked in the educational system of Britain and (...) in its cultural performativity: Is he a gentleman? Does he have Greek? became the paradigmatic questions, as the study of classics became a sign of cultural attainment and social exclusion. This book sets out to explore the counterstory of the cobblers and shepherds who, like Jude the Obscure, fought against society's oppressiveness to access classical learning.The book's breadth is exemplary. It looks at the issue through genres and media, through different communities and national identities, through the prosopography of ragged-trousered philanthropists, beggar-lecturers, body-building performers, and through other institutions and people who helped, including adult-education teachers, kind bosses, supportive vicars, and fiery communists. This breadth, and the fascinating research that it encapsulates, will make this book a fantastic resource for future scholarship: it outlines the richness of a field that has been all too rarely explored properly. If you do not know Stephen Duck, “the thresher poet,” or Hawkie, the crutch-wielding beggar who performed from the books he sold on the streets of Glasgow, then this book is the place to the meet them. The cast list alone is worth the entrance ticket.Yet this very breadth is also the source of the book's limitations. The sheer number of cases listed, treated at similar length and depth, repeatedly conceals the complexity and even the interest of individual figures or events. So, the numerous representations of Vesuvius in shows around London in the first half of the nineteenth century—after the discoveries at Pompeii—are duly noted as a source of excitement and knowledge about antiquity, but against the recent treatment by Clare Pettitt in Serial Forms (which came out the same year) this mere noting looks desperately thin. There is little discussion of how the characters themselves talked about or negotiated class. This deficiency is particularly important for someone like Charles Kingsley, who was very active in the Chartist movement but also became Queen Victoria's chaplain and the professor of history at Cambridge. There are hilarious descriptions of Kingsley's stammering engagement with the working-class leaders he actively supported, which capture how awkward the interaction of classes could be even and especially when the participants shared a goal of transformation. (Ed Richardson's Classical Victorians: Scholars, Scoundrels and Generals in the Pursuit of Antiquity is good on these moments of awkwardness but is one of several books whose absence from the notes looks pointed.) The authors list cases of working men who were picked up by fashionable society as poets or scholars, many of whom were dropped almost as quickly back into penury—but the telling description of such a case in Kingsley's Alton Locke is passed over, although it reveals an acute self-consciousness about such narratives in a best-selling novel.The very structure of the book tends toward listing cases rather than analyzing them in depth. It is not clear why “Shoemaker classicists” should take up a chapter, bar there having been some. Nor is it clear why some figures are not included. John Brown was an uneducated Scottish shepherd who taught himself Greek, Latin, and Hebrew. He was discovered by a professor, one John Pringle, when he went into a shop to buy a secondhand Greek Testament (though his own church thought this newfound and inexplicable linguistic brilliance suspicious or even satanic). Brown went on to write the wonderfully titled The Self-Interpreting Bible, which remained in print and sold very widely for more than a century after its publication in 1778—especially after it was championed by the evangelical preacher Charles Simeon. It is a pity that Brown escaped the authors’ net, but religion, one of the main reasons to learn the classical languages, is downplayed throughout this study, although its imbrication with classics is everywhere in evidence. The book, significantly enough, leads rather toward a rosy-eyed depiction of posh classical communists like Geoffrey de Ste. Croix and George Thompson, and other such heroes of the authors.The authors are much more at home in the years of ardent republicanism in the decades on either side of the turn of the nineteenth century and in the beginning of the twentieth century, when socialism and communism became embedded in British life. The last half of the nineteenth century, when classics really established itself institutionally as a discipline, and its revolutionary potential moved away from the zeal of the Romantic philhellenists into the artistic idealism of a Richard Wagner or the sexual freedom of an Oscar Wilde, are less adequately explored. The huge attendance at art galleries and the Great Exhibition at Crystal Palace as a route to encountering the past of antiquity in material form are barely addressed (Kate Nichols's Greece and Rome at the Crystal Palace would have helped); nor do shows like Astley's Circus get air time (Rachel Bryant Davies's Troy, Carthage, and the Victorians is revealing). It is particularly noticeable in such a voluminous study that there is no discussion of how turning to Greek was a crucial route for the self-understanding of what was considered transgressive male sexuality—and for a particular engagement between the classes. To understand the social force of classics requires a deeper appreciation of the dynamics between conservatism and transformation, disciplinarity and self-discovery. The big picture of how classics matters is lost in the gems picked out by the authors. Gems they are, but their facets need more attention and their setting a broader perspective. (shrink)

Sociology has long recognized the centrality of the body in the reciprocal construction of individuals and society, and recent research has explored the influence of a variety of social institutions on the body. Significant research has established the influence of social class, child-rearing practices, and variable language forms in families and children. Less well understood is the influence of children's social class status on their gestures, comportment, and other bodily techniques. In this essay Sue Ellen Henry brings these two areas (...) of study together to explore how working-class children's bodies are shaped by the child-rearing practices associated with their social class status, and the potential effects these bodily techniques have on their experience in schools. (shrink)

We prove that each ∀1 free amalgamation class K over a finite relational language L admits a countable generic structure M isometrically embedding all countable structuresin K relative to a fixed metric. We expand L by infinitely many binary predicates expressingdistance, and prove that the resulting expansion of K has a model companion axiomatizedby the first-order theory of M. The model companion is non-finitely axiomatizable, evenover a strong form of the axiom scheme of infinity.

An AE-sentence is a sentence in prenex normal form with all universal quantifiers preceding all existential quantifiers, and the AE-theory of a structure is the set of all AE-sentences true in the structure. We show that the AE-theory of \, \cap, \cup, 0, 1)\) is decidable by giving a procedure which, for any AE-sentence in the language, determines the truth or falsity of the sentence in our structure.

In this thesis I develop an account of how processes of social understanding are implicated in experiences of mental disorder, critiquing the lack of examination of this phenomena along the way. First, I demonstrate how disorder concepts, as developed and deployed by psychiatric institutions, have the effect of shaping the cognition of individuals with psychopathology through setting expectations. Such expectation-setting can be harmful in some cases, I argue, and can perpetuate epistemic injustices. Having developed this view, I criticise enactive accounts (...) of mental disorder for failing to consider how such terms like ‘dysfunction’ are open to interpretation and can come embedded with normative expectations. Enactive accounts consequently run the risk of perpetuating injustices in their account of the sociality of mental disorder. Similar concerns arise when we consider the attachment of enactivism to the medical model, I argue. But by adapting enactivism to consider other experiences of disorder, such as those described as ‘madness’, enactive psychiatry may genuinely provide ethical groundwork for a better conception of disordered experience. Then, I consider a further concern with a distinctly medicalised conception of mental disorder from the perspective of self-illness ambiguity, arguing that self-illness ambiguities appear to form a special class of ambiguities due to their proximity to disorder concepts which mark them as appropriate targets for therapeutic treatment. However, I argue further that we should be critical of the idea that self-illness ambiguities necessitate disambiguation, as, in cases where self and illness are demarcated, individuals may still experience distress because simply having a mental disorder can be socially alienating. The medicalised focus in self-illness ambiguity, and the explicit need from the medical perspective to disambiguate it, might then exacerbate the distress someone experiences in mental disorder. Moreover, drawing on Mad Studies, I suggest that one might not need a coherent self-narrative to live well. Because of this, one may not need to adopt a medicalised view of the self in the case of selfillness ambiguity. In order to support this analysis, I provide a phenomenological account of language and argue that the very thoughts implicated in mental disorder shape the individual’s perception of the world due to the way that language foregrounds particular aspects of our world. This demands a critical examination of the language adopted and used by both clinicians and disordered individuals. I thus conclude with some thoughts on how to approach research and developing understanding of mental disorder given that we, as people, are always implicated in this process and therefore socialisation of some kind will always be taking place. (shrink)

A familiar trope of cognitive science, linguistics, and the philosophy of psychology over the past forty or so years has been the idea of the mind as a modular system-that is, one consisting of functionally specialized subsystems responsible for processing different classes of input, or handling specific cognitive tasks like vision, language, logic, music, and so on. However, one of the major achievements of neuroscience has been the discovery that the brain has incredible powers of renewal and reorganization. This (...) "neuroplasticity," in its various forms, has challenged many of the orthodox conceptions of the mind which originally led cognitive scientists to postulate hardwired mental modules. -/- This book examines how such discoveries have changed the way we think about the structure of the mind. It contends that the mind is more supple than prevailing theories in cognitive science and artificial intelligence acknowledge. The book uses language as a test case. The claim that language is cognitively special has often been understood as the claim that it is underpinned by dedicated-and innate-cognitive mechanisms. Zerilli offers a fresh take on how our linguistic abilities could be domain-general: enabled by a composite of very small and redundant cognitive subsystems, few if any of which are likely to be specialized for language. In arguing for this position, however, the book takes seriously various cases suggesting that language dissociates from other cognitive faculties. -/- Accessibly written, The Adaptable Mind is a fascinating account of neuroplasticity, neural reuse, the modularity of mind, the evolution of language, and faculty psychology. (shrink)

The Feferman–Vaught theorem provides a way of evaluating a first order sentence \(\varphi \) on a disjoint union of structures by producing a decomposition of \(\varphi \) into sentences which can be evaluated on the individual structures and the results of these evaluations combined using a propositional formula. This decomposition can in general be non-elementarily larger than \(\varphi \). We introduce a “tree” generalization of the prenex normal form (PNF) for first order sentences, and show that for an input (...) sentence in this form having a fixed number of quantifier alternations, a Feferman–Vaught decomposition can be obtained in time elementary in the size of the sentence. The sentences in the decomposition are also in tree PNF, and further have the same number of quantifier alternations and the same quantifier rank as the input sentence. We extend this result by considering binary operations other than disjoint union, in particular sum-like operations such as join, ordered sum and NLC-sum, that are definable using quantifier-free translation schemes. (shrink)