This work investigates the relationship between goals and mitigation behaviors during the COVID-19 pandemic in Italy. Study 1 identified goals ascribed to following and violating mitigation-related indications. Study 2 investigated the structure of and link between COVID-related goals and behaviors in a large community sample. Our results showed substantial relationships between goals and behaviors. Goals were best described by a bi-dimensional structure, whereas behaviors clustered into a three-component structure. Hierarchical multiple regressions demonstrated the incremental validity of goals in the prediction (...) of behaviors. Network analysis suggested that goals imbued with social content were more directly related to both risky and preventive behaviors. Motivational aspects emerged as important contributors to the organization of behaviors in the context of the COVID-19 pandemic. (shrink)

In several recent papers and a monograph, Andreas Stokke argues that questions can be misleading, but that they cannot be lies. The aim of this paper is to show that ordinary speakers disagree. We show that ordinary speakers judge certain kinds of insincere questions to be lies, namely questions carrying a believed-false presupposition the speaker intends to convey. These judgements are robust and remain so when the participants are given the possibility of classifying the utterances as misleading or as deceiving. (...) The judgements contrast with judgements participants give about cases of misleading or deceptive behaviour, and they pattern with judgements participants make about declarative lies. Finally, the possibility of lying with non-declaratives is not confined to questions: ordinary speakers also judge utterances of imperative, exclamative and optative sentences carrying believed-false presuppositions to be lies. (shrink)

1. The opinions expressed are the author's own. They do not reflect any position or policy of the National Institutes of Health, Public Health Service, Department of Health and Human Services, or any of the authors affiliated organizations.

It is widely held that all lies are assertions: the traditional definition of lying entails that, in order to lie, speakers have to assert something they believe to be false. It is also widely held that assertion contrasts with presupposition and, in particular, that one cannot assert something by presupposing it. Together, these views imply that speakers cannot lie with presuppositions—a view that Andreas Stokke has recently explicitly defended. The aim of this paper is to argue that speakers can lie (...) with presuppositions, and to discuss some of the implications this outcome has for current research on lying, assertion and presupposition. (shrink)

Drawing on evolutionary epistemology, process ontology, and a social-cognition approach, this book suggests cognitive evolution, an evolutionary-constructivist social and normative theory of change and stability of international social orders. It argues that practices and their background knowledge survive preferentially, communities of practice serve as their vehicle, and social orders evolve. As an evolutionary theory of world ordering, which does not borrow from the natural sciences, it explains why certain configurations of practices organize and govern social orders epistemically and normatively, and (...) why and how these configurations evolve from one social order to another. Suggesting a multiple and overlapping international social orders' approach, the book uses three running cases of contested orders - Europe's contemporary social order, the cyberspace order, and the corporate order - to illustrate the theory. Based on the concepts of common humanity and epistemological security, the author also submits a normative theory of better practices and of bounded progress. (shrink)

In Emanuel Adler's distinctive constructivist approach to international relations theory, international practices evolve in tandem with collective knowledge of the material and social worlds. This book - comprising a selection of his journal publications, a new introduction and three previously unpublished articles - points IR constructivism in a novel direction, characterized as 'communitarian'. Adler's synthesis does not herald the end of the nation-state; nor does it suggest that agency is unimportant in international life. Rather, it argues that what mediates between (...) individual and state agency and social structures are communities of practice, which are the wellspring and repositories of collective meanings and social practices. The concept of communities of practice casts new light on epistemic communities and security communities, helping to explain why certain ideas congeal into human practices and others do not, and which social mechanisms can facilitate the emergence of normatively better communities. (shrink)

Book reviewed in this article: Principles of Biomedical Ethics. By Tom L. Beauchamp and James F. Childress.

The distinction between lying and mere misleading is commonly tied to the distinction between saying and conversationally implicating. Many definitions of lying are based on the idea that liars say something they believe to be false, while misleaders put forward a believed-false conversational implicature. The aim of this paper is to motivate, spell out, and defend an alternative approach, on which lying and misleading differ in terms of commitment: liars, but not misleaders, commit themselves to something they believe to be (...) false. This approach entails that lying and misleading involve speech-acts of different force. While lying requires the committal speech-act of asserting, misleading involves the non-committal speech-act of suggesting. The approach leads to a broader definition of lying that can account for lies that are told while speaking non-literally or with the help of presuppositions, and it allows for a parallel definition of misleading, which so far is lacking in the debate. (shrink)

