This paper classifies a family of grammar formalisms that extendcontext-free grammar by talking about tuples of terminal strings, ratherthan independently combining single terminal words into larger singlephrases. These include a number of well-known formalisms, such as headgrammar and linear context-free rewriting systems, but also a new formalism,(simple) literal movement grammar, which strictly extends the previouslyknown formalisms, while preserving polynomial time recognizability.The descriptive capacity of simple literal movement grammars isillustrated both formally through a weak generative capacity argument (...) and ina more practical sense by the description of conjunctive cross-serialrelative clauses in Dutch. After sketching a complexity result and drawing anumber of conclusions from the illustrations, it is then suggested that thenotion of mild context-sensitivity currently in use, that depends on therather loosely defined concept of constant growth, needs a modification toapply sensibly to the illustrated facts; an attempt at such a revision isproposed. (shrink)

Aravind Joshi famously hypothesized that natural language syntax was characterized (in part) by mildly context-sensitive generative power. Subsequent work in mathematical linguistics over the past three decades has revealed surprising convergences among a wide variety of grammatical formalisms, all of which can be said to be mildly context-sensitive. But this convergence is not absolute. Not all mildly context-sensitive formalisms can generate exactly the same stringsets (i.e. they are not all (...) weakly equivalent), and even when two formalisms can both generate a certain stringset, there might be differences in the structural descriptions they use to do so. It has generally been difficult to find cases where such differences in structural descriptions can be pinpointed in a way that allows linguistic considerations to be brought to bear on choices between formalisms, but in this paper we present one such case. The empirical pattern of interest involves wh-movement dependencies in languages that do not enforce the wh-island constraint. This pattern draws attention to two related dimensions of variation among formalisms: whether structures grow monotonically from one end to another, and whether structure-building operations are conditioned by only a finite amount of derivational state. From this perspective, we show that one class of formalisms generates the crucial empirical pattern using structures that align with mainstream syntactic analysis, and another class can only generate that same string pattern in a linguistically unnatural way. This is particularly interesting given that (i) the structurally-inadequate formalisms are strictly more powerful than the structurally-adequate ones from the perspective of weak generative capacity, and (ii) the formalism based on derivational operations that appear on the surface to align most closely with the mechanisms adopted in contemporary work in syntactic theory (merge and move) are the formalisms that fail to align with the analyses proposed in that work when the phenomenon is considered in full generality. (shrink)

Back in the 1980’s, the class of mildly context-sensitive formalisms was introduced so as to capture the syntax of natural languages. While the languages generated by such formalisms are constrained by the constant-growth property, the most well-known and used ones—like tree-adjoining grammars or multiple context-free grammars—generate languages which verify the stronger property of being semilinear. In, the operation of IO-substitution was created so as to exhibit mildly-context sensitive classes of languages which (...) are not semilinear. In the present article, we extend the notion of semilinearity, and characterize the Parikh image of the languages in IO, the closure of a class L of semilinear languages under IO-substitution, as universally-semilinear. Based on this result and on the work of Fischer on macro-grammars, we then show that IO is not closed under inverse homomorphism when L is closed under inverse homomorphism, and encompasses the class of regular languages. This result proves that IO is not a full AFL, where \ denotes the class of multiple context-free languages, closing an open question in Bourreau et al.. More importantly, our proof gives an insight into the relation between the non-closure under inverse homomorphism of \}\) and how IO-substitution breaks semilinearity. (shrink)

The paper presents a generalization of pregroup, by which a freely-generated pregroup is augmented with a finite set of commuting inequations, allowing limited commutativity and cancelability. It is shown that grammars based on the commutation-augmented pregroups generate mildly context-sensitive languages. A version of Lambek’s switching lemma is established for these pregroups. Polynomial parsability and semilinearity are shown for languages generated by these grammars.

Four different kinds of grammars that can define crossing dependencies in human language are compared here: (i) context sensitive rewrite grammars with rules that depend on context, (ii) matching grammars with constraints that filter the generative structure of the language, (iii) copying grammars which can copy structures of unbounded size, and (iv) generating grammars in which crossing dependencies are generated from a finite lexical basis. Context sensitive rewrite grammars are syntactically, semantically and computationally unattractive. Generating (...) grammars have a collection of nice properties that ensure they define only “mildly context sensitive” languages, and Joshi has proposed that human languages have those properties too. But for certain distinctive kinds of crossing dependencies in human languages, copying or matching analyses predominate. Some results relevant to the viability of mildly context sensitive analyses and some open questions are reviewed. (shrink)

We introduce and study a natural extension of Marcus external contextual grammars. This mathematically simple mechanism which generates a proper subclass of simple matrix languages, known to be mildly context-sensitive ones, is still mildly context-sensitive. Furthermore, we get an infinite hierarchy of mildly context-sensitive families of languages. Then we attempt to fill a gap regarding the linguistic relevance of these mechanisms which consists in defining a tree structure on the strings generated (...) by many-dimensional external contextual grammars, and investigate some related issues. Several open problems are finally discussed. (shrink)

