We investigate a certain system of intuitionistic set theory from three points of view: an elementary set theory with bounded separation, a topos with distinguished inclusions, and a category of classes with a system of small maps. The three presentations are shown to be equivalent in a strong sense.

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

Since 1990, The Simpsons’ annual “Treehouse of Horror” episodes have constituted a production sub-context within the series, having their own conventions and historical trajectory. These specials incorporate horror plots and devices, as well as general references to science fiction, into the series’ base in situation comedy. The Halloween specials disrupt the series usual family-oriented sitcom structure, dissolving the ideological balances that stabilise that society. By depicting the Family and community in extreme circumstances, in seeing the horror of ‘how things could (...) be’, the Treehouse episode leave us with hanging questions about the nature of social being that bleed into the regular sitcom-style episodes. By breaking from the comparatively realistic social-satire that characterizes the series as a whole, the Halloween specials cast a reflexive gaze back onto “The Simpsons” itself. As a result, the “Treehouse” episodes are valuable as a means of examining the strategies and implications of the series as a whole. Bakhtin’s model of the carnivalesque is utilised to underscore these disruptive traits that characterise the Treehouse episodes. (shrink)

Muraskas et al. and Hefferman and Heilig present the painfully elusive ethical questions regarding decisionmaking in the care of the extremely low birth weight infants in the intensive care nursery. At what gestation or size do we resuscitate? Can we stop resuscitation after we have started? How much money is too much to spend? Is the distress of the parents of the ELBW infant, the anguish of their caregivers, and the moral and ethical uncertainty of the approach to these infants (...) too much to pay? Who speaks for the neonate: the parent, nurse, attorney, or physician? Ideally these questions should have been answered 30 years ago when modern neonatology embarked on a journey from where it could not return. A new breed of physician, called seduced by the high-tech lure and the promise of saving lives previously unsavable pioneered a lucrative and life-saving technological revolution in the care of premature newborns. This rapid advancement in neonatology occurred a few years after the death of a premature infant named Patrick Kennedy in 1963. While the country mourned, medical scientists vowed that this would not happen again. First continuous positive airway pressure, then mechanical ventilation, changed medical care of premature newborns forever. It began an era of euphoria and excitement. Neonatologists raced to push to the edge of newborn viability. What was the youngest salvageable gestational age? What was the smallest that could be saved? Yes, we dreamed, and still do dream of artificial placentas. Ethical questions took a back seat in the search for the edge because the waters were uncharted and the tough questions could not be answered without experience. WhatwastobethecostindollarsandinanguishtosavethePatrickKennedysoftheworld?Triumphsledtograveconcerns asweapproachedtheedge.However,noadvancementinneonatologyhaseverchangedtheultimatequestions. (shrink)

'Post-truth', Oxford Dictionary's 2016 word of the year, appears to cover only the turn away from reason in contemporary politics. In fact the truth behind 'post-truth' is historically and philosophically more complex. As Fuller shows in this book, it reaches into the nature of knowledge itself.

This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

An affirmative answer is given to the question quoted in the title.

This paper lays the groundwork for normative-yet-naturalistic social epistemology. I start by presenting two scenarios for the history of epistemology since Kant, one in which social epistemology is the natural outcome and the other in which it represents a not entirely satisfactory break with classical theories of knowledge. Next I argue that the current trend toward naturalizing epistemology threatens to destroy the distinctiveness of the sociological approach by presuming that it complements standard psychological and historical approaches. I then try to (...) reassert, in Comtean fashion, the epistemologist's credentials in regulating knowledge production. Finally, I consider how social epistemology may have something exciting and relevant to say about contemporary debates in the theory of knowledge. (shrink)

