As a continuation of the work of the third author in [5], we make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired by Serre’s algebraic twisting) to describe arbitrary fibres in cohomology sequences—yielding a useful “finiteness” result on cohomology sets. Applied to the special case (...) of differential fields and Kolchin’s constrained cohomology, we complete results from [3] by proving that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable. (shrink)

This article establishes the existence of a definable , countably saturated nonstandard enlargement of the superstructure over the reals. This nonstandard universe is obtained as the union of an inductive chain of bounded ultrapowers . The underlying ultrafilter is the one constructed by Kanovei and Shelah [10].

The ‘black box problem’ is a long-standing talking point in debates about artificial intelligence. This is a significant point of tension between ethicists, programmers, clinicians and anyone else working on developing AI for healthcare applications. However, the precise definition of these systems are often left undefined, vague, unclear or are assumed to be standardised within AI circles. This leads to situations where individuals working on AI talk over each other and has been invoked in numerous debates between opaque and explainable (...) systems. This paper proposes a coherent and clear definition for the black box problem to assist in future discussions about AI in healthcare. This is accomplished by synthesising various definitions in the literature and examining several criteria that can be extrapolated from these definitions. There are no data in this work. (shrink)

Let M be a short extender mouse. We prove that if $E\in M$ and $M\models $ “E is a countably complete short extender whose support is a cardinal $\theta $ and $\mathcal {H}_\theta \subseteq \mathrm {Ult}(V,E)$ ”, then E is in the extender sequence $\mathbb {E}^M$ of M. We also prove other related facts, and use them to establish that if $\kappa $ is an uncountable cardinal of M and $\kappa ^{+M}$ exists in M then $(\mathcal {H}_{\kappa ^+})^M$ satisfies the (...) Axiom of Global Choice. We prove that if M satisfies the Power Set Axiom then $\mathbb {E}^M$ is definable over the universe of M from the parameter $X=\mathbb {E}^M\!\upharpoonright \!\aleph _1^M$, and M satisfies “Every set is $\mathrm {OD}_{\{X\}}$ ”. We also prove various local versions of this fact in which M has a largest cardinal, and a version for generic extensions of M. As a consequence, for example, the minimal proper class mouse with a Woodin limit of Woodin cardinals models “ $V=\mathrm {HOD}$ ”. This adapts to many other similar examples. We also describe a simplified approach to Mitchell–Steel fine structure, which does away with the parameters $u_n$. (shrink)

The concept of agency is of crucial importance in cognitive science and artificial intelligence, and it is often used as an intuitive and rather uncontroversial term, in contrast to more abstract and theoretically heavy-weighted terms like “intentionality”, “rationality” or “mind”. However, most of the available definitions of agency are either too loose or unspecific to allow for a progressive scientific program. They implicitly and unproblematically assume the features that characterize agents, thus obscuring the full potential and challenge of modeling agency. (...) We identify three conditions that a system must meet in order to be considered as a genuine agent: a) a system must define its own individuality, b) it must be the active source of activity in its environment (interactionalasymmetry) and c) it must regulate this activity in relation to certain norms (normativity). We find that even minimal forms of proto-celular systems can already provide a paradigmatic example of genuine agency. By abstracting away some specific details of minimal models of living agency we define the kind of organization that is capable to meet the required conditions for agency (which is not restricted to living organisms). On this basis, we define agency as an autonomous organization that adaptively regulates its coupling with its environment and contributes to sustaining itself as a consequence. We find that spatiality and temporality are the two fundamental domains in which agency spans at different scales. We conclude by giving an outlook to the road that lies ahead in the pursuit to understand, model and synthesis agents. (shrink)

In free speech theory ‘speech’ has to be defined as a special term of art. I argue that much free speech discourse comes with a tacit commitment to a ‘Subtractive Approach’ to defining speech. As an initial default, all communicative acts are assumed to qualify as speech, before exceptions are made to ‘subtract’ those acts that don’t warrant the special legal protections owed to ‘speech’. I examine how different versions of the Subtractive Approach operate, and criticise them in terms of (...) their ability to yield a substantive definition of speech which covers all and only those forms of communicative action that – so our arguments for free speech indicate – really do merit special legal protection. In exploring alternative definitional approaches, I argue that what ultimately compromises definitional adequacy in this arena is a theoretical commitment to the significance of a single unified class of privileged communicative acts. I then propose an approach to free speech theory that eschews this theoretical commitment. (shrink)

