Let be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, Δ0‐separation and set foundation. This paper studies the relative strength of set theories obtained by adding fragments of the set‐theoretic collection scheme to. We focus on two common parameterisations of the collection: ‐collection, which is the usual collection scheme restricted to ‐formulae, and strong ‐collection, which is equivalent to ‐collection plus ‐separation. The main result of this paper shows that for (...) all, proves that there exists a transitive model of Zermelo Set Theory plus ‐collection, the theory is ‐conservative over the theory. It is also shown that (2) holds for when the Axiom of Choice is included in the base theory. The final section indicates how the proofs of (1) and (2) can be modified to obtain analogues of these results for theories obtained by adding fragments of collection to a base theory (Kripke‐Platek Set Theory with Infinity plus ) that does not include the powerset axiom. (shrink)

We identify complete fragments of the simple theory of types with infinity and Quine’s new foundations set theory. We show that TSTI decides every sentence ϕ in the language of type theory that is in one of the following forms: ϕ=∀x1r1⋯∀xkrk∃y1s1⋯∃ylslθ where the superscripts denote the types of the variables, s1>⋯>sl, and θ is quantifier-free, ϕ=∀x1r1⋯∀xkrk∃y1s⋯∃ylsθ where the superscripts denote the types of the variables and θ is quantifier-free. This shows that NF decides every stratified sentence ϕ in the language (...) of set theory that is in one of the following forms: ϕ=∀x1⋯∀xk∃y1⋯∃ylθ where θ is quantifier-free and ϕ admits a stratification that assigns distinct values to all of the variables y1,…,yl, ϕ=∀x1⋯∀xk∃y1⋯∃ylθ where θ is quantifier-free and ϕ admits a stratification that assigns the same value to all of the variables y1,…,yl. (shrink)

We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory.

Given a model \ of set theory, and a nontrivial automorphism j of \, let \\) be the submodel of \ whose universe consists of elements m of \ such that \=x\) for every x in the transitive closure of m ). Here we study the class \ of structures of the form \\), where the ambient model \ satisfies a frugal yet robust fragment of \ known as \, and \=m\) whenever m is a finite ordinal in the sense (...) of \ Our main achievement is the calculation of the theory of \ as precisely \-\. The following theorems encapsulate our principal results:Theorem A. Every structure in \ satisfies \-\.Theorem B. Each of the following three conditions is sufficient for a countable structure \ to be in \: \ is a transitive model of \-\. \ is a recursively saturated model of \-\. \ is a model of \.Theorem C. Suppose \ is a countable recursively saturated model of \ and I is a proper initial segment of \ that is closed under exponentiation and contains \. There is a group embedding \ from \\) into \\) such that I is the longest initial segment of \ that is pointwise fixed by \ for every nontrivial \.\)In Theorem C, \\) is the group of automorphisms of the structure X, and \ is the ordered set of rationals. (shrink)

In this paper is used to denote Jensen's modification of Quine's ‘new foundations’ set theory () fortified with a type‐level pairing function but without the axiom of choice. The axiom is the variant of the axiom of counting which asserts that no finite set is smaller than its own set of singletons. This paper shows that proves the consistency of the simple theory of types with infinity (). This result implies that proves that consistency of, and that proves the consistency (...) of. (shrink)

Hamkins and Kikuchi (2016, 2017) show that in both set theory and class theory the definable subset ordering of the universe interprets a complete and decidable theory. This paper identifies the minimum subsystem of,, that ensures that the definable subset ordering of the universe interprets a complete theory, and classifies the structures that can be realised as the subset relation in a model of this set theory. Extending and refining Hamkins and Kikuchi's result for class theory, a complete extension,, of (...) the theory of infinite atomic boolean algebras and a minimum subsystem,, of are identified with the property that if is a model of, then is a model of, where M is the underlying set of, is the unary predicate that distinguishes sets from classes and is the definable subset relation. These results are used to show that that decides every 2‐stratified sentence of set theory and decides every 2‐stratified sentence of class theory. (shrink)