Research in Science and Technology Studies (STS) tends to presume that intellectual and political radicalism go hand in hand. One would therefore expect that the most intellectually radical movement in the field relates critically to its social conditions. However, this is not the case, as demonstrated by the trajectory of the Parisian School of STS spearheaded by Michel Callon and Bruno Latour. Their position, "actor-network theory," turns out to be little more than a strategic adaptation to the democratization of expertise (...) and the decline of the strong nation-state in France over the past 25 years. This article provides a prehistory of this client-driven, contract-based research culture in U.S. sociology of the 1960s, followed by specific features of French philosophical and political culture that have bred the distinctive tenets of actor-network theory. Insofar as actor-network theory has become the main paradigm for contemporary STS research, it reflects a field that dodges normative commitments in order to maintain a user-friendly presence. (shrink)

Moral judgments about an agent's behavior are enmeshed with inferences about the agent's mind. Folk psychology—the system that enables such inferences—therefore lies at the heart of moral judgment. We examine three related folk-psychological concepts that together shape people's judgments of blame: intentionality, choice, and free will. We discuss people's understanding and use of these concepts, address recent findings that challenge the autonomous role of these concepts in moral judgment, and conclude that choice is the fundamental concept of the three, defining (...) the core of folk psychology in moral judgment. (shrink)

In the face of argument to the contrary, it is shown that there is defensible middle ground available for entity realism, between the extremes of scientific realism and empiricist antirealism. Cartwright's ([1983]) earlier argument for defensible middle ground between these extremes, which depended crucially on the viability of an underdeveloped distinction between inference to the best explanation (IBE) and inference to the most probable cause (IPC), is examined and its defects are identified. The relationship between IBE and IPC is clarified (...) and a revised version of Cartwright's argument for defensible middle ground, which is free of the identified defects, is presented. (shrink)

A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, respectively. We (...) focus on the countable distributive lattices P w and P s of weak and strong degrees of mass problems given by nonempty Π 1 0 subsets of 2 ω . Using an abstract Gödel/Rosser incompleteness property, we characterize the Π 1 0 subsets of 2 ω whose associated mass problems are of top degree in P w and P s , respectively. Let R be the set of Turing oracles which are random in the sense of Martin-Löf, and let r be the weak degree of R. We show that r is a natural intermediate degree within P w . Namely, we characterize r as the unique largest weak degree of a Π 1 0 subset of 2 ω of positive measure. Within P w we show that r is meet irreducible, does not join to 1, and is incomparable with all weak degrees of nonempty thin perfect Π 1 0 subsets of 2 ω . In addition, we present other natural examples of intermediate degrees in P w . We relate these examples to reverse mathematics, computational complexity, and Gentzen-style proof theory. (shrink)

The greatest threat faced by wild animals often comes from the destruction of their habitats by humans. Traditional environmental-conservation paradigms often fail to prevent this destruction. This paper claims that, where access to habitat is a necessary condition of their continued existence or wellbeing, wild animals have sufficiently strong interests in their habitat to generate rights to it. The paper argues that these rights should be instantiated in the form of collective usufructuary property rights, and, in cases of serious and (...) systematic violation of these rights, wild animals gain a remedial right of secession for their habitat. (shrink)

Continental theorists have been increasingly drawn towards elements of the everyday – food, sex, exercise, and so forth – as sites of ethical and epistemological analysis and modification. These analyses have generally been seen separately through the lens of phenomenological, critical, or experimental methods. Despite this division, this paper argues, in line with the work of Bruno Latour, that the analysis of food reveals a complex interplay between the social, political, personal, and experimental dimensions of food. Food should thus be (...) seen as ecological and intermodal, as a complex site of interchange between multiple forms of activity and knowing. This explains both food’s potential for appropriation by multiple projects, but problematizes any single method for analyzing the politics, pleasure or culture surrounding food. (shrink)

