The use of computers for simulation work can be traced back to the 1950s, and the pioneering work of Stafford Beer, KD Tocher and others at Cybor House in Sheffield, UK, the research and development (R&D) department of British steelmakers, United Steel. This innovative simulation work sought to offer an abstracted, ‘total’ environment of the steelmaking process in which different operational activities could be modeled. Critical to this work was the ability of computer simulations to perform such modelling at (...) a fraction of the cost, wasting fewer material resources, and in a considerably shorter timeframe. Such work can be understood as the earliest example of the application of industrial-scale ‘automated computation’ to a real-world industrial process. Similarly indebted to the early principles of computer simulation, Waymo engineers are also engaged in the building of so-called ‘conflict typologies’ designed to encode material properties of everyday driving interactions between road users, rather than simply road users themselves. Through ‘motion planning’, coupled with the categorization of driving interactions, Waymo engineers build instrumental understanding of their own system’s purported intelligence in navigating everyday driving situations. Functioning as ‘generative mechanisms’ rather than simply evaluative devices, engineers seek to industrialize—instrumentalize, scale up, rationalize—everyday driving knowledge. Through conflict typologies, instrumental knowledge of the actual capacities of autonomous vehicles is industrialized, materialized, and realized. (shrink)

In an interesting experimental study, Bonini et al. (1999) present partial support for truth-gap theories of vagueness. We say this despite their claim to find theoretical and empirical reasons to dismiss gap theories and despite the fact that they favor an alternative, epistemic account, which they call ‘vagueness as ignorance’. We present yet more experimental evidence that supports gap theories, and argue for a semantic/pragmatic alternative that unifies the gappy supervaluationary approach together with its glutty relative, the subvaluationary approach.

The curriculum design, faculty characteristics, and experience of implementing masters' level international research ethics training programs supported by the Fogarty International Center was investigated. Multiple pedagogical approaches were employed to adapt to the learning needs of the trainees. While no generally agreed set of core competencies exists for advanced research ethics training, more than 75% of the curricula examined included international issues in research ethics, responsible conduct of research, human rights, philosophical foundations of research ethics, and research regulation and ethical (...) review process. Common skills taught included critical thinking, research methodology and statistics, writing, and presentation proficiency. Curricula also addressed the cultural, social, and religious context of the trainees related to research ethics. Programs surveyed noted trainee interest in Western concepts of research ethics and the value of the transnational exchange of ideas. Similar faculty expertise profiles existed in all programs. Approximately 40% of faculty were female. Collaboration between faculty from low- and middleincome countries (LMICs) and high-income countries (HICs) occurred in most programs and at least 50% of HIC faculty had previous LMIC experience. This paper is part of a collection of papers analyzing the Fogarty International Research Ethics Education and Curriculum Development program. (shrink)

We suggest that philosophical accounts of epistemic effects of diversity have given insufficient attention to the relationship between demographic diversity and information elaboration, the process whereby knowledge dispersed in a group is elicited and examined. We propose an analysis of IE that clarifies hypotheses proposed in the empirical literature and their relationship to philosophical accounts of diversity effects. Philosophical accounts have largely overlooked the possibility that demographic diversity may improve group performance by enhancing IE, and sometimes fail to explore the (...) relationship between diversity and IE altogether. We claim these omissions are significant from both a practical and theoretical perspective. Moreover, we explain how the overlooked explanations suggest that epistemic benefits of diversity can depend on epistemically unjust social dynamics. (shrink)

We extend the theory of “Fine structure and iteration trees” to models having more than one Woodin cardinal.

The argument from inductive risk attempts to show that practical and ethical costs of errors should influence standards of evidence for accepting scientific claims. A common objection charges that this argument presupposes a behavioral theory of acceptance that is inappropriate for science. I respond by showing that the argument from inductive risk is supported by a nonbehavioral theory of acceptance developed by Cohen, which defines acceptance in terms of premising. Moreover, I argue that theories designed to explain how acceptance can (...) be guided exclusively by epistemic values suffer from difficulties that do not afflict Cohen’s theory. (shrink)

