In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata. Already in the 60s, it was known that deterministic Büchi word automata are less expressive than nondeterministic Büchi word automata. The proof is easy and can be stated in a few lines. In the late 60s, Rabin proved that Büchi tree automata are less expressive than Rabin tree automata. This proof is much harder. In this work we (...) relate the expressiveness gap between deterministic and nondeterministic Büchi word automata and the expressiveness gap between Büchi and Rabin tree automata. We consider tree automata that recognize derived languages. For a word language L, the derived language of L, denoted L, is the set of all trees all of whose paths are in L. Since often we want to specify that all the computations of the program satisfy some property, the interest in derived languages is clear. Our main result shows that L is recognizable by a nondeterministic Büchi word automaton but not by a deterministic Büchi word automaton iff L is recognizable by a Rabin tree automaton and not by a Büchi tree automaton. Our result provides a simple explanation for the expressiveness gap between Büchi and Rabin tree automata. Since the gap between deterministic and nondeterministic Büchi word automata is well understood, our result also provides a characterization of derived languages that can be recognized by Büchi tree automata. Finally, it also provides an exponential determinization of Büchi tree automata that recognize derived languages. (shrink)

This study explores the relation between pain sensitivity and the cognitive processing of words. 130 participants evaluated the pain-relatedness of a total of 600 two-syllabic nouns, and subsequently reported on their own pain sensitivity. The results demonstrate that pain-sensitive people (based on their self-report) associate words more strongly with pain than less sensitive people. In particular, concrete nouns like syringe, wound, knife, and cactus, are considered to be more pain-related for those who are more pain-sensitive. We discuss our results in (...) the light of three theoretical frameworks – cognitive bias, prototype theory, embodied account. We argue that the latter is best suited to explain the results of this study in the sense in which it implies the principle of body specificity, according to which different bodily characteristics lead to corresponding differences in the way in which people construct concepts and word meanings. (shrink)

This study explores the relation between pain sensitivity and the cognitive processing of words. 130 participants evaluated the pain-relatedness of a total of 600 two-syllabic nouns, and subsequently reported on their own pain sensitivity. The results demonstrate that pain-sensitive people associate words more strongly with pain than less sensitive people. In particular, concrete nouns like ‘syringe’, ‘wound’, ‘knife’, and ‘cactus’ are considered to be more pain-related for those who are more pain-sensitive. These findings dovetail with recent studies suggesting that certain (...) bodily characteristics influence the way people form mental representations (Casasanto, 2009). We discuss three mechanisms which could potentially account for our findings: attention and memory bias, prototype analysis, and embodied cognition. We argue that, whereas none of these three accounts can be ruled out, the embodied cognition hypothesis provides a particularly promising view to accommodate our data. (shrink)

concepts like numbers or time are thought to be represented in the more concrete domain of space and the sensorimotor system. For example, thinking of past or future events has a physical manifestation in backward or forward body sway, respectively. In the present study, we investigated the reverse effect: can passive whole-body motion influence the processing of temporal information? Participants were asked to categorize verbal stimuli to the concepts future or past while they were displaced forward and backward , or (...) upward and downward . The results showed that future related verbal stimuli were categorized faster during forward as compared to backward motion. This finding supports the view that temporal events are represented along a mental time line and that the sensorimotor system is linked to that representation. We showed that body motion is not just an epiphenomenon of temporal thoughts. Passive whole-body motion can influence higher-order temporal cognition. (shrink)

Attentional biases have received considerable focus in research on cognitive biases and body dissatisfaction (BD). However, most work has focused on spatial allocation of attention. The current two experiments employed a rapid serial visual presentation (RSVP) task to investigate the temporal allocation of attention to body-related words among young females with high and low BD. Experiment 1 assessed the stimulus-driven attention of body-related stimuli. Participants identified a neutral second target (T2) as accurately as possible while ignoring the preceding neutral, fat-, (...) or thin-related first target (T1). As expected, we observed spontaneous attentional blink effects elicited by fat- and thin-related T1s among participants with high BD, suggesting enhanced awareness of body-related stimuli even when this information does not have to be identified. Such effects did not emerge among participants without BD. Experimental 2 investigated the goal-directed attention of body-related stimuli, during which participants needed to identify both the T1 and neutral T2. Participants with BD showed reduced attentional blink effects after both fat- and thin-related T1, suggesting facilitated consolidation of body-related information in goal-directed attention among participants with BD. The findings may have important clinical implications for understanding how to decrease and even prevent body image dissatisfaction. (shrink)

