In response to a series of allegations of scientific misconduct in the 1980’s, a number of scientific societies, national agencies, and academic institutions, including Harvard Medical School, devised guidelines to increase awareness of optimal scientific practices and to attempt to prevent as many episodes of misconduct as possible. The chief argument for adopting guidelines is to promote good science. There is no evidence that well-crafted guidelines have had any detrimental effect on creativity since they focus on design of research studies, (...) documentation of research findings, assignment of credit through authorship, data management and supervision of trainees, not on the origin and evolution of ideas. This paper addresses a spectrum of causes of scientific misconduct or unacceptable scientific behavior and couples these with estimates of the potential for prevention if guidelines for scientific investigation are adopted. The conclusion is that clear and understandable guidelines should help to reduce the chance that flawed research will escape from our institutions. However, they cannot be relied upon alone to prevent all instances of scientific misconduct and should be regarded rather as one means of bolstering the integrity of the entire scientific enterprise. (shrink)

ABSTRACT. This paper considers two sets ethical obligations owed by a firm and its management to stockholders and employees with respect to layoffs. Literature and research from ethics and agency are used to frame ethical issues that pertain to age discrimination in layoffs. An actual court case provides an example for focus, analysis, and discussion. Points of discussion include management''s obligations to employees and factors of injustice related to prejudice against age.

We investigate the relationship of the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerable set whose only proper splittings are low 2.

Recall that [Formula: see text] is the lattice of Muchnik degrees of nonempty effectively compact sets in Euclidean space. We solve a long-standing open problem by proving that [Formula: see text] is dense, i.e. satisfies [Formula: see text]. Our proof combines an oracle construction with hyperarithmetical theory.

Given two incomparable c.e. Turing degrees a and b, we show that there exists a c.e. degree c such that c = (a ⋃ c) ⋂ (b ⋃ c), a ⋃ c | b ⋃ c, and c < a ⋃ b.

The key to wealth in health care is the physician, who certifies to third-party payers that health care items and services are necessary for patient care. To compete more effectively for this wealth, physician specialists are organizing their practices into for-profit corporations and employing other physicians. Focusing on neonatology, this article describes the prevailing business model of these for-profit medical groups as controlling employed physicians through restrictive employment contract provisions, e.g., non-compete and mandatory arbitration clauses. With this business model and (...) because of deficiencies in current law, for-profit medical groups eliminate competition from other physician specialists to the detriment of patients and consumers. (shrink)

