Solutions to word problems are moderated by the semantic alignment of real-world relations with mathematical operations. Categorical relations between entities are aligned with addition, whereas certain functional relations between entities are aligned with division. Similarly, discreteness vs. continuity of quantities is aligned with different formats for rational numbers. These alignments have been found both in textbooks and in the performance of college students in the USA and in South Korea. The current study examined evidence for alignments in Russia. (...) Textbook analyses revealed semantic alignments for arithmetic word problems, but not for rational numbers. Nonetheless, Russian college students showed semantic alignments both for arithmetic operations and for rational numbers. Since Russian students exhibit semantic alignments for rational numbers in the absence of exposure to examples in school, such alignments likely reflect intuitive understanding of mathematical representations of real-world situations. (shrink)

We provide a computational model of semantic alignment among communicating agents constrained by social and cognitive pressures. We use our model to analyze the effects of social stratification and a local transmission bottleneck on the coordination of meaning in isolated dyads. The analysis suggests that the traditional approach to learning—understood as inferring prescribed meaning from observations—can be viewed as a special case of semantic alignment, manifesting itself in the behaviour of socially imbalanced dyads put under mild (...) pressure of a local transmission bottleneck. Other parametrizations of the model yield different long-term effects, including lack of convergence or convergence on simple meanings only. (shrink)

This book will interest typological and historical linguists at graduate level and above.

This paper presents our work on textual inference and situates it within the context of the larger goals of machine reading. The textual inference task is to determine if the meaning of one text can be inferred from the meaning of another and from background knowledge. Our system generates semantic graphs as a representation of the meaning of a text. This paper presents new results for aligning pairs of semantic graphs, and proposes the application of natural logic to (...) derive inference decisions from those aligned pairs. We consider this work as first steps toward a system able to demonstrate broad-coverage text understanding and learning abilities. (shrink)

Gestures and speech are clearly synchronized in many ways. However, previous studies have shown that the semantic similarity between gestures and speech breaks down as people approach transitions in understanding. Explanations for these gesture–speech mismatches, which focus on gestures and speech expressing different cognitive strategies, have been criticized for disregarding gestures’ and speech's integration and synchronization. In the current study, we applied three different perspectives to investigate gesture–speech synchronization in an easy and a difficult task: temporal alignment, (...) class='Hi'>semantic similarity, and complexity matching. Participants engaged in a simple cognitive task and were assigned to either an easy or a difficult condition. We automatically measured pointing gestures, and we coded participant's speech, to determine the temporal alignment and semantic similarity between gestures and speech. Multifractal detrended fluctuation analysis was used to determine the extent of complexity matching between gestures and speech. We found that task difficulty indeed influenced gesture–speech synchronization in all three domains. We thereby extended the phenomenon of gesture–speech mismatches to difficult tasks in general. Furthermore, we investigated how temporal alignment, semantic similarity, and complexity matching were related in each condition, and how they predicted participants’ task performance. Our study illustrates how combining multiple perspectives, originating from different research areas (i.e., coordination dynamics, complexity science, cognitive psychology), provides novel understanding about cognitive concepts in general and about gesture–speech synchronization and task difficulty in particular. (shrink)

We describe an approach to textual inference that improves alignments at both the typed dependency level and at a deeper semantic level. We present a machine learning approach to alignment scoring, a stochastic search procedure, and a new tool that finds deeper semantic alignments, allowing rapid development of semantic features over the aligned graphs. Further, we describe a complementary semantic component based on natural logic, which shows an added gain of 3.13% accuracy on the RTE3 (...) test set. (shrink)