Molecular biologists exploit information conveyed by mechanistic models for experimental purposes. In this article, I make sense of this aspect of biological practice by developing Keller’s idea of the distinction between ‘models of’ and ‘models for’. ‘Models of (phenomena)’ should be understood as models representing phenomena and are valuable if they explain phenomena. ‘Models for (manipulating phenomena)’ are new types of material manipulations and are important not because of their explanatory force, but because of the interventionist strategies they afford. This (...) is a distinction between aspects of the same model. In molecular biology, models may be treated either as ‘models of’ or as ‘models for’. By analysing the discovery and characterization of restriction–modification systems and their exploitation for DNA cloning and mapping, I identify the differences between treating a model as a ‘model of’ or as a ‘model for’. These lie in the cognitive disposition of the modeller towards the model: a modeller will look at a model as a ‘model of’ if interested in its explanatory force, or as a ‘model for’ if interested in the material manipulations it can possibly afford. (shrink)

Intentionalism is the view that demonstratives, gradable adjectives, quantifiers, modals and other context‐sensitive expressions are intention‐sensitive: their semantic value on a given use is fixed by speaker intentions. The first aim of this paper is to defend Intentionalism against three recent objections, according to which speakers at least sometimes do not have suitable intentions when using supposedly intention‐sensitive expressions. Its second aim is to thereby shed light on the so far little‐explored question of which kinds of intentions can be semantically (...) relevant. (shrink)

Four ethical values — maximizing benefits, treating equally, promoting and rewarding instrumental value, and giving priority to the worst off — yield six specific recommendations for allocating medical resources in the Covid-19 pandemic: maximize benefits; prioritize health workers; do not allocate on a first-come, first-served basis; be responsive to evidence; recognize research participation; and apply the same principles to all Covid-19 and non–Covid-19 patients.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Cit: ConsciousnessAlan PretiCit: Consciousness. By Bina Gupta. New Delhi: Oxford University Press, 2003. Pp. xi + 203.In his 1988 essay "Consciousness in Vedānta,"1 J. N. Mohanty pointed out that, Heidegger notwithstanding, a metaphysics of consciousness has been the destiny of Indian thought. Indeed, from the earliest Upaniṣadic speculations to the growth of the systems, the centrality of the concept of consciousness to the development of Indian philosophy can (...) hardly be denied. It is even arguable that the nature and function of consciousness was perhaps the greatest bone of contention among the darśanas, with some of the more critical disputes turning on the details of a particular theory of consciousness. The importance of the concept lies in the almost universal agreement among classical Indian philosophers that consciousness enjoys a fundamental epistemic priority regarding the guarantee of any ontological claim; any claim with respect to the existence of such and such, to the way the world is, ultimately depends on evidence that is (or was) in some way present to consciousness. Consciousness is thus the fons et origo of all knowledge; in its absence nothing can be claimed about the world.One of the most recent additions to a growing body of literature concerned with examining the concept of consciousness in Indian thought is Bina Gupta's Cit: Consciousness, the inaugural release of Oxford's Foundations of Philosophy in India series, initiated by the Centre for Philosophy and Foundations of Science in New Delhi. The editors intend for the series "to make available a critical reassessment of the philosophical achievement of the classical Indian tradition in such a way that it contributes to the dialogue between civilizations of the new century"—a prospect most welcome by those engaged in Indian and comparative philosophy. [End Page 619]Cit: Consciousness is a natural extension of Gupta's work in The Disinterested Witness: A Fragment of Advaita Vedānta Phenomenology (1998). While concerned there primarily with the notion of the witness consciousness (sākṣin) in the Vivarana tradition of Advaita Vedānta, in Cit Gupta seeks to provide a more general account of consciousness in Indian thought. Her stated goals are "(1) to demonstrate the profound contribution of Indian thought to the theme of consciousness, and (2) to make Indian thought accessible to my readers, irrespective of whether they belong to the Indian or Western tradition" (p. 11). Consistent with the aims of the series, Gupta's approach is conceptual, rather than historical; her focus is specifically on various theories of the nature of consciousness and on the arguments advanced on their behalf. Concerns regarding the losses incurred by abstracting the theories from their historical context are balanced by the recognition that the historical development of a particular school yields one type of understanding, its conceptual structure another (p. 12). In this connection, one may note that Gupta's emphasis on the arguments and conceptual frameworks could make for greater accessibility to those unfamiliar with the territory; certainly the prominence of philological and historical concerns found in many accounts of the development of the schools can prove distracting to the reader seeking the specific philosophical issues.Cit unfolds dialectically, beginning with an analysis of consciousness distilled from the Upaniṣads, continuing through the Nyāya-Vaiśesika and Yogācāra Buddhist views, and culminating with an examination of Advaita Vedānta, both in its classical form and in its "transformations" effected by the contemporary philosophers Sri Aurobindo, K. C. Bhattacharyya, and J. N Mohanty. The order in which the views are discussed is not arbitrary; Gupta's arrangement of the themes purposefully leads to an analysis of Advaita not only because it is, to her mind, "an amazing case of a sublime metaphysical system, subtle logical discursivity, and detailed phenomenological description" (p. x), but also in order to "show that the conceptual nature of the Advaitic theory of consciousness undergoes transformations in the hands of many contemporary thinkers, which makes the Advaitic theory of consciousness stronger and more responsive to modern philosophic challenges" (p. 13). The book, thus, in effect, seeks to vindicate an Advaitic view of consciousness. The final chapter includes a comparative assessment... (shrink)