This paper examines from a cognitive perspective the rhetorical and epistemic advantages that can be gained from the use of (extended) metaphors in political discourse. We defend the assumption that extended metaphors can be argumentatively exploited, and provide two arguments in support of the claim. First, considering that each instantiation of the metaphorical mapping in the text may function as a confirmation of the overall relevance of the main core mapping, we argue that extended metaphors carry self-validating claims that increase (...) the chances of their content being accepted. Second, we show how the recognition of an extended metaphor’s sophistication and relevance (on behalf of the addressee) can benefit the speaker’s perceived competence (ethos). We then assess whether these two arguments measure against the dual epistemic monitoring postulated in the notion of epistemic vigilance (i.e., assessment of the source of a message and assessment of the message) and conclude that extended metaphors may fulfil the requirements of epistemic vigilance and lead to the stabilisation of a belief. We illustrate our account with an analysis of the extended metaphor of the USA as an empire found in a political pamphlet written by the Swiss politician Oskar Freysinger. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Trevena and Miller provide further evidence that readiness potentials occur in the brain prior to the time that participants claim to have initiated a voluntary movement, a contention originally forwarded by Libet, Gleason, Wright, and Pearl . In their examination of this issue, though, aspects of their data lead them to question whether their measurement of the initiation of a voluntary movement was accurate. The current article addresses this concern by providing a direct analysis of biases in this task. This (...) was done by asking participants to make subjective timing decisions regarding a stimulus that could be measured objectively. Our findings suggest that their timing task was indeed biased such that participants' tend to report events as happening approximately 70 ms later than they actually happened. Implications for the original Libet et al. claims are discussed. (shrink)

In the United States, convicted offenders frequently lose the right to vote, at least temporarily. Drawing on the common observation that citizens of color lose democratic rights at disproportionately high rates, this chapter argues that this punishment is problematic in non-ideal societies because of the way in which it diminishes the political power of marginalized groups and threatens to reproduce patterns of domination and subordination, when they occur. This chapter then uses the case of penal disenfranchisement to illustrate how idealized (...) discussions of deterrence, rehabilitation, and retribution often ignore the relationship between punishment and social/political power, and thus systematically obscure morally significant aspects of our broader penal practices. (shrink)

Let CKDT be the assertion that for every countably infinite bipartite graph G, there exist a vertex covering C of G and a matching M in G such that C consists of exactly one vertex from each edge in M. (This is a theorem of Podewski and Steffens [12].) Let ATR0 be the subsystem of second-order arithmetic with arithmetical transfinite recursion and restricted induction. Let RCA0 be the subsystem of second-order arithmetic with recursive comprehension and restricted induction. We show that (...) CKDT is provable in ART0. Combining this with a result of Aharoni, Magidor, and Shore [2], we see that CKDT is logically equivalent to the axioms of ATR0, the equivalence being provable in RCA0. (shrink)

There are several important conceptual issues and questions about the practice of healthcare ethics that can, and should, inform the development of any practice standards. This paper provides a relatively short overview of seven of these issues, with the invitation for further critical reflection and examination of their relevance to and implications for practice standards. The seven issues described include: diversity (from the perspective of training and experience); moral expertise and authority/influence; being an insider or outsider; flexibility and adaptability (for (...) local contexts of practice); the relative weighting of procedural and normative aspects of ethics practice; making mistakes or errors; and conflicts of interest in practice. (shrink)

The practice of conservation assumes that current persons have some obligations to future generations, but these obligations are complicated by a number of philosophical problems, chief among which is what Derek Parfit calls the Non-Identity Problem. Because our actions now will affect the identities of persons to be born in the distant future, we cannot say that those actions either benefit or harm those persons. Thus, a causal link between our acts and their consequences for particular persons is severed, and (...) the justification for conservation duties toward future generations undermined. I argue for an alternative justification for conservation in the capacity of foresight, which requires us to act not only upon duties that we have now, but also upon those that we will predictably have in the future. In this way, the future generations problem, at least as applied to conservation issues, is overcome. (shrink)

Jeffrey conditioning allows updating in Bayesian style when the evidence is uncertain. A weighted average, essentially, over classically updating on the alternatives. Unlike classical Bayesian conditioning, this allows learning to be unlearned.

