We apply an online optimization process based on machine learning to the production of Bose-Einstein condensates. BEC is typically created with an exponential evaporation ramp that is optimal for ergodic dynamics with two-body s-wave interactions and no other loss rates, but likely sub-optimal for real experiments. Through repeated machine-controlled scientific experimentation and observations our ’learner’ discovers an optimal evaporation ramp for BEC production. In contrast to previous work, our learner uses a Gaussian process to develop a statistical model of the (...) relationship between the parameters it controls and the quality of the BEC produced. We demonstrate that the Gaussian process machine learner is able to discover a ramp that produces high quality BECs in 10 times fewer iterations than a previously used online optimization technique. Furthermore, we show the internal model developed can be used to determine which parameters are essential in BEC creation and which are unimportant, providing insight into the optimization process of the system. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues.

In recent years, there has been significant interest in injustices that do not consist in inflicting physical or material harm on others, but operate in more subtle ways, e.g. by targeting our status as epistemic agents. In a similar fashion, this paper aims to bring to the forefront a currently overlooked kind of injustice that occurs in relation to our concepts: conceptual injustice, which is characterised by wrongful in- or exclusion from the application of a concept. The first part of (...) the paper is concerned with spelling out the notion, discussing its characteristic wrongs, and with tracing it in a number of examples. In the second part, I discuss conceptual injustice in relation to connected but different forms of injustice, such as epistemic injustice. This highlights the advantages of having the notion on hand: it enhances our understanding of other forms of injustice like hermeneutical injustice, and allows us to capture a ‘remainder of injustice’ for which we could not account otherwise. (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

them. Though Aristotle does not say so, presumably the questioner who conceals in this way must be prepared, when challenged, to show that the conclusion...

Most non-consequentialists “let the numbers count” when one can save either a lesser or greater number from equal or similar harm. But they are wary of doing so when one can save either a small number from grave harm or instead a very large number from minor harm. Limited aggregation is an approach that reconciles these two commitments. It is motivated by a powerful idea: our decision whom to save should respect each person who has a claim to our help, (...) including those whom we fail to save. However, it has recently been argued that it is open to decisive objections. I develop a new limitedly aggregative view:Hybrid Balance Relevant Claims. This view is well grounded in the reasons we have to be skeptical of aggregation and resolves all recent challenges by paying careful attention to the rationale for limited aggregation. (shrink)

People's treatment of others (humans, nonhuman animals, or other entities) often depends on whether they think the entity is worthy of moral concern. Recent work has begun to investigate which entities are included in a person's moral circle, examining how certain target characteristics (e.g., species category, perceived intelligence) and judge characteristics (e.g., empathy, political orientation) shape moral inclusion. However, the relative importance of target and judge characteristics in predicting moral inclusion remains unclear. When predicting whether a person will deem an (...) entity worthy of moral consideration, how important is it to know who is making the judgment (i.e., characteristics of the judge), who is being judged (i.e., characteristics of the target), and potential interactions between the two factors? Here, we address this foundational question by conducting a variance component analysis of the moral circle. In two studies with participants from the Netherlands, the United States, the United Kingdom, and Australia (N = 836), we test how much variance in judgments of moral concern is explained by between‐target differences, between‐judge differences, and by the interaction between the two factors. We consistently find that all three components explain substantial amounts of variance in judgments of moral concern. Our findings provide two important insights. First, an increased focus on interactions between target and judge characteristics is needed, as these interactions explain as much variance as target and judge characteristics separately. Second, any theoretical account that aims to provide an accurate description of moral inclusion needs to consider target characteristics, judge characteristics, and their interaction. (shrink)

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

In this paper, we defend two main claims. The first is a moderate claim: we have a negative duty to not use binary gender-specific pronouns he or she to refer to genderqueer individuals. We defend this with an argument by analogy. It was gravely wrong for Mark Latham to refer to Catherine McGregor, a transgender woman, using the pronoun he; we argue that such cases of misgendering are morally analogous to referring to Angel Haze, who identifies as genderqueer, as he (...) or she. The second is a radical claim: we have a negative duty to not use any gender-specific pronouns to refer to anyone, regardless of their gender identity. We offer three arguments in favor of this claim (which appeal to concerns about inegalitarianism and risk, invasions of privacy, and reinforcing essentialist ideologies). We also show why the radical claim is compatible with the moderate claim. Before concluding, we examine common concerns about incorporating either they or a neologism such as ze as a third-person singular gender-neutral pronoun. These concerns, we argue, do not provide sufficient reason to reject either the moderate or radical claim. (shrink)

There are two main models for explaining Frege's notion of sense, both of which have their roots in the work of Sir Michael Dummett. One, nowadays most familiar from the work of David Chalmers, is broadly internalist and descriptivist in character. The other, most familiar from the work of Gareth Evans, is externalist and anti-descriptivist. I first consider the former project, arguing that Dummett anticipated Chalmers's version of the view, and that no version of this view is going to be (...) defensible. The arguments are somewhat different from those familiar from the literature. I then consider Evans's view and argue that, while it is not vulnerable to many of the objections that have been made to it, it does not really succeed as an account of sense, because it forces us to abandon Frege's view that sense is an aspect of representational content. (shrink)

Frege's development of the theory of arithmetic in his Grundgesetze der Arithmetik has long been ignored, since the formal theory of the Grundgesetze is inconsistent. His derivations of the axioms of arithmetic from what is known as Hume's Principle do not, however, depend upon that axiom of the system--Axiom V--which is responsible for the inconsistency. On the contrary, Frege's proofs constitute a derivation of axioms for arithmetic from Hume's Principle, in (axiomatic) second-order logic. Moreover, though Frege does prove each of (...) the now standard Dedekind-Peano axioms, his proofs are devoted primarily to the derivation of his own axioms for arithmetic, which are somewhat different (though of course equivalent). These axioms, which may be yet more intuitive than the Dedekind-Peano axioms, may be taken to be "The Basic Laws of Cardinal Number", as Frege understood them. Though the axioms of arithmetic have been known to be derivable from Hume's Principle for about ten years now, it has not been widely recognized that Frege himself showed them so to be; nor has it been known that Frege made use of any axiomatization for arithmetic whatsoever. Grundgesetze is thus a work of much greater significance than has often been thought. First, Frege's use of the inconsistent Axiom V may invalidate certain of his claims regarding the philosophical significance of his work (viz., the establishment of Logicism), but it should not be allowed to obscure his mathematical accomplishments and his contribution to our understanding of arithmetic. Second, Frege's knowledge that arithmetic is derivable from Hume's Principle raises important sorts of questions about his philosophy of arithmetic. For example, "Why did Frege not simply abandon Axiom V and take Hume's Principle as an axiom?". (shrink)

Frege, famously, held that there is a close connection between our concept of cardinal number and the notion of one-one correspondence, a connection enshrined in Hume's Principle. Husserl, and later Parsons, objected that there is no such close connection, that our most primitive conception of cardinality arises from our grasp of the practice of counting. Some empirical work on children's development of a concept of number has sometimes been thought to point in the same direction. I argue, however, that Frege (...) was close to right, that our concept of cardinal number is closely connected with a notion like that of one-one correspondence, a more primitive notion we might call just as many. (shrink)

I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.

How should contractualists assess the permissibility of risky actions? Both main views on the question, ex ante and ex post, fail to distinguish between different kinds of risk. In this article, I argue that this overlooks a third alternative that I call “objective ex ante contractualism”. Objective ex ante substitutes discounting complaints by epistemic risk in favor of discounting by objective risk. I further argue in favor of this new view. Objective ex ante contractualism provides the best model of justifiability (...) to each. (shrink)

Gender classifications often are controversial. These controversies typically focus on whether gender classifications align with facts about gender kind membership: Could someone really be nonbinary? Is Chris Mosier really a man? I think this is a bad approach. Consider the possibility of ontological oppression, which arises when social kinds operating in a context unjustly constrain the behaviors, concepts, or affect of certain groups. Gender kinds operating in dominant contexts, I argue, oppress trans and nonbinary persons in this way: they marginalize (...) trans men and women, and exclude nonbinary persons. As a result, facts about membership in dominant gender kinds should not settle gender classification practices. (shrink)

One of the earliest discussions of the so-called 'bad company' objection to Neo-Fregeanism, I show that the consistency of an arbitrary second-order 'contextual definition' (nowadays known as an 'abstraction principle' is recursively undecidable. I go on to suggest that an acceptable such principle should satisfy a condition nowadays known as 'stablity'.

Name der Zeitschrift: Zeitschrift für kritische Sozialtheorie und Philosophie Jahrgang: 4 Heft: 1-2 Seiten: 364-396.

What’s important about ‘coming out’? Why do we wear business suits or Star Trek pins? Part of the answer, we think, has to do with what we call agential identity. Social metaphysics has given us tools for understanding what it is to be socially positioned as a member of a particular group and what it means to self-identify with a group. But there is little exploration of the general relationship between self-identity and social position. We take up this exploration, developing (...) an account of agential identity—the self-identities we make available to others. Agential identities are the bridge between what we take ourselves to be and what others take us to be. Understanding agential identity not only fills an important gap in the literature, but also helps us explain politically important phenomena concerning discrimination, malicious identities, passing, and code-switching. These phenomena, we argue, cannot be understood solely in terms of self-identity or social position. (shrink)

This paper offers a historical analysis of contemporary practices of shopping for vegetables in the highly dynamic context of urban Hanoi during the period from 1975 to 2014. Focusing on everyday shopping practices from a food safety perspective, we assess the extent to which the policy-enforced process of supermarketization has proven to be an engine of change in daily vegetable purchasing while improving food safety. In depicting transitions in shopping practices, we combine a social practices approach with historical analysis. Providing (...) a historical analysis of a broad and complex spectrum of everyday practices of purchasing fresh vegetables, we identify the key drivers of change. We discuss different modalities of shopping and demonstrate that no single retail modernization format can be said to exist. Rather than contrasting an idealized supermarket model with the traditional modalities of food shopping, we offer a varied, more diverse set of shopping practices that displays different strategies for coping with food safety issues. When discussed from a historical perspective, food practices are shown to be highly dynamic, being constantly reinvented and reconfigured by consumers who use their established skills, routines, and social networks to sometimes resist top-down enforced supermarketization while developing the coping strategies that best suit their local circumstances. (shrink)

Alex Byrne’s article, “Are Women Adult Human Females?”, asks a question that Byrne treats as nearly rhetorical. Byrne’s answer is, ‘clearly, yes’. Moreover, Byrne claims, 'woman' is a biological category that does not admit of any interpretation as (also) a social category. It is important to respond to Byrne’s argument, but mostly because it is paradigmatic of a wider phenomenon. The slogan “women are adult human females” is a political slogan championed by anti-trans activists, appearing on billboards, pamphlets, and anti-trans (...) online forums. In this paper, I respond to Byrne’s argument, revealing significant problems with its background assumptions, content, and methodology. (shrink)

Atheism has had a strong presence on YouTube since its founding in the mid-2000s, which coincided with the rise of the new atheism movement, and lay atheists were quick to use the platform to spread new atheist ideas. Drawing from a sample of sixty-five atheist YouTube channels located and observed through online ethnographic methods, this article views YouTube videos as educational resources for atheists. It investigates different types of educational videos and ways of thinking about science, philosophy, and religion that (...) atheist content creators utilize and promote. The analysis reveals that they consistently frame these domains of knowledge through the truth claims they make and generally construct them within a hierarchical framework, with scientific knowledge at the top and religious knowledge at the bottom. Overall, their educational content reproduces new atheist discourses around these subjects, revealing the continuing influence of new atheism, two decades after its emergence. Furthermore, the popularity of videos that debunk arguments from religious apologists suggests that the intended audience of these videos includes both atheists, who are expected to need to learn to defend their atheism in debate with religious others, and “potential atheists”, religious believers who can be deconverted using rational arguments. (shrink)

You and I lead different lives. While we share a society and a world, our existence is separate from one another. You and I matter individually, by ourselves. My dissertation is about this simple thought. I argue that this simple insight, the separateness of persons, tells us something fundamental about morality. My dissertation seeks to answer how the separateness of persons matters. I develop a precise view of the demands of the separateness of persons. The separateness of persons imposes both (...) a requirement on the justification of first-order moral principles as well as a requirement on the content of first-order moral principles. In specifying these demands, I argue that respecting the separateness of persons requires taking into consideration each person’s point of view separately. This requires taking into account the moral relations in which individuals stand to one another. I make use of this relational understanding of the separateness of persons to advance various debates in moral and political philosophy. I argue for a framework to assess to which extent the veil of ignorance can be reconciled with the separateness of persons. I also argue for a new view on the ethics of risk which is a form of contractualism that discounts risks only by their objective risk. Furthermore, I argue for a new solution to the problem of aggregation that is skeptical of aggregation and can set plausible limits to aggregation. Lastly, I provide a new relational agent-based justification for deontological constraints. In addition to answering how the separateness of persons matters, I defend the separateness of persons against challenges. Most importantly, I argue that the importance of the separateness of persons is not undermined even if we believe that our personal identity, i.e. whether we persist as the same person, is unimportant. (shrink)

In the 4th edition of this best-selling textbook, the authors introduce students to the business of philosophizing, thereby inducting them into the art of reasoning and analyzing key concepts in education. This introductory text, continuously in print for more than thirty years, is a classic in its field. It shows, first and foremost, the importance of philosophy in educational debate and as a background to any practical activity such as teaching. What is involved in the idea of educating a person (...) or the idea of educational success? What, if anything, can be known and how should we organize what we know for curriculum purposes? What are the criteria for establishing the optimum balance between formal and informal teaching techniques? How trustworthy is educational research? In addition to these questions, which strike to the heart of the rationale for the educative process as a whole, the authors explore such concepts as culture, creativity, autonomy, indoctrination, needs, interests and learning by discovery. In this new updated edition, the authors draw on the latest research in genetics to argue that education is uniquely human and is essentially what develops us as humans. Resisting modern tendencies to equate knowledge with opinion, and value judgments with taste, this book leads the reader into the business of philosophizing and champions the cause of reason in education. (shrink)

Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that (...) the proof that the smooth breathing denotes, while flawed, rests upon an idea now familiar from the completeness proof for first-order logic. The main work of the paper consists in defending a new understanding of the semantics Frege offers for the quantifiers: one which is objectual, but which does not make use of the notion of an assignment to a free variable. (shrink)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)

While social geographers have convincingly made the case that space is not an external constant, but rather is produced through inter-relations, anthropologists and sociologists have done much to further an understanding of time, as itself constituted through social interaction and inter-relation. Their work suggests that time is not an apolitical background to social life, but shapes how we perceive and relate to others. For those interested in exploring issues such as identity, community and difference, this suggests that attending to how (...) temporal discourses are utilised in relation to these issues is a key task. This article seeks to contribute to an expansion of the debate about time and sociality by contributing an analysis of a variety of ways in which Gloria Anzaldúa utilises temporal concepts as part of her work of rethinking social identity and community. In particular, I suggest that in contesting homogeneous identity, Anzaldúa also implicitly contests linear temporal frameworks. Further, in creating new frameworks for identity, I suggest the possibility of discerning an alternative approach to time in her work that places difference at the heart of simultaneity. I suggest that the interconnection between concepts of time and community within Anzaldúa’s work indicates, more broadly, that attempts to rework understandings of relationality must be accompanied by reworked accounts of temporality. (shrink)

Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.

Central to the liar paradox is the phenomenon of 'self-reference'. The paradox typically begins with a sentence like: -/- (L): (L) is not true -/- Historically, doubts about the intelligibility of self-reference have been quite common. In some sense, though, these doubts were answered by Kurt Gödel's famous 'diagonal lemma'. This paper surveys some of the methods by which self-reference can be achieved, focusing first on purely syntactic methods before turning attention to the 'arithmetized' methods introduced by Gödel. It's primary (...) lesson is that we need to be more careful than we usually have been about self-reference. (shrink)

What responsibility do individuals bear for structural injustice? Iris Marion Young has offered the most fully developed account to date, the Social Connections Model. She argues that we all bear responsibility because we each causally contribute to structural processes that produce injustice. My aim in this article is to motivate and defend an alternative account that improves on Young’s model by addressing five fundamental challenges faced by any such theory. The core idea of what I call the “Role-Ideal Model” is (...) that we are each responsible for structural injustice through and in virtue of our social roles, i.e. our roles as parents, colleagues, employers, citizens, etc., because roles are the site where structure meets agency. In short, the Role-Ideal Model explains how individual action contributes to structural change, justifies demands for action from each particular agent, specifies what kinds of acts should be undertaken, moderates between demanding too much and too little of individual agents, and provides an account of the critical responses appropriate for holding individuals accountable for structural injustice. (shrink)

Teachers’ social-emotional competence is considered important to master the social and emotional challenges inherent in their profession and to build positive teacher-student relationships. In turn, this is key to both teachers’ occupational well-being and positive student development. Nonetheless, an instrument assessing the profession-specific knowledge and skills that teachers need to master the social and emotional demands in the classroom is still lacking. Therefore, we developed the Test of Regulation in and Understanding of Social Situations in Teaching (TRUST), which is a (...) theory-based situational judgment test measuring teachers’ knowledge about strategies for emotion regulation and relationship management in emotionally and socially challenging situations with students. Results from three studies (N = 166 in-service teachers, N = 73 in-service teachers, N = 107 pre-service teachers) showed satisfactory internal consistency for both the emotion regulation and relationship management subtests. Furthermore, confirmatory factor analyses supported the differentiation between the two facets of social-emotional competence. Regarding convergent validity, results from Study 3 revealed a positive association between the profession-specific TRUST and pre-service teachers’ general emotional intelligence. Furthermore, small to moderate correlations with the Big Five personality traits provided evidence for the discriminant validity of TRUST. In Studies 1 and 2, we found evidence for a correlation with external criteria, that is, teachers with higher test scores reported providing more emotional support for students and having better teacher-student relationships. For teachers’ occupational well-being, we found a link with symptoms of depersonalization and job satisfaction, but none for emotional exhaustion. We will discuss the use of TRUST in research, for the evaluation of interventions, in teacher education, and professional development and will illustrate ideas for enhancing the tool. (shrink)

Respiratory rhythms sustain biological life, governing the homeostatic exchange of oxygen and carbon dioxide. Until recently, however, the influence of breathing on the brain has largely been overlooked. Yet new evidence demonstrates that the act of breathing exerts a substantive, rhythmic influence on perception, emotion, and cognition, largely through the direct modulation of neural oscillations. Here, we synthesize these findings to motivate a new predictive coding model of respiratory brain coupling, in which breathing rhythmically modulates both local and global neural (...) gain, to optimize cognitive and affective processing. Our model further explains how respiratory rhythms interact with the topology of the functional connectome, and we highlight key implications for the computational psychiatry of disordered respiratory and interoceptive inference. (shrink)

Limited aggregation holds that we are only sometimes, not always, permitted to aggregate. Aggregation is permissible only when the harms and benefits are relevant to one another. But how should limited aggregation be extended to cases in which we are uncertain about what will happen? In this article, I provide a challenge to ex post limited aggregation. I reconstruct a precise version of ex post limited aggregation that relies on the notion of ex post claims. However, building a theory of (...) limited aggregation based on ex post claims leads to a dilemma. This shows that ex post limited aggregation is currently far away from being a well-defined alternative, strengthening the case for ex ante limited aggregation. (shrink)

In section 10 of Grundgesetze, Frege confronts an indeterm inacy left by his stipulations regarding his ‘smooth breathing’, from which names of valueranges are formed. Though there has been much discussion of his arguments, it remains unclear what this indeterminacy is; why it bothers Frege; and how he proposes to respond to it. The present paper attempts to answer these questions by reading section 10 as preparatory for the (fallacious) proof, given in section 31, that every expression of Frege's formal (...) language denotes. (shrink)

This paper dates from about 1994: I rediscovered it on my hard drive in the spring of 2002. It represents an early attempt to explore the connections between the Julius Caesar problem and Frege's attitude towards Basic Law V. Most of the issues discussed here are ones treated rather differently in my more recent papers "The Julius Caesar Objection" and "Grundgesetze der Arithmetik I 10". But the treatment here is more accessible, in many ways, providing more context and a better (...) sense of how this issue relates to broader issues in Frege's philosophy. (shrink)

Focusing particularly on the role of the clock in social life, this article explores the conventions we use to “tell the time.” I argue that although clock time generally appears to be an all-encompassing tool for social coordination, it is actually failing to coordinate us with some of the most pressing ecological changes currently taking place. Utilizing philosophical approaches to performativity to explore what might be going wrong, I then draw on Derrida’s and Haraway’s understandings of social change in order (...) to suggest a fairly unconventional, but perhaps more accurate, mode of reckoning time in the context of climate change, resource depletion, and mass extinctions. (shrink)

John MacFarlane has made relativism popular again. Focusing just on his original discussion, I argue that the data he uses to motivate the position do not, in fact, motivatie it at all. Many of the points made here have since been made, independently, by Hermann Cappelen and John Hawthorne, in their book Relativism and Monadic Truth.

Moral agency is limited, imperfect, and structurally constrained. This is evident in the many ways we all unwittingly participate in widespread injustice through our everyday actions, which I call ‘structural wrongs’. To do justice to these facts, I argue that we should distinguish between summative and formative moral criticism. While summative criticism functions to conclusively assess an agent's performance relative to some benchmark, formative criticism aims only to improve performance in an ongoing way. I show that the negative sanctions associated (...) with summative responses are only justifiably imposed under certain conditions when persons exercise their agency wrongly — conditions that do not always hold for structural wrongs. Yet even in such cases we can still use formative responses, which are warranted whenever agents fall short of moral ideals. Expanding our repertoire of moral criticism to include both summative and formative responses enables us to better appreciate both the powers and limitations of our agency, and the complexity of moral life. (shrink)