Performance on the Wason selection task varies with content. This has been taken to demonstrate that there are different cognitive modules for dealing with different conceptual domains. This implication is only legitimate if our underlying cognitive architecture is formal. A non-formal system can explain content-sensitive inference without appeal to independent inferential modules.

We compare our model of unsupervised learning of linguistic structures, ADIOS [1, 2, 3], to some recent work in computational linguistics and in grammar theory. Our approach resembles the Construction Grammar in its general philosophy (e.g., in its reliance on structural generalizations rather than on syntax projected by the lexicon, as in the current generative theories), and the Tree Adjoining Grammar in its computational characteristics (e.g., in its apparent affinity with Mildly Context Sensitive Languages). The representations learned (...) by our algorithm are truly emergent from the (unannotated) corpus data, whereas those found in published works on cognitive and construction grammars and on TAGs are hand-tailored. Thus, our results complement and extend both the computational and the more linguistically oriented research into language acquisition. We conclude by suggesting how empirical and formal study of language can be best integrated. (shrink)

In classical India, Jain philosophers developed a theory of viewpoints ( naya-vāda ) according to which any statement is always performed within and dependent upon a given epistemic perspective or viewpoint. The Jainas furnished this epistemology with an (epistemic) theory of disputation that takes into account the viewpoint in which the main thesis has been stated. The main aim of our paper is to delve into the Jain notion of viewpoint-contextualisation and to develop the elements of a suitable logical system (...) that should offer a reconstruction of the Jainas’ epistemic theory of disputation. A crucial step of our project is to approach the Jain theory of disputation with the help of a theory of meaning for logical constants based on argumentative practices called dialogical logic . Since in the dialogical framework the meaning of the logical constants is given by the norms or rules for their use in a debate, it provides a meaning theory closer to the Jain context-sensitive disputation theory than the main-stream formal model-theoretic semantics. (shrink)

Cognitive Science, Volume 46, Issue 2, February 2022.

A word-by-word human sentence processing complexity metric is presented. This metric formalizes the intuition that comprehenders have more trouble on words contributing larger amounts of information about the syntactic structure of the sentence as a whole. The formalization is in terms of the conditional entropy of grammatical continuations, given the words that have been heard so far. To calculate the predictions of this metric, Wilson and Carroll's (1954) original entropy reduction idea is extended to infinite languages. This is demonstrated with (...) a mildly context-sensitive language that includes relative clauses formed on a variety of grammatical relations across the Accessibility Hierarchy of Keenan and Comrie (1977). Predictions are derived that correlate significantly with repetition accuracy results obtained in a sentence-memory experiment (Keenan & Hawkins, 1987). (shrink)

Treatment pressures are communicative strategies that mental health professionals use to influence the decision-making of mental health service users and improve their adherence to recommended treatment. Szmukler and Appelbaum describe a spectrum of treatment pressures, which encompasses persuasion, interpersonal leverage, offers and threats, arguing that only a particular type of threat amounts to informal coercion. We contend that this account of informal coercion is insufficiently sensitive to context and fails to recognize the fundamental power imbalance in mental healthcare. (...) Based on a set of counterexamples, we argue that what makes a proposal coercive is not whether service users will actually be made worse off if they reject the proposal, but rather whether they have the justified belief that this is the case. Whether this belief is justified depends on the presence of certain contextual factors, such as strong dependency on professionals and the salient possibility of formal coercion. (shrink)

After more than 15 years of study, the 1/f noise or complex-systems approach to cognitive science has delivered promises of progress, colorful verbiage, and statistical analyses of phenomena whose relevance for cognition remains unclear. What the complex-systems approach has arguably failed to deliver are concrete insights about how people perceive, think, decide, and act. Without formal models that implement the proposed abstract concepts, the complex-systems approach to cognitive science runs the danger of becoming a philosophical exercise in futility. The complex-systems (...) approach can be informative and innovative, but only if it is implemented as a formal model that allows concrete prediction, falsification, and comparison against more traditional approaches. (shrink)