Previous simulation models have found positive effects of cognitive diversity on group performance, but have not explored effects of diversity in demographics (e.g., gender, ethnicity). In this paper, we present an agent-based model that captures two empirically supported hypotheses about how demographic diversity can improve group performance. The results of our simulations suggest that, even when social identities are not associated with distinctive task-related cognitive resources, demographic diversity can, in certain circumstances, benefit collective performance by counteracting two types of conformity (...) that can arise in homogeneous groups: those relating to group-based trust and those connected to normative expectations towards in-groups. (shrink)

A concept of diversity is an understanding of what makes a group diverse that may be applicable in a variety of contexts. We distinguish three diversity concepts, show that each can be found in discussions of diversity in science, and explain how they tend to be associated with distinct epistemic and ethical rationales. Yet philosophical literature on diversity among scientists has given little attention to distinct concepts of diversity. This is significant because the unappreciated existence of multiple diversity concepts can (...) generate unclarity about the meaning of “diversity,” lead to problematic inferences from empirical research, and obscure complex ethical-epistemic questions about how to define diversity in specific cases. We illustrate some ethical-epistemic implications of our proposal by reference to an example of deliberative mini-publics on human tissue biobanking. (shrink)

This paper offers a new account of metaphysical explanation. The account is modelled on Kitcher’s unificationist approach to scientific explanation. We begin, in Sect. 2, by briefly introducing the notion of metaphysical explanation and outlining the target of analysis. After that, we introduce a unificationist account of metaphysical explanation before arguing that such an account is capable of capturing four core features of metaphysical explanations: irreflexivity, non-monotonicity, asymmetry and relevance. Since the unificationist theory of metaphysical explanation inherits irreflexivity and non-monotonicity (...) directly from the unificationist theory of scientific explanation that underwrites it, we focus on demonstrating how the account can secure asymmetry and relevance. (shrink)

Standard approaches to counterfactuals in the philosophy of explanation are geared toward causal explanation. We show how to extend the counterfactual theory of explanation to non-causal cases, involving extra-mathematical explanation: the explanation of physical facts by mathematical facts. Using a structural equation framework, we model impossible perturbations to mathematics and the resulting differences made to physical explananda in two important cases of extra-mathematical explanation. We address some objections to our approach.

I argue for a conciliationist treatment of peer disagreement, on the grounds that the evidence that non-conciliatory theorists point to--the evidence that conciliatory-friendly independence principles would rule out--bears a troubling relation to accuracy. Namely, we can anticipate that trying to respond to it is a bad deal with respect to our expected accuracy. I consequently argue that we shouldn't try to respond to it. Instead we should ignore it, and be conciliationists.

Many philosophers have thought that our folk, or pre-reflective, view of persistence is one on which objects endure. This assumption not only plays a role in disputes about the nature of persistence itself, but is also put to use in several other areas of metaphysics, including debates about the nature of change and temporal passage. In this paper, we empirically test three broad claims. First, that most people (i.e. most non-philosophers) believe that, and it seems to them as though, objects (...) persist by enduring rather than perduring. Second, that most people have a view of change on which enduring but not perduring objects count as changing. Third, that one reason why the folk represent time as dynamical is because it seems to them, and they believe that, they endure through time. We found no evidence to support these claims. While there are certainly plenty of ‘folk’ endurantists in the population we tested, there are also plenty of ‘folk’ perdurantists. We did not find robust evidence that a majority of people believed that, or it seemed to them as though, objects endure rather than perdure. We conclude that many arguments in favour of endurantism that appeal to folk beliefs about, or experiences of, persisting objects and change rest on views about those beliefs and experiences that are empirically unsupported. There is no evidence to suggest that endurantism is the folk friendly view of persistence, and so we should stop treating it as such without argument. (shrink)

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the basic theory faces. The final view (...) appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

This article examines methodological individualism in terms of the theory that invariance under intervention is the signal feature of generalizations that serve as a basis for causal explanation. This theory supports the holist contention that macro-level generalizations can explain, but it also suggests a defense of methodological individualism on the grounds that greater range of invariance under intervention entails deeper explanation. Although this individualist position is not threatened by multiple-realizability, an argument for it based on rational choice theory is called (...) into question by experimental results concerning preference reversals. Key Words: methodological individualism • mechanisms • explanation • invariance • preference reversal. (shrink)