[Holbrook's] is one of the keenest and deepest critical minds in the field of Islamic literature. She provides for the reader (scholar and lay persona alike) fascinating insights into the genre, poetic functions, mystical allegory, narrative technique, audience response, etc. Many of her analyses are scintillating.... The Holbrook volume is a landmark in Ottoman literary scholarship. --MESA Bulletin... a major contribution to Ottoman and Turkish literary study--I frankly am at a loss to describe how major.... Dr. Holbrook's book will make (...) its own category and subsequent publication in the field will be judged in relation to it. --Walter G. Andrews, professor of Near Eastern Languages and Civilization, University of Washington When the Ottoman Turkish Empire was divided into modern states after World War I, in Turkey a change of alphabet and radical linguistic reform aimed to free modern Turkish literature from intellectual ties to the East. Holbrook recuperates Ottoman debates on the existential status of language and social value of art with a poetics of Beauty and Love, the philosophical fairy tale in verse by Seyh Galib. Where does language come from? How does a poet conceive imagery? What rights to interpretive authority does Muslim law accord the individual when God's word is law? Holbrook's lively analysis ranges an intertext of genres in Arabic and Persian as well as Turkish. The romance of separated lovers is a paradigm of journeys that lead beyond discourse. A poet's quest for originality reveals an archaeology of modernism. Holbrook traces the revolutionary polemic and Orientalist philology that de-aestheticized Ottoman poetry, bringing the critique of Orientalismto bear upon the Ottoman center Orientalism suppressed. (shrink)

This article identifies a papyrus in Warsaw, P.Vars. 6, as a fragment of the large Latin–Greek glossary known as Ps.-Philoxenus. That glossary, published in volume II of G. Goetz's Corpus Glossariorum Latinorum on the basis of a ninth-century manuscript, is by far the most important of the bilingual glossaries surviving from antiquity, being derived from lost works of Roman scholarship and preserving valuable information about rare and archaic Latin words. It has long been considered a product of the sixth century (...) a.d., but the papyrus dates to c.200, and internal evidence indicates that the glossary itself must be substantially older than that copy. The Ps.-Philoxenus glossary is therefore not a creation of Late Antiquity but of the Early Empire or perhaps even the Republic. Large bilingual glossaries in alphabetical order must have existed far earlier than has hitherto been believed. (shrink)

We provide three new results about interpolating 2-r.e. or 2-REA degrees between given r.e. degrees: Proposition 1.13. If c h are r.e. , c is low and h is high, then there is an a h which is REA in c but not r.e. Theorem 2.1. For all high r.e. degrees h g there is a properly d-r.e. degree a such that h a g and a is r.e. in h . Theorem 3.1. There is an incomplete nonrecursive r.e. A (...) such that every set REA in A and recursive in 0′ is of r. e. degree. The first proof is a variation on the construction of Soare and Stob . The second combines highness with a modified version of the proof strategy of Cooper et al. . The third theorem is a rather surprising result with a somewhat unusual proof strategy. Its proof is a 0‴ argument that at times moves left in the tree so that the accessible nodes are not linearly ordered at each stage. Thus the construction lacks a true path in the usual sense. Two substitute notions fill this role: The true nodes are the leftmost ones accessible infinitely often; the semitrue nodes are the leftmost ones such that there are infinitely many stages at which some extension is accessible. Another unusual feature of the construction is that it involves using distinct priority orderings to control the interactions of different parts of the construction. (shrink)

To each computable enumerable (c.e.) set A with a particular enumeration {As}s∈ω, there is associated a settling function mA(x), where mA(x) is the last stage when a number less than or equal to x was enumerated into A. One c.e. set A is settling time dominated by another set B (B >st A) if for every computable function f, for all but finitely many x, mB(x) > f(m₄(x)). This settling-time ordering, which is a natural extension to an ordering of the (...) idea of domination, was first introduced by Nabutovsky and Weinberger in [3] and Soare [6]. They desired a sequence of sets descending in this relationship to give results in differential geometry. In this paper we examine properties of the <st ordering. We show that it is not invariant under computable isomorphism, that any countable partial ordering embeds into it, that there are maximal and minimal sets, and that two c.e. sets need not have an inf or sup in the ordering. We also examine a related ordering, the strong settling-time ordering where we require for all computable f and g, for almost all x, mB(x) > f(mA(g(x))). (shrink)

In his target paper, John Welwood tells us that we have to beware of 'spiritual bypassing -- using spiritual ideas and practices to sidestep personal, emotional -- unfinished business--, to shore up a shaky sense of self, or to belittle basic needs, feelings, and develop-mental tasks, all in the name of enlightenment'. It's arguable that there is an equal danger of 'narrative bypassing' -- using the idea of one's life as a narrative to 'sidestep personal, emotional --unfinished business--, to (...) shore up a shaky sense of self -- all in the name of' a good life. (shrink)

In [6], Metakides and Nerode introduced the study of the lattice of recursively enumerable substructures of a recursively presented model as a means to understand the recursive content of certain algebraic constructions. For example, the lattice of recursively enumerable subspaces,, of a recursively presented vector spaceV∞has been studied by Kalantari, Metakides and Nerode, Retzlaff, Remmel and Shore. Similar studies have been done by Remmel [12], [13] for Boolean algebras and by Metakides and Nerode [9] for algebraically closed fields. In (...) all of these models, the algebraic closure of a set is nontrivial., is given in §1, however in vector spaces, cl is just the subspace generated byS, in Boolean algebras, cl is just the subalgebra generated byS, and in algebraically closed fields, cl is just the algebraically closed subfield generated byS.)In this paper, we give a general model theoretic setting in which we are able to give constructions which generalize many of the constructions of classical recursion theory. One of the main features of the modelswhich we study is that the algebraic closure of setis just itself, i.e., cl = S. Examples of such models include the natural numbers under equality 〈N, = 〉, the rational numbers under the usual ordering 〈Q, ≤〉, and a large class ofn-dimensional partial orderings. (shrink)

This article applies the Kantian doctrine of respect for persons to the problem of sweatshops. We argue that multinational enterprises are properly regarded as responsible for the practices of their subcontractors and suppliers. We then argue that multinationalenterprises have the following duties in their off-shore manufacturing facilities: to ensure that local labor laws are followed; to refrain from coercion; to meet minimum safety standards; and to provide a living wage for employees. Finally, we consider and reply to the objection (...) that improving health and safety conditions and providing a living wage will cause greater harm than good. (shrink)