We compare our model of unsupervised learning of linguistic structures, ADIOS [1], to some recent work in computational linguistics and in grammar theory. Our approach resembles the Construction Grammar in its general philosophy (e.g., in its reliance on structural generalizations rather than on syntax projected by the lexicon, as in the current generative theories), and the Tree Adjoining Grammar in its computational characteristics (e.g., in its apparent affinity with Mildly Context Sensitive Languages). The representations learned by our (...) algorithm are truly emergent from the (unannotated) corpus data, whereas those found in published works on cognitive and construction grammars and on TAGs are hand-tailored. Thus, our results complement and extend both the computational and the more linguistically oriented research into language acquisition. We conclude by suggesting how empirical and formal study of language can be best integrated. (shrink)

Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string (...) and tree languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. in Theor Comput Sci 88:191–229, 1991) or linear context-free rewriting systems (Weir in Characterizing mildly context-sensitive grammar formalisms, University of Pennsylvania, 1988). In this paper, we give a simple, direct proof of the fact that second-order ACGs are simulated by hyperedge replacement grammars, which implies that the string and tree generating power of the former is included in that of the latter. The normal form for tree-generating hyperedge replacement grammars given by Engelfriet and Maneth (Graph transformation. Lecture notes in computer science, vol 1764. Springer, Berlin, pp 15–29, 2000) can then be used to show that the tree generating power of second-order ACGs is exactly the same as that of hyperedge replacement grammars. (shrink)

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by (...) Romero and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

i) We show for each context-free language L that by considering each word of L as a structure in a natural way, one turns L into a finite union of classes which satisfy a finitary analog of the characteristic properties of complete universal first order classes of structures equipped with elementary embeddings. We show this to hold for a much larger class of languages which we call free local languages. ii) We define local languages, a class of languages between (...) free local and context-sensitive languages. Each local language L has a natural extension L ∞ to infinite words, and we prove a series of "pumping lemmas", analogs for each local language L of the "uvxyz theorem" of context free languages: they relate the existence of large words in L or L ∞ to the existence of infinite "progressions" of words included in L, and they imply the decidability of various questions about L or L ∞ . iii) We show that the pumping lemmas of ii) are independent from strong axioms, ranging from Peano arithmetic to ZF + Mahlo cardinals. We hope that these results are useful for a model-theoretic approach to the theory of formal languages. (shrink)

Any theory of information needs to comply with what we call the implementation, formalization, and representation constraints. These constraints are justified by basic considerations concerning scientific modelling and methodology. In the first part of this paper, we argue that the implementation and formalization constraints cannot be satisfied because the relation between Shannon information and IIT must be clarified. In the second part of the paper, we focus on the representation constraint. We argue that IIT cannot succeed in satisfying this constraint (...) for semantic contents without offering models for concepts, conceptual roles, and context sensitivity. In the final part of the paper, further complications are raised with respect to the distinction between consciousness and attention, which apply more specifically to the representation constraint. We conclude with some recommendations as to how IIT may succeed in solving these problems, highlighting the advantages and enormous potential of IIT as a scientific theory. (shrink)

This paper argues for two theses: that degrees of belief are context sensitive; that outright belief is belief to degree 1. The latter thesis is rejected quickly in most discussions of the relationship between credence and belief, but the former thesis undermines the usual reasons for doing so. Furthermore, identifying belief with credence 1 allows nice solutions to a number of problems for the most widely-held view of the relationship between credence and belief, the threshold view. I provide (...) a sketch of a formal framework on which both theses are true. This is a modified Bayesian framework; I argue that despite making credences context-sensitive, the framework lets Bayesians hold on to their signature explanatory successes. The sort of context-sensitivity claimed for credences here mirrors the sort of context-sensitivity I have elsewhere claimed for outright belief: one's credences depend, in part, on the space of alternative possibilities one takes seriously in a context. (shrink)

The traditional view is that 'now’ is a pure indexical, denoting the utterance time. Yet, despite its initial appeal, the view has faced criticism. A range of data reveal 'now’ allows for discourse-bound (i.e., anaphoric) uses, and can occur felicitously with the past tense. The reaction to this has typically been to treat ‘now’ as akin to a true demonstrative, selecting the prominent time supplied by the non-linguistic context or prior discourse. We argue this is doubly mistaken. The first (...) mistake concerns the semantic value of ‘now’, which is not a time, but a state — the consequent state of a prominent event. The second is that ‘now’ is a pure indexical after all, insofar as its interpretation is determined without recourse to extra-linguistic supplementation. Specifically, we argue that any occurrence of 'now’ selects the consequent state of the most prominent event, where event-prominence is linguistically maintained through prominence-affecting updates contributed by coherence relations. Our analysis accounts straightforwardly for a wide range of discourse initial and discourse bound uses of ‘now’, while giving it a simple indexical meaning. (shrink)

In Information Systems development, resilience has often been treated as a non-functional requirement and little or no work is aimed at building resilience in end-users through systems development. The question of how values and resilience (for the end-user) can be incorporated into the design of systems is an on-going research activity in user-centered design. In this paper we evaluate the relation of values and resilience within the context of an ongoing software development project and contribute a formal model of (...) co-design based on a significant extension of Abstract Design Theory. The formal analysis provides a full and clear-cut definition of the co-design space, its objectives and processes. On the basis of both, we provide an abstract definition of resilient system (for the end-user). We conclude that value-sensitive co-design enforces better resilience in end-users. (shrink)