Highlights: -/- • -/- Proposes forward-looking approach to studying climate collapse risks. • -/- Suggests diminishing returns on climate adaptation as a collapse mechanism. • -/- Suggests strategies for sustainable adaptation pathways in face of climate change. • -/- Illustrates analysis with examples of small island states and global food security. -/- Abstract: -/- This article proposes a forward-looking approach to studying societal collapse risks related to climate change. Such an approach should indicate how to study emerging collapse risks and (...) suggest strategies for adapting to them. Our approach is based on three postulates that facilitate a forward-looking approach: (1) collapse, if it occurred, would be a lengthy process rather than an abrupt event; (2) significant collapse risks already exist in some places; and (3) diminishing returns on adaptation to intensifying climate impacts are a key driver of collapse risks. The first two postulates suggests that collapse risks can be studied in process, while the third points to strategies for adaptation pathways that avoid unsustainable diminishing returns. Applying diminishing returns to climate change adaptation, rather than sociopolitical complexity or resource extraction, is also a novel theoretical contribution to collapse literature. [Open access]. (shrink)

What distinguishes causation from grounding? One suggestion is that causation, but not grounding, occurs over time. Recently, however, counterexamples to this simple temporal criterion have been offered. In this paper, we situate the temporal criterion within a broader framework that focuses on two aspects: locational overlapping in space and time and the presence of intermediaries in space and time. We consider, and reject, the idea that the difference between grounding and causation is that grounding can occur without intermediaries. We go (...) on to use the fact that grounding and causation both involve intermediaries to develop a better temporal criterion for distinguishing causation from grounding. The criterion is this: when a cause and effect are spatially disjoint, there is always a chain of causal intermediaries between the cause and the effect that are extended in time. By contrast, when the grounds and the grounded are spatially disjoint, there is always a chain of grounding intermediaries, but the chain need not be extended in time, it can be purely spatial. The difference between grounding and causation, then, is that causation requires time for chaining in a way that grounding does not. (shrink)

Reverse mathematics is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, that is, non-set-theoretic, mathematics. As suggested by the title, this paper deals with two RM-phenomena, namely, splittings and disjunctions. As to splittings, there are some examples in RM of theorems A, B, C such that A↔, that is, A can be split into two (...) independent parts B and C. As to disjunctions, there are examples in RM of theorems D, E, F such that D↔, that is, D can be written as the disjunction of two independent parts E and F. By contrast, we show in this paper that there is a plethora of splittings and disjunctions in Kohlenbach’s higher-order RM. (shrink)

We introduce two new iteration games: the game , which is a strengthening of the weak iteration game, and the game , which is somewhat stronger than but weaker than the full iteration game of length ω1. For a countable M elementarily embeddable in some Vη, with two players I and II, we can show that II wins and that I does not win.

I give a new argument for the moral difference between lying and misleading. First, following David Lewis, I hold that conventions of truthfulness and trust fix the meanings of our language. These conventions generate fair play obligations. Thus, to fail to conform to the conventions of truthfulness and trust is unfair. Second, I argue that the liar, but not the misleader, fails to conform to truthfulness. So the liar, but not the misleader, does something unfair. This account entails that bald-faced (...) lies are wrong, that we can lie nonlinguistically, and that linguistic innovation is morally significant. (shrink)