The need to understand the systems that support ethical health research has long been recognized, but there are limited descriptions of actual health research ethics (HRE) systems. Using participatory network mapping methods, we empirically defined Malaysia's HRE system. 13 Malaysian stakeholders identified 4 overarching and 25 specific HRE system functions and 35 actors internal and 3 external to the Malaysian HRE system responsible for those functions. Functions requiring the most attention were: advising on legislation related to HRE; optimizing research value (...) to society; and defining standards for HRE oversight. Internal actors with the greatest potential for more influence were: the national network of research ethics committees; non-institution-based research ethics committees; and research participants. The World Health Organization, an external actor, had the largest untapped potential for influence overall. In summary, this stakeholder-driven process identified HRE system functions and actors that could be targeted to increase HRE system capacity. (shrink)

We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.

Wherever philosophers disagree, one of the things at issue is likely to be what they disagree about, itself. In addition to asking whether moral realism is true, and which forms of moral realism are more likely to be true than others, we can also ask what it would mean for some form of moral realism to be true. The usual aspiration of such inquiry is to find definitions that all can agree on, so that we can use terms in a (...) uniform way. But we doubt that this aspiration is always possible, or even desirable. It will be our goal in this chapter to sketch out some of our reasons for such skepticism, and to lay out a picture of what philosophical inquiry can look like in metaethics and beyond, even when it is impossible to reach uniform agreement on the terms of the debate. (shrink)

It will engage bioethicists and philosophers as well as inform policy and law regarding issues at the beginning and end of life.

This project explored what constitutes “ethical practice of mathematics”. Thematic analysis of ethical practice standards from mathematics-adjacent disciplines (statistics and computing), were combined with two organizational codes of conduct and community input resulting in over 100 items. These analyses identified 29 of the 52 items in the 2018 American Statistical Association Ethical Guidelines for Statistical Practice, and 15 of the 24 additional (unique) items from the 2018 Association of Computing Machinery Code of Ethics for inclusion. Three of the 29 items (...) synthesized from the 2019 American Mathematical Society Code of Ethics, and zero of the Mathematical Association of America Code of Ethics, were identified as reflective of “ethical mathematical practice” beyond items already identified from the other two codes. The community contributed six unique items. Item stems were standardized to, “The ethical mathematics practitioner…”. Invitations to complete the 30-min online survey were shared nationally (US) via Mathematics organization listservs and other widespread emails and announcements. We received 142 individual responses to the national survey, 75% of whom endorsed 41/52 items, with 90–100% endorsing 20/52 items on the survey. Items from different sources were endorsed at both high and low rates. A final thematic analysis yielded 44 items, grouped into “General” (12 items), “Profession” (10 items) and “Scholarship” (11 items). Moreover, for the practitioner in a leader/mentor/supervisor/instructor role, there are an additional 11 items (4 General/7 Professional). These results suggest that the community perceives a much wider range of behaviors by mathematicians to be subject to ethical practice standards than had been previously included in professional organization codes. The results provide evidence against the argument that mathematics practitioners engaged in “pure” or “theoretical” work have minimal, small, or no ethical obligations. (shrink)

Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This paper examines the possible (...) contributions of definitions of life in scientific domains where such definitions are used most (e.g., Synthetic Biology, Origins of Life, Alife, and Astrobiology). Rather than as classificatory tools for demarcation of natural kinds, we highlight the pragmatic utility of what we call operational definitions that serve as theoretical and epistemic tools in scientific practice. In particular, we examine contexts where definitions integrate criteria for life into theoretical models that involve or enable observable operations. We show how these definitions of life play important roles in influencing research agendas and evaluating results, and we argue that to discard the project of defining life is neither sufficiently motivated, nor possible without dismissing important theoretical and practical research. (shrink)

New Blackfriars, Volume 103, Issue 1107, Page 607-621, September 2022.