Notice that this paper has not claimed that all natural languages are CFL's. What it has shown is that every published argument purporting to demonstrate the non-context-freeness of some natural language is invalid, either formally or empirically or both.18 Whether non-context-free characteristics can be found in the stringset of some natural language remains an open question, just as it was a quarter century ago.Whether the question is ultimately answered in the negative or the affirmative, there will be interesting (...) further questions to ask. If it turns out that natural languages are indeed always CFL's, it will be reasonable to ask whether this helps to explain why speakers apparently recognize so quickly whether a presented utterance corresponds to a grammatical sentence or not, and to associate structural and semantic details with it. It might also be reasonable to speculate about the explanation for the universally context-free character of the languages used by humans, and to wonder whether evolutionary biological factors are implicated in some way (Sampson (1979) could be read in this light). And naturally, it will be reasonable to pursue the program put forward by Gazdar (1981, in press) to see to what extent CFL-inducing grammatical devices can be exploited to yield insightful descriptions of natural languages that capture generalizations in revealing ways.If a human language that is not a CFL is proved to exist, on the other hand, a different question will be raised: give the non-context-free character of human languages in general, why has this property been so hard to demonstrate that it has taken over twenty-five years to bring it to light since the issue was first explicitly posed? If human languages do not have to be CFL's, why do so many (most?) of them come so close to having the property of context-freeness? And, since the CFL's certainly constitute a very broad class of mathematically natural and computationally tractable languages, what property of human beings or their communicative or cognitive needs is it that has caused some linguistic communities to reach beyond the boundaries of this class in the course of evolving a linguistic system?Either way, we shall be interested to see our initial question resolved, and further questions raised. One cautionary word should be said, however, about the implications (or lack of them) that the answer will have for grammatical studies. Chomsky has repeatedly stated that he does not see weak generative capacity as a theme of central importance in the theory of grammar, and we agree. It is very far from being the case that the recent resurgence of interest in exploring the potential of CF-PSG or equivalent systems will, or should, be halted dead in its tracks by the discovery (if it is ever forthcoming) that some natural language is not a CFL. In the area of parsing, for instance, it seems possible that natural languages are not only parsed on the basis of constituent structure such as a CF-PSG would assign, but are parsed as if they were finite state languages (see Langendoen (1975) and Church (1980) for discussion along these lines). That is, precisely those construction-types that figure in the various proofs that English is not an FSL appear to cause massive difficulty in the human processing system; the sentences crucial to the proofs are for the most part unprocessable unless they are extremely short (yet the arguments for English not being and FSL only go through if length is not an issue). This means that in practice properties of finite state grammars are still of great potential importance to linguistic theory despite the fact that they do not provide the framework for defining the total class of grammatical sentences. The same would almost certannly be true of CF-PSG's if they were shown to be inadequate in a similar sense. It is highly unlikely that the advances made so far in far in phrase structure description could be nullified by a discovery about weak generative capacity. Moreover, there are known to be numerous ways in which the power of CF-PSG's can be marginally enhanced to permit, for example, xx languages to be generated without allowing anything like the full class of recursively enumerable or even context-sensitive languages (see Hopcroft and Ullmann (1979), Chapter 14) for an introduction to this topic, noting especially Figure 14.7 on p. 393. The obvious thing to do if natural languages were ever shown not to be CFL's in the general case would be to start exploring such minimal enhancements of expressive power to determine exactly what natural languages call for in this regard and how it could be effectively but parsimoniously provided in a way that closely modelled human linguistic capacities.In the meantime, it seems reasonable to assume that the natural languages are a proper subset of the infinite-cardinality CFL's until such time as they are validly shown not to be. (shrink)

Unification grammars are widely accepted as an expressive means for describing the structure of natural languages. In general, the recognition problem is undecidable for unification grammars. Even with restricted variants of the formalism, off-line parsable grammars, the problem is computationally hard. We present two natural constraints on unification grammars which limit their expressivity and allow for efficient processing. We first show that non-reentrant unification grammars generate exactly the class of context-free languages. We then relax the constraint and show that (...) one-reentrant unification grammars generate exactly the class of mildly context-sensitive languages. We thus relate the commonly used and linguistically motivated formalism of unification grammars to more restricted, computationally tractable classes of languages. (shrink)

This paper argues for a treatment of belief as essentially sensitive to certain features of context. The first part gives an argument that we must take belief to be context-sensitive in the same way that assertion is, if we are to preserve appealing principles tying belief to sincere assertion. In particular, whether an agent counts as believing that p in a context depends on the space of alternative possibilities the agent is considering in that (...) class='Hi'>context. One and the same doxastic state may amount to belief that p in one context but not another. The second part of the paper gives a formal treatment of doxastic states, according to which belief is context-sensitive along just these lines. The model is applied to characterize (but not to refute) skeptical arguments. (shrink)