Time is woven into the fabric of our lives. Everything we do, we do in and across time. It is not just that our lives are stretched out in time, from the moment of birth to the moment of our death. It is that our lives are stories. We make sense of ourselves, today, by understanding who we were yesterday, and the day before, and the day before that; by understanding what we did and why we did it. Our memories (...) shape our present selves, since we are the product of who we were, and who we remember being. Yet who we are lasts for but a moment. It is who we will be that demands attention. We are forever projecting ourselves into the future. We painstakingly plan for the needs of our future selves, all the while knowing that while what we do will make those future selves who they are, still, our future selves are elusive. So it is not simply that we happen to live our lives in time, the way, say, one might happen to live in Australia, or Singapore. It is hard to fathom how things could be otherwise. What would it be to live a life without time? Yet time itself is intangible. Though we are keenly aware of what has been ‒ of pain and loss, regret and pride ‒ and of what might be ‒ of anticipation, and dread, and longing ‒ time itself seems unaffected by anything we do. Though we can anticipate a future birthday cake, time itself cannot be tasted. Though we can dread a future dentist’s appointment, time itself cannot be touched. Though we remember the crunching of leaves this past autumn, time itself cannot be heard. How can it be that something so central to each of us, to who we are, and what we care about, can be so spectral? What, in the end, is time? Is time real, like a substance in which each of us, like insects in amber, finds ourselves trapped? Is time a dimension through which we can move? Is time not a thing at all, but some connection between events? If time is real, what is it like? Does it flow like a river, taking each of us prisoner in its current, washing us ever closer to the end of our lives? Is time like a cresting wave, coming ever closer to each of us from the future, engulfing us, and then receding into the past? Or is time static? Like a one-way road that each of us might wander, with no chance to turn back? Or perhaps time is like none of these things. Perhaps time is more like space; something we can navigate freely, so that we can visit different times just like we visit different places. Perhaps we can we travel in time the way we can travel in space. These questions, and many more, are the focus of this book. Now, you might wonder what philosophers are doing writing a book about time. Surely that’s a job for physicists! It is true: a great deal of what we know about time stems from our understanding of physics. However, even in physics we find that there are questions about time that go unanswered. Moreover, increasingly, physicists are turning to philosophers for help in understanding the role that time plays in current physical theories. Our goal is to get the reader up to speed on some of the central issues that influence our understanding of time so that they too may play a role in this ongoing discussion between science and philosophy. We hope that in doing so it will become clear what philosophy can bring to the study of time. There is a natural narrative in philosophy regarding the study of time, and we have chosen to organise this book according to that narrative. However, the book may also be approached in a ‘choose-your-own adventure’ spirit. While later chapters build on material introduced in earlier chapters, you can skip around, reading the book in any order you choose. For the instructor, this means that she can design her course around this book in any number of ways, depending on the particular topic she wishes to focus on. (shrink)

_Current Controversies in Values and Science_ asks ten philosophers to debate five questions that are driving contemporary work in this important area of philosophy of science. The book is perfect for the advanced student, building up her knowledge of the foundations of the field while also engaging its most cutting-edge questions. Introductions and annotated bibliographies for each debate, preliminary descriptions of each chapter, study questions, and a supplemental guide to further controversies involving values in science help provide clearer and richer (...) snapshots of active controversies for all readers._ _. (shrink)

In his remarkable paper Formalism 64, Robinson defends his eponymous position concerning the foundations of mathematics, as follows:Any mention of infinite totalities is literally meaningless.We should act as if infinite totalities really existed. Being the originator of Nonstandard Analysis, it stands to reason that Robinson would have often been faced with the opposing position that ‘some infinite totalities are more meaningful than others’, the textbook example being that of infinitesimals. For instance, Bishop and Connes have made such claims regarding infinitesimals, (...) and Nonstandard Analysis in general, going as far as calling the latter respectively a debasement of meaning and virtual, while accepting as meaningful other infinite totalities and the associated mathematical framework. We shall study the critique of Nonstandard Analysis by Bishop and Connes, and observe that these authors equate ‘meaning’ and ‘computational content’, though their interpretations of said content vary. As we will see, Bishop and Connes claim that the presence of ideal objects in Nonstandard Analysis yields the absence of meaning. We will debunk the Bishop–Connes critique by establishing the contrary, namely that the presence of ideal objects in Nonstandard Analysis yields the ubiquitous presence of computational content. In particular, infinitesimals provide an elegant shorthand for expressing computational content. To this end, we introduce a direct translation between a large class of theorems of Nonstandard Analysis and theorems rich in computational content, similar to the ‘reversals’ from the foundational program Reverse Mathematics. The latter also plays an important role in gauging the scope of this translation. (shrink)