The Defining Issues Test (DIT) has been widely used in psychological experiments to assess one’s developmental level of moral reasoning in terms of postconventional reasoning. However, there have been concerns regarding whether the tool is biased across people with different genders and political and religious views. To address the limitations, in the present study, I tested the validity of the brief version of the test, that is, the behavioral DIT, in terms of the measurement invariance and differential item functioning (DIF). (...) I could not find any significant non-invariance at the test level or any item demonstrating practically significant DIF at the item level. The findings indicate that neither the test nor any of its items showed a significant bias toward any particular group. As a result, the collected validity evidence supports the use of test scores across different groups, enabling researchers who intend to examine participants’ moral reasoning development across heterogeneous groups to draw conclusions based on the scores. (shrink)

Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This paper examines the possible (...) contributions of definitions of life in scientific domains where such definitions are used most. Rather than as classificatory tools for demarcation of natural kinds, we highlight the pragmatic utility of what we call operational definitions that serve as theoretical and epistemic tools in scientific practice. In particular, we examine contexts where definitions integrate criteria for life into theoretical models that involve or enable observable operations. We show how these definitions of life play important roles in influencing research agendas and evaluating results, and we argue that to discard the project of defining life is neither sufficiently motivated, nor possible without dismissing important theoretical and practical research. (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

The variably strict analysis of conditionals does not only largely dominate the philosophical literature, since its invention by Stalnaker and Lewis, it also found its way into linguistics and psychology. Yet, the shortcomings of Lewis–Stalnaker’s account initiated a plethora of modifications, such as non-vacuist conditionals, presuppositional indicatives, perfect conditionals, or other conditional constructions, for example: reason relations, difference-making conditionals, counterfactual dependency, or probabilistic relevance. Many of these new connectives can be treated as strengthened or weakened conditionals. They are definable conditionals. (...) This article develops a technique to infer the logic for such definable conditionals from the known logic of the underlying defining conditional. The technique is applied to central examples. The results show that a large part of the zoo of conditionals arises from a basic conditional—a constant nucleus of the different contextual and conceptual variations of variably strict conditionals. (shrink)

The first part of this study is devoted to an attempt to provide a systematic philosophical argument for the political movement from Marx to Kant. The second half proposes analyses of the New Left of the 60s and the potential birth of a new New Left in the 80s.

Recently there has been some discussion concerning a particular type of enhancement, namely ‘moral enhancement’. However, there is no consensus on what precisely constitutes moral enhancement, and as a result the concept is used and defined in a wide variety of ways. In this article, we develop a clarificatory taxonomy of these definitions and we identify the criteria that are used to delineate the concept. We think that the current definitions can be distinguished from each other by the criteria used (...) for determining whether an intervention is indeed moral enhancement. For example, some definitions are broad and include moral enhancement by any means, while other definitions focus only on moral enhancement by means of specific types of intervention. Moreover, for some definitions it suffices for an intervention to be aimed or intended to morally enhance a person, while other definitions only refer to ‘moral enhancement’ in relation to interventions that are actually effective. For all these differences in definitions we discuss some of their implications. This shows that definitions are significantly less descriptive and more normative than they are regularly portrayed to be. We therefore hope that the taxonomy developed in this paper and the comments on the implications for the normative debate of the variety of definitions will provide conceptual clarity in a complex and highly interesting debate. (shrink)

We prove that in a continuous ℵ₀-stable theory every type-definable group is definable. The two main ingredients in the proof are: 1. Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from [Ben08], allowing us to prove the theorem in case the metric is invariant under the group action; and 2. Results concerning the existence of translation-invariant definable metrics on type-definable groups and the extension of partial definable metrics to total ones.

There is no broadly accepted definition of ‘life.’ Suggested definitions face problems, often in the form of robust counter-examples. Here we use insights from philosophical investigations into language to argue that defining ‘life’ currently poses a dilemma analogous to that faced by those hoping to define ‘water’ before the existence of molecular theory. In the absence of an analogous theory of the nature of living systems, interminable controversy over the definition of life is inescapable.

It is becoming increasingly common for authoritarian regimes to leverage digital technologies to surveil, repress and manipulate their citizens. Experts typically refer to this practice as “digital authoritarianism” (DA). Existing definitions of DA consistently presuppose a politically repressive agent intentionally exploiting digital technology in pursuit of authoritarian ends. I refer to this as the "intention-based definition." This paper argues that this definition is untenable as a general description of DA. I begin by illustrating the current predominance of the intention-based definition (...) (Section 1). Section 2 then presents four counterexamples to this definition: benign surveillance; digital sovereignty; attention-harvesting algorithms; and tech-induced loneliness. In each case, we witness authoritarianism being promoted by digital technologies without any evidence of this being intentionally caused by politically repressive agents. Based on these observations, I contend that the intention-based definition is underinclusive and therefore unsustainable. Section 3 then outlines an improved definition of DA – what I call the "promotion-based definition." Since this more expansive definition does not posit intentional, politically repressive agency as a precondition of DA, it can accommodate the counterexamples discussed in Section 2. Moreover, it enables us to catch a broader spectrum of cases of DA, such as tech-induced loneliness, which those adhering to the intention-based definition are prone to overlook. After outlining further practical benefits of the promotion-based definition, I argue that we still need to distinguish between intentional and unintentional forms of DA since they call for distinct types of remedial action. (shrink)

Something could be round even if it were the only thing in the universe, unaccompanied by anything distinct from itself. Jaegwon Kim once suggested that we define an intrinsic property as one that can belong to something unaccompanied. Wrong: unaccompaniment itself is not intrinsic, yet it can belong to something unaccompanied. But there is a better Kim-style definition. Say that P is independent of accompaniment iff four different cases are possible: something accompanied may have P or lack P, something unaccompanied (...) may have P or lack P. P is basic intrinsic iff (1) P and not-P are nondisjunctive and contingent, and (2) P is independent of accompaniment. Two things (actual or possible) are duplicates iff they have exactly the same basic intrinsic properties. P is intrinsic iff no two duplicates differ with respect to P. (shrink)

This essay examines several recent philosophical attempts to define ‘disease’. Two prominent ones are considered in detail, an objective approach by Christopher Boorse and a normative approach by Caroline Whitbeck. Both are found to be inadequate for a variety of reasons, though Whitbeck's is superior because of her careful preliminary distinctions and because of its normative approach which is more nearly in accord with medical and lay usage. The paper concludes with a discussion of the nature of such efforts at (...) definition and suggests that their limitations are due both to the nature of our language and concepts in general, and to the nature of medicine in particular. It is the practical and changing character of medicine and its language that frustrates the efforts of philosophers to formulate such definitions. Keywords: disease, definition CiteULike Connotea Del.icio.us What's this? (shrink)

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

ABSTRACT Rima Basu and I have offered separate accounts of wokeness as an anti-racist ethical concept. Our accounts endorse controversial doctrines in epistemology: doxastic wronging, doxastic voluntarism, and moral encroachment. Many philosophers deny these three views, favoring instead some ordinary standards for epistemic justification. I call this denial the standard view. In this paper, I offer an account of wokeness that is consistent with the standard view. I argue that wokeness is best understood as ‘group epistemic partiality’. The woke person (...) does extra epistemic work before forming a negative belief about a member of an oppressed social group. Just as we do extra epistemic work when forming belief about our friends, so the woke person does for members of oppressed social groups. I first outline the account. I then raise questions about the scope of wokeness and belief formation. After this, I demonstrate that the group partiality view is consistent with the standard view in epistemology. The partiality view, therefore, should appeal to epistemologists who have adopted the standard view because it is consistent with ordinary standards of justification. I conclude that wokeness as a concept in epistemology should not be controversial for those who endorse the standard view. (shrink)

In his Populist Democracy: A Defence (1993), Torbjörn Tännsjö suggests, roughly, the following necessary and sufficient conditions for a democratic collective choice: If the majority of a given group of voters prefer A to B, then the collective choice is A rather than B; and if the majority of voters had preferred B to A, then the collective choice would have been B rather than A. Moreover, the preference of a voter is equated with the one she is showing by (...) the act of voting (e.g., by putting a ballot in a box). Tännsjö’s definition has the advantage of being simple, naturalistic, and, to the best of my knowledge, more exact that most other definitions proposed in the literature. As such, I think it is a useful starting point for a discussion of how to define democratic decision making. As we will see below, such a discussion can be quite illuminating and generate interesting and fruitful questions regarding how to understand democracy. Tännsjö claims that his definition is in line with common language use, i.e., that it is a lexical definition. Pace Tännsjö, I shall show that it departs from common language use since it has a number of counterintuitive implications in regards to which decisions and methods that are classified as democratic or undemocratic. I shall suggest a number of amendments to avoid these drawbacks and incorporate these amendments in a definition of a democratic collective choice. The result is a definition of a democratic decision that is superior to Tännsjö’s, or so we will argue. It will be acknowledged, however, that it still has some shortcomings that future efforts need to rectify, or that it might not be possible to give a 1 simple and naturalistic definition of democracy that is sufficiently in line with common language use. To avoid a possible misunderstanding, let me add that I don’t think there is necessarily one correct way of defining a democratic decision (although there might be a common kernel) and I certainly don’t suggest that the definition proposed here is the only way of explicating the ordinary language use of the term “democracy”.. (shrink)

I systematically defend a novel account of the grounds for identity and distinctness facts: they are all uniquely zero‐grounded. First, this Null Account is shown to avoid a range of problems facing other accounts: a relation satisfying the Null Account would be an excellent candidate for being the identity relation. Second, a plenitudinist view of relations suggests that there is such a relation. To flesh out this plenitudinist view I sketch a novel framework for expressing real definitions, use this framework (...) to give a definition of identity, and show how the central features of the identity relation can be deduced from this definition. (shrink)

This paper considers definitions of classical dynamical chaos that focus primarily on notions of predictability and computability, sometimes called algorithmic complexity definitions of chaos. I argue that accounts of this type are seriously flawed. They focus on a likely consequence of chaos, namely, randomness in behavior which gets characterized in terms of the unpredictability or uncomputability of final given initial states. In doing so, however, they can overlook the definitive feature of dynamical chaos--the fact that the underlying motion generating the (...) behavior exhibits extreme trajectory instability. I formulate a simple criterion of adequacy for any definition of chaos and show how such accounts fail to satisfy it. (shrink)

How should we define ‘health’ and ‘disease’? There are three main positions in the literature. Naturalists desire value-free definitions based on scientific theories. Normativists believe that our uses of ‘health’ and ‘disease’ reflect value judgments. Hybrid theorists offer definitions containing both normativist and naturalist elements. This paper discusses the problems with these views and offers an alternative approach to the debate over ‘health’ and ‘disease’. Instead of trying to find the correct definitions of ‘health’ and ‘disease’ we should explicitly talk (...) about the considerations that are central in medical discussions, namely state descriptions and normative claims . This distinction avoids the problems facing the major approaches to defining ‘health’ and ‘disease’, and it more clearly captures what matters in medical discussions. (shrink)

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...) of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (shrink)