Defining privacy is problematic because the condition of privacy appears simultaneously to require separation from others, and the possibility of choosing not to be separate. This latter feature expresses the inherent normative dimension of privacy: the capacity to control the perceptual and informational spaces surrounding one’s person. Clearly the features of separation and control as just described are in tension because one may easily enough choose to give up all barriers between oneself and the public space. How could the capacity (...) for privacy give rise to its absence? Yet both the separation and control features of privacy do seem indispensable to any sensible understanding of it. In this paper I set out an approach to defining privacy that keeps these features and avoids the tension between them. (shrink)

Assuming AD + (V = L(R)), it is shown that for κ an admissible Suslin cardinal, o(κ) (= the order type of the stationary subsets of κ) is "essentially" regular and closed under ultrapowers in a manner to be made precise. In particular, o(κ) ≫ κ +, κ ++ , etc. It is conjectured that this characterizes admissibility for L(R).

This article illustrates the process of applied critical realist research using a case study of political decision-making in transport. Critical realism is often used to analyse socio-political cha...

____Technology, Time, and the Conversations of Modernity__ takes as its impetus the idea that technology is an embodiment of our uneasiness with finitude. Lorenzo Simpson argues that technology has succeeded in granting our wish to domesticate time. He shows how this attitude affects our understanding of the meaning of action and our ability to discern meaning in our lives.

Among theories of personal identity over time the simple view has not been popular among philosophers, but it nevertheless remains the default view among non philosophers. It may be construed either as the view that nothing grounds a claim of personal identity over time, or that something quite simple (a soul perhaps) is the ground. If the former construal is accepted, a conspicuous difficulty is that the condition of causal dependence between person-stages is absent. But this leaves such a view (...) open to an objection from the failure to provide a condition of individuation. If, on the other hand something like a soul is said to ground personal identity over time, such an account turns out to be more suited to a kind of continuity view. (shrink)

This book examines the significance and meaning of undergraduate online learning using a hermeneutic phenomenological study, asking what is lost when there is no face-to-face contact and exploring the essence of technology itself. Drawing on data from undergraduate students across various higher education institutions, including both interview recordings and written reports of their lived experiences, the author seeks to uncover the essence of the phenomenon by engaging with themes around the philosophy of technology and the purpose of post-secondary education, using (...) Heidegger's essay The Question Concerning Technology as a crucial interpretive lens. Rather than offering generalized conclusions, it presents a basis for further understanding of the experience of online learning, and ultimately asks whether the efficiency afforded to undergraduates by online classes or degrees can ever replace what is learned in a classroom with other people. Providing a novel approach to the topic of online learning which centers the concept of experience, and drawing links to current conditions and pedagogy in online higher education, it will appeal to scholars working across education and philosophy with interests in higher education, technology and education, phenomenology of education and philosophy of education. (shrink)

Retrograde plastid‐to‐nucleus signaling plays a central role in coordinating nuclear and plastid gene expression. The gun (genomes uncoupled) mutants of Arabidopsis have been used to demonstrate that Mg‐protoporphyrin (Mg‐Proto) acts as a plastid signal to repress the transcription of nuclear photosynthesis genes.1 It is unclear how Mg‐Proto triggers repression, but several components of this pathway have been recently identified. These include the products of GUN4 and GUN5. GUN5 is the ChlH subunit of Mg‐chelatase, which produces Mg‐Proto, and GUN4 is a (...) regulator of ChlH activity.2 GUN4 might also play a role in photoprotection and in the trafficking of Mg‐Proto. BioEssays 25:631–636, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

A well known fact is that every Lebesgue measurable set is regular, i.e., it includes an F$_{\sigma}$ set of the same measure. We analyze this fact from a metamathematical or foundational standpoint. We study a family of Muchnik degrees corresponding to measure-theoretic regularity at all levels of the effective Borel hierarchy. We prove some new results concerning Nies's notion of LR-reducibility. We build some $\omega$-models of RCA$_0$which are relevant for the reverse mathematics of measure-theoretic regularity.