Consider the following pair of theses: all fundamental physical objects are spatiotemporal and all non-fundamental physical objects are ultimately composed of fundamental objects. Work on the physics of quantum gravity suggests that spacetime is a non-fundamental, emergent phenomenon and thus that thesis is false. The fundamentals are non-spatiotemporal in nature. This paper will argue against on the grounds that non-fundamental spatiotemporal objects cannot be composed of fundamental non-spatiotemporal objects. So, assuming that spacetime is emergent, new metaphysical resources are needed to (...) explain the relationship between the fundamental objects posited by quantum gravity and spacetime. (shrink)

Work in quantum gravity suggests that spacetime is not fundamental. Rather, spacetime emerges from an underlying, non-spatiotemporal reality. After clarifying the type of emergence at issue, I argue that standard conceptions of emergence available in metaphysics won’t work for the emergence of spacetime. I go on to consider spacetime functionalism as a way to make sense of spacetime emergence. I argue that a functionalist approach to spacetime modelled on mental state functionalism is not a viable alternative to the standard conception (...) of emergence in metaphysics. I go on to consider an alternative: ‘partial’ functionalism, whereby certain aspects of spacetime are functionalised, rather than spacetime as a whole. (shrink)

The present paper advances an analogy between cases of extra-mathematical explanation and cases of what might be termed ‘extra-logical explanation’: the explanation of a physical fact by a logical fact. A particular case of extra-logical explanation is identified that arises in the philosophical literature on time travel. This instance of extra-logical explanation is subsequently shown to be of a piece with cases of extra-mathematical explanation. Using this analogy, we argue extra-mathematical explanation is part of a broader class of non-causal explanation. (...) This has important implications for extra-mathematical explanation, for time travel and for theories of explanation more generally. (shrink)

Skow ([2007]), and much more recently Callender ([2017]), argue that time can be distinguished from space due to the special role it plays in our laws of nature: our laws determine the behaviour of physical systems across time, but not across space. In this work we assess the claim that the laws of nature might provide the basis for distinguishing time from space. We find that there is an obvious reason to be sceptical of the argument Skow submits for distinguishing (...) time from space: Skow fails to pay sufficient attention to the relationship between the dynamical laws and the antecedent conditions required to establish a complete solution from the laws. Callender’s more sophisticated arguments in favour of distinguishing time from space by virtue of the laws of nature presents a much stronger basis to draw the distinction. By developing a radical reading of Callender’s view we propose a novel approach to differentiating time and space that we call temporal perspectivalism. This is the view according to which the difference between time and space is a function of the agentive perspective. (shrink)

Ockham's razor asks that we not multiply entities beyond necessity. The razor is a powerful methodological tool, enabling us to articulate reasons for preferring one theory to another. There are those, however, who would modify the razor. Schaffer, for one, tells us that, ‘I think the proper rendering of Ockham's razor should be ‘Do not multiply fundamental entities without necessity’’. Our aim, here, is to challenge such re-workings of Ockham's razor.

Strong non-maximalism holds that some truths require no ontological ground of any sort. Strong non-maximalism allows one to accept that some propositions are true without being forced to endorse any corresponding ontological commitments. We show that there is a version of truthmaker theory available—anti-aboutness truthmaking—that enjoys the dialectical benefits of the strong non-maximalist’s position. According to anti-aboutness truthmaking, all truths require grounds, but a proposition need not be grounded in the very thing(s) that the proposition is about. We argue that (...) if strong non-maximalism can be defended, then so can anti-aboutness truthmaking on the very same basis; one can enjoy the benefits of strong non-maximalism without giving up on the idea that truth is always grounded in being. (shrink)

The Commentary on Plato's Parmenides by Proclus is the most important extant document on the interpretation of this enigmatic dialogue in antiquity, and has had a crucial influence on all subsequent readings. In Proclus' Commentary, the Parmenides provides the argumentative and conceptual framework for a scientific theology wherein all mythological discourse about the gods can be integrated. Its exposition was therefore the culmination of the curriculum of the Platonic school. This theological reading of the Parmenides persisted, through the medium of (...) Ficino, until the nineteenth century. Previously this important text was only accessible in the edition of V. Cousin. This new critical edition is based on an exhaustive study of both the Greek tradition and the medieval Latin translation. (shrink)