By a classical theorem of Harvey Friedman, every countable nonstandard model $\mathcal {M}$ of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding j, i.e., j is a self-embedding of $\mathcal {M}$ such that $j[\mathcal {M}]\subsetneq \mathcal {M}$, and the ordinal rank of each member of $j[\mathcal {M}]$ is less than the ordinal rank of each element of $\mathcal {M}\setminus j[\mathcal {M}]$. Here, we investigate the larger family of proper initial-embeddings j of models $\mathcal {M}$ of fragments of (...) set theory, where the image of j is a transitive submodel of $\mathcal {M}$. Our results include the following three theorems. In what follows, $\mathrm {ZF}^-$ is $\mathrm {ZF}$ without the power set axiom; $\mathrm {WO}$ is the axiom stating that every set can be well-ordered; $\mathrm {WF}$ is the well-founded part of $\mathcal {M}$ ; and $\Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $ is the full scheme of dependent choice of length $\alpha $.Theorem A.There is an $\omega $ -standard countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^-+\mathrm {WO}$ that carries no initial self-embedding $j:\mathcal {M} \longrightarrow \mathcal {M}$ other than the identity embedding.Theorem B.Every countable $\omega $ -nonstandard model $\mathcal {M}$ of $\ \mathrm {ZF}$ is isomorphic to a transitive submodel of the hereditarily countable sets of its own constructible universe $L^{\mathcal {M}}$.Theorem C.The following three conditions are equivalent for a countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^{-}+\mathrm {WO}+\forall \alpha \ \Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $. There is a cardinal in $\mathcal {M}$ that is a strict upper bound for the cardinality of each member of $\mathrm {WF}$. $\mathrm {WF}$ satisfies the powerset axiom.For all $n \in \omega $ and for all $b \in M$, there exists a proper initial self-embedding $j: \mathcal {M} \longrightarrow \mathcal {M}$ such that $b \in \mathrm {rng}$ and $j[\mathcal {M}] \prec _n \mathcal {M}$. (shrink)

Drawing on early work on ethical leadership, we argue that when leaders engage in leader moral hypocrisy (i.e., ethical promotion without ethical demonstration), followers can experience psychological reactance—a negative response to a perceived restriction of freedom—which can have negative downstream consequences. In a survey of employee–manager dyads (study 1), we demonstrate that leader moral hypocrisy is positively associated with follower psychological reactance, which increases follower deviance. In two subsequent laboratory experiments, we find similar patterns of results (study 2) and explore (...) potential alternative mechanisms (study 3). We demonstrate in a final experiment with working adults that the relationship between leader moral hypocrisy and psychological reactance is partly explained by increased perceptions of a leader’s use of power (study 4). We discuss the implications of our findings and advocate for further understanding of the risks associated with psychological reactance in response to leaders and other workplace situations. (shrink)

This article examines two questions about scientists’ search for knowledge. First, which search strategies generate discoveries effectively? Second, is it advantageous to diversify search strategies? We argue pace Weisberg and Muldoon, “Epistemic Landscapes and the Division of Cognitive Labor”, that, on the first question, a search strategy that deliberately seeks novel research approaches need not be optimal. On the second question, we argue they have not shown epistemic reasons exist for the division of cognitive labor, identifying the errors that led (...) to their conclusions. Furthermore, we generalize the epistemic landscape model, showing that one should be skeptical about the benefits of social learning in epistemically complex environments. (shrink)

Unfortunately, business is often associated with unethical behavior. While research has offered a number of explanations for why business might encourage unethical behavior, we argue that how a person frames a situation may provide important insight. Drawing on the decision frame literature, the goal of the current research is to identify the differences in cognitive processing associated with two decision frames dominant in the business ethics literature—business and ethical—and, with that knowledge, examine ways to mitigate the detrimental influence of frame (...) on unethical behavior. We first demonstrate the causal link between frame and misrepresentation, and then identify several differences in cognitive processing—cost–benefit analyses, concern for others, and construal level—that distinguish business and ethical frames, and investigate their effects on misrepresentation. In our final set of studies, we demonstrate that the influence of these frames on misrepresentation can be altered by manipulating these cognitive processes, both mitigating and exacerbating a decision maker’s engagement in misrepresentation. We conclude by summarizing our findings and their potential impact on unethical behavior more broadly. (shrink)

A variant of the process dissociation procedure was coupled with a manipulation of response signal lag to assess whether manipulations of context affect one or both of the familiarity and search processes described by the dual process model of recognition. Participants studied a list of word pairs followed by a recognition test with target words presented in the same or different context, and in the same or different form as study . Participants were asked to recognize any target word regardless (...) of changes to form , or to only recognise words that were presented in the same form . The standard context reinstatement effect was evident even at the short response lags. Analyses of the estimates of the contributions of familiarity and search processes suggest that the context effect demonstrated here can be attributed in part to the influence of familiarity on recognition, whereas the effect on recollection was less clear. (shrink)