Grouping severe mental disorders into a global category is likely to lead to a “theory of everything” which forcefully explains everything and nothing. Speculation even at the phenotypic level of the single disorder cannot be fruitful, unless specific and testable models are proposed. Inclusive fitness must be incorporated in such models. (Published Online November 9 2006).

Many recent definitions of lying are based on the notion of what is said. This paper argues that says-based definitions of lying cannot account for lies involving non-literal speech, such as metaphor, hyperbole, loose use or irony. It proposes that lies should instead be defined in terms of assertion, where what is asserted need not coincide with what is said. And it points to possible implications this outcome might have for the ethics of lying.

To understand the endogenous components of the event-related brain potential (ERP), we must use data about the components' antecedent conditions to form hypotheses about the information-processing function of the underlying brain activity. These hypotheses, in turn, generate testable predictions about the consequences of the component. We review the application of this approach to the analysis of the P300 component. The amplitude of the P300 is controlled multiplicatively by the subjective probability and the task relevance of the eliciting events, whereas its (...) latency depends on the duration of stimulus evaluation. These and other factors suggest that the P300 is a manifestation of activity occurring whenever one's model of the environment must be revised. Tests of three predictions based on this “context updating” model are reviewed. Verleger's critique is based on a misconstrual of the model as well as a partial and misleading reading of the relevant literature. (shrink)

Background: The health professionals are involved in the paths of care for patients with different medical conditions. Their life is frequently characterized by psychopathological outcomes so that it is possible to identify consistent burdens. Besides the possibility to develop pathological outcomes, some protective factors such as resilience play a fundamental role in facilitating the adaptation process and the management of maladaptive patterns. Personal characteristics and specific indexes such as burdens and resilience are essential variables useful to study in-depth ongoing conditions (...) and possible interventions. The study was aimed at highlighting the presence and the relations among factors as personal variables, burdens, and resilience, to understand health professionals' specific structure and functions.Methods: The observation group was composed of 210 participants, 55 males, and 155 females, aged from 18 to 30 years old with a mean age of 25.92 years old. The study considered personal characteristics of the subjects, such as age, gender, years of study, days of work per week, hours of work per week, and years of work. Our study had been conducted with the use of measures related to burdens and resilience.Results: The performed analyses consisted of descriptive statistics, correlations, and regressions among the considered variables. Several significant correlations emerged among personal characteristics, CBI, and RSA variables. Specifically, age and work commitment indexes appeared to be significantly related to the development of burdens, differently from the years of study. Significant correlations emerged among personal and RSA variables, indicating precise directions for both domains. Age and gender were identified as predictors to perform multivariate regression analyses concerning CBI factors. Significant dependence relations emerged with reference to all CBI variables.Conclusion: Pathological outcomes and resilience factors represent two sides of the health professionals' experiences, also known as “invisible patients.” Greater knowledge about present conditions and future possibilities is a well-known need in literature so that the current analyses considered fundamental factors. In line with state of the art, future studies are needed in order to deepen elusive phenomena underlying maladjustment. (shrink)

