Given any oracle, A, we construct a basic sequence Q, computable in the jump of A, such that no A-computable real is Q-distribution-normal. A corollary to this is that there is a Δn+10 basic sequence with respect to which no Δn0 real is distribution-normal. As a special case, there is a limit computable sequence relative to which no computable real is distribution-normal.

Jockusch and Lewis proved that every DNC function computes a bi-immune set. They asked whether every DNC function computes an effectively bi-immune set. We construct a DNC function that computes no effectively bi-immune set, thereby answering their question in the negative.

We exhibit a family of computably enumerable sets which can be learned within polynomial resource bounds given access only to a teacher but which requires exponential resources to be learned given access only to a membership oracle. In general, we compare the families that can be learned with and without teachers and oracles for four measures of efficient learning.

The present work determines the arithmetic complexity of the index sets of u.c.e. families which are learnable according to various criteria of algorithmic learning. Specifically, we prove that the index set of codes for families that are TxtFex\-learnable is \-complete and that the index set of TxtFex\-learnable and the index set of TxtFext\-learnable families are both \-complete.

In _Necropolitics_ Achille Mbembe—a leader in the new wave of Francophone critical theory—theorizes the genealogy of the contemporary world—a world plagued by ever-increasing inequality, militarization, enmity, and terror, as well as by a resurgence of racist, fascist, and nationalist forces determined to exclude and kill. He outlines how democracy has begun to embrace its dark side, or what he calls its “nocturnal body,” which is based on the desires, fears, affects, relations, and violence that drove colonialism. This shift has hollowed (...) out democracy, thereby eroding the very values, rights, and freedoms liberal democracy routinely celebrates. As a result, war has become the sacrament of our times, in a conception of sovereignty that operates by annihilating all those considered to be enemies of the state. Despite his dire diagnosis, Mbembe draws on post-Foucault debates on biopolitics, war, and race, as well as Fanon's notion of care as a shared vulnerability, to explore how new conceptions of the human that transcend humanism might come to pass. These new conceptions would allow us to encounter the Other not as a thing to exclude, but as a person with whom to build a more just world. (shrink)

His argument rests on several premises: that achievement in sport has become a model for achievement in the workplace; that the two worlds share the same ...

In _Critique of Black Reason_ eminent critic Achille Mbembe offers a capacious genealogy of the category of Blackness—from the Atlantic slave trade to the present—to critically reevaluate history, racism, and the future of humanity. Mbembe teases out the intellectual consequences of the reality that Europe is no longer the world's center of gravity while mapping the relations among colonialism, slavery, and contemporary financial and extractive capital. Tracing the conjunction of Blackness with the biological fiction of race, he theorizes Black reason (...) as the collection of discourses and practices that equated Blackness with the nonhuman in order to uphold forms of oppression. Mbembe powerfully argues that this equation of Blackness with the nonhuman will serve as the template for all new forms of exclusion. With _Critique of Black Reason_, Mbembe offers nothing less than a map of the world as it has been constituted through colonialism and racial thinking while providing the first glimpses of a more just future. (shrink)

In matters of responsibility, there are often two sides to the transaction: one party who holds another responsible, and the other who takes responsibility for her conduct. The first side has been closely scrutinized in discussions of the nature of responsibility, due to the influential Strawsonian conjecture that an agent is responsible if and only if it is appropriate to hold her responsible. This preoccupation with holding responsible – with its focus on the second-personal perspective and on responses like blame (...) – contrasts with a relative neglect of the perspective of the agent and the role that she has to play by taking responsibility. I aim to show that this neglect is undeserved – that taking responsibility is both distinct in character from holding responsible and fundamentally important in its own right. I develop a conception of taking responsibility that reveals an under-explored dimension of our responsibility practices. (shrink)