A number of reports have suggested that patients who undergo deep brain stimulation may experience changes to their personality or sense of self. These reports have attracted great philosophical interest. This paper surveys the philosophical literature on personal identity and DBS and draws on an emerging empirical literature on the experiences of patients who have undergone this therapy to argue that the existing philosophical discussion of DBS and personal identity frames the problem too narrowly. Much of the discussion by neuroethicists (...) centers on the nature of the threat posed by DBS, asking whether it is best understood as a threat to personal identity, autonomy, agency, or authenticity, or as putting patients at risk of self-estrangement. Our aim in this paper is to use the empirical literature on patients’ experiences post-DBS to open up a broader range of questions - both philosophical and practical, and to suggest that attention to these questions will help to provide better support to patients, both before and after treatment. (shrink)

Amodel for inventing newsignals is introduced in the context of sender–receiver games with reinforcement learning. If the invention parameter is set to zero, it reduces to basic Roth–Erev learning applied to acts rather than strategies, as in Argiento et al. (Stoch. Process. Appl. 119:373–390, 2009). If every act is uniformly reinforced in every state it reduces to the Chinese Restaurant Process—also known as the Hoppe–Pólya urn—applied to each act. The dynamics can move players from one signaling game to another during (...) the learning process. Invention helps agents avoid pooling and partial pooling equilibria. (shrink)

he relationship between metaphysics and science has recently become the focus of increased attention. Ladyman and Ross, in particular, have accused even naturalistically inclined metaphysicians of pursuing little more than the philosophy of A-level chemistry and have suggested that analytic metaphysics should simply be discontinued. In contrast, we shall argue, first of all, that even metaphysics that is disengaged from modern science may offer a set of resources that can be appropriated by philosophers of physics in order to set physics (...) within an interpretational framework. Secondly, however, we shall urge that insofar as metaphysics is intended to be more than just a toolbox it needs to accommodate the implications of physics if many of its core claims are to be sustained. We shall illustrate this last point with a discussion of the nature of laws and modality in the context of modern physics. (shrink)

Sender–receiver games, first introduced by David Lewis ([1969]), have received increased attention in recent years as a formal model for the emergence of communication. Skyrms ([2010]) showed that simple models of reinforcement learning often succeed in forming efficient, albeit not necessarily minimal, signalling systems for a large family of games. Later, Alexander et al. ([2012]) showed that reinforcement learning, combined with forgetting, frequently produced both efficient and minimal signalling systems. In this article, I define a ‘dynamic’ sender–receiver game in which (...) the state–action pairs are not held constant over time and show that neither of these two models of learning learn to signal in this environment. However, a model of reinforcement learning with discounting of the past does learn to signal; it also gives rise to the phenomenon of linguistic drift. 1 Introduction2 Dynamic Signalling Games with Reinforcement Learning2.1 Introducing new states2.2 Swapping state–action pairs3 Discounting the Past3.1 Learning to signal in a dynamic world3.2 An unexpected outcome: linguistic drift4 ConclusionAppendix: A Markov Chain Analysis. (shrink)

We introduce a dynamic model for evolutionary games played on a network where strategy changes are correlated according to degree of influence between players. Unlike the notion of stochastic stability, which assumes mutations are stochastically independent and identically distributed, our framework allows for the possibility that agents correlate their strategies with the strategies of those they trust, or those who have influence over them. We show that the dynamical properties of evolutionary games, where such influence neighborhoods appear, differ dramatically from (...) those where all mutations are stochastically independent, and establish some elementary convergence results relevant for the evolution of social institutions. (shrink)

Guy Debord, a key member of the avant garde movement known as the Situationist International, is best known for his concept of the society of the spectacle. Conceived in the sixties, the concept had at the time two variants, the concentrated and diffuse. Debord used these in those cold war times to describe the regimes of the image in both east and west under the same rubric. Later, he conceived of the rise of the integrated spectacle. Based on his experience (...) of France and Italy in the seventies, this concept explained regimes of the image that combined elements form both sides of the cold war divide, threading together the commodity fetishism of the west with the opaque actions of the state form the Soviet east. But what if a third period could be discerned, of what might be called the disintegrating spectacle? This concept might point the way to an analysis and critique of the image under twenty-first century conditions, where everyday life is super-saturated by the commodity, by digital media, and by the unravelling of the political form of social organization. (shrink)

As we face the compounded crises of late capitalism - environmental catastrophe, pandemics, and technological transformation - who are the thinkers with a grasp on our world? McKenzie Wark surveys three areas at the cutting edge of current critical thinking: media ecologies, postcolonial ethnography, and the design of technologies. She introduces us to the ideas of seventeen major writers who, when brought together, contribute to the common task of knowing the world. Each chapter is a concise account of an (...) individual thinker, providing useful context and opening connections to the work of the others. (shrink)

