This book is the first modern introduction to the logic of infinitary languages in forty years, and is aimed at graduate students and researchers in all areas of mathematical logic. Connections between infinitary model theory and other branches of mathematical logic, and applications to algebra and algebraic geometry are both comprehensively explored.

During the Notre Dame workshop on Vaught's Conjecture, Hjorth and Kechris asked which Borel equivalence relations can arise as the isomorphism relation for countable models of a first-order theory. In particular, they asked if the isomorphism relation can be essentially countable but not tame. We show this is not possible if the theory has uncountably many types.

We outline the Hrushovsk-Sokolović proof of Vaught's Conjecture for differentially closed fields, focusing on the use of dimensions to code graphs.

Zoé Chatzidakis , David Marker , Amador Martin-Pizarro , Rahim Moosa , Sergei Starchenko Source: Notre Dame J. Formal Logic, Volume 54, Number 3-4, 277--277.

We extend the field of Laurent series over the reals in a canonical way to an ordered differential field of “logarithmic-exponential series” , which is equipped with a well behaved exponentiation. We show that the LE-series with derivative 0 are exactly the real constants, and we invert operators to show that each LE-series has a formal integral. We give evidence for the conjecture that the field of LE-series is a universal domain for ordered differential algebra in Hardy fields. We define (...) composition of LE-series and establish its basic properties, including the existence of compositional inverses. Various interesting subfields of the field of LE-series are also considered. (shrink)

We prove that for every Scott set S there are S-saturated real closed fields and S-saturated models of Presburger arithmetic.

1 Evidence-based policy requires researchers to provide the answers to ecological questions that are of interest to policy makers. To find out what those questions are in the UK, representatives from 28 organizations involved in policy, together with scientists from 10 academic institutions, were asked to generate a list of questions from their organizations. 2 During a 2-day workshop the initial list of 1003 questions generated from consulting at least 654 policy makers and academics was used as a basis for (...) generating a short list of 100 questions of significant policy relevance. Short-listing was decided on the basis of the preferences of the representatives from the policy-led organizations. 3 The areas covered included most major issues of environmental concern in the UK, including agriculture, marine fisheries, climate change, ecosystem function and land management. 4 The most striking outcome was the preference for general questions rather than narrow ones. The reason is that policy is driven by broad issues rather than specific ones. In contrast, scientists are frequently best equipped to answer specific questions. This means that it may be necessary to extract the underpinning specific question before researchers can proceed. 5 Synthesis and applications. Greater communication between policy makers and scientists is required in order to ensure that applied ecologists are dealing with issues in a way that can feed into policy. It is particularly important that applied ecologists emphasize the generic value of their work wherever possible. (shrink)

In the paper Randomizations of Scattered Sentences, Keisler showed that if Martin’s axiom for aleph one holds, then every scattered sentence has few separable randomizations, and asked whether the conclusion could be proved in ZFC alone. We show here that the answer is “yes”. It follows that the absolute Vaught conjecture holds if and only if every \-sentence with few separable randomizations has countably many countable models.

Resumen La argumentación es una forma de discurso en la que un hablante defiende una postura en una discusión. El presente trabajo se enfoca en la complejidad argumentativa y los recursos evaluativos y evidenciales que caracterizan las disputas de niños de diverso nivel socioeconómico. Se analizaron 94 disputas entre niños de 4 años y otros niños (5 a 10 años) en situaciones de juego espontáneo registradas en hogares de sectores socioeconómicos medio y bajo. El análisis identificó diferencias marginales en la (...) complejidad argumentativa entre los grupos. Por su parte se hallaron diferencias significativas en recursos de evaluativos de emocionalidad y en los evidenciales deónticos y exclamativos a favor de los sectores de nivel socioeconómico bajo. Los sectores medios registraron un mayor empleo de expresiones de causalidad y conectores. Los resultados se discuten a la luz de los hallazgos de investigaciones previas. Abstract Argumentation is a type of discourse in which a speaker defends a claim in a discussion. The present work focuses on the argumentative complexity and the evaluative and evidential resources that characterize the disputes of children of different socioeconomic levels. We analyzed 94 disputes between 4-year-old children and other children (5 to 10 years old) in situations of spontaneous play registered in homes of middle and low socioeconomic status (SES). The analysis identified marginal differences in argumentative complexity between the groups. On the other hand, significant differences were found in evaluative expressions of emotion and in deontic and exclamatory evidential markers, more frequently used by the low SES group. The mid SES group tends to use a higher number of expressions of causality and connectors. The results are discussed with reference to the findings of previous research. (shrink)