Priority monism (hereafter, ‘monism’) is the view that there exists one fundamental entity—the world—and that all other objects that exist (a set of objects typically taken to include tables, chairs, and the whole menagerie of everyday items) are merely derivative. Jonathan Schaffer has defended monism in its current guise, across a range of papers. Each paper looks to add something to the monistic picture of the world. In this paper we argue that monism—as Schaffer describes it—is false. To do so (...) we develop an ‘island universe’ argument against Schaffer's monistic theory. (shrink)

This article provides a non-technical overview of the conflict between the special theory of relativity and the dynamic theories of time. The chief argument against dynamic theories of time from relativistic mechanics is presented. The space of current responses to that argument is subsequently mapped.

Several approaches to quantum gravity signal the loss of spacetime at some level. According to spacetime functionalism, spacetime is functionally realised by a more fundamental structure. According to one version of spacetime functionalism, the spacetime role is specified by Ramsifying general relativity. In some approaches to QG, however, there does not appear to be anything that exactly realises the functional role defined by a Ramsey sentence for GR. The spacetime role is approximately realised. It is open to the spacetime functionalist (...) to adopt a ‘near enough is good enough’ attitude to functional realisation, and maintain that spacetime is functionally realised nonetheless. In this paper I present a challenge for such an ‘approximate’ spacetime functionalism. The challenge, in brief, is to provide an account of how ‘close’ is close enough for approximate realisation to occur. I canvass a range of options for spelling out a similarity relation of the relevant kind, and argue that none are successful. In light of the challenge, I recommend giving up on the functional realisation of spacetime. I argue, however, that even if spacetime as a whole is not functionally realised, some of the functions of spacetime may still be performed. (shrink)

This appears in a supplementary issue of the Bulletin of the Institute of Classical Studies, entitled "Ancient Approaches to Plato's Timaeus.".

In this chapter we argue that our concept of time is a functional concept. We argue that our concept of time is such that time is whatever it is that plays the time role, and we spell out what we take the time role to consist in. We evaluate this proposal against a number of other analyses of our concept of time, and argue that it better explains various features of our dispositions as speakers and our practices as agents.

Mereological harmony is the idea that the mereological structure of objects mirrors the mereological structure of locations. Grounding harmony is the idea that there is a similar mirroring between the grounding structure of objects and locations. Our goal in this paper is exploratory: we introduce and then explore two notions of grounding harmony: locative and structural. We outline potential locative and structural harmony principles for grounding, and show which of these principles may entail, or be entailed by, principles of mereological (...) harmony. We then present a case study in grounding harmony, by applying it to Schaffer’s :31, 2010a) specific version of priority monism. We show that, given a strong form of grounding harmony, Schaffer-style monism is inconsistent, but that this inconsistency can be resolved by offering bespoke notions of grounding harmony. We use Schaffer’s priority monism to demonstrate a broader tension within certain packages of metaphysical views, including versions of priority pluralism. We close by briefly considering the case against structural grounding harmony. (shrink)

Enhanced indispensability arguments seek to establish realism about mathematics based on the explanatory role that mathematics plays in science. Idealizations pose a problem for such arguments. Idealizations, in a similar way to mathematics, boost the explanatory credentials of our best scientific theories. And yet, idealizations are not the sorts of things that are supposed to attract a realist attitude. I argue that the explanatory symmetry between idealizations and mathematics can potentially be broken as follows: although idealizations contribute to the explanatory (...) power of our best theories, they do not carry the explanatory load. It is at least open however that mathematics is load-carrying. To give this idea substance, I offer an analysis of what it is to carry the explanatory load in terms of difference-making and counterfactuals. (shrink)

Although the treatise presented here is most interesting, it was never widely disseminated. As far as we know, it is preserved only in Latin, in one manuscript. The text poses many questions. Who produced a copy of the text? Who is the translator? Is the treatise a genuine work of Averroes? And if so, what was his intention in writing this monograph on the First Cause?