Les différentes institutions européennes sont nées pour résoudre les problèmes de la production du stade avancé du capitaliste ainsi que de son armature géopolitique. Plus qu’un régime d’accumulation, c’est d’abord une infrastructure – au sens marxiste vulgaire – qui permettait une production et une consommation industrielles en Europe et un commerce inégal avec le Sud. Mais que se passe-t-il si ce n’est même plus du capitalisme, mais un nouveau mode de production? Celui qui extrude hors de lui-même une infrastructure très (...) différente, à une échelle planétaire? La question se pose alors de savoir si les anciennes infrastructures institutionnelles de l’Europe peuvent être adaptées à cette nouvelle réalité économique et politique, celle d’un Stack informationnel caractéristique du capitalisme de plateformes. (shrink)

Decision theory faces a number of problematic gambles which challenge it to say what value an ideal rational agent should assign to the gamble, and why. Yet little attention has been devoted to the question of what an ideal rational agent is, and in what sense decision theory may be said to apply to one. I show that, given one arguably natural set of constraints on the preferences of an idealized rational agent, such an agent is forced to be indifferent (...) among entire families of goods, and hence cannot choose among them. This result illustrates the dangers of speaking of the choices of an ?ideal rational agent? when one does not make precise the exact nature of the idealizing assumptions. The result may also be viewed as providing an upper bound on the kinds of idealizing assumptions which can be made for rational agents, beyond which the very concept of choice becomes attenuated. (shrink)

We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.

In the course of history, many individuals have the dubious honor of being remembered primarily for an eponym of which they would disapprove. How many are aware that Joseph-Ignace Guillotin actually opposed the death penalty? Another notable case is that of Maria Agnesi, an Italian woman of privileged, but not noble, birth who excelled at mathematics and philosophy during the eighteenth century. In her treatise of 1748, Instituzioni Analitiche, she provided a comprehensive summary of the current state of knowledge concerning (...) both integral calculus and differential equations. Later in life she was elected to the Bologna Academy of Sciences and, in 1762, was consulted by the University of Turin for an opinion on the work of an up-and-coming mathematician named Joseph-Louis Lagrange. (shrink)

In a highly influential work, List and Pettit (Group Agency: The Possibility, Design, and Status of Corporate Agents, Oxford University Press, 2011) draw upon the theory of judgement aggregation to offer an argument for the existence of nonreductive group agents; they also suggest that nonreductive group agency is a widespread phenomenon. In this paper, we argue for the following two claims. First, that the axioms they consider cannot naturally be interpreted as either descriptive characterisations or normative constraints upon group judgements, (...) in general. This makes it unclear how the List and Pettit argument is to apply to real world group behaviour. Second, by examining empirical data about how group judgements are made by a powerful international regulatory board, we show how each of the List and Pettit axioms can be violated in ways which are straightforwardly explicable at the level of the individual. This suggests that group agency may best be understood as a pluralistic phenomenon, where close inspection of the dynamics of intragroup deliberation can reveal that what prima facie appears to be a nonreductive group agent is, in fact, reducible. (shrink)

Consumer involvement in clinical research is an essential component of a comprehensive response during emergent health challenges. During the COVID-19 pandemic, the moderation of research policies and regulation to facilitate research may raise ethical issues. Meaningful, diverse consumer involvement can help to identify practical approaches to prioritize, design, and conduct rapidly developed clinical research amid current events. Consumer involvement might also elucidate the acceptability of flexible ethics review approaches that aim to protect participants whilst being sensitive to the challenging context (...) in which research is taking place. This article describes the main ethical challenges arising from pandemic research and how involving consumers and the community could enable resolution of such issues. (shrink)

Multiarm bandit problems have been used to model the selection of competing scientific theories by boundedly rational agents. In this paper, I define a variable-arm bandit problem, which allows the set of scientific theories to vary over time. I show that Roth-Erev reinforcement learning, which solves multiarm bandit problems in the limit, cannot solve this problem in a reasonable time. However, social learning via preferential attachment combined with individual reinforcement learning which discounts the past, does.

For a variety of reasons, including the common use of deception in psychology experiments, participants often disbelieve experimenters' assertions about important task parameters. This can lead researchers to conclude incorrectly that participants are behaving non- normatively. The problem can be overcome by deriving and testing normative models that do not assume full belief in key task parameters. A real experimental example is discussed.