Personalized medicine relies on two points: 1) causal knowledge about the possible effects of X in a given statistical population; 2) assignment of the given individual to a suitable reference class. Regarding point 1, standard approaches to causal inference are generally considered to be characterized by a trade-off between how confidently one can establish causality in any given study (internal validity) and extrapolating such knowledge to specific target groups (external validity). Regarding point 2, it is uncertain which reference class leads (...) to the most reliable inferences. -/- Instead, pharmacovigilance focuses on both elements of the individual prediction at the same time, that is, the establishment of the possible causal link between a given drug and an observed adverse event, and the identification of possible subgroups, where such links may arise. We develop an epistemic framework that exploits the joint contribution of different dimensions of evidence and allows one to deal with the reference class problem not only by relying on statistical data about covariances, but also by drawing on causal knowledge. That is, the probability that a given individual will face a given side effect, will probabilistically depend on his characteristics and the plausible causal models in which such features become relevant. The evaluation of the causal models is grounded on the available evidence and theory. (shrink)

In arguing against a supposed ambiguity, philosophers often rely on the zeugma test. In an application of the zeugma test, a supposedly ambiguous expression is placed in a sentence in which several of its supposed meanings are forced together. If the resulting sentence sounds zeugmatic, that is taken as evidence for ambiguity; if it does not sound zeugmatic, that is taken as evidence against ambiguity. The aim of this article is to show that arguments based on the second direction of (...) the test are misguided: ambiguous expressions, and in particular philosophically contested ones, do not reliably lead to zeugmaticity, so an absence of zeugmaticity provides no meaningful evidence for an absence of ambiguity. (shrink)

Bentley's emendation in Horace, Ep. 1.14.9.

Pictures are notably absent from the current debate about how to define lying. Theorists in this debate tend to focus on linguistic means of communication and do not consider the possibility of lying with photographs, drawings and other kinds of pictures. The aim of this paper is to show that such a narrow focus is misguided: there is a strong case to be made for the possibility of lying with pictures and this possibility allows for insights concerning the question of (...) how lying should be defined. (shrink)

In the past few years, machine learning (ML) tools have been implemented with success in the medical context. However, several practitioners have raised concerns about the lack of transparency—at the algorithmic level—of many of these tools; and solutions from the field of explainable AI (XAI) have been seen as a way to open the ‘black box’ and make the tools more trustworthy. Recently, Alex London has argued that in the medical context we do not need machine learning tools to be (...) interpretable at the algorithmic level to make them trustworthy, as long as they meet some strict empirical desiderata. In this paper, we analyse and develop London’s position. In particular, we make two claims. First, we claim that London’s solution to the problem of trust can potentially address another problem, which is how to evaluate the reliability of ML tools in medicine for regulatory purposes. Second, we claim that to deal with this problem, we need to develop London’s views by shifting the focus from the opacity of algorithmic details to the opacity of the way in which ML tools are trained and built. We claim that to regulate AI tools and evaluate their reliability, agencies need an explanation of how ML tools have been built, which requires documenting and justifying the technical choices that practitioners have made in designing such tools. This is because different algorithmic designs may lead to different outcomes, and to the realization of different purposes. However, given that technical choices underlying algorithmic design are shaped by value-laden considerations, opening the black box of the design process means also making transparent and motivating (technical and ethical) values and preferences behind such choices. Using tools from philosophy of technology and philosophy of science, we elaborate a framework showing how an explanation of the training processes of ML tools in medicine should look like. (shrink)

In the past few years, the ethical ramifications of AI technologies have been at the center of intense debates. Considerable attention has been devoted to understanding how a morally responsible practice of data science can be promoted and which values have to shape it. In this context, ethics and moral responsibility have been mainly conceptualized as compliance to widely shared principles. However, several scholars have highlighted the limitations of such a principled approach. Drawing from microethics and the virtue theory tradition, (...) in this paper, we formulate a different approach to ethics in data science which is based on a different conception of “being ethical” and, ultimately, of what it means to promote a morally responsible data science. First, we develop the idea that, rather than only compliance, ethical decision-making consists in using certain moral abilities, which are cultivated by practicing and exercising them in the data science process. An aspect of virtue development that we discuss here is moral attention, which is the ability of data scientists to identify the ethical relevance of their own technical decisions in data science activities. Next, by elaborating on the capability approach, we define a technical act as ethically relevant when it impacts one or more of the basic human capabilities of data subjects. Therefore, rather than “applying ethics”, data scientists should cultivate ethics as a form of reflection on how technical choices and ethical impacts shape one another. Finally, we show how this microethical framework concretely works, by dissecting the ethical dimension of the technical procedures involved in data understanding and preparation of electronic health records. (shrink)