Technologies can range from the simplest of shelters to keep us warm and dry, to the most complex bioengineering interventions. In this technologically mediated world we now inhabit, there is a growing need for human beings, and particularly young people, to be more critically involved in the discourse surrounding technology. In order to achieve a truly democratic world, any tensions or confusions between human beings, their environment, and their technologies must be resolved. Only then will people become empowered to improve (...) their world in a creative, sensitive, informed and above all, sustainable fashion. This collection offers a solid basis for defining this new technological literacy by bringing together theoretical work that ranges from philosophy, design, and pedagogy. (shrink)

Explainable artificial intelligence (XAI) aims to help people understand black box algorithms, particularly of their outputs. But what are these explanations and when is one explanation better than another? The manipulationist definition of explanation from the philosophy of science offers good answers to these questions, holding that an explanation consists of a generalization that shows what happens in counterfactual cases. Furthermore, when it comes to explanatory depth this account holds that a generalization that has more abstract variables, is broader in (...) scope and/or more accurate is better. By applying these definitions and contrasting them with alternative definitions in the XAI literature I hope to help clarify what a good explanation is for AI. (shrink)

The central contention of this article is that the classificatory scheme of contemporary affective science, with its traditional categories of emotion, anger, fear, and so on, is no longer suitable to the needs of affective science. Unlike psychological constructionists, who have urged the transition from a discrete to a dimensional approach in the study of affective phenomena, I argue that we can stick to a discrete approach as long as we accept that traditional emotion categories will have to be transformed (...) in order to do any scientific work. I conclude by articulating some general rules for turning traditional emotion categories into suitable scientific tools. (shrink)