This study assessed whether real-life stimulus material can elicit conscious and unconscious priming. A typical masked priming paradigm was used, with brand logo primes. We used a rigorous method to assess participants’ awareness of the subliminal information. Our results show that shortly presented and masked brand logos have the power to prime their brand names and, remarkably, words associated to the brand . However, this only occurred when the logos could be categorized clearly above the consciousness threshold. Once the primes (...) were presented close to the consciousness threshold, no subliminal influences on behavior were observed. (shrink)

Hogue's Irregular Verbs of Attic Prose - The Irregular Verbs of Attic Prose, their forms, prominent meanings, and important compounds; together with lists of related words and English derivatives. By Addison Hogue, Professor of Greek in the University of Mississippi. Ginn and Co., 1889. 6s. - Volume 4 Issue 4.

Programming artificial intelligence to make fairness assessments of texts through top-down rules, bottom-up training, or hybrid approaches, has presented the challenge of defining cross-cultural fairness. In this paper a simple method is presented which uses vectors to discover if a verb is unfair or fair. It uses already existing relational social ontologies inherent in Word Embeddings and thus requires no training. The plausibility of the approach rests on two premises. That individuals consider fair acts those that they would (...) be willing to accept if done to themselves. Secondly, that such a construal is ontologically reflected in Word Embeddings, by virtue of their ability to reflect the dimensions of such a perception. These dimensions being: responsibility vs. irresponsibility, gain vs. loss, reward vs. sanction, joy vs. pain, all as a single vector. The paper finds it possible to quantify and qualify a verb as fair or unfair by calculating the cosine similarity of the said verb’s embedding vector against FairVec—which represents the above dimensions. We apply this to Glove and Word2Vec embeddings. Testing on a list of verbs produces an F1 score of 95.7, which is improved to 97.0. Lastly, a demonstration of the method’s applicability to sentence measurement is carried out. (shrink)

This study aims at investigating vagueness in Security Council Resolutions by focussing on a selection of nouns and phrases used as the main casus belli for the Second Gulf War. Analysing a corpus of Security Council Resolutions relating to the conflict, the study leads a qualitative and quantitative analysis drawing upon Mellinkoff’s theories on “weasel words”, which are “words and expressions with a very flexible meaning, strictly dependent on context and interpretation”. Special attention is devoted to the historical/political consequences of (...) such vague and indeterminate expressions. The findings indicate that excessive vagueness might have led to biased or even strategically-motivated interpretations of the Resolutions, triggering the Iraqi conflict instead of a diplomatic solution. The analysis of the “weasel words” used in the Resolutions suggests the double-faced strength of such expressions: though they can guaranteed a wide degree of applicability of the Resolutions, their subjective interpretability might become a source of manipulation and elusiveness, with the overall legislative intent of using intentional vagueness as a political strategy. (shrink)

Programming artificial intelligence to make fairness assessments of texts through top-down rules, bottom-up training, or hybrid approaches, has presented the challenge of defining cross-cultural fairness. In this paper a simple method is presented which uses vectors to discover if a verb is unfair or fair. It uses already existing relational social ontologies inherent in Word Embeddings and thus requires no training. The plausibility of the approach rests on two premises. That individuals consider fair acts those that they would (...) be willing to accept if done to themselves. Secondly, that such a construal is ontologically reflected in Word Embeddings, by virtue of their ability to reflect the dimensions of such a perception. These dimensions being: responsibility vs. irresponsibility, gain vs. loss, reward vs. sanction, joy vs. pain, all as a single vector. The paper finds it possible to quantify and qualify a verb as fair or unfair by calculating the cosine similarity of the said verb’s embedding vector against FairVec—which represents the above dimensions. We apply this to Glove and Word2Vec embeddings. Testing on a list of verbs produces an F1 score of 95.7, which is improved to 97.0. Lastly, a demonstration of the method’s applicability to sentence measurement is carried out. (shrink)