ABSTRACT Copredication, as exhibited by sentences such as ‘That book is heavy but informative,’ is commonly seen as a phenomenon that is tied to sentences featuring polysemous expressions. David Liebesman and Ofra Magidor have recently attacked this view by arguing that ‘book’ has a single context-sensitive sense. The first aim of the present paper is to show that Liebesman and Magidor are wrong to claim that ‘book’ is univocal, but that they may nonetheless be right to question that copredication requires (...) polysemy. Its second aim is to consider implications of this result for the debates on copredication and on semantic variability. (shrink)

In this article, we propose the Fair Priority Model for COVID-19 vaccine distribution, and emphasize three fundamental values we believe should be considered when distributing a COVID-19 vaccine among countries: Benefiting people and limiting harm, prioritizing the disadvantaged, and equal moral concern for all individuals. The Priority Model addresses these values by focusing on mitigating three types of harms caused by COVID-19: death and permanent organ damage, indirect health consequences, such as health care system strain and stress, as well as (...) economic destruction. It proposes proceeding in three phases: the first addresses premature death, the second long-term health issues and economic harms, and the third aims to contain viral transmission fully and restore pre-pandemic activity. -/- To those who may deem an ethical framework irrelevant because of the belief that many countries will pursue "vaccine nationalism," we argue such a framework still has broad relevance. Reasonable national partiality would permit countries to focus on vaccine distribution within their borders up until the rate of transmission is below 1, at which point there would not be sufficient vaccine-preventable harm to justify retaining a vaccine. When a government reaches the limit of national partiality, it should release vaccines for other countries. -/- We also argue against two other recent proposals. Distributing a vaccine proportional to a country's population mistakenly assumes that equality requires treating differently situated countries identically. Prioritizing countries according to the number of front-line health care workers, the proportion of the population over 65, and the number of people with comorbidities within each country may exacerbate disadvantage and end up giving the vaccine in large part to wealthy nations. (shrink)

In the science and values literature, scholars have shown how science is influenced and shaped by values, often in opposition to the ‘value free’ ideal of science. In this paper, we aim to contribute to the science and values literature by showing that the relation between science and values flows not only from values into scientific practice, but also from (allegedly neutral) science to values themselves. The extant literature in the ‘science and values’ field focuses by and large on reconstructing, (...) post hoc, how values have influenced science; our reconstruction of the case studies, instead, aims to show that scientific concepts and methods _too, because of specific identifiable characteristics,_ can promote some values rather than (or at the expense of) others. We explain this bidirectional relation in analogy to debates on the normativity of technical artifacts and on feminist approaches in science, and we illustrate our claims with cases from the health sciences and machine learning. While our arguments in this paper also draw on post hoc reconstructions, we intend to show where, in the science in the making, we should engage not only with the question whether a practice is value-laden, but also how specific conceptual and methodological choices can influence values down the road. All in all, these considerations expand the ways in which philosophers can contribute to more value-aware scientific practices. (shrink)

Lying requires asserting a disbelieved proposition, that much is widely accepted in the debate on how to define lying. But what else is required? Does lying require a particular linguistic manner of expression, such as saying? Does the proposition asserted have to be false (and not merely disbelieved)? And does lying require an intention to deceive? The aim of this chapter is to provide an opinionated introduction to the debates on these questions that takes into account both theoretical considerations and (...) empirical data. (shrink)

Recently, biologists have argued that data - driven biology fosters a new scientific methodology; namely, one that is irreducible to traditional methodologies of molecular biology defined as the discovery strategies elucidated by mechanistic philosophy. Here I show how data - driven studies can be included into the traditional mechanistic approach in two respects. On the one hand, some studies provide eliminative inferential procedures to prioritize and develop mechanistic hypotheses. On the other, different studies play an exploratory role in providing useful (...) generalizations to complement the procedure of prioritization. Overall this paper aims to shed light on the structure of contemporary research in molecular biology. (shrink)