An NP-hardness proof for non-local Multicomponent Tree Adjoining Grammar (MCTAG) by Rambow and Satta (1st International Workshop on Tree Adjoining Grammers 1992 ), based on Dahlhaus and Warmuth (in J Comput Syst Sci 33:456–472, 1986 ), is extended to some linguistically relevant restrictions of that formalism. It is found that there are NP-hard grammars among non-local MCTAGs even if any or all of the following restrictions are imposed: (i) lexicalization: every tree in the grammar contains a terminal; (ii) dominance links: (...) every tree set contains at most two trees, and in every such tree set, there is a link between the foot node of one tree and the root node of the other tree, indicating that the former node must dominate the latter in the derived tree. This is the version of MCTAG proposed in Becker et al. (Proceedings of the 5th conference of the European chapter of the Association for Computational Linguistics 1991 ) to account for German long-distance scrambling. This result restricts the field of possible candidates for an extension of Tree Adjoining Grammar that would be both mildly context-sensitive and linguistically adequate. (shrink)

Contemporary logicians have expanded upon the old notions of psychologism in logic and proposed new, weakened versions of it. Those weakened versions postulate that psychologistic logic does not have to inform about the ontology or metaphysics of reasoning. Instead, logic applied in cognitive science could serve as one of many paradigms for making empirical predictions about the observable process of human reasoning. The purpose of this article is to entertain this notion and answer the question: what properties should a logical (...) system formally representing actual human reasoning have? Based on the existing evidence from cognitive science and neuroscience we identified three potential candidates: context-sensitivity (satisfied for example by adaptive logics), content-sensitivity (satisfied by non-Fregean logics) and probabilism (satisfied for example by fuzzy logics). (shrink)

This essay attempts to give substance to the claim that the liar''sparadox shows the truth predicate to be context sensitive. The aim ismodest: to provide an account of the truth predicate''s contextsensitivity (1) that derives from a more general understanding ofcontext sensitivity, (2) that does not depend upon a hierarchy ofpredicates and (3) that is able to address the liar''s paradox. Theconsequences of achieving this goal are not modest, though. Perhapssurprisingly, for reasons that will be discussed in the (...) last section ofthis essay, a natural account of the truth predicate''s contextsensitivity appears to lead naturally to a version of the correspondencetheory of truth according to which the truth predicate can be understoodas a relation holding between a sentence and a salient set of contexts.The plan of this essay is as follows. Section 1 contains a generalaccount of context sensitivity. The purpose of this section is toisolate certain features of context sensitivity and formal methods oftreating them, which we will then apply to the truth predicate. Section 2then outlines two minimal conditions to be satisfied by a truthpredicate. In Section 3, I present a version of the liar paradoxthat results from these conditions and the assumption that the truthpredicate is not context sensitive in the sense described in sectionone. Finally, in section four, I provide what appear to be naturalconsequences of a truth predicate''s context sensitivity. Section 4 isadmittedly speculative and points in the direction for future research. (shrink)

Background Intensive and critical care nurses need to demonstrate ethical sensitivity especially in recognizing and dealing with ethical dilemmas particularly as they often care for patients living with life-threatening conditions. Theories suggest that there is a convergence between nurses’ empathy and ethical sensitivity. Evidence in the literature indicates that nurses’ emotional, demographic, and work characteristics are associated with their level of empathy and ethical sensitivity. Aim To investigate the relationship between nurses’ empathy and ethical sensitivity, considering their emotional states (depression, (...) anxiety, and stress), demographic and work characteristics, and test an empirical model describing potential predictors of empathy (as a mediator) and ethical sensitivity using path analysis. Research design Using a cross-sectional design, the philosophical theory of care ethics and empathy was extended and adopted as a conceptual framework for this study and tested by path analysis. Participants and research context: Data were collected from 347 intensive care nurses recruited by ten educational-medical hospitals in Iran using a questionnaire between February and March 2021. Ethical considerations The study was reviewed by the Ethical Advisory Board in Iran and conducted according to the Declaration of Helsinki. Findings Study participants demonstrated a mild level of stress, anxiety, and depression, alongside a relatively high level of empathy and ethical sensitivity. Nurses with good socioeconomic status had higher empathetic behavior with patients than those with weak status. Nurses aged over 40 who had received ethics training and had higher work experience were associated with higher ethical sensitivity compared to nurses under 20 years of age. Empathy directly affected ethical sensitivity; however, anxiety had an indirect effect on ethical sensitivity through empathy. Among demographic factors, age had a positive direct effect on ethical sensitivity. Conclusions Less anxiety and a high level of empathy contribute to higher levels of ethical sensitivity among intensive and critical care nurses. (shrink)