This article applies the Kantian doctrine of respect for persons to the problem of sweatshops. We argue that multinational enterprises are properly regarded as responsible for the practices of their subcontractors and suppliers. We then argue that multinationalenterprises have the following duties in their off-shore manufacturing facilities: to ensure that local labor laws are followed; to refrain from coercion; to meet minimum safety standards; and to provide a living wage for employees. Finally, we consider and reply to the objection (...) that improving health and safety conditions and providing a living wage will cause greater harm than good. (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)

Suppose that Eleanor is drowsy. Truth's asymmetry is illustrated by the following fact: while we accept that is true because Eleanor is drowsy, we do not accept that Eleanor is drowsy because is true. This asymmetry requires an explanation, but it has been alleged, notably by David Liggins, that the minimalist about truth cannot provide one. This paper counteracts this pessimism by arguing that the minimalist can successfully explain the asymmetry conceptually, rather than metaphysically. It then goes (...) on to defend this account against objections, in the end concluding that explaining truth's asymmetry is no problem for the minimalist. (shrink)

Hirschfeldt and Shore have introduced a notion of stability for infinite posets. We define an arguably more natural notion called weak stability, and we study the existence of infinite computable or low chains or antichains, and of infinite $\Pi _1^0 $ chains and antichains, in infinite computable stable and weakly stable posets. For example, we extend a result of Hirschfeldt and Shore to show that every infinite computable weakly stable poset contains either an infinite low chain or an (...) infinite computable antichain. Our hardest result is that there is an infinite computable weakly stable poset with no infinite $\Pi _1^0 $ chains or antichains. On the other hand, it is easily seen that every infinite computable stable poset contains an infinite computable chain or an infinite $\Pi _1^0 $ antichain. In Reverse Mathematics, we show that SCAC, the principle that every infinite stable poset contains an infinite chain or antichain, is equivalent over RCA₀ to WSCAC, the corresponding principle for weakly stable posets. (shrink)

David Hume, Adam Smith, Jeremy Bentham and John Stuart Mill are often viewed as contributors to or participants in a common tradition of thought roughly characterized as ‘the liberal tradition’ or the tradition of ‘bourgeois ideology’. This view, however useful it may be for polemical or proselytizing purposes, is in some important respects historiographically unsound. This is not to deny the importance of asking what twentieth-century liberals or conservatives might find in the works of, say, David Hume to support their (...) respective ideological persuasions. It is only to insist that attempts to use selected arguments, or parts of arguments, from great eighteenth-century thinkers to shore up twentieth-century programmatic political positions must be categorically distinguished from attempts to understand what Hume, Smith, Bentham or Mill actually meant, or could imaginably have meant, to say. (shrink)

In [Countable thin [Formula: see text] classes, Ann. Pure Appl. Logic 59 79–139], Cenzer, Downey, Jockusch and Shore proved the density of degrees containing members of countable thin [Formula: see text] classes. In the same paper, Cenzer et al. also proved the existence of degrees containing no members of thin [Formula: see text] classes. We will prove in this paper that the c.e. degrees containing no members of thin [Formula: see text] classes are dense in the c.e. degrees. We (...) will also prove that the c.e. degrees containing members of thin [Formula: see text] classes are dense in the c.e. degrees, improving the result of Cenzer et al. mentioned above. Thus, we obtain a new natural subclass of c.e. degrees which are both dense and co-dense in the c.e. degrees, while the other such class is the class of branching c.e. degrees 113–130] for nonbranching degrees and [T. A. Slaman, The density of infima in the recursively enumerable degrees, Ann. Pure Appl. Logic 52 155–179] for branching degrees). (shrink)

Published in 1982, Carol Gilligan's _In a Different Voice_ proposed a new model of moral reasoning based on care, arguing that it better described the moral life of women. ____An Ethic of Care__ is the first volume to bring together key contributions to the extensive debate engaging Gilligan's work. It provides the highlights of the often impassioned discussion of the ethic of care, drawing on the literature of the wide range of disciplines that have entered into the debate. _Contributors:_ Annette (...) Baier, Diana Baumrind, Lawrence A. Blum, Mary Brabeck, John Broughton, Owen Flanagan, Marilyn Friedman, Carol Gilligan, Catherine G. Greeno, Catherine Jackson, Linda K. Kerber, Mary Jeanne Larrabee, Zella Luria, Eleanor E. Maccoby, Linda Nicholson, Bill Puka, Carol B. Stack, Joan C. Tronto, Lawrence Walker, Gertrud Nunner-Winkler. (shrink)