Sam Berstler defends a general moral advantage for misleading over lying by arguing that liars, but not misleaders, act unfairly toward the other members of their linguistic community. This article spells out three difficulties for Berstler’s account. First, though Berstler aims to avoid an error theory, it is dubitable that her account fits with intuitions on the matter. Second, there are some lies that do not exhibit the unfairness Berstler identifies. Third, fairness is not the only morally relevant difference between (...) lying and misleading. (shrink)

Suppose a meeting had been called among chief medical officers, chief administrative officers, and other leaders from a range of health-related institutions in this country. The question posed for this meeting was simple but unusual: Arethestructuresofourorganizations,systems,andinstitutionsethical? Though it was a question reminiscent for a few of the focus some time before on whether the conduct of individuals in their organization was ethical, this question seemed more demanding. Is it reasonable to consider structures or arrangements as ethical or not; or in (...) other words, is ethics an applicable attribute of organizations? And if it is reasonable to speak of an ethics of organizations, by what method might one discern any kind of an answer? And what of the informal connections that link different organizations … how can they be evaluated? (shrink)

I argue that the familiar picture of the rise of analytic philosophy through the early work of G. E. Moore and Bertrand Russell is incomplete and to some degree erroneous. Archival evidence suggests that a considerable influence on Moore, especially evident in his 1899 paper ‘The nature of judgment,’ comes from the literature in nineteenth-century empirical psychology rather than nineteenth-century neo-Hegelianism, as is widely believed. I argue that the conceptual influences of Moore’s paper are more likely to have had their (...) source in the work of two of Moore’s teachers, G. F. Stout and James Ward. What may be called an anti-psychologism about psychology characterizes the work of these and other psychologists of the period. I argue that the anti-psychologism that is the main aim of Moore’s early theory of judgment is an adaptation of this notion, which is significantly dissimilar from the notion defended by Bradley, traditionally thought to have been a key influence on Moore.Keywords: G. E. Moore; Bertrand Russell; Propositions; Anti-psychologism; Early analytic philosophy; G. F. Stout. (shrink)

Machine learning (ML) has been praised as a tool that can advance science and knowledge in radical ways. However, it is not clear exactly how radical are the novelties that ML generates. In this article, I argue that this question can only be answered contextually, because outputs generated by ML have to be evaluated on the basis of the theory of the science to which ML is applied. In particular, I analyze the problem of novelty of ML outputs in the (...) context of molecular biology. In order to do this, I first clarify the nature of the models generated by ML. Next, I distinguish three ways in which a model can be novel (from the weakest to the strongest). Third, I dissect the way ML algorithms work and generate models in molecular biology and genomics. On these bases, I argue that ML is either a tool to identify instances of knowledge already present and codified, or to generate models that are novel in a weak sense. The notable contribution of ML to scientific discovery in the context of biology is that it can aid humans in overcoming potential bias by exploring more systematically the space of possible hypotheses implied by a theory. (shrink)

Comprehensive in scope and research, this book will be a crucial resource for researchers in the medical sciences, as well as teachers and students alike.

Adler and Barnett demonstrate how changes occurring in international politics create the nostalgia of security communities, a concept made prominent by Karl Deutsch nearly forty years ago.

In 1877 Erwin Rohde suggested the conjecture Argino instead of the manuscript reading argiro in Ampelius 8, 16. His conjecture did not find approval among editors of the late antique author and is virtually forgotten. A fresh look at Rohde’s suggestion shows, however, that it is convincing with regards to palaeography and consents with literary and epigraphical evidence. With Argino instead of a conjecture like Bargyliis, the passage is no more a testimony for the Carian city of Bargylia, but for (...) the Ionian Erythrae and its religious history (Aphrodite, Heracles, and the Sibyl). (shrink)

We study first-order logic with two variables FO² and establish a small substructure property. Similar to the small model property for FO² we obtain an exponential size bound on embedded substructures, relative to a fixed surrounding structure that may be infinite. We apply this technique to analyse the satisfiability problem for FO² under constraints that require several binary relations to be interpreted as equivalence relations. With a single equivalence relation, FO² has the finite model property and is complete for non-deterministic (...) exponential time, just as for plain FO² With two equivalence relations, FO² does not have the finite model property, but is shown to be decidable via a construction of regular models that admit finite descriptions even though they may necessarily be infinite. For three or more equivalence relations, FO² is undecidable. (shrink)