The paper discusses how abduction relates tochildren's early acquisition of words, and has three sections: (a) a brief description of Peirce's notion of abduction; (b) a developmentof a hypothesis for the content-related symbolic functioning of words; and (c)arguments that children's knowledge of such functioning involves two kinds of abduction. In (b), children's knowledge of the content-related symbolic functioning of words is argued to consist in practical knowledge ofhow to use words to direct attention to kindsof things. To acquire such knowledge, (...) a childmust form a practical causal hypothesis aboutthe kind of thing to which a word directs attention. I argue that forming such ahypothesis involves abduction. On the basis of empirical work of several developmentalists, I also argue that children use abduction notmerely in forming practical hypotheses for the functioning of their earliest words, but also in forming theoretical hypotheses about core(as contrasted perceptual and functional)features of natural and artificial kinds. (shrink)

Information on age-related differences in affective meanings of words is widely used by researchers to study emotions, word recognition, attention, memory, and text-based sentiment analysis. To date, no Chinese affective norms for older adults are available although Chinese as a spoken language has the largest population in the world. This article presents the first large-scale age-related affective norms for 2,061 four-character Chinese words (AANC). Each word in this database has rating values in the four dimensions, namely, valence, arousal, (...) dominance, and familiarity. We found that older adults tended to perceive positive words as more arousing and less controllable and evaluate negative words as less arousing and more controllable than younger adults did. This indicates that the positivity effect is reliable for older adults who show a processing bias toward positive vs. negative words. Our AANC database supplies valuable information for researchers to study how emotional characteristics of words influence the cognitive processes and how this influence evolves with age. This age-related difference study on affective norms not only provides a tool for cognitive science, gerontology, and psychology in experimental studies but also serves as a valuable resource for affective analysis in various natural language processing applications. (shrink)

If, as Augustine taught, the rational powers of the mind are made in the image of the Trinity, it stands to reason that there would be discernible parallels between trinitarian relations and epistemological relations. According to Bonaventure, the Trinity in general, and the Word in particular, provides the model and guarantor for human knowledge. Since knowledge is inherently relational, the basic relations of causality, similitude, and assimilation and expression that Bonaventure finds operative within the Trinity are also key (...) elements of human knowledge. The human mind most images the Trinity when it operates according to exemplar causality, expressing its habitual knowledge as a pattern according to which it fashions objects in the world. I suggest that no philosophical description of human cognition can be successful without accounting for the role that causality, similitude, and expression play in human knowledge. (shrink)

Earlier research by the author brought about findings suggesting that people in a special way process words related to demands of a problem they previously solved, even when they do not consciously notice this relationship. The findings concerned interference in the task in which the words appeared, a shift in affective responses to them that depended on sex of the participants, and impaired memory of the words. The aim of this study was to replicate these effects and to find out (...) whether they are related to working memory span of the participants, taken as a measure of the individual’s ability to control attention. Participants in the experimental group solved a divergent problem, then performed an ostensibly unrelated speeded affective classification task concerning each of a series of nouns, and then performed an unexpected cued recall task for the nouns. Afterwards, a task measuring WM span was administered. In the control group there was no problem-solving phase. Response latencies for words immediately following problem-related words in the classification task were longer in the experimental than in the control group, but there was no relationship between this effect and WM span. Solving the problem, in interaction with sex of the participants and, independently, with their WM span, influenced affective responses to problem-related words. Recall of these words, however, was not impaired in the experimental group. (shrink)

How do facial movements and verbal statements relate to emotional processes? A familiar answer is that the primary phenomenon is an internally located emotion that may then get expressed on the fac...