We advance a theoretical framework which combines recent insights of research in logic, psychology, and formal semantics, on the nature of diagrammatic representation and reasoning. In particular, we wish to explain the varied efficacy of reasoning and representing with diagrams. In general we consider diagrammatic representations to be restricted in expressive power, and we wish to explain efficacy of reasoning with diagrams via the semantical and computational properties of such restricted `languages'. Connecting these foundational insights (from semantics and complexity theory) (...) to the psychology of reasoning with diagrams requires us to develop the notion of the {\it availability} (to an agent) of {\it constraints} operating within representation systems, as a consequence of their direct semantic interpretation. Thus we offer a number of fundamental definitions as well as a research programme which aligns current efforts in the logical and psychological analysis of diagrammatic representation systems. (shrink)

Speakers often overspecify by encoding more information than is necessary when referring to an object (e.g., “the blue mug” for the only mug in a group of objects). We investigated the role of a partner's linguistic behavior (whether or not they overspecify) on a speaker's own tendency to overspecify. We used a director–matcher task in which speakers interacted with a partner who either consistently overspecified or minimally specified in the color/size dimension (Experiments 1, 2, and 3), as well as with (...) a partner who switched behaviors midway through interaction (Experiments 4 and 5). We found that speakers aligned with their partner's linguistic behavior to produce overspecific or minimally specific descriptions, and we saw little evidence that the alignment was enhanced by lexical or semantic repetition across prime and target trials. Time‐course analyses showed that alignment increased over the course of the interaction, and speakers appeared to track a change in the partner's linguistic behavior, altering their reference strategy to continue matching that of their partner's. These results demonstrate the persistent influence of a partner's behavior on speakers across the duration of an interaction. (shrink)

Entity alignment is the task of integrating heterogeneous knowledge among different knowledge graphs (KGs). KG is a popular way of storing facts about real-world entities. Unfortunately, a very limited number of the entities stored in different KGs are aligned. This paper presents an embedding-based entity alignment method that finds entity alignment by measuring the similarities between entity embeddings. Existing methods mainly focus on the relational structures and attributes information for the alignment process. Such methods fail while (...) the entities have a fewer number of attributes or when the relational structure could not capture the meaningful representation of the entities. To address this problem, we propose EASAE, an entity alignment method using summary and attribute embeddings. We exploit the entity summary information available in KGs for entities’ summary embedding. To learn the semantics of the entity summary, we employ bidirectional encoder representations from transformers (BERT). Our model learns the representations of entities by using relational triples, attribute triples and summary as well. We perform experiments on real-world datasets, and the results indicate that the proposed approach outperformed the state-of-the-art models for entity alignment. (shrink)

Cocreating meaning in collaboration is challenging. Success is often determined by people's abilities to coordinate their language to converge upon shared mental representations. Here we explore one set of low‐level linguistic behaviors, linguistic alignment, that both emerges from, and facilitates, outcomes of high‐level convergence. Linguistic alignment captures the ways people reuse, that is, “align to,” the lexical, syntactic, and semantic forms of others' utterances. Our focus is on the temporal change of multi‐level linguistic alignment, as well (...) as how alignment is related to communicative outcomes within a unique collaborative problem‐solving paradigm. The primary task, situated within a virtual educational video game, requires creative thinking between three people where the paths for possible solutions are highly variable. We find that over time interactions are marked by decreasing lexical and syntactic alignment, with a trade‐off of increasing semantic alignment. However, greater semantic alignment does not translate into better team performance. Overall, these findings provide greater clarity on the role of linguistic coordination within complex and dynamic collaborative problem‐solving tasks. (shrink)

When communicating, people adapt their linguistic representations to those of their interlocutors. Previous studies have shown that this also occurs at the semantic level for vague and context-dependent terms such as quantifiers and uncertainty expressions. However, work to date has mostly focused on passive exposure to a given speaker's interpretation, without considering the possible role of active linguistic interaction. In this study, we focus on gradable adjectives big and small and develop a novel experimental paradigm that allows participants to (...) ask clarification questions to figure out their interlocutor's interpretation. We find that, when in doubt, speakers do resort to this strategy, despite its inherent cognitive cost, and that doing so results in higher semantic alignment measured in terms of communicative success. While not all question–answer pairs are equally informative, we show that speakers become better questioners as the interaction progresses. Yet, the higher semantic alignment observed when speakers are able to ask questions does not increase over time. This suggests that conversational interaction's key advantage may be to boost coordination without committing to long-term semantic updates. Our findings shed new light on the mechanisms used by speakers to achieve semantic alignment and on how language is shaped by communication. (shrink)

Linguistic repetitions in children are conceptualized as negative in children with autism – echolalia, without communicative purpose – and positive in typically developing (TD) children – linguistic alignment involved in shared engagement, common ground and language acquisition. To investigate this apparent contradiction we analyzed spontaneous speech in 67 parent–child dyads from a longitudinal corpus (30 minutes of play activities at 6 visits over 2 years). We included 32 children with autism and 35 linguistically matched TD children (mean age at (...) recruitment 32.76 and 20.27 months). We found a small number of exact repetitions in both groups (roughly 1% of utterances across visits), which increased over time in children with autism and decreased in the TD group. Partial repetitions were much more frequent: children reused caregivers' words at high rates regardless of diagnostic group (24% of utterances at first visit), and this increased in frequency (but not level) over time, faster for TD children (at final visit: 33% for autism, 40% for TD). The same happened for partial repetition of syntax and semantic alignment. However, chance alignment (as measured by surrogate pairs) also increased and findings for developmental changes were reliable only for syntactic and semantic alignment. Children with richer linguistic abilities also displayed a higher tendency to partially re–use their caregivers' language (alignment rates and semantic alignment). This highlights that all children commonly re–used the words, syntax, and topics of their caregivers, albeit with some quantitative differences, and that most repetition was at least potentially productive, with repeated language being re–contextualized and integrated with non–repeated language. The salience of echolalia in ASD might be partially explained by slight differences in frequency, amplified by lower semantic alignment, persistence over time, and expectations of echolalia. More in–depth qualitative and quantitative analyses of how repetitions are used and received in context are needed. (shrink)

Empirical studies indicate that analogy consists of two main processes: retrieval and mapping. While current theories and models of analogy have revealed much about the mainly structural constraints that govern the mapping process, the similarities that underpin the correspondences between individual representational elements and drive retrieval are understood in less detail. In existing models symbol similarities are externally defined but neither empirically grounded nor theoretically justified. This paper introduces a new model (EMMA: the environmental model of analogy) which relies on (...) co‐occurrence information provided by LSA (Latent Semantic Analysis; Landauer & Dumais, 1997) to ground the relations between the symbolic elements aligned in analogy. LSA calculates a contextual distribution for each word encountered in a corpus by counting the frequency with which it co‐occurs with other words. This information is used to define a model that locates each word encountered in a high‐dimensional space, with relations between elements in this space representing contextual similarities between words. A series of simulation experiments demonstrate that the environmental approach to semantics embodied in LSA can produce appropriate patterns of analogical retrieval, but that this semantic measure is not sufficient to model analogical mapping. The implications of these findings, both for theories of representation in analogy research and more general theories of semantics in cognition, are explored. (shrink)

The alignment problem—establishing links between corresponding phrases in two related sentences—is as important in natural language inference (NLI) as it is in machine translation (MT). But the tools and techniques of MT alignment do not readily transfer to NLI, where one cannot assume semantic equivalence, and for which large volumes of bitext are lacking. We present a new NLI aligner, the MANLI system, designed to address these challenges. It uses a phrase-based alignment representation, exploits external lexical (...) resources, and capitalizes on a new set of supervised training data. We compare the performance of MANLI to existing NLI and MT aligners on an NLI alignment task over the well-known Recognizing Textual Entailment data. We show that MANLI significantly outperforms existing aligners, achieving gains of 6.2% in F1 over a representative NLI aligner and 10.5% over GIZA++. (shrink)

Data heterogeneity is the obstacle for the resource sharing on Semantic Web, and ontology is regarded as a solution to this problem. However, since different ontologies are constructed and maintained independently, there also exists the heterogeneity problem between ontologies. Ontology matching is able to identify the semantic correspondences of entities in different ontologies, which is an effective method to address the ontology heterogeneity problem. Due to huge memory consumption and long runtime, the performance of the existing ontology matching (...) techniques requires further improvement. In this work, an extended compact genetic algorithm-based ontology entity matching technique is proposed, which uses both the compact encoding mechanism and linkage learning approach to match the ontologies efficiently. Compact encoding mechanism does not need to store and maintain the whole population in the memory during the evolving process, and the utilization of linkage learning protects the chromosome’s building blocks, which is able to reduce the algorithm’s running time and ensure the alignment’s quality. In the experiment, ECGA-OEM is compared with the participants of ontology alignment evaluation initiative and the state-of-the-art ontology matching techniques, and the experimental results show that ECGA-OEM is both effective and efficient. (shrink)

While representation learning techniques have shown great promise in application to a number of different NLP tasks, they have had little impact on the problem of ontology matching. Unlike past work that has focused on feature engineering, we present a novel representation learning approach that is tailored to the ontology matching task. Our approach is based on embedding ontological terms in a high-dimensional Euclidean space. This embedding is derived on the basis of a novel phrase retrofitting strategy through which (...) class='Hi'>semantic similarity information becomes inscribed onto fields of pre-trained word vectors. The resulting framework also incorporates a novel outlier detection mechanism based on a denoising autoencoder that is shown to improve performance. An ontology matching system derived using the proposed framework achieved an F-score of 94% on an alignment scenario involving the Adult Mouse Anatomical Dictionary and the Foundational Model of Anatomy ontology (FMA) as targets. This compares favorably with the best performing systems on the Ontology Alignment Evaluation Initiative anatomy challenge. We performed additional experiments on aligning FMA to NCI Thesaurus and to SNOMED CT based on a reference alignment extracted from the UMLS Metathesaurus. Our system obtained overall F-scores of 93.2% and 89.2% for these experiments, thus achieving state-of-the-art results. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation (...) elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

A network of aligned ontologies is a distributed system, whose components are interacting and interoperating, the result of this interaction being, either the extension of local assertions, which are valid within each individual ontology, to global assertions holding between remote ontology syntactic entities through a network path, or to local assertions holding between local entities of an ontology, but induced by remote ontologies, through a cycle in the network. The mechanism for achieving this interaction is the composition of relations. In (...) this perspective, we introduce the notions of local composable relations, which relate ontology entities belonging to the same ontology, remotely induced composable relations, which relate ontology entities belonging to remote ontologies through a path of ontologies and alignments in the network, and network induced local composable relations, which relate ontology entities belonging to the same ontology, but through a path of ontologies and alignments forming a cycle starting and ending at the same ontology, to characterize the logical consequences extracted from a network of aligned ontologies, and we propose a category-based methodology for detecting semantic inconsistencies in networks of aligned ontologies, which is based on contravariant representable functors and on the definition of two composition operators suitable for propagating local knowledge through the network. (shrink)

This article is an exploratory study that intends to present semantic interoperability initiatives in the area of information science and computer science. It discusses these initiatives, focusing on open science and eScience, aiming at pointing out similarities and differences in the methodologies used for an intelligent retrieval of data in heterogeneous environments that do not benefit a universal language. We will illustrate seminal initiatives regarding the compatibility of languages in information science and the alignment and semantic mapping (...) in the area of computer science, emphasizing what they have in common and their differences, showing that those seminal initiatives are still relevant nowadays. In this perspective, we want to bring up discussions about methodologies that supports a kind of “intermediate language” that allows the compatibility of research resources, semantically interconnecting their contents without forcing the use of a single language, but of a switching language, such as a metalanguage that guarantees to keep the differences of each community of speech. (shrink)

Distributional models of lexical semantics are capable of acquiring sophisticated representations of word meanings. The main theoretical insight provided by these models is that they demonstrate the systematic connection between the knowledge that people acquire and the experience that they have with the natural language environment. However, linguistic experience is inherently variable and differs radically across people due to demographic and cultural variables. Recently, distributional models have been used to examine how word meanings vary across languages and it was found (...) that there is considerable variability in the meanings of words across languages for most semantic categories. The goal of this article is to examine how variable word meanings are across individual language users within a single language. This was accomplished by assembling 500 individual user corpora attained from the online forum Reddit. Each user corpus ranged between 3.8 and 32.3 million words each, and a count‐based distributional framework was used to extract word meanings for each user. These representations were then used to estimate the semantic alignment of word meanings across individual language users. It was found that there are significant levels of relativity in word meanings across individuals, and these differences are partially explained by other psycholinguistic factors, such as concreteness, semantic diversity, and social aspects of language usage. These results point to word meanings being fundamentally relative and contextually fluid, with this relativeness being related to the individualized nature of linguistic experience. (shrink)

In this brief reply I respond to criticisms of my book, The referential mechanism of proper names, from Michael Devitt and Nicolo D'Agruma. I focus on the question of whether the perspectivism advocated in the book explains the empirical results there detailed.

There have been multiple factors involved in the decline of the anatomy course’s central role in medical education over the last century. The course has undergone a multitude of changes, in large part due to the rise in technology and cultural shifts away from physical dissection. This paper argues that, as the desire of medical schools to introduce clinical experiences earlier in the curriculum increased, anatomy courses began implementing changes that would align themselves with the shifting culture towards incorporating humanistic (...) values early on in the medical curriculum. One of these changes, argued as a product of this shift, included calling a cadaver a ‘patient’ and introducing the cadaver as a student’s ‘first patient’. This change has been seen in different universities and textbooks. This paper argues that the use of the words ‘patient’ to describe the cadaver in order to promote principled habits in medical students may in fact create an environment that does the opposite. By equating an environment in which the subject of dissection is lifeless and incapable of participation, and the space is discouraging of emotions and conducive to untested coping mechanisms to the clinical environment through using the word ‘patient’, values like detached concern, a controversial practice in medicine, can be implicitly encouraged. An ethical analysis of the use of the word ’patient’ to describe the cadaver shows that this practice can promote unethical habits in students and that changing this aspect of anatomy lab culture could improve ethical dispositions of future physicians. (shrink)

Kenneth A. Taylor examines the complex relationship between semantic analysis and metaphysical inquiry with the aim of bringing philosophical methodology into closer alignment with total science. He urges philosophers who seek metaphysical insight to interrogate reality itself rather than language and concepts.

Linguists often sharply distinguish the different modules that support linguistics competence, e.g., syntax, semantics, pragmatics. However, recent work has identified phenomena in syntax (polarity sensitivity) and pragmatics (implicatures), which seem to rely on semantic properties (monotonicity). We propose to investigate these phenomena and their connections as a window into the modularity of our linguistic knowledge. We conducted a series of experiments to gather the relevant syntactic, semantic and pragmatic judgments within a single paradigm. The comparison between these quantitative (...) data leads us to four main results, (i) Our results support a departure from one element of the classical Gricean approach, thus helping to clarify and settle an empirical debate. This first outcome also confirms the soundness of the methodology, as the results align with standard contemporary accounts of scalar implicature (SI), (ii) We confirm that the formal semantic notion of monotonicity underlies negative polarity item (NPI) syntactic acceptability, but (iii) our results indicate that the notion needed is perceived monotonicity. We see results (ii) and (iii) as the main contribution of this study: (ii) provides an empirical interpretation and confirmation of one of the insights of the model-theoretic approach to semantics, while (iii) calls for an incremental, cognitive implementation of the current generalizations, (iv) Finally, our results do not indicate that the relationship between NPI acceptability and monotonicity is mediated by pragmatic features related to Sis: this tells against elegant attempts to unify polarity sensitivity and Sis (pioneered by Krifka and Chierchia). These results illustrate a new methodology for integrating theoretically rigorous work in formal semantics with an experimentally-grounded cognitively-oriented view of linguistic competence. (shrink)

This commentary argues that dialogue alignment can be explained if parsing-directed grammar formalisms are adopted. With syntax defined as monotonic growth of semantic representations as each word is parsed, alignment between interlocutors is shown to be expected. Hence, grammars can be evaluated according to relative success in characterizing dialogue phenomena.

Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation will take into account representation of individual (...) ontologies, performance (in terms of accuracy, domain coverage and the efficiency and quality of automated reasoning using the ontologies) on tasks for which the ontology is designed and used, degree of alignment with other ontologies and their compatibility with automated reasoning. A sound and systematic approach to ontology evaluation is required to transform ontology engineering into a true scientific and engineering discipline. This chapter discusses issues and problems in ontology evaluation, describes some current strategies, and suggests some approaches that might be useful in the future. (shrink)

Modernity in the late eighteenth century transformed all domains of European life -intellectual, industrial, and social. Not least affected was the experience of time itself: ever-accelerating change left people with briefer intervals of time in which to gather new experiences and adapt. In this provocative and erudite book Reinhart Koselleck, a distinguished philosopher of history, explores the concept of historical time by posing the question: what kind of experience is opened up by the emergence of modernity? Relying on an extraordinary (...) array of witnesses and texts from politicians, philosophers, theologians, and poets to Renaissance paintings and the dreams of German citizens during the Third Reich, Koselleck shows that, with the advent of modernity, the past and the future became 'relocated' in relation to each other.The promises of modernity -freedom, progress, infinite human improvement -produced a world accelerating toward an unknown and unknowable future within which awaited the possibility of achieving utopian fulfillment. History, Koselleck asserts, emerged in this crucial moment as a new temporality providing distinctly new ways of assimilating experience. In the present context of globalization and its resulting crises, the modern world once again faces a crisis in aligning the experience of past and present. To realize that each present was once an imagined future may help us once again place ourselves within a temporality organized by human thought and humane ends as much as by the contingencies of uncontrolled events. (shrink)

The demand for integrating and sharing heterogeneous data online has attracted the interest of cultural institutions in making information access and retrieval more effective via Semantic Web technologies. The present study proposes a digital repository for 3D scans of modernist sculptures in public spaces in the city of Rio de Janeiro, Brazil, with a view to ensuring access, use, reuse and preservation of this information. This is a qualitative exploratory experimental study based on the scientific literature and specific empirical (...) material. It presents the analysis results of vocabularies for physical artifact documents and their digital counterparts on the Semantic Web and a discussion on how these align with the nature of the metadata determined here, as well as a metadata modeling prototype implemented on the Tainacan platform and aimed at cataloging digital 3D replicas. We claim that the proposed model for documenting cultural heritage assets on Tainacan is easy to implement, in that it uses accessible technology with a wide internet user base, highly expressive in its descriptions of 3D and multimedia content and based on well-established metadata and ontology standards recommended by regulatory bodies and communities such as the World Wide Web Consortium and International Organization for Standardization. Keywords: networked heritage documents, digital repositories, 3D digitization, semantic annotation. (shrink)

Psychology suffers from the absence of mathematically-formalized primitives. As a result, conceptual and quantitative studies lack an ontological basis that would situate them in the company of natural sciences. The article addresses this problem by describing a minimal psychic structure, expressed in the algebra of quantum theory. The structure is demarcated into categories of emotion and color, renowned as elementary psychological phenomena. This is achieved by means of quantum-theoretic qubit state space, isomorphic to emotion and color experiences both in meaning (...) and math. In particular, colors are mapped to the qubit states through geometric affinity between the HSL-RGB color solids and the Bloch sphere, widely used in physics. The resulting correspondence aligns with the recent model of subjective experience, producing a unified spherical map of emotions and colors. This structure is identified as a semantic atom of natural thinking—a unit of affectively-colored personal meaning, involved in elementary acts of a binary decision. The model contributes to finding a unified ontology of both inert and living Nature, bridging previously disconnected fields of research. In particular, it enables theory-based coordination of emotion, decision, and cybernetic sciences, needed to achieve new levels of practical impact. (shrink)

In this paper, we consider some contributions to the model theory of the logic of formal inconsistency $\mathsf{QmbC}$ as a reply to Walter Carnielli, Marcelo Coniglio, Rodrigo Podiacki and Tarcísio Rodrigues’ call for a ‘wider model theory.’ This call demands that we align the practices and techniques of model theory for logics of formal inconsistency as closely as possible with those employed in classical model theory. The key result is a proof that the Keisler–Shelah isomorphism theorem holds for $\mathsf{QmbC}$, i.e. (...) that the strong elementary equivalence of two $\mathsf{QmbC}$ models $\mathfrak{A}$ and $\mathfrak{B}$ is equivalent to them having strongly isomorphic ultrapowers. As intermediate steps, we introduce some notions of model-theoretic equivalence between $\mathsf{QmbC}$ models, explicitly prove Łoś’ theorem and introduce a useful technique of model-theoretic ‘atomization’ in which the satisfaction sets of non-deterministically evaluated formulae are associated with new predicates. Finally, we consider some of the extensions of $\mathsf{QmbC}$, explicitly showing that Keisler–Shelah holds for $\mathsf{QCi}$ and suggesting that it holds of extensions like $\mathsf{QCila}$ and $\mathsf{QCia}$ as well. (shrink)

L’ambiguïté du sens de la résolution 242 (1967) du Conseil de sécurité est un problème classique de l’interprétation en droit international. Celle-ci repose sur l’ambiguïté de la signification du déterminant zéro pluriel anglais, le sens générique d’une part, qui emporte tous les éléments du groupe, et le sens catégoriel d’autre part, qui lui ne dit rien sur la quantité considérée. Ce déterminant zéro pluriel anglais se traduit en français par différents déterminants pluriels : défini pour le sens générique, indéfini pour (...) le sens catégoriel. En relevant les fréquences de traductions en français du déterminant zéro pluriel anglais dans le corpus des résolutions du Conseil de sécurité, on peut établir les proportions de ces deux sens et établir le sens majoritaire du déterminant zéro pluriel anglais dans le corpus. Ce sens majoritaire permet ainsi d’établir de façon plus rigoureuse le sens ordinaire de l’expression anglaise problématique de la résolution 242 (1967). (shrink)

Research on language processing has shown that the disruption of conceptual integration gives rise to specific patterns of event-related brain potentials —N400 and P600 effects. Here, we report similar ERP effects when adults performed cross-domain conceptual integration of analogous semantic and mathematical relations. In a problem-solving task, when participants generated labeled answers to semantically aligned and misaligned arithmetic problems, the second object label in misaligned problems yielded an N400 effect for addition problems. In a verification task, when participants judged (...) arithmetically correct but semantically misaligned problem sentences to be “unacceptable,” the second object label in misaligned sentences elicited a P600 effect. Thus, depending on task constraints, misaligned problems can show either of two ERP signatures of conceptual disruption. These results show that well-educated adults can integrate mathematical and semantic relations on the rapid timescale of within-domain ERP effects by a process akin to analogical mapping. (shrink)