Published in 1982, Carol Gilligan's _In a Different Voice_ proposed a new model of moral reasoning based on care, arguing that it better described the moral life of women. ____An Ethic of Care__ is the first volume to bring together key contributions to the extensive debate engaging Gilligan's work. It provides the highlights of the often impassioned discussion of the ethic of care, drawing on the literature of the wide range of disciplines that have entered into the debate. _Contributors:_ Annette (...) Baier, Diana Baumrind, Lawrence A. Blum, Mary Brabeck, John Broughton, Owen Flanagan, Marilyn Friedman, Carol Gilligan, Catherine G. Greeno, Catherine Jackson, Linda K. Kerber, Mary Jeanne Larrabee, Zella Luria, Eleanor E. Maccoby, Linda Nicholson, Bill Puka, Carol B. Stack, Joan C. Tronto, Lawrence Walker, Gertrud Nunner-Winkler. (shrink)

At the intersection of meta-ethics and philosophy of science, Nicholas Sturgeon’s “Moral Explanation” ([1985] 1988), Richard Boyd’s “How to be a Moral Realist” (1988), and David Brink’s Moral Realism and the Foundations of Ethics (1989) inaugurated a sustained argument for the claim that moral kinds like right action and virtuous agent are scientifically investigable natural kinds. The corresponding position is called “non-reductive ethical naturalism,” or “NEN.” Ethical nonnaturalists, by contrast, argue that moral kinds are genuine and objective, but not natural. (...) This dissertation is largely a challenge to non-reductive ethical naturalism from the viewpoint of ethical nonnaturalism. An introduction, four fairly independent chapters, and a conclusion comprise this dissertation. The introduction (chapter one) situates and summarizes the arguments in the four chapters that immediately follow, and the concluding chapter (chapter six) describes future work related to the arguments in this dissertation. I now turn to chapters two through five. In chapter two, I shore up what I believe are weakness in Derek Parfit’s Triviality Objection to reductive ethical naturalism and then present a challenge to the NEN theorist, which, I argue, the NEN theorist must but ultimately cannot meet. The challenge is to sketch an empirical experiment whereby we can adjudicate between competing moral hypotheses. I explain in terms of experimental design and evaluation why the challenge cannot be met. Chapters three and four focus on the semantics and reference relations of kind terms. In chapter three, I defend the Causal Externalist (CE) theory of semantics and reference against an objection distilled from two articles by Åsa Marie Wikforss. The objection is that CE implies a paradox, escape from which forces the CE theorist upon the horns of a dilemma. I show how the CE theorist can avoid the dilemma by allowing that the intensions of some artificial-kind terms (e.g., ‘jade’) are not given by descriptions associated with the terms. One consequence of this move, however, is that it casts doubt upon the coherence of the claim that moral-kind terms (e.g., ‘morally required action’) are natural-kind terms. In chapter four, I defend Terence Horgan and Mark Timmons’s Moral-Twin Earth argument from three critical responses put forward in recent paper by David Merli. NEN theorists claim that CE can account for the semantics and reference of moral-kind terms. As per Horgan and Timmons (H&T), however, our responses to the Moral-Twin Earth thought experiment give us reason to doubt the NEN theorists’ claim. Against H&T’s argument, however, Merli presents three independent, critical responses, and in this chapter I defend H&T’s argument in a way that is friendly to the ethical nonnaturalist. One upshot is, I contend, that the ethical nonnaturalist can and indeed should co-opt H&T’s argument for his own use. In chapter five, I return to kinds themselves, specifically those in biology. I first point out that ethical nonnaturalism appeals to a metaphysical thesis about nonnatural value, which need not be limited to the moral domain. Then, I argue that biological naturalism alone cannot give a satisfying realist account of biological kinds like HEART and NEURON. Finally, I show that by conjoining the concept of Cummins functions as recently defended by Paul Davies, a thesis about nonnatural value, and Ned Block’s Disney Principle regarding structural properties, the nonnaturalist, unlike the naturalist, can offer a satisfying realist account of biological kinds. (shrink)