A great deal has been written about 'would' counterfactuals of causal dependence. Comparatively little has been said regarding 'would' counterfactuals of ontological dependence. The standard Lewis-Stalnaker semantics is inadequate for handling such counterfactuals. That's because some of these counterfactuals are counterpossibles, and the standard Lewis-Stalnaker semantics trivializes for counterpossibles. Fortunately, there is a straightforward extension of the Lewis-Stalnaker semantics available that handles counterpossibles: simply take Lewis's closeness relation that orders possible worlds and unleash it across impossible worlds. To apply the (...) extended semantics, an account of the closeness relation for counterpossibles is needed. In this paper I offer a strategy for evaluating 'would' counterfactuals of ontological dependence that understands closeness between worlds in terms of the metaphysical concept of grounding. (shrink)

This paper examines Florence Nightingale's realist philosophy of science by comparing it to the contemporaneously dominant philosophy of positivism. It starts by adumbrating the tenets of positivism and continues by assessing the degree to which Nightingale accepted or rejected those tenets. It is argued that while she accepted much of positivism, on realist grounds she opposed its belief in phenomenalism, its rejection of speculative philosophy, its separation of fact and value, and its rejection of religion. Following an examination of how (...) Nightingale's philosophy impinged on her approach to nursing and health care, the paper concludes with a comparison of her ideas with those of modern realism and a discussion of the contemporary salience of her ideas. It is argued that while some aspects of her approach may no longer provide an appropriate basis for modern nursing, her environmental approach, her transcendental realism, and her adherence to caring values may still be of use to contemporary nurses. (shrink)

Autocatalytic networks have been used to model the emergence of self‐organizing structure capable of sustaining life and undergoing biological evolution. Here, we model the emergence of cognitive structure capable of undergoing cultural evolution. Mental representations (MRs) of knowledge and experiences play the role of catalytic molecules, and interactions among them (e.g., the forging of new associations) play the role of reactions and result in representational redescription. The approach tags MRs with their source, that is, whether they were acquired through social (...) learning, individual learning (of pre‐existing information), or creative thought (resulting in the generation of new information). This makes it possible to model how cognitive structure emerges and to trace lineages of cumulative culture step by step. We develop a formal representation of the cultural transition from Oldowan to Acheulean tool technology using Reflexively Autocatalytic and Food set generated (RAF) networks. Unlike more primitive Oldowan stone tools, the Acheulean hand axe required not only the capacity to envision and bring into being something that did not yet exist, but hierarchically structured thought and action, and the generation of new MRs: the concepts EDGING, THINNING, SHAPING, and a meta‐concept, HAND AXE. We show how this constituted a key transition toward the emergence of semantic networks that were self‐organizing, self‐sustaining, and autocatalytic, and we discuss how such networks replicated through social interaction. The model provides a promising approach to unraveling one of the greatest anthropological mysteries: that of why development of the Acheulean hand axe was followed by over a million years of cultural stasis. (shrink)

[Newspaper opinion] If you’re like most people, you’ve been taught that climate action is a sacrifice. Cutting emissions from fossil fuels, you’ve probably been told, is the economy-squeezing price we must pay for a livable planet. But our research explains why we should look at this issue through a different frame. -/- Frames help us think about complex issues. They suggest starting assumptions, problems to be solved and point towards possible solutions. Sacrifice frames begin with the assumption that climate action (...) is a burdensome cost. Given that assumption, it naturally follows that climate action is all about convincing people to make sacrifices. But scholars have criticized sacrifice frames for being bad at motivating action. Tell a person to sacrifice, and they’re likely to give you a list of reasons why they shouldn’t have to do it. -/- We suggest a different approach. Instead of explaining why you should sacrifice for the climate, we explain why climate action isn’t a sacrifice. We also suggest an alternative, more hopeful frame that fits with current science. [Open access]. (shrink)

Journal of Mathematical Logic, Ahead of Print. We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory [math] is consistent with the conjecture that [math], i.e. some problem that is solvable in non-deterministic exponential time does not have polynomial size circuits. We suggest this is the best currently available evidence for the truth of the conjecture. The same techniques establish the same results with [math] (...) replaced by the class of problems decidable in non-deterministic barely superpolynomial time such as [math]. Additionally, we establish a magnification result on the hardness of proving circuit lower bounds. (shrink)