Many experiences of shame centrally involve exposure. This has suggested to a number of writers that shame is essentially a social emotion that involves being exposed to the view or appraisal of an audience—call this the Audience Thesis. Others reject the Audience Thesis on the basis of private experiences of shame that seem to involve no exposure. This disagreement marks a basic fault line in theorizing about shame. I develop and explore a simple but effective way to shield the Audience (...) Thesis from the private shame objection, by understanding the notion of an audience in a very minimal way. Rather than conceiving of the audience in terms of an other whose appraisal is an element in shame, we can conceive of shame generally as a response to appraisals of the subject—either by others or by the subject herself. On this view, shame requires an audience in the sense that it is not a first-order self-appraisal—like disappointment in or disapproval of oneself—but rather an appraisal of appraisals. This approach yields substantial benefits: it renders the private shame objection harmless; it explains why exposure cases strike us as particularly paradigmatic instances of shame; it clarifies what is happening when we feel shame before appraisals with which we do not agree; it helps to understand how it may be possible to feel shame in the face of neutral or even positive appraisals; and it captures a significant but neglected sense in which shame might be considered a social emotion. (shrink)

Bernard Williams’ Shame and Necessity (1993) was an influential early contribution to what has become a broader movement to rehabilitate shame as a moral emotion. But there is a tension in Williams’ discussion that presents an under-appreciated difficulty for efforts to rehabilitate shame. The tension arises between what Williams takes shame in its essence to be and what shame can do—the role that shame can be expected to play in ethical life. Williams can—and we argue, should—be read as avoiding the (...) difficulties stemming from this tension, but this requires a reevaluation of several of his central claims about shame’s role in ethical thought and experience. For instance, his broad claims that the “structures of shame” can “give a conception of one’s ethical identity” (93), and that shame “mediates … between ethical demands and the rest of life” (102), cannot be taken at face value. What emerges is a view that is in a sense less ambitious, but also more in tune with the spirit of Williams’ larger project. There may also, we suggest, be a more general lesson: We should be suspicious of the temptation to seek some special affinity between shame and ethical life, lest we distort our understanding of both. (shrink)

In order to fulfill ABET requirements, Northern Arizona University’s Civil and Environmental engineering programs incorporate professional ethics in several of its engineering courses. This paper discusses an ethics module in a 3rd year engineering design course that focuses on the design process and technical writing. Engineering students early in their student careers generally possess good black/white critical thinking skills on technical issues. Engineering design is the first time students are exposed to “grey” or multiple possible solution technical problems. To identify (...) and solve these problems, the engineering design process is used. Ethical problems are also “grey” problems and present similar challenges to students. Students need a practical tool for solving these ethical problems. The step-wise engineering design process was used as a model to demonstrate a similar process for ethical situations. The ethical decision making process of Martin and Schinzinger was adapted for parallelism to the design process and presented to students as a step-wise technique for identification of the pertinent ethical issues, relevant moral theories, possible outcomes and a final decision. Students had greatest difficulty identifying the broader, global issues presented in an ethical situation, but by the end of the module, were better able to not only identify the broader issues, but also to more comprehensively assess specific issues, generate solutions and a desired response to the issue. (shrink)

Involvement of industry in academic research is widespread and associated with favorable outcomes for industry. The objective of this study was to review empirical data on the attitudes of researchers toward industry involvement and financial ties in research. A review of the literature for quantitative data from surveys on the attitudes of researchers to financial ties in research, reported in English, resulted in the 17 studies included. Review of these studies revealed that investigators are concerned about the impact of financial (...) ties on choice of research topic, research conduct and publication, but this concern is less among investigators already involved with industry. Researchers approve of industry collaboration and financial ties when the ties are indirectly related to the research, disclosure is upfront, and results and ideas are freely publicized. However, their trust in disclosure as a way to manage conflicts may reveal a lack of awareness of the actual impact of financial incentives on themselves and other researchers. (shrink)

In an earlier paper, we introduced the following pre-order on the subgroups of a given Polish group: if G is a Polish group and \ are subgroups, we say H is homomorphism reducible to L iff there is a continuous group homomorphism \ such that \\). We previously showed that there is a \ subgroup L of the countable power of any locally compact Polish group G such that every \ subgroup of \ is homomorphism reducible to L. In the (...) present work, we show that this fails in the countable power of the group of increasing homeomorphisms of the unit interval. (shrink)