We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to extend several prominent results in recursion theory (e.g. the Shore-Slaman Join Theorem) to the setting of Polish spaces. As a by-product we give both positive and negative results (...) on the Martin Conjecture on the degree preserving Borel functions between Polish spaces. Additionally we prove results about the transfinite version as well as the computable version of the Decomposability Conjecture. (shrink)

The thesis of this article is that in Husserlian phenomenology there is no opposition between theory and praxis. On the contrary, he understands the former to serve the latter, so as to usher in a new world. The means for doing is the phenomenological reduction or epoché. It gives the phenomenologist access to the starting point, the “first things,” and orients his/her striving towards reason and the renewal of humanity. Careful attention to the significance of the epoché also sheds light (...) on Husserl’s understanding of the relationship of phenomenology not only to philosophy but also to the other sciences. Though an exposition of the “phenomenology of the philosophical vocation” which Husserl sketched in the 1920s, e.g., in his Kaizo articles and lectures on first philosophy, the author seeks to shore up his thesis. (shrink)

Schleiermacher's spirituality : an introduction -- Schleiermacher's life and works, with a special view to his spirituality -- Schleiermacher's writing as spiritual exercise -- Five themes in Schleiermacher's spirituality -- The celebration of Christmas : a dialogue -- The Second speech on religion : 'On the essence of religion' -- Sermons. Pentecost Sunday (May 1825), 1 Cor. 2: 10-12 : The spirit from God and the human spirit; Second Sunday of Advent (December 1832), Hebrews 4:15 : Christ is like us (...) in all things but sin -- Correspondence. To his father, Barby, January 21, 1787; To Henriette Herz, January 1, 1798; To G.A. Reimer, Gnadenfrei, April 30, 1802; To Eleanore Grunow, Stolp, December 10, 1802; To Henriette Herz, Stolp, Thursday, January 20, 1803; To F.H. Jacobi, Berlin, March 30, 1818. (shrink)

Prospective memory is required for many aspects of everyday cognition, its breakdown may be as debilitating as impairments in retrospective memory, and yet, the former has received relatively little attention by memory researchers. This article outlines a strategy for changing the fortunes of prospective memory, for guiding new research to shore up the claim that prospective memory is a distinct aspect of cognition, and to obtain evidence for clear performance dissociations between prospective memory and other memory functions. We begin (...) by identifying the unique requirements of prospective memory tasks and by dividing memory's prospective functions into subdomains that are analogous to divisions in retrospective memory (e.g., short- versus long-term memory). We focus on one prospective function, called prospective memory proper; we define this function in the spirit of James (1890) as requiring that we are aware of a plan, of which meanwhile we have not been thinking, with the additional consciousness that we made the plan earlier. We give an operational definition of prospective memory proper and specify how it differs from explicit and implicit retrospective memory and how it might be empirically assessed. (shrink)

Mike Shur’s Netflix-aired The Good Place has been a focus of philosophical attention by both popular-culture (written by pop-philosophers) and professional philosophers. This attention is merited. The Good Place is a philosophically rich TV show. The Good Place is based in three places: The Good Place, The Medium Place and The Bad Place. Every human being ends up in one of these places after they die based on their good points (points received for doing good actions e.g., chewing with your (...) mouth closed) and bad points (points received for doing bad actions e.g., virtue-signaling). Spoiler alert: by Season 4 of The Good Place (the fourth and final season), the main characters of the show – Eleanor, Chidi, Jason and Tahani – eventually reach the real Good Place (not the fake “Good Place” they had been tortured in by the human-formed, architect demon Michael in Season 1). However, when they reach the real Good Place after much struggle with ethical dilemmas, recognition of their moral flaws and moral development, they find themselves wanting to leave: they were unsatisfied with what The Good Place had to offer and wanted to be freed from it. This paper is concerned with the following questions: What accounts for their desire to be freed from The Good Place? What kind of freedom were they trying to achieve, and how did The Good Place represent it? Reflecting on these (and similar) questions, I argue that St. Thomas (who made it into The Good Place!) gives an ingenious and plausible answer: it was not merely that The Good Place was characterized by pure hedonism (a core deficit of The Good Place, identified by its creators), but more specifically that they had a positive desire for a freedom from temporal goods/experiences which do not satisfy the longings of the human heart and a freedom for the enjoyment of perfect freedom. While The Good Place ends in much perplexity, I argue that the freedom they desired was a rudimentary articulation of the freedom that St. Thomas identifies in heaven. (shrink)