In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...) by Correia which is not based on Fine’s primitive essentialist notion. The first main point of the paper is that the singular reading is untenable. The second that given plausible background assumptions, the remaining three definitions are extensionally equivalent. The third is that, this equivalence notwithstanding, Essentialists should adopt Correia’s version of the definition, since both the existential variant, which has de facto been adopted as the standard version of the definition in the literature, and the plural reading suffer from problems connected to Fine’s primitive essentialist notion. (shrink)

We prove the following instance of a conjecture stated in [P. E. Eleftheriou and Y. Peterzil, Definable quotients of locally definable groups, Selecta Math. 18 885–903]. Let [Formula: see text] be an abelian semialgebraic group over a real closed field [Formula: see text] and let [Formula: see text] be a semialgebraic subset of [Formula: see text]. Then the group generated by [Formula: see text] contains a generic set and, if connected, it is divisible. More generally, the same result holds when (...) [Formula: see text] is definable in any o-minimal expansion of [Formula: see text] which is elementarily equivalent to [Formula: see text]. We observe that the above statement is equivalent to saying: there exists an [Formula: see text] such that [Formula: see text] is an approximate subgroup of [Formula: see text]. (shrink)

Fake news is a worrying phenomenon which is growing increasingly widespread, partly because of the ease with which it is disseminated online. Combating the spread of fake news requires a clear understanding of the nature of fake news. However, the use of the term in everyday language is heterogenous and has no fixed meaning. Despite increasing philosophical attention to the topic, there is no consensus on the correct definition of “fake news” within philosophy either. This paper aims to bring clarity (...) to the philosophical debate of fake news in two ways: Firstly, by providing an overview of existing philosophical definitions and secondly, by developing a new account of fake news. This paper will identify where there is agreement within the philosophical debate of definitions of “fake news” and isolate four key questions on which there is genuine disagreement. These concern the intentionality underlying fake news, its truth value, the question of whether fake news needs to reach a minimum audience, and the question of whether an account of fake news needs to be dynamic. By answering these four questions, I provide a novel account of defining “fake news”. This new definition hinges upon the fact that fake news has the function of being deliberately misleading about its own status as news. (shrink)