Topics in Cognitive Science, Volume 13, Issue 1, Page 128-141, January 2021.

This volume examines two main questions: What is linguistics about? And how do the results of linguistic theorizing bear on inquiry in related fields, particularly in psychology? The book develops views that depart from received wisdom in both philosophy and linguistics. With regard to questions concerning the subject matter, methodological goals, and ontological commitments of formal syntactic theorizing, it argues that the cognitive conception adopted by most linguists and philosophers is not the only acceptable view, and that the arguments in (...) its favor collapse under scrutiny. Nevertheless, as the book shows, a detailed examination of the relevant psycholinguistic results and computational models does support the claim that the theoretical constructs of formal linguistics are operative in real-time language comprehension. These constructs fall into two categories: mental phrase markers and mental syntactic principles. Both are indeed psychologically real, but in importantly different ways. The book concludes by drawing attention to the importance of the often-elided distinction between personal and subpersonal psychological states and processes, as well as the logical character of dispositional and occurrent states. By clarifying these concepts, particularly by reference to up-and-running psychological and computational models, the book yields a richer and more satisfying perspective on the psychological reality of language. (shrink)

This study aimed to explore the role of two models of well-being in the prediction of psychological distress during the COVID-19 pandemic, namely PERMA and mature happiness. According to PERMA, well-being is mainly composed of five elements: positive emotions, engagement, relationships, meaning in life, and achievement. Instead, mature happiness is understood as a positive mental state characterized by inner harmony, calmness, acceptance, contentment, and satisfaction with life. Rooted in existential positive psychology, this harmony-based happiness represents the result of living in (...) balance between positive and negative aspects of one's life. We hypothesized that mature happiness would be a more prominent protective factor during the present pandemic than the PERMA composite. A total of 12,203 participants from 30 countries responded to an online survey including the Depression Anxiety Stress Scale (DASS-21), the PERMA-Profiler, and the Mature Happiness Scale-Revised (MHS-R). Confirmatory factor analyses indicated that PERMA and mature happiness were highly correlated, but nonetheless, they represented two separate factors. After controlling for demographic factors and country-level variables, both PERMA Well-being and MHS-R were negative predictors of psychological distress. Mature happiness was a better predictor of stress, anxiety, and general distress, while PERMA showed a higher prediction of depression. Mature happiness moderated the relation between the perceived noxious effects of the pandemic and all markers of distress (depression, anxiety, stress, and total DASS-21). Instead, PERMA acted as a moderator in the case of depression and stress. These findings indicate that inner harmony, according to the mature happiness theory, is an essential facet of well-being to be taken into consideration. The results of this study can also orient policies aimed to alleviate the negative effects of the pandemic on mental health through the promotion of well-being. (shrink)

This article examines significant, yet apparently unnoticed sociolinguistic aspects of the common Sanskrit particle bhoḥ and its Prakrit equivalent bho, which are frequently used in respectful addresses in our literary sources. Its specific aim is to demonstrate the important connection between bhoḥ and members of the twice- born social classes, especially Brahmins, that pertained during a large period of early South Asian history. The major conclusion it draws is that, at least according to the normative Brahmanical view of this time, (...) both addressing others with the particle bhoḥ and being addressed by others with it marked a person as a member of an elite fraternity that was comprised exclusively of either twice-born men or speakers of Sanskrit. (shrink)