Is a whole something more than the sum of its parts? Are there things composed of the same parts? If you divide an object into parts, and divide those parts into smaller parts, will this process ever come to an end? Can something lose parts or gain new ones without ceasing to be the thing it is? Does any multitude of things (including disparate things such as you, this book, and the tail of a cat) compose a whole of some (...) sort? Questions such as these have occupied us for at least as long as philosophy has existed. They define the field that has come to be known as mereology-the study of all relations of part to whole and of part to part within a whole-and have deep and far-reaching ramifications in metaphysics as well as in logic, the foundations of mathematics, the philosophy of language, the philosophy of science, and beyond. In Mereology, A. J. Cotnoir and Achille C. Varzi have compiled decades of advanced research into a comprehensive, up-to-date, and formally rigorous picture. The early chapters cover the more classical aspects of mereology; the rest of the book deals with variants and extensions. Whether you are an established professional philosopher, an interested student, or a newcomer, inside you will find all the tools you need to join this ever-evolving field of inquiry and theorize about all things mereological. (shrink)

There are sometimes good reasons to define a criminal offense in a way that is over-inclusive, in the sense that the definition will encompass conduct that is not otherwise wrongful. But are these reasons ever sufficient? When, if ever, can such laws justifiably be made and enforced? When, if ever, can they permissibly be violated? In The Realm of Criminal Law, Antony Duff tackles this challenge head on. We find Duff’s strategy promising in many ways as an effort to reconcile (...) over-inclusive offenses with the wrongness constraint on criminalization. Nonetheless, we aim to move the discussion forward by raising questions about Duff’s solution and highlighting some limitations and costs. We begin in Part 2 by sketching the contours of Duff’s position; then in Part 3 we propose one refinement and offer two practical observations; and finally, in Part 4 we raise broader concerns. In particular, we question whether the problem of over-inclusive offenses is one that can or ought to be solved, or whether it is better conceived as a difficulty to be managed and mitigated. Of course, we should avoid undue harshness in the law where we can, and Duff’s approach is guided by this worthy ambition. But there may also be a limit to this. To the extent that the harshness cannot be avoided, perhaps this should be acknowledged and faced up to, rather than obscured or finessed. (shrink)

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.

We tend to talk about parts in the same way in which we talk about whole objects. Yet a part is not something to be included in an inventory of the world over and above the whole to which it belongs, and a whole is not something to be included in an inventory over and above its own parts. This paper is an attempt to clarify a way of dealing with this tension which may be labeled the Minimalist View: an (...) element in the field of a part‐whole relation is to be included in an inventory of the world if, and only if, it does not overlap any other element that is itself included in the inventory. As it turns out, a clarification of this view involves both a defense of mereological extensionality and an account of the topological distinction between detached and undetached parts. (shrink)

Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds. Whatever its ideology, whether with the intent of uncovering a truer structure of reality or of shooting our anxiety, of exposing myths or of following them through, the outcome of philosophical activity is always the destabilizing, unsettling (...) generation of doubts, of objections, of criticisms. It follows that this activity is intrinsically a dialogue, that philosophy is first and foremost philosophical discussion, that it requires bringing out conflicting points of view, paying careful, sympathetic attention to their structure, and using this dialectic to articulate one's approach, to make it richer, more thoughtful, more open to variation and play. And it follows that the spirit which one brings to this activity must be one of tolerance, of always suspecting one's own blindness and consequently looking with unbiased eye in every comer, without fearing to pass a (fallible) judgment on what is there but also without failing to show interest and respect. (shrink)

Despite a decade of federal regulation and debate over the appropriateness of financial ties in research and their management, little is known about the actual decision-making processes of university conflict of interest (COI) committees. This paper analyzes in detail the discussions and decisions of three COI committees at three public universities in California. University committee members struggle to understand complex financial relationships and reconcile institutional, state, and federal policies and at the same time work to protect the integrity of the (...) scientific process, the autonomy and intellectual freedom of their faculty colleagues and students, and the financial interests of the university. (shrink)

Euclid’s definition of a point as “that which has no part” has been a major source of controversy in relation to the epistemological and ontological presuppositions of classical geometry, from the medieval and modern disputes on indivisibilism to the full development of point-free geometries in the 20th century. Such theories stem from the general idea that all talk of points as putative lower-dimensional entities must and can be recovered in terms of suitable higher-order constructs involving only extended regions (or bodies). (...) Here I focus on what is arguably the first thorough proposal of this sort, Whitehead’s theory of “extensive abstraction”, offering a critical reconstruction of the theory through its successive installments: from the purely mereological version of ‘La théorie relationniste de l’espace’ (1916) to the refined versions presented in An Enquiry Concerning the Principles of Natural Knowledge (1919) and in The Concept of Nature (1920) to the last, mereotopological version of Process and Reality (1929). (shrink)