We give a definition, in the ring language, of Zp inside Qp and of Fp[[t]] inside Fp), which works uniformly for all p and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition (...) by an existential formula and neither by a universal formula for the valuation rings of all the finite extensions of a given Henselian valued field. We also show that there is no existential formula of the ring language defining Zp inside Qp uniformly for all p. For any fixed finite extension of Qp, we give an existential formula and a universal formula in the ring language which define the valuation ring. (shrink)

In any nonstandard model of Peano arithmetic, the standard part is not first-order definable. But we show that in some model the standard part is definable as the unique solution of a formula , where P is a unary predicate variable.

The interest in "social sustainability" has recently increased in the field of urban development. We want societies, cities, and neighborhoods to be economically and environmentally sustainable, but we also want urban areas that are safe, diverse, walkable, and relaxing, just to mention a few examples. Strikingly, however, there is no consensus regarding what definition of "social sustainability" should be employed. Additionally, some people are skeptical about the prospect of finding a useful definition at all and claim it is impossible to (...) satisfactorily define the concept for various reasons, such as its complexity. A potential first step towards navigating this conceptual maze is to provide desiderata for a definition of social sustainability. We defend a list of nine desiderata and thereby create a theoretical framework for analyzing and constructing a definition of "social sustainability". We also examine the skeptical arguments and find that it is premature to conclude that the goal of finding a useful definition is hopeless. With the criteria in place, the future debate can proceed by assessing definitions of "social sustainability" in a more structured and transparent manner. This activity is of upmost importance if we want to create just cities. Keywords: Social Sustainability, Definition, Purposes and Aims, Conditions of Adequacy. (shrink)

In a series of recent publications, orofacial researchers have debated the question of how ‘bruxism’ should be defined for the purposes of accurate diagnosis and reliable clinical research. Following the principles of realism-based ontology, we performed an analysis of the arguments involved. This revealed that the disagreements rested primarily on inconsistent use of terms, so that issues of ontology were thus obfuscated by shortfalls in terminology. In this paper, we demonstrate how bruxism terminology can be improved by paying attention to (...) the relationships between (1) particulars and types, and (2) continuants and occurrents. (shrink)

The nurse-patient relationship involves complex attitudes and behaviours with ethical and deontological implications. It has been linked to improvements in patient health outcomes, although there is still no consensus in the scientific literature as to the definition and characterisation of the concept. This article aim to define the concept of the nurse-patient relationship. A concept analysis was conducted using the Walker and Avant method to identify the attributes defining the nurse-patient relationship. An integrative review of the literature was conducted using (...) the PubMed, Web of Science, Scopus, and Cumulative Index to Nursing & Allied Health Literature databases. A review of the grey literature and other minor non-indexed publications on the topic was also conducted. A total of 36 articles were included in the review. A model case, a contrary case, a related case, and empirical references were produced to clarify the concept and identify its essential attributes. The concept is defined as a helping relationship involving interaction between different players. It is the basis of nursing care and is intended to meet the healthcare needs of the individual receiving this care. It is also viewed as an intervention in itself, requiring a specific training process just like any other nursing skill. The essential attributes of the relationship are empathy, presence, contact, authenticity, trust, and reciprocity. In conclusion, the nurse-patient relationship is a helping relationship established with the patient and/or their family based on interaction, communication, respect for ethical values, acceptance, and empathy in order to encourage introspection and behavioural change. Key components include communication, active listening, and respect. Bioethical values and confidentiality must also be present to ensure that the relationship is built on equality and intimacy. (shrink)