There is a family of questions in relativized complexity theory--weak analogs of the Friedberg Jump-Inversion Theorem--that are resolved by 1-generic sets but which cannot be resolved by essentially any weaker notion of genericity. This paper defines aw2-generic sets. i.e., sets which meet every dense set of strings that is r.e. in some incomplete r.e. set. Aw2-generic sets are very close to 1-generic sets in strength, but are too weak to resolve these questions. In particular, it is shown that for any (...) set X there is an aw2-generic set G such that $\mathbf{NP}^G \cap co-\mathbf{NP}^G \nsubseteq \mathbf{P}^{G \oplus X}$ . (On the other hand, if G is 1-generic, then $\mathbf{NP}^G \cap co-\mathbf{NP}^G \subseteq \mathbf{P}^{G \oplus \mathrm{SAT}}$ . where SAT is the NP-complete satisfiability problem [6].) This result runs counter to the fact that most finite extension constructions in complexity theory can be made effective. These results imply that any finite extension construction that ensures any of the Friedberg analogs must be noneffective, even relative to an arbitrary incomplete r.e. set. It is then shown that the recursion theoretic properties of aw2-generic sets differ radically from those of 1-generic sets: every degree above O' contains an aw2-generic set: no aw2-generic set exists below any incomplete r.e. set; there is an aw2-generic set which is the join of two Turing equivalent aw2-generic sets. Finally, a result of Shore is presented [30] which states that every degree above 0' is the jump of an aw2-generic degree. (shrink)

quippe Byzantium fertili solo, fecundo mari, quia uis piscium in metapontum erumpens et obliquis subter undas saxis exterrita omisso alterius litoris flexu hos ad portus defertur.For Byzantium is favoured with fertile soil and teeming seas, since a multitude of fish, bursting out and spooked by rocks slanting beneath the water, leave off the curve of the opposite shore and are wafted to these harbours. That is the text of the second Medicean and all of its descendants. For centuries now (...) the unfitness of the words in metapontum has been obvious to editors. J. Lipsius conjectured innumera Pontum, G. Brotier innumera Ponto, N. Bach and G.A. Ruperti immensa Pontum. F. Ritter returned to the problem again and again, first proposing immensa Ponto, then immensum Ponto, i.e. ‘immensa multitudine’, and finally in meatu Ponti. Bach's and Ruperti's remedy is clearly the most efficient. Modern editors agree in printing uis piscium immensa Pontum erumpens, ‘an immense multitude of fish, bursting out of the Pontus'. Neat, but perhaps unnecessary. My object here is to defend the text of the manuscripts. (shrink)

Mereological theories are based on the binary relation “being a part of”. The systematic investigations of mereology were initiated by Leśniewski. More recent authors (including Simons, Casati and Varzi, Hovda) formulated a series of first‐order mereological axioms. These axioms give rise to a plenitude of theories, which are of great philosophical interest. The paper considers first‐order mereological theories from the point of view of computable (or effective) algebra. Following the approach of Hirschfeldt, Khoussainov, Shore, and Slinko, we isolate two (...) important computability‐theoretic properties P (namely, degree spectra of structures, and effective dimensions), and consider the following problem: for a given mereological theory T, is it true that its models can realize every possible variant of the property P? If the answer is positive, then we say that the theory T is ‐universal. We obtain the following results about known mereological theories. Any theory T which is weaker than Extensional Closure Mereology (CEM) is ‐universal. A similar fact is true for the theory GM2. On the other hand, any theory stronger that CEM + (C) + (G) is not ‐universal. In particular, General Extensional Mereology is not ‐universal. (shrink)

The paper explores the contact between the literary notion of the end of the world as depicted in H.G. Wells’s science fiction novel _The Time Machine_ and the concept of extinction, in the sense developed by the French naturalist Georges Cuvier, who at the turn of the 19 th century formulated a thesis about the structure of the world with a built-in end. The time traveller in Wells’s novel is driven into the distant future by an obsessive desire to know (...) the fate of the world. He encounters it on the shores of an already dead sea, where he is greeted by the image of a dying world, unmoving in the dull red light of a never-setting sun. Cuvier, on the other hand, encounters the end of the world as a reader of traces of history as told by nature through its layering and piling up. Within these layers, Cuvier recognises moments of repetitive interruptions that have left behind not only whole species and genera, but also entire worlds in the great natural history. The key question, then, is the status of the end within the proposed mechanism of return and repetition. (shrink)