In this paper, we study some new examples of ideals on $$\omega $$ with maximal Tukey type (that is, maximal among partial orders of size continuum). This discussion segues into an examination of a refinement of the Tukey order—known as the weak Rudin–Keisler order—and its structure when restricted to these ideals of maximal Tukey type. Mirroring a result of Fremlin (Note Mat 11:177–214, 1991) on the Tukey order, we also show that there is an analytic P-ideal above all other analytic (...) P-ideals in the weak Rudin–Keisler order. (shrink)

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

Paul Hovda’s excellent paper ‘What Is Classical Mereology?' has fruitfully reshaped the debate concerning the axiomatic foundations of classical mereology. Precisely because of the importance of Hovda’s work and its usefulness as a reference tool, we note here that one of the five axiom systems presented therein, corresponding the ‘Third Way’ to classical mereology, is defective and must be amended. In addition, we note that two other axiom systems, corresponding to the ‘First Way’ and to the ‘Fifth Way’, involve redundancies.

Given a class${\cal C}$of subgroups of a topological groupG, we say that a subgroup$H \in {\cal C}$is auniversal${\cal C}$subgroupofGif every subgroup$K \in {\cal C}$is a continuous homomorphic preimage ofH. Such subgroups may be regarded as complete members of${\cal C}$with respect to a natural preorder on the set of subgroups ofG. We show that for any locally compact Polish groupG, the countable powerGωhas a universalKσsubgroup and a universal compactly generated subgroup. We prove a weaker version of this in the nonlocally compact (...) case and provide an example showing that this result cannot readily be improved. Additionally, we show that many standard Banach spaces have universalKσand compactly generated subgroups. As an aside, we explore the relationship between the classes ofKσand compactly generated subgroups and give conditions under which the two coincide. (shrink)

I am a friend of supervaluationism. A statement lacks a definite truth value if, and only if, it comes out true on some admissible ways of precisifying the semantics of the relevant vocabulary and false on others. In this paper, I focus on the special case of identity statements. I take it that such statements, too, may occasionally suffer a truth-value gap, including philosophically significant instances. Yet there is a potentially devastating objection that can be raised against the supervaluationist treatment (...) of such cases—in fact two objections. Luckily, both can be resisted. But seeing how requires that we take a closer look at the ontological presuppositions of supervaluationism, allowing for more leeway than is usually supposed. (shrink)

In his Romanes Lecture of 1907, Lord Curzon emphasized the overwhelming influence of “natural” and “artificial” frontiers in the political history of the modern world. As Barry Smith has shown, the same could be said, more generally, of the natural and artificial boundaries that are at work in articulating every aspect of the reality with which we have to deal, not only in the world of geography, but the world of human experience at large. Moreover, once the natural/artificial distinction has (...) been recognized, it can be drawn across the board: not merely in relation to boundaries but also in relation to those entities that may be said to have boundaries. If something enjoys a natural boundary, its identity and survival conditions do not depend on us; it is a bona fide, mind-independent entity of its own. By contrast, if its boundary is artificial, then the entity itself is to some degree a fiat entity, a product of our worldmaking. Here I am interested in limit case: what if, pace Curzon and pace Smith, all entities turned out to be of the latter sort? (shrink)

Remember the story of the most-most? It’s the story of that club in New York where people are the most of every type. There is the hairiest bald man and the baldest hairy man; the shortest giant and the tallest dwarf; the smartest idiot and the stupidest wise man. They are all there, including honest thieves and crippled acrobats. On Saturday night they have a party, eat, drink, dance. Then they have a contest. “And if you can tell the hairiest (...) bald man from the baldest hairy man—we are told—you get a prize.”. (shrink)

We consider some natural sets of real numbers arising in ergodic theory and show that they are, respectively, complete in the classes${\cal D}_2 \left( {{\bf{\Pi }}_3^0 } \right)$and${\cal D}_\omega \left( {{\bf{\Pi }}_3^0 } \right)$, that is, the class of sets which are 2-differences (respectively,ω-differences) of${\bf{\Pi }}_3^0 $sets.