This chapter develops a contextualist account of normative language, focusing on broadly normative readings of modal verbs. The account draws on a more general framework for implementing a contextualist semantics and pragmatics, Discourse Contextualism. The aim of Discourse Contextualism is to derive the discourse properties of normative language from a contextualist interpretation of an independently motivated formal semantics, along with principles of interpretation and conversation. In using normative language, interlocutors can exploit their grammatical and world knowledge, and general pragmatic reasoning (...) skills, to manage an evolving system of norms. Discourse Contextualism provides a perspicuous framework for further philosophical theorizing about the nature of normativity, normative language, and normative judgment. Delineating these issues can help refine our understanding of the space of overall theories and motivate more fruitful ways the dialectics may proceed. Discourse Contextualism provides a linguistic basis for a more comprehensive theory of normativity and normative discourse and practice. (shrink)

In this paper we propose a new semantics, based on the notion of a "contextual model", that makes it possible to express and compare — within a unique formal framework — different views on the roles of various notions of context in knowledge ascriptions. We use it to provide a logical analysis of such positions as skeptical and moderate invariantism, contextualism, and subject-sensitive invariantism. A dynamic formalism is also proposed that offers new insights into a classical skeptical puzzle.

The name of Michel Foucault is most commonly associated with words such as power, knowledge, discourse, archaeology, and genealogy. However, in his final public lectures delivered prior to his death in June 1984 at the Collège de France from 1981 to 1984 and at the University of California at Berkeley in 1983, Foucault turned his focus to another word, parrhesia, a Greek term ordinarily translated into English by “candor, frankness; outspokenness or boldness of speech”. The parrhesiastes is the one who (...) uses parrhesia, i.e., the one who speaks the truth. This paper is about Foucault’s choice of parrhesia as the topic of his final lectures and what the articulation of these lectures tells us about truth telling in a specific academic context. It will consider Foucault’s treatment of parrhesia with respect to the specific practice of Foucault’s articulation of this work in the specific formal settings in which it occurred at the Collège de France and the University of California at Berkeley. The objective here is to consider Foucault’s lectures as potential examples of parrhesia and address the question of whether or not is possible to “speak the truth,” in the Greek sense of the term, within the institutional constraints of academic discourse. (shrink)

Since a human language consists of an infinite number of sentences, it cannot be adequately described by enumeration. Hence, as Chomsky wrote in the first paragraph of his first book, Syntactic Structures, an adequate description of a language is approached through the specification of a generative device that will generate and structurally describe all the sentences of a language. And since generative devices form a hierarchy in terms of descriptive power, the basic question of grammar is what is the minimum (...) of power needed to generate human languages. What this book does is describe the Chomsky hierarchy in a very clear and accessible way. Finite state grammars are shown to be equivalent in generative power to regular phrase structure grammars. After context free, and context sensitive phrase structure grammars, one finds at the top of the hierarchy transformational grammars, which Kimball has shown to be weakly equivalent to a universal phrase structure grammar, i.e., one in which rules can delete items. This last equivalence allows one to appreciate the central problem in current grammatical theory: that the "standard theory" of Aspects of the Theory of Syntax allows so much power for the construction of grammars that solutions become arbitrary and non-empirical, and hence the problem is to find a principled minimization of the power of transformational grammars. This is a clear, up-to-date, and elegant little book. One admirably suitable as a comparatively undemanding introduction to the abstract theory of grammar, or as a way of brushing-up on the subject.—J.L. (shrink)

Timing diagrams are popular in hardware design. They have been formalized for use in reasoning tasks, such as computer-aided verification. These efforts have largely treated timing diagrams as interfaces to established notations for which verification is decidable; this has restricted timing diagrams to expressing only regular language properties. This paper presents a timing diagram logic capable of expressing certain context-free and context-sensitive properties. It shows that verification is decidable for properties expressible in this logic. More specifically, it (...) shows that containment of -regular languages generated by Büchi automata in timing diagram languages is decidable. The result relies on a correlation between timing diagram and reversal bounded counter machine languages. (shrink)

We review the properties of Global Index Grammars (GIGs), a grammar formalism that uses a stack of indices associated with productions and has restricted context-sensitive power. We show how the control of the derivation is performed and how this impacts in the descriptive power of this formalism both in the string languages and the structural descriptions that GIGs can generate.

According to the Relevant Alternatives (RA) Theory of knowledge, knowing that something is the case involves ruling out (only) the relevant alternatives. The conception of knowledge in epistemic logic also involves the elimination of possibilities, but without an explicit distinction, among the possibilities consistent with an agent’s information, between those relevant possibilities that an agent must rule out in order to know and those remote, far-fetched or otherwise irrelevant possibilities. In this article, I propose formalizations of two versions of the (...) RA theory. Doing so clarifies a famous debate in epistemology, pitting Fred Dretske against David Lewis, about whether the RA theorist should accept the principle that knowledge is closed under known implication, familiar as the K axiom in epistemic logic. Dretske’s case against closure under known implication leads to a study of other closure principles, while Lewis’s defense of closure by appeal to the claimed context sensitivity of knowledge attributions leads to a study of the dynamics of context. Having followed the first lead at length in other work, here I focus more on the second, especially on logical issues associated with developing a dynamic epistemic logic of context change over models for the RA theory. (shrink)