The problem of natural kinds forms the busy crossroads where a number of larger problems meet: the problem of universals, the problem of induction and projectibility, the problem of natural laws and de re modalities, the problem of meaning and reference, the problem of intertheoretic reduction, the question of the aim of science, and the problem of scientific realism in general. Nor do these exhaust the list. Not surprisingly then, different writers confront a different ‘problem of natural kinds,’ depending on (...) which background issue is for them the principal issue at stake. The issues of essentialism, meaning, and reference, for example, have tended to dominate recent discussions of natural kinds. But evidently these are only part of the puzzle. (shrink)

An extensive exploration of the special properties of ‘exist’ is here undertaken. Two of several results are: Denying that `exist’ has associated with it a set of necessary and sufficient conditions has seemed to a number of philosophers to imply metaphysical nihilism . This is because it has seemed that without such conditions the target domain of `existence’ is arbitrarily open. I show this is wrong. Second, my analysis sheds light on the puzzling question of what we are asking when (...) we ask of something, `Does it exist?’ and mean that question in an ontically relevant way. (shrink)

The problem of natural kinds forms the busy crossroads where a number of larger problems meet: the problem of universals, the problem of induction and projectibility, the problem of natural laws and de re modalities, the problem of meaning and reference, the problem of intertheoretic reduction, the question of the aim of science, and the problem of scientific realism in general. Nor do these exhaust the list. Not surprisingly then, different writers confront a different ‘problem of natural kinds,’ depending on (...) which background issue is for them the principal issue at stake. The issues of essentialism, meaning, and reference, for example, have tended to dominate recent discussions of natural kinds. But evidently these are only part of the puzzle. (shrink)

In this study, we analyzed the relationship between the amodal (semantic) development of words and two popular emotional norms (emotional valence and arousal) in English and Spanish languages. To do so, we combined the strengths of semantics from vector space models (vector length, semantic diversity, and word maturity measures), and feature-based models of emotions. First, we generated a common vector space representing the meaning of words at different developmental stages (five and four developmental stages for English and Spanish, respectively) (...) using the Word Maturity methodology to align different vector spaces. Second, we analyzed the amodal development of words through mixed-effects models with crossed random effects for words and variables using a continuous time metric. Third, the emotional norms were included as covariates in the statistical models. We evaluated more than 23,000 words, whose emotional norms were available for more than 10,000 words, in each language separately. Results showed a curve of amodal development with an increasing linear effect and a small quadratic deceleration. A relevant influence on the amodal development of words was found only for emotional valence (not for arousal), suggesting that positive words have an earlier amodal development and a less pronounced semantic change across early lifespan. (shrink)

This article explores the idea that, just as the Jewish-Christian dialogue today benefits from the historical consciousness of critical biblical scholarship, so might the dialogue further benefit by a stronger engagement with the corporeal consciousness that permeates both Christian and Jewish traditions in relation to Sacred Scripture. That is, the well-attested 'turn toward history' is also a 'turn toward the body'. Attention to the corporeality of God's word enables a deeper reception of Scripture as 'body' and therefore, I argue, (...) enables Christians to recognise more clearly the word of God embodied in the Torah-centred traditions and living presence of the Jewish people today. The catalyst for my enquiry is Pope Benedict XVI's encouragement of a 'deeper understanding of the sacramentality of God's word' in the mystery of revelation.After examining this theme from the perspective of magisterial, theological and rabbinic sources, I consider its implications for Jewish-Christian relations. (shrink)

Two words, pañcagupta and kuṇḍakīṭa, are found in modern Sanskrit lexicons such as the Śabdakalpadruma, the Vācaspatya, the Sanskrit-Wörterbuch, and A Sanskrit English Dictionary. They are said to signify the Cārvāka philosophy and an expert in the Cārvāka philosophy respectively. Both the words have been taken from some twelfth-century Sanskrit kośas but no example of actual use is available. Nor do they occur in any earlier Sanskrit kośa, such as the Amarakośa and the Halāyudhakośa. The inference is that the words (...) must have appeared in some late philosophical work that was critical of the materialist Cārvāka system of philosophy and the kośakāras found them in the same source. (shrink)