Metacognition is associated with planning, monitoring, evaluating and repairing performance Designers of elearning systems can improve the quality of their environments by explicitly structuring the visual and interactive display of learning contexts to facilitate metacognition. Typically page layout, navigational appearance, visual and interactivity design are not viewed as major factors in metacognition. This is because metacognition tends to be interpreted as a process in the head, rather than an interactive one. It is argued here, that cognition and metacognition are part (...) of a continuum and that both are highly interactive. The tenets of this view are explained by reviewing some of the core assumptions of the situated and distribute approach to cognition and then further elaborated by exploring the notions of active vision, visual complexity, affordance landscape and cue structure. The way visual cues are structured and the way interaction is designed can make an important difference in the ease and effectiveness of cognition and metacognition. Documents that make effective use of markers such as headings, callouts, italics can improve students' ability to comprehend documents and 'plan' the way they review and process content. Interaction can be designed to improve 'the proximal zone of planning' - the look ahead and apprehension of what is nearby in activity space that facilitates decisions. This final concept is elaborated in a discussion of how e-newspapers combine effective visual and interactive design to enhance user control over their reading experience. (shrink)

Cappelen (2012) argumenta en contra de la Tesis de la Centralidad, es decir, en contra de la idea de que los filósofos analíticos usan las intuiciones como evidencia para defender sus teorías. Para ello, ataca el denominado “Argumento del vocabulario de intuiciones”, es decir, la idea de que las intuiciones deben jugar un papel determinante en los argumentos de los filósofos analíticos porque estos usan vocabulario de intuiciones de manera profusa. Este artículo examina empíricamente esta afirmación, determinando en qué medida (...) el vocabulario de intuiciones aparece en partes centrales de los argumentos; más concretamente, si el vocabulario de intuiciones suele coincidir con marcadores de razonamiento que indican la presencia de premisas y conclusiones. Para ello, primero compilaré un corpus de artículos sobre desacuerdos de gusto. Segundo, llevaré a cabo dos tipos de análisis: un análisis de listas de frecuencias, y un análisis de la dispersión de ambos tipos de vocabulario a lo largo del corpus. (shrink)

This article considers the power of food as a vehicle for memory by exploring the ways that food crosses the personal and the collective, the individual and the social. It examines these questions through the lens of certain Easter practices on the island of Kalymnos, Greece, concerning the preparation of lamb. The ovens and pots used to prepare lamb are a marker of Kalymnian identity, but have moved in interesting ways in and out of social practice. By comparing these (...) socially embedded practices with American "junk food" memories, the article suggests some general qualities that make food a useful site for the exploration of the social constitution of memory. (shrink)

In this article, I examine the literature from three domains of cognitive development in the first years of life — mathematics, categorization and induction — to determine whether infants possess concepts that allow them explicitly to reason and make inferences about the objects and events in the world. To achieve this aim, I use the distinction between procedural and declarative knowledge as a marker for the presence of access consciousness. According to J.M. Mandler, infants' early concepts are represented as (...) accessible declarative knowledge. However, the evidence discussed in this article indicates that infants' early concepts are best depicted as procedural, perceptually-based knowledge that are inaccessible to consciousness. I conclude by speculating about the role of language development on the emergence of consciousness towards the end of the second year of life. (shrink)

We introduce a new method for building models of [Formula: see text], together with [Formula: see text] statements over [Formula: see text], by forcing. Unlike other forcing constructions in the literature, our construction adds new reals, although only [Formula: see text]-many of them. Using this approach, we build a model in which a very strong form of the negation of Club Guessing at [Formula: see text] known as [Formula: see text] holds together with [Formula: see text], thereby answering a well-known (...) question of Moore. This construction can be described as a finite-support weak forcing iteration with side conditions consisting of suitable graphs of sets of models with markers. The [Formula: see text]-preservation is accomplished through the imposition of copying constraints on the information carried by the condition, as dictated by the edges in the graph. (shrink)