BackgroundAustralian health and medical research funders support substantial research efforts, and incentives within grant funding schemes influence researcher behaviour. We aimed to determine to what extent Australian health and medical funders incentivise responsible research practices.MethodsWe conducted an audit of instructions from research grant and fellowship schemes. Eight national research grants and fellowships were purposively sampled to select schemes that awarded the largest amount of funds. The funding scheme instructions were assessed against 9 criteria to determine to what extent they incentivised (...) these responsible research and reporting practices: publicly register study protocols before starting data collection, register analysis protocols before starting data analysis, make study data openly available, make analysis code openly available, make research materials openly available, discourage use of publication metrics, conduct quality research, collaborate with a statistician, and adhere to other responsible research practices. Each criterion was answered using one of the following responses: “Instructed”, “Encouraged”, or “No mention”.ResultsAcross the 8 schemes from 5 funders, applicants were instructed or encouraged to address a median of 4 of the 9 criteria. Three criteria received no mention in any scheme. Importantly, most incentives did not seem strong as applicants were only instructed to register study protocols, discourage use of publication metrics and conduct quality research. Other criteria were encouraged but were not required.ConclusionsFunders could strengthen the incentives for responsible research practices by requiring grant and fellowship applicants to implement these practices in their proposals. Administering institutions could be required to implement these practices to be eligible for funding. Strongly rewarding researchers for implementing robust research practices could lead to sustained improvements in the quality of health and medical research. (shrink)

Jeffery et al. suggest that three-dimensional environments are not represented according to their volumetric properties, but in a quasi-planar fashion. Here we take into consideration the role of visual experience and the use of technology for spatial learning to better understand the nature of the preference of horizontal over vertical spatial representation.

This is a sequel to my paper "Il denaro è un’opera d’arte", focusing on the metaphysics of those peculiar social objects that play an increasingly central role in the financial world—derivatives. On the analysis I offer, they appear to run afoul of Searle’s theory of social objects (or of the theory outlined in my earlier paper), and I put forward some suggestions on where to look for the necessary adjustments.

This volume aims to offer an up-to-date indication of the on-going debate on the nature of logic. The focus is on questions pertaining to the existence and individuation of clear boundaries delineating the concerns of logic: What is their distinctive character? What makes logic a subject of its own, separate from (and generally in the background of) the concerns of other disciplines? What is it for an expression to be a logical constant? Or, perhaps equivalently, what is it for an (...) operation or a relation to be logical? Can these questions be addressed in a general setting, or are they intrinsically unanswerable except within specific frameworks of reference (e.g., a language, or a conceptual scheme)? How are they to be addressed—are they semantic, syntactic, pragmatic? And how do semantics, syntax, or pragmatics contribute to our understanding of these questions? Are the answers fully captured by extant systems of logic? Contributors: E. Bencivenga, J. van Benthem, D. van Dalen, M. García-Carpintero and M. Pérez Otero, A. P. Hazen, A. Koslow, G. Priest, G. Sher. (shrink)

L’Afrique a participé jusqu’a présent, souvent à titre de laboratoire, au développement de la science occidentale. Les défis rencontrés par la théorie critique aujourd’hui sont l’instrumentalisation de la théorie par les gouvernements, la prolifération de pratiques critiques diverses, notamment écologique, et surtout l’émergence d’un capitalisme de l’image et de l’affect. C’est en relation avec la Chine que l’Afrique peut apporter de nouvelles réponses et relever ces défis.

In _Brutalism_, eminent social and critical theorist Achille Mbembe invokes the architectural aesthetic of brutalism to describe our moment, caught up in the pathos of demolition and production on a planetary scale. Just as brutalist architecture creates an affect of overwhelming weight and destruction, Mbembe contends that contemporary capitalism crushes and dominates all spheres of existence. In our digital, technologically focused era, capitalism has produced a becoming-artificial of humanity and the becoming-human of machines. This blurring of the natural and artificial (...) presents a planetary existential threat in which contemporary society’s goal is to precipitate the mutation of the human species into a condition that is at once plastic and synthetic. Mbembe argues that Afro-diasporic thought presents the only solution for breaking the totalizing logic of contemporary capitalism: repairing that which is broken, developing a new planetary consciousness, and reforming a community of humans in solidarity with all living things. (shrink)