P3 is the most prominent of the electrical potentials of the human electroencephalogram that are sensitive to psychological variables. According to the most influential current hypothesis about its psychological significance [E. Donchin's], the “context updating” hypothesis, P3 reflects the updating of working memory. This hypothesis cannot account for relevant portions of the available evidence and it entails some basic contradictions. A more general formulation of this hypothesis is that P3 reflects the updating of expectancies. This version implies that (...) P3-evoking stimuli are initially unexpected but later become expected. This contradiction cannot be resolved within this formulation. The alternative “context closure” hypothesis retains the concept of “strategic information processing” emphasized by the context updating hypothesis. P3s are evoked by events that are awaited when subjects deal with repetitive, highly structured tasks; P3s arise from subjects' combining successive stimuli into larger units. The tasks in which P3s are elicited can accordingly be classified in terms of their respective formal sequences of stimuli. P3 may be a physiological indicator of excess activation being released from perceptual control areas. (shrink)

Drawing upon research in philosophical logic, linguistics and cognitive science, this study explores how our ability to use and understand language depends upon our capacity to keep track of complex features of the contexts in which we converse.

In this paper, I argue that Contextualist theories of semantics are not undermined by their purported failure to explain the practice of indirect reporting. I adopt Cappelen & Lepore’s test for context sensitivity to show that the scope of context sensitivity is much broader than Semantic Minimalists are willing to accept. The failure of their arguments turns on their insistence that the content of indirect reports is semantically minimal.

This paper introduces a notion of cognitive context-sensitivity, in contrast with linguistic context-sensitivity. When a sentence is cognitively contextsensitive, the truth-value assigned to the sentence can vary with context, without any corresponding shift in the interpretation of the terms or structure of the sentence. The notion will be deployed to explain the context-sensitivity of generic generalizations.

Abstract: I argue that practically all vague language is context-sensitive in a covert and unfamiliar way. I first outline a novel puzzle concerning the interaction of conditionals and vagueness. I then argue that the best way of resolving the puzzle is through positing context-sensitive penumbral connections between sundry parts of language. I argue that these penumbral connections shift through a distinct form of Lewisian accommodation. The upshot is that meaning is a far shiftier thing than has (...) typically been thought. (shrink)

Research on dyscalculia in neurodegenerative diseases is still scarce, despite high impact on patients’ independence and activities of daily living function. Most studies address Alzheimer’s Disease; however, patients with Parkinson’s Disease also have a higher risk for cognitive impairment while the relation to arithmetic deficits in financial contexts has rarely been studied. Therefore, the current exploratory study investigates deficits in two simple arithmetic tasks in financial contexts administered within the Clinical Dementia Rating in a sample of 100 PD patients. Patients (...) were classified as cognitively normal or mildly impaired according to Level I consensus criteria, and assessed using a comprehensive neuropsychological test battery, neurological motor examination, and sociodemographic and clinical questionnaires. In total, 18% showed arithmetic deficits: they were predominately female, had longer disease duration, more impaired global cognition, but minor signs of depression compared to PD patients without arithmetic deficits. When correcting for clinical and sociodemographic confounders, greater impairments in attention and visuo-spatial/constructional domains predicted occurrence of arithmetic deficits. The type of deficit did not seem to be arbitrary but seemed to involve impaired place × value processing frequently. Our results argue for the importance of further systematic investigations of arithmetic deficits in PD with sensitive tests to confirm the results of our exploratory study that a specific subgroup of PD patients present themselves with dyscalculia. (shrink)

This article is a survey of the literature on context sensitivity in the philosophy of language.

According to contextualist accounts, the truth value of a given knowledge ascription may vary with features of the ascriber's context. As a result, the following may be true: "X doesn't know that P but Y says something true in asserting 'X knows that P'". The contextualist must defend his theory in the light of this unpleasant but inevitable consequence. The best way of doing this is to construe the context sensitivity of knowledge ascriptions not as deriving from an (...) alleged indexicality of the word "know" nor from its vagueness or ambiguity, but rather from a distinct semantic feature of the word "know", namely its unspecificity. (shrink)

In this paper, I report new empirical data on folk semantic intuitions concerning color adjectives in so-called context-shifting experiments. Contextualists present such experiments — that is, they describe different conversational contexts in which a given sentence is uttered — in order to argue that context can shape meaning and truth conditions to such a degree that competent speakers would give opposite truth evaluations of the same sentence in different contexts. The initial findings of Hansen and Chemla (2013) suggest (...) that laypersons’ semantic judgments are sensitive to context in the same way that is predicted by contextualists. In this paper, I focus on context-shifting experiments that involve color adjectives; also, I present experiments that are a partial replication and methodological extension of Hansen and Chemla’s study. One aim of my study was to corroborate these authors’ findings using a bigger sample (total N = 1128), but the main goal was to test the stability of results in different methodological variants of empirical adaptations of context-shifting experiments. This part of the study addresses the issues pointed out in my earlier paper (Ziółkowski 2017), where I argued that certain experimental settings (within-subjects) might bring data that is more favorable to contextualism than other settings (between-subjects). My study compares three different experimental settings: within-subjects (with randomized order of context presentation), between-subjects (where participants evaluating different contexts aredistinct groups), and “contrastive design” (where both contexts are presented side by side on the same screen). My results are highly consistent across the methodological variants I employed, but while they show some of the effects expected by contextualists, it is disputable whether they bring strong support to contextualism with respect to color adjectives. (shrink)

The paper is primarily concerned with laying out the space of positions that purport to account for semantic context sensitivity of natural language expressions and with making a prima facie case for relativism. I start with distinguishing between pre-semantic, semantic and post-semantic context sensitivity. In the following section I briefly present the classic picture of indexicals due to David Kaplan and assess some arguments for the introduction of certain parameters in the circumstances of evaluation (specifically, time). In section (...) III I envisage two views that purport to expand semantic context sensitivity beyond expressions from “the basic set”: indexicalism and contextualism. In section IV, by means of an example taken from John Perry, I draw attention to a specific form of semantic context sensitivity, namely that in which what is affected by context are the circumstances of evaluation of utterances rather than their content. The example leads to the necessity of distinguishing between two roles of context: a content-determinative one and a circumstance-determinative one. In section V I introduce relativism as the view incorporating the claim that context has a circumstance-determinative role and contrast it with the two views presented before. In the final section I analyze a certain type of argument usually adduced in favor of contextualism (the so-called “context-shifting arguments”) and show that in order to work it has to rule out relativism. I conclude by claiming that the battle must be fought by giving arguments to the effect that a certain parameter should or should not be part of the circumstances of evaluation rather than the content of utterances. (shrink)

The target article criticises reductionist programs in cognitive science for failing to take into account important explanatory features of the organism's physical embodiment and task environment. My aim in this commentary is to show how such features are increasingly being taken seriously by (some) researchers in cognitive neuroscience, who describe the functional activity of neural structures in terms that are context-sensitive rather than intrinsic. This approach can allow us to take seriously the concerns presented in Gallagher’s [2019] target (...) article without having to completely give up on neuroscientific explanations of human behaviour. (shrink)

Epistemologists typically assume that the acquisition of knowledge from testimony is not threatened at the stage at which audiences interpret what proposition a speaker has asserted. Attention is instead typically paid to the epistemic status of a belief formed on the basis of testimony that it is assumed has the same content as the speaker’s assertion. Andrew Peet has pioneered an account of how linguistic context sensitivity can threaten the assumption. His account locates the threat in contexts in which (...) an audience’s evidence under-determines which proposition a speaker is asserting. I argue that Peet’s epistemic uncertainty account of the threat is mistaken and I propose an alternative. The alternative locates the threat in contexts that provide factors that give audiences a mistaken psychological certainty or confidence that a speaker has asserted a proposition she has not. (shrink)

According to cognitivist truth-theoretic accounts of semantic competence, aspects of our linguistic behavior can be explained by ascribing to speakers cognition of truth theories. It's generally assumed on this approach that, however much context sensitivity speakers' languages contain, the cognized truththeories themselves can be adequately characterized context insensitively—that is, without using in the metalanguage expressions whose semantic value can vary across occasions of utterance. In this paper, I explore some of the motivations for and problems and consequences of (...) dropping this assumption. (shrink)

Una Stojnić urges the radical view that the meaning of context-sensitive language is not “partially determined by non-linguistic features of utterance situation”, as traditionally thought, but rather “is determined entirely by grammar—by rules of language that have largely been missed”. The missed rules are ones of discourse coherence. The paper argues against this radical view as it applies to demonstrations, demonstratives, and the indexical ‘I’. Stojnić’s theories of demon-strations and demonstratives are found to be seriously incomplete, failing to (...) meet the demands on any theory of reference. Furthermore, the paper argues that, so far as Stojnić’s theories of these terms go, they are false. This argument appeals to perception-based theories of demonstratives, a part of the tradition that Stojnić strangely overlooks. The paper ends by arguing briefly that though coherence has a place in a theory of understanding, it has no place in a theory of meaning. (shrink)