We discuss the problem of finding forcing posets which introduce closed unbounded subsets to a given stationary set.

A method of iteration of Prikry type forcing notions as well as a forcing for adding clubs is presented. It is applied to construct a model with a measurable cardinal containing a club of former regulars, starting with o(κ) = κ + 1. On the other hand, it is shown that the strength of above is at least o(κ) = κ.

We study various aspects of the size, including the cardinality, of closed unbounded subsets of [λ]<κ, especially when λ = κ+n for n ε ω. The problem is resolved into the study of the size of certain stationary sets. Relative to the existence of an ω1-Erdös cardinal it is shown consistent that ωω3 < ωω13 and every closed unbounded subsetof [ω3]<ω2 has cardinality ωω13. A weakening of the ω1-Erdös property, ω1-remarkability, is defined and shown to (...) be retained under a large class of Easton-like forcings applied to ω1-Erdös cardinals. A class of reverse-Easton forcings preserving α-Erdösness is also described, with special attention to the establishment of □-principles. Article Outline. (shrink)

Forcing extensions yield models of ZFC in which a long sequence of club subsets of ω 1 has the following property: every subsequence of size ℵ 1 has a finite intersection.

We prove that every analytic set in ω ω × ω ω with σ-bounded sections has a not σ-bounded closed free set. We show that this result is sharp. There exists a closed set with bounded sections which has no dominating analytic free set, and there exists a closed set with non-dominating sections which does not have a not σ-bounded analytic free set. Under projective determinacy analytic can be replaced in the above results by projective.

It is shown in this paper that it is consistent (relative to almost huge cardinals) for various club guessing ideals to be saturated.

This paper studies unbounded pseudo-algebraically closed fields and shows an amalgamation result for types over algebraically closed sets. It discusses various applications, for instance that omega-free PAC fields have the property NSOP3. It also contains a description of imaginaries in PAC fields.

then essentially characterized the hypotheses that mechanical scientists can successfully decide in the limit in terms of arithmetic complexity. These ideas were developed still further by Peter Kugel [4]. In this paper, I extend this approach to obtain characterizations of identification in the limit, identification with bounded mind-changes, and identification in the short run, both for computers and for ideal agents with unbounded computational abilities. The characterization of identification with n mind-changes entails, as a corollary, an exact arithmetic characterization (...) of Putnam's n-trial predicates, which closes a gap of a factor of two in Putnam's original characterization [12]. (shrink)

The subtle, almost ineffable, and ineffable cardinals were introduced in an unpublished 1971 manuscript of R. Jensen and K. Kunen. The concepts were extended to that of k-subtle, k-almost ineffable, and k-ineffable cardinals in 1975 by J. Baumgartner. In this paper we give a self contained treatment of the basic facts about this level of the large cardinal hierarchy, which were established by J. Baumgartner. In particular, we give a proof that the k-subtle, k-almost ineffable, and k-ineffable cardinals define three (...) properly intertwined hierarchies with the same limit, lying strictly above “total indescribability” and strictly below “arrowing ω”. The innovation here is presented in Section 2, where we take a distinctly minimalist approach. Here the subtle cardinal hierarchy is characterized by very elementary properties that do not mention closed unbounded or stationary sets. This development culminates in a characterization of the hierarchy by means of a striking universal second-order property of linear orderings. (shrink)

Models of normal open induction are those normal discretely ordered rings whose nonnegative part satisfy Peano's axioms for open formulas in the language of ordered semirings. (Where normal means integrally closed in its fraction field.) In 1964 Shepherdson gave a recursive nonstandard model of open induction. His model is not normal and does not have any infinite prime elements. In this paper we present a recursive nonstandard model of normal open induction with an unbounded set of infinite prime (...) elements. (shrink)

The Repugnant Conclusion is closer to infinity-based arguments, such as Pascal’s Wager, than it at first appears. Both rely on an unbounded set of payoff comparisons. It is possible to restructure Pascal’s Wager to resemble the Repugnant Conclusion more closely, as the use of infinity is not central to the former. I then consider settings in which the set of comparisons is bounded, so as to differentiate Parfit’s problem from the more general issues involved with very large numbers. We (...) then find the Repugnant Conclusion no longer necessarily arises as a matter of logic rather is an empirical contingency. I then present some plausible intuitions under which the Repugnant Conclusion never arises. The paradoxical nature of Parfit’s Repugnant Conclusion is traced to the simultaneous application of two inconsistent outside observer constructs: one to judge the Repugnant Conclusion as repugnant, and another to define the utility scale for a marginally worthwhile life. Once the two constructs are made consistent, the Repugnant Conclusion can be defused. (shrink)

An outline is given of the proof that the consistency of a κ⁺-Mahlo cardinal implies that of the statement that I[ω₂] does not include any stationary subsets of Cof(ω₁). An additional discussion of the techniques of this proof includes their use to obtain a model with no ω₂-Aronszajn tree and to add an ω₂-Souslin tree with finite conditions.

It is shown that there is no satisfactory first-order characterization of those subsets of ω 2 that have closed unbounded subsets in ω 1 , ω 2 and GCH preserving outer models. These “anticharacterization” results generalize to subsets of successors of uncountable regular cardinals. Similar results are proved for trees of height and cardinality κ + and for partitions of [ κ + ] 2 , when κ is an infinite cardinal.

Working in ZF + DC with no additional use of the axiom of choice, we show how to iterate the extended ultrapower construction of Spector . This generalizes the technique of iterated ultrapowers to choiceless set theory. As an application, we prove the following theorem: Assume V = LU[κ] + “κ is λ-supercompact with normal ultrafilter U” + DC. Then for every sufficiently large regular cardinal ρ, there exists a set-generic extension V[G] of the universe in which there exists for (...) some σ a set S ρ for which one can define an elementary embedding j mapping V to LD[S], where D is the filter in V[G] generated by the closed unbounded filter on ρ. Moreover, we have j = ρ, j = σ, j) = S according to LD[S]), and j = D ∩ LD[S] i s a normal ultrafilter in LD[S] on ρ. (shrink)

It is proved that--consistently--there can be no ccc closed P-sets in the remainder space ω*.

If κ < λ are such that κ is a strong cardinal whose strongness is indestructible under κ -strategically closed forcing and λ is weakly compact, then we show thatA = {δ < κ | δ is a non-weakly compact Mahlo cardinal which reflects stationary sets}must be unbounded in κ. This phenomenon, however, need not occur in a universe with relatively few large cardinals. In particular, we show how to construct a model where no cardinal is supercompact (...) up to a Mahlo cardinal in which the least supercompact cardinal κ is also the least strongly compact cardinal, κ 's strongness is indestructible under κ -strategically closed forcing, κ 's supercompactness is indestructible under κ -directed closed forcing not adding any new subsets of κ, and δ is Mahlo and reflects stationary sets iff δ is weakly compact. In this model, no strong cardinal δ < κ is indestructible under δ -strategically closed forcing. It therefore follows that it is relatively consistent for the least strong cardinal κ whose strongness is indestructible under κ -strategically closed forcing to be the same as the least supercompact cardinal, which also has its supercompactness indestructible under κ -directed closed forcing not adding any new subsets of κ. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Anthony Close CENTERING THE DE-CENTERERS: FOUCAULT AND LAS MENINAS Over the last two decades, French avant-garde critical theory has shaken the pillars of the traditionalist temple with this thought: the interpreter of a literary text should not primarily be concerned with its author's intentional design, but rather with the surreptitious forces which shape it, warp it, and ultimately turn it into a problematic will-ofthe -wisp. The "decoding" of those (...) forces takes many forms (Freudian, anthropological, and so on), of which deconstruction is the most celebrated ; "de-centering"—the banishment of the intentional subject from the focus of interpretation — is common to all. In the first part of this article I wish to set out my philosophical objections to that exclusion, and in the second part, to examine an interesting failure to make it effective in practice: Foucault's analysis of Velazquez's painting Las Meninas, which constitutes the first chapter of Les mots et ks choses. One of my reasons for choosing Foucault's text as an example is that its premises are in some ways comparable to the philosophy of the archdeconstructor, Derrida. My skepticism about them and the analytic method based on them is not meant to suggest that I regard Foucault's historical studies as valueless. On the contrary, I recognize that he, together with some other decoders (particularly Barthes), has important things to say. My attack is a form of defense. I wish to uphold the value of traditional forms of interpretation by showing that though Foucault, like other decoders, casts radical doubts upon them in theory, he tends to negate those doubts by the implications of his practice. 21 22Philosophy and Literature M. H. Abrams has defined the traditionalist historian of culture as one who assumes that (a) authors of the past exploited the norms and possibilities of their language to say something determinate, (b) the properly equipped historian can approximate to their meaning, (c) his interpretation can aspire to a reasonable degree of objectivity. ' Let that serve as a working definition of my traditionalist standpoint. This has a philosophical rationale, basically Wittgensteinian and Austinian, which needs to be explained and set over against some of decoding's typical presuppositions. I choose Derrida's as an example. From my perspective, two objections can be leveled against his thought: its tendency to hypostatize the intentional subject as a metaphysical essence which must be reached through and beyond language, and to see language itself as an unrealistically slippery medium. Both objections were raised against him by Searle in their famous polemic with each other.2 Derrida's thought is inscribed within, even while it reacts against, a traditional conception of language as a name-like substitute for essence. According to this conception, influentially represented in this century by Husserl's phenomenology, bits of language somewhat resemble sterling currency bills which bear on their face the legend: "I promise to pay the bearer on demand the sum of? pound(s)" That is, they are potentially capable ofbeing cashed for lumps of being, which can thus be possessed by mind. Derrida counters that the currency is fraudulent: it continually defers presence and possession, rendering problematic its relation to being and self, and their very existence. In order to foster the illusion that he is master of his words, hence of what they designate, Western Man has historically given status of originality to voice rather than to writing, to a form of expression which is seemingly intimate to consciousness rather than external. The paradoxical thesis ofDe lagrammatologie is that writing came first. One of the routes by which Derrida arrives at this conclusion is Saussure's conception of the discontinuous, articulated nature of language and the negative and differential character of linguistic signifiers, not stably linked to universal referents.3 On this basis he builds his idea of différance (a pun on difference and deferral ), the elusive negative margin which makes language possible, and at the same time, makes impossible consciousness's full presence to itself and to being.4 Hence Derrida's notion of language's anarchic and willful power to detach itself from die intentions or usage of its users and to float... (shrink)

PARC is an "appended numeral" system of natural deduction that I learned as an undergraduate and have taught for many years. Despite its considerable pedagogical strengths, PARC appears to have never been published. The system features explicit "tracking" of premises and assumptions throughout a derivation, the collapsing of indirect proofs into conditional proofs, and a very simple set of quantificational rules without the long list of exceptions that bedevil students learning existential instantiation and universal generalization. The system can be used (...) with any Copi-style set of inference rules, so it is quite adaptable to many mainstream symbolic logic textbooks. Consequently, PARC may be especially attractive to logic teachers who find Jaskowski/Gentzen-style introduction/elimination rules to be far less "natural" than Copi-style rules. The PARC system is also keyboard-friendly in comparison to the widely adopted Jaskowski-style graphical subproof system of natural deduction, viz., Fitch diagrams and Copi "bent arrow" diagrams. (shrink)

Much of the commentary in the wake of the Charlie Gard litigation was aimed at apparent shortcomings of the law. These include concerns about the perceived inability of the law to consider resourcing issues, the vagueness of the best interests test and the delays and costs of having disputes about potentially life-sustaining medical treatment resolved by the courts. These concerns are perennial ones that arise in response to difficult cases. Despite their persistence, we argue that many of these criticisms are (...) unfounded. The first part of this paper sets out the basic legal framework that operates when parents seek potentially life-sustaining treatment that doctors believe is against a child’s best interests, and describes the criticisms of that framework. The second part of the paper suggests an alternative approach that would give decision-making power to parents, and remove doctors’ ability to unilaterally withhold or withdraw life-sustaining treatment that they regard is futile. This proposal is grounded in several values that we argue should guide these regulatory choices. We also contend that the best interests test is justifiable and since the courts show no sign of departing from it, the focus should be on how to better elucidate the underlying values driving decisions. We discuss the advantages of our proposed approach and how it would address some of the criticisms aimed at the law. Finally, we defend the current role that the judiciary plays, as an independent state-sanctioned process with a precedent-setting function. (shrink)

The bounded arithmetic theories R2i, S2i, and T2i are closely connected with complexity theory. This paper is motivated by the questions: what are the Σi+1b-definable multifunctions of R2i? and when is one theory conservative over another? To answer these questions we consider theories , and where induction is restricted to prenex formulas. We also define which has induction up to the 0 or 1-ary L2-terms in the set τ. We show and and for . We show that the -multifunctions of (...) are FPΣip and that those of are FPΣip. For -definability we get FPΣi+k+1p for all these theories. Write for the set of terms 2min,t) where ℓ is a finite product of terms in τ and tL2. We prove and we show - INDτ provided τO2. This gives a proof theoretic proof that S2iΔi+1b-LIND and -LLIND solving an open problem. For τO2, we define using weak replacement axioms and show . We show if or if or if where τ′ has an unbounded term then PH=B. We separate PΣip from PΣip for behaved ℓ and deduce theory separations. We lastly introduce a notion of a model separating two theories and derive some consequences. (shrink)

We systematically study the completion of choice problems in the Weihrauch lattice. Choice problems play a pivotal rôle in Weihrauch complexity. For one, they can be used as landmarks that characterize important equivalences classes in the Weihrauch lattice. On the other hand, choice problems also characterize several natural classes of computable problems, such as finite mind change computable problems, non-deterministically computable problems, Las Vegas computable problems and effectively Borel measurable functions. The closure operator of completion generates the concept of total (...) Weihrauch reducibility, which is a variant of Weihrauch reducibility with total realizers. Logically speaking, the completion of a problem is a version of the problem that is independent of its premise. Hence, studying the completion of choice problems allows us to study simultaneously choice problems in the total Weihrauch lattice, as well as the question which choice problems can be made independent of their premises in the usual Weihrauch lattice. The outcome shows that many important choice problems that are related to compact spaces are complete, whereas choice problems for unbounded spaces or closed sets of positive measure are typically not complete. (shrink)

We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q, {\langle L[P],\in,P \rangle }$ and ${\langle L[Q],\in,Q \rangle }$ possess the same reals, satisfy the Generalised Continuum Hypothesis, and moreover are elementarily equivalent. Examples of such P are Card, the class of uncountable cardinals, I the uniform indiscernibles, or for any n the class $C^{n}{=_{{\operatorname {df}}}}\{ (...) \lambda \, | \, V_{\lambda } \prec _{{\Sigma }_{n}}V\}$ ; moreover the theory of such models is invariant under ZFC-preserving extensions. They also all have a rich structure satisfying many of the usual combinatorial principles and a definable wellorder of the reals. The inner model constructed using definability in the language augmented by the Härtig quantifier is thus also characterized. (shrink)

We show that in a simple theory T in which the τf-topologies are closed under projections every type analyzable in a supersimple τf-open set has ordinal SU-rank. In particular, if in addition T is unidimensional, the existence of a supersimple unbounded τf-open set implies T is supersimple. We also introduce the notion of a standard τ-metric and show that for simple theories its completeness is equivalent to the compactness of the τ-topology.

Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determine the first order theory of the structure M expanded by the set C. We do this also over any given set of parameters from M, which yields a description of all subsets of Mn, definable in the expanded structure.

continent. 1.1 : 3-13. / 0/ – Introduction I want to propose, as a trajectory into the philosophically weird, an absurd theoretical claim and pursue it, or perhaps more accurately, construct it as I point to it, collecting the ground work behind me like the Perpetual Train from China Mieville's Iron Council which puts down track as it moves reclaiming it along the way. The strange trajectory is the following: Kant's critical philosophy and much of continental philosophy which has followed, (...) has been a defense against horror and madness. Kant's prohibition on speculative metaphysics such as dogmatic metaphysics and transcendental realism, on thinking beyond the imposition of transcendental and moral constraints, has been challenged by numerous figures proceeding him. One of the more interesting critiques of Kant comes from the mad black Deleuzianism of Nick Land stating, “Kant’s critical philosophy is the most elaborate fit of panic in the history of the Earth.” And while Alain Badiou would certainly be opposed to the libidinal investments of Land's Deleuzo-Guattarian thought, he is likewise critical of Kant's normative thought-bureaucracies: Kant is the one author for whom I cannot feel any kinship. Everything in him exasperates me, above all his legalism—always asking Quid Juris? Or ‘Haven’t you crossed the limit?’—combined, as in today’s United States, with a religiosity that is all the more dismal in that it is both omnipresent and vague. The critical machinery he set up has enduringly poisoned philosophy, while giving great succour to the academy, which loves nothing more than to rap the knuckles of the overambitious [….] That is how I understand the truth of Monique David-Menard’s reflections on the properly psychotic origins of Kantianism. I am persuaded that the whole of the critical enterprise is set up to to shield against the tempting symptom represented by the seer Swedenborg, or against ‘diseases of the head’, as Kant puts it. An entire nexus of the limits of reason and philosophy are set up here, namely that the critical philosophy not only defends thought from madness, philosophy from madness, and philosophy from itself, but that philosophy following the advent of the critical enterprise philosophy becomes auto-vampiric; feeding on itself to support the academy. Following Francois Laruelle's non-philosophical indictment of philosophy, we could go one step further and say that philosophy operates on the material of what is philosophizable and not the material of the external world. [1] Beyond this, the Kantian scheme of nestling human thinking between our limited empirical powers and transcendental guarantees of categorical coherence, forms of thinking which stretch beyond either appear illegitimate, thereby liquefying both pre-critical metaphysics and the ravings of the mad in the same critical acid. In rejecting the Kantian apparatus we are left with two entities – an unsure relation of thought to reality where thought is susceptible to internal and external breakdown and a reality with an uncertain sense of stability. These two strands will be pursued, against the sane-seal of post-Kantian philosophy by engaging the work of weird fiction authors H.P. Lovecraft and Thomas Ligotti. The absolute inhumanism of the formers universe will be used to describe a Shoggothic Materialism while the dream worlds of the latter will articulate the mad speculation of a Ventriloquil Idealism. But first we must address the relation of philosophy to madness as well as philosophy to weird fiction. /1/ – Philosophy and Madness There is nothing that the madness of men invents which is not either nature made manifest or nature restored. Michel Foucault. Madness and Civilization. The moment I doubt whether an event that I recall actually took place, I bring the suspicion of madness upon myself: unless I am uncertain as to whether it was not a mere dream. Arthur Schopenhauer. The World as Will and Idea, Vol. 3. Madness is commonly thought of as moving through several well known cultural-historical shifts from madness as a demonic or otherwise theological force, to rationalization, to medicalization psychiatric and otherwise. Foucault's Madness and Civilization is well known for orientating madness as a form of exclusionary social control which operated by demarcating madness from reason. Yet Foucault points to the possibility of madness as the necessity of nature at least prior to the crushing weight of the church. Kant’s philosophy as a response to madness is grounded by his humanizing of madness itself. As Adrian Johnston points out in the early pages of Time Driven pre-Kantian madness meant humans were seized by demonic or angelic forces whereas Kantian madness became one of being too human. Madness becomes internalized, the external demonic forces become flaws of the individual mind. Foucault argues that, while madness is de-demonized it is also dehumanized during the Renaissance, as madmen become creatures neither diabolic nor totally human reduced to the zero degree of humanity. It is immediately clear why for Kant, speculative metaphysics must be curbed – with the problem of internal madness and without the external safeguards of transcendental conditions, there is nothing to formally separate the speculative capacities for metaphysical diagnosis from the mad ramblings of the insane mind – both equally fall outside the realm of practicality and quotidian experience. David-Menard's work is particularly useful in diagnosing the relation of thought and madness in Kant's texts. David-Menard argues that in Kant's relatively unknown “An Essay on the Maladies of the Mind” as well as his later discussion of the Seer of Swedenborg, that Kant formulates madness primarily in terms of sensory upheaval or other hallucinatory theaters. She writes: “madness is an organization of thought. It is made possible by the ambiguity of the normal relation between the imaginary and the perceived, whether this pertains to the order of sensation or to the relations between our ideas” Kant's fascination with the Seer forces Kant between the pincers of “aesthetic reconciliation” – namely melancholic withdrawal – and “a philosophical invention” – namely the critical project. Deleuze and Guattari's schizoanalysis is a combination and reversal of Kant's split, where an aesthetic over engagement with the world entails prolific conceptual invention. Their embrace of madness, however, is of course itself conceptual despite all their rhizomatic maneuvers. Though they move with the energy of madness, Deleuze and Guattari save the capacity of thought from the fangs of insanity by imbuing materiality itself with the capacity for thought. Or, as Ray Brassier puts it, “Deleuze insists, it is necessary to absolutize the immanence of this world in such a way as to dissolve the transcendent disjunction between things as we know them and as they are in themselves”. That is, whereas Kant relied on the faculty of judgment to divide representation from objectivity Deleuze attempts to flatten the whole economy beneath the juggernaut of ontological univocity. Speculation, as a particularly useful form of madness, might fall close to Deleuze and Guattari’s shaping of philosophy into a concept producing machine but is different in that it is potentially self destructive – less reliant on the stability of its own concepts and more adherent to exposing a particular horrifying swath of reality. Speculative madness is always a potential disaster in that it acknowledges little more than its own speculative power with the hope that the gibbering of at least a handful of hysterical brains will be useful. Pre-critical metaphysics amounts to madness, though this may be because the world itself is mad while new attempts at speculative metaphysics, at post-Kantian pre-critical metaphysics, are well aware of our own madness. Without the sobriety of the principle of sufficient reason we have a world of neon madness: “we would have to conceive what our life would be if all the movements of the earth, all the noises of the earth, all the smells, the tastes, all the light – of the earth and elsewhere, came to us in a moment, in an instant – like an atrocious screaming tumult of things”. Speculative thought may be participatory in the screaming tumult of the world or, worse yet, may produce its spectral double. Against theology or reason or simply commonsense, the speculative becomes heretical. Speculation, as the cognitive extension of the horrorific sublime should be met with melancholic detachment. Whereas Kant's theoretical invention, or productivity of thought, is self -sabotaging, since the advent of the critical project is a productivity of thought which then delimits the engine of thought at large either in dogmatic gestures or non-systematizable empirical wondrousness. The former is celebrated by the fiction of Thomas Ligotti whereas the latter is espoused by the tales of H.P. Lovecraft. /2/ – Weird Fiction and Philosophy. Supernatural horror, in all its eerie constructions, enables a reader to taste treats inconsistent with his personal welfare. Thomas Ligotti Songs of a Dead Dreamer. I choose weird stories because they suit my inclination best—one of my strongest and most persistent wishes being to achieve,momentarily, the illusion of some strange suspension or violation of the galling limitations of time, space, and natural law which forever imprison us and frustrate our curiosity about the infinite cosmic spaces beyond the radius of our sight and analysis H.P. Lovecraft. “Notes on Writing Weird Fiction” Lovecraft states that his creation of a story is to suspend natural law yet, at the same time, he indexes the tenuousness of such laws, suggesting the vast possibilities of the cosmic. The tension that Lovecraft sets up between his own fictions and the universe or nature is reproduced within his fictions in the common theme of the unreliable narrator; unreliable precisely because they are either mad or what they have witnessed questions the bounds of material reality. In “The Call of Cthulhu” Lovecraft writes: The most merciful thing in the world, I think, is the inability of the human mind to correlate all its contents. We live on a placid island of ignorance in the midst of black seas of infinity, and it was not meant that we should voyage far. The sciences, each straining in its own direction, have hitherto harmed us little; but some day the piecing together of dissociated knowledge will open up such terrifying vistas of reality, and of our frightful position therein, that we shall either go mad from the revelation or flee from the deadly light into the peace and safety of a new dark age. Despite Lovecraft's invocations of illusion, he is not claiming that his fantastic creations such as the Old Ones are supernatural but, following Joshi, are only ever supernormal. One can immediately see that instead of nullifying realism Lovecraft in fact opens up the real to an unbearable degree. In various letters and non-fictional statements Lovecraft espoused strictly materialist tenets, ones which he borrowed from Hugh Elliot namely the uniformity of law, the denial of teleology and the denial of non-material existence. Lovecraft seeks to explore the possibilities of such a universe by piling horror upon horror until the fragile brain which attempts to grasp it fractures. This may be why philosophy has largely ignored weird fiction – while Deleuze and Guattari mark the turn towards weird fiction and Lovecraft in particular, with the precursors to speculative realism as well as contemporary related thinkers have begun to view Lovecraft as making philosophical contributions. Lovecraft's own relation to philosophy is largely critical while celebrating Nietzsche and Schopenhauer. This relationship of Lovecraft to philosophy and philosophy to Lovecraft is coupled with Lovecraft's habit of mercilessly destroying the philosopher and the figure of the academic more generally in his work, a destruction which is both an epistemological destruction and an ontological destruction. Thomas Ligotti's weird fiction which he has designated as a kind of “confrontational escapism” might be best described in the following quote from one of his shortstories, “The human phenomenon is but the sum of densely coiled layers of illusion each of which winds itself on the supreme insanity. That there are persons of any kind when all there can be is mindless mirrors laughing and screaming as they parade about in an endless dream”. Whereas Lovecraft's weirdness draws predominantly from the abyssal depths of the uncharted universe, Ligotti's existential horror focuses on the awful proliferation of meaningless surfaces that is, the banal and every day function of representation. In an interview, Ligotti states: We don't even know what the world is like except through our sense organs, which are provably inadequate. It's no less the case with our brains. Our whole lives are motored along by forces we cannot know and perceptions that are faulty. We sometimes hear people say that they're not feeling themselves. Well, who or what do they feel like then? This is not to say that Ligotti sees nothing beneath the surface but that there is only darkness or blackness behind it, whether that surface is on the cosmological level or the personal. By addressing the implicit and explicit philosophical issues in Ligotti's work we will see that his nightmarish take on reality is a form of malevolent idealism, an idealism which is grounded in a real, albeit dark and obscure materiality. If Ligotti's horrors ultimately circle around mad perceptions which degrade the subject, it takes aim at the vast majority of the focus of continental philosophy. While Lovecraft's acidic materialism clearly assaults any romantic concept of being from the outside, Ligotti attacks consciousness from the inside: Just a little doubt slipped into the mind, a little trickle of suspicion in the bloodstream, and all those eyes of ours, one by one, open up to the world and see its horror [...] Not even the solar brilliance of a summer day will harbor you from horror. For horror eats the light and digests it into darkness. Clearly, the weird fiction of Lovecraft and Ligotti amount to a anti-anthrocentric onslaught against the ramparts of correlationist continental philosophy. /3/ – Shoggothic Materialism or the Formless Formless protoplasm able to mock and reflect all forms and organs and processes—viscous agglutinations of bubbling cells—rubbery fifteen-foot spheroids infinitely plastic and ductile—slaves of suggestion, builders of cities—more and more sullen, more and more intelligent, more and more amphibious, more and more imitative—Great God! What madness made even those blasphemous Old Ones willing to use and to carve such things? H.P. Lovecraft. “At the Mountains of Madness” On the other hand, affirming that the universe resembles nothing and is only formless amounts to saying that the universe is something like a spider or spit. Georges Bataille. “Formless”. The Shoggoths feature most prominently in H.P. Lovecraft's shortstory “At the Mountains of Madness” where they are described in the following manner: It was a terrible, indescribable thing vaster than any subway train – a shapeless congeries of protoplasmic bubbles, faintly self -luminous, and with myriads of temporary eyes forming and un-forming as pustules of greenish light all over the tunnel-filling front that bore down upon us, crushing the frantic penguins and slithering over the glistening floor that it and its kind had swept so evilly free of all litter. The term is a litmus test for materialism itself as the Shoggoth is an amorphous creature. The Shoggoths were living digging machines bio engineered by the Elder Things, and their protoplasmic bodies being formed into various tools by their hypnotic powers. The Shoggoths eventually became self aware and rose up against their masters in an ultimately failed rebellion. After the Elder Ones retreated into the oceans leaving the Shoggoths to roam the frozen wastes of the Antarctic. The onto-genesis of the Shoggoths and their gross materiality, index the horrifyingly deep time of the earth a concept near and dear to Lovecraft's formulation of horror as well as the fear of intelligences far beyond, and far before, the ascent of humankind on earth and elsewhere. The sickly amorphous nature of the Shoggoths invade materialism at large, where while materiality is unmistakably real ie not discursive, psychological, or otherwise overly subjectivist, it questions the relation of materialism to life. As Eugene Thacker writes: The Shoggoths or Elder Things do not even share the same reality with the human beings who encounter them—and yet this encounter takes place, though in a strange no-place that is neither quite that of the phenomenal world of the human subject or the noumenal world of an external reality. Amorphous yet definitively material beings are a constant in Lovecraft's tales. In his tale “The Dream-Quest of Unknown Kadatth” Lovecraft describes Azathoth as, “that shocking final peril which gibbers unmentionably outside the ordered universe,” that, “last amorphous blight of nethermost confusion which blashphemes and bubbles at the centre of all infinity,” who, “gnaws hungrily in inconceivable, unlighted chambers beyond time”. Azathoth's name may have multiple origins but the most striking is the alchemy term azoth which is both a cohesive agent and a acidic creation pointing back to the generative and the decayed. The indistinction of generation and degradation materially mirrors the blur between the natural and the unnatural as well as life and non-life. Lovecraft speaks of the tension between the natural and the unnatural is his short story “The Unnameable.” He writes, “if the psychic emanations of human creatures be grotesque distortions, what coherent representation could express or portray so gibbous and infamous a nebulousity as the spectre of a malign, chaotic perversion, itself a morbid blasphemy against Nature?”. Lovecraft explores exactly the tension outlined at the beginning of this chapter, between life and thought. At the end of his short tale Lovecraft compounds the problem as the unnameable is described as “a gelatin—a slime—yet it had shapes, a thousand shapes of horror beyond all memory”. Deleuze suggests that becoming-animal is operative throughout Lovecraft's work, where narrators feel themselves reeling at their becoming non-human or of being the anomalous or of becoming atomized. Following Eugene Thacker however, it may be far more accurate to say that Lovecraft's tales exhibit not a becoming-animal but a becoming-creature. Where the monstrous breaks the purportedly fixed laws of nature, the creature is far more ontologically ambiguous. The nameless thing is an altogether different horizon for thought. The creature is either less than animal or more than animal – its becoming is too strange for animal categories and indexes the slow march of thought towards the bizarre. This strangeness is, as aways, some indefinite swirling in the category of immanence and becoming. Bataille begins “The Labyrinth” with the assertion that being, to continue to be, is becoming. More becoming means more being hence the assertion that Bataille's barking dog is more than the sponge. This would mean that the Shoggotth is altogether too much being, too much material in the materialism. Bataille suggests that there is an immanence between the eater and the eaten, across the species and never within them. That is, despite the chaotic storm of immanence there must remain some capacity to distinguish the gradients of becoming without reliance upon, or at least total dependence upon, the powers of intellection to parse the universe into recognizable bits, properly digestible factoids. That is, if we undo Deleuze's aforementioned valorization of sense which, for his variation of materialism, performed the work of the transcendental, but refuse to reinstate Kant's transcendental disjunction between thing and appearance, then it must be a quality of becoming-as-being itself which can account for the discernible nature of things by sense. In an interview with Peter Gratton, Jane Bennett formulates the problem thusly: What is this strange systematicity proper to a world of Becoming? What, for example, initiates this congealing that will undo itself? Is it possible to identify phases within this formativity, plateaus of differentiation? If so, do the phases/plateaus follow a temporal sequence? Or, does the process of formation inside Becoming require us to theorize a non-chronological kind of time? I think that your student’s question: “How can we account for something like iterable structures in an assemblage theory?” is exactly the right question. Philosophy has erred too far on the side of the subject in the subject-object relation and has furthermore, lost the very weirdness of the non-human. Beyond this, the madness of thought need not override. /4/ - Ventriloquial Idealism or the Externality of Thought My aim is the opposite of Lovecraft's. He had an appreciation for natural scenery on earth and wanted to reach beyond the visible in the universe. I have no appreciation for natural scenery and want the objective universe to be a reflection of a character. Thomas Ligotti. “Devotees of Decay and Desolation.” Unless life is a dream, nothing makes sense. For as a reality, it is a rank failure [….] Horror is more real than we are. Thomas Ligotti. “Professor Nobody's Little Lectures on Supernatural Horror”. Thomas Ligotti's tales are rife with mannequins, puppets, and other brainless entities which of replace the valorized subject of philosophy – that of the free thinking human being. His tales such as “The Dream of the Manikin” aim to destroy the rootedness of consciousness. James Trafford has connected the anti-egoism of Ligotti to Thomas Metzinger – where the self is at best an illusion and we plead desperately for someone else to acknowledge that we are real. Trafford has stated it thus, “Life is played out as an inescapable puppet show, an endless dream in which the puppets are generally unaware that they are trapped within a mesmeric dance of whose mechanisms they know nothing and over which they have no control”. An absolute materialism, for Ligotti, implies an alienation of the idea which leads to a ventriloquil idealism. As Ligotti notes in an interview, “the fiasco and nightmare of existence, the particular fiasco and nightmare of human existence, the sense that people are puppets of powers they cannot comprehend, etc.” And then further elaborates that,“[a]ssuming that anything has to exist, my perfect world would be one in which everyone has experienced the annulment of his or her ego. That is, our consciousness of ourselves as unique individuals would entirely disappear”. The externality of the idea leads to the unfortunate consequence of consciousness eating at itself through horror which, for Ligotti, is more real than reality and goes beyond horror-as-affect. Beyond this, taking together with the unreality of life and the ventriloquizing of subjectivity, Ligotti's thought becomes an idealism in which thought itself is alien and ultimately horrifying. The role of human thought and the relation of non-relation of horror to thought is not completely clear in Ligotti's The Conspiracy Against the Human Race. Ligotti argues in his The Conspiracy Against the Human Race,that the advent of thought is a mistake of nature and that horror is being in the sense that horror results from knowing too much. Yet, at the same time, Ligotti seems to suggest that thought separates us from nature whereas, for Lovecraft, thought is far less privileged – mind is just another manifestation of the vital principal, it is just another materialization of energy. In his brilliant “Prospects for Post-Copernican Dogmatism” Iain Grant rallies against the negative definition of dogmatism and the transcendental, and suggests that negatively defining both over-focuses on conditions of access and subjectivism at the expense of the real or nature. With Schelling, who is Grant's champion against the subjectivist bastions of both Fichte and Kant, Ligotti's idealism could be taken as a transcendental realism following from an ontological realism. Yet the transcendental status of Ligotti's thought move towards a treatment of the transcendental which may threaten to leave beyond its realist ground. Ligotti states: Belief in the supernatural is only superstition. That said, a sense of the supernatural, as Conrad evidenced in Heart of Darkness, must be admitted if one's inclination is to go to the limits of horror. It is the sense of what should not be- the sense of being ravaged by the impossible. Phenomenally speaking, the super-natural may be regarded as the metaphysical counterpart of insanity, a transcendental correlative of a mind that has been driven mad. Again, Ligotti equates madness with thought, qualifying both as supernatural while remaining less emphatic about the metaphysical dimensions of horror. The question becomes one of how exactly the hallucinatory realm of the ideal relates to the black churning matter of Lovecraft's chaos of elementary particles. In his tale “I Have a Special Plan for This World” Ligotti formulates thus: A: There is no grand scheme of things. B: If there were a grand scheme of things, the fact – the fact – that we are not equipped to perceive it, either by natural or supernatural means, is a nightmarish obscenity. C: The very notion of a grand scheme of things is a nightmarish obscenity. Here Ligotti is not discounting metaphysics but implying that if it does exist the fact that we are phenomenologically ill-equipped to perceive that it is nightmarish. For Ligotti, nightmare and horror occur within the circuit of consciousness whereas for Lovecraft the relation between reality and mind is less productive on the side of mind. It is easier to ascertain how the Kantian philosophy is a defense against the diseases of the head as Kant armors his critical enterprise from too much of the world and too much of the mind. The weird fiction of both Lovecraft and Ligotti demonstrates that there is too much of both feeding into one another in a way that corrodes the Kantian schema throughly, breaking it down into a dead but still ontologically potentiated nigredo. The haunting, terrifying fact of Ligotti's idealism is that the transcendental motion which brought thought to matter, while throughly material and naturalized, brings with it the horror that thought cannot be undone without ending the material that bears it either locally or completely. Thought comes from an elsewhere and an elsewhen being-in-thought. The unthinkable outside thought is as maddening as the unthought engine of thought itself within thought which doesn't exist except for the mind, the rotting décor of the brain. /5/ - Hyperstitional Transcendental Paranoia or Self -Expelled Thought Weird fiction has been given some direct treatment in philosophy in the mad black Deleuzianism of Nick Land. Nick Land along with others in the 1990s created the Cyber Culture Research Unit as well as the research group Hyperstition. The now defunct hyperstitional website, an outgrowth of the Cyber Culture Research Unit, defined hyperstition in the following fourfold: 1-Element of effective culture that makes itself real. 2-Fictional quantity functional as a time-traveling device. 3-Coincidence intensifier. 4-Call to the Old Ones. The distinctively Lovecraftian character of hyperstition is hard to miss as is its Deleuzo-Guattarian roots. In the opening pages of A Thousand Plateaus Deleuze and Guattari write, “We have been criticized for over-quoting literary authors. But when one writes, the only question is which other machine the literary machine can be plugged into”. The indisinction of literature and philosophy mirrors the mess of being and knowing as post-correlationist philosophy, where philosophy tries to make itself real where literature, especially the weird, aims itself at the brain-circuit of horror. The texts of both Lovecraft and Ligotti work through horror as epistemological plasticity meeting with proximity as well as the deep time of Lovecraft and the glacially slow time of paranoia in Ligotti. Against Deleuze, and following Brassier, we cannot allow the time of consciousness, the Bergsonian time of the duree, to override natural time, but instead acknowledge that it is an unfortunate fact of existence as a thinking being. Horror-time, the time of consciousness, with all its punctuated moments and drawn out terrors, cannot compare to the deep time of non-existence both in the unreachable past and the unknown future. The crystalline cogs of Kant's account of experience as the leading light for the possibility of metaphysics must be throughly obliterated. His gloss of experience in Prolegomena to any Future Metaphysics could not be more sterile: Experience consists of intuitions, which belong to the sensibility, and of judgments, which are entirely a work of the understanding. But the judgments which the understanding makes entirely out of sensuous intuitions are far from being judgments of experience. For in the one case the judgment connects only the perceptions as they are given in sensuous intuition [....] Experience consists in the synthetic connection of appearances in consciousness, so far as this connection is necessary. Here it is difficult to dismiss the queasiness that Kant's legalism induces upon sight for both Badiou and David-Menard. Kant's thought becomes, as Foucault says when reflecting on Sade's text in relation to nature, “the savage abolition of itself”. For Badiou, Kant's philosophy simply closes off too much of the outside, freezing the world of thought in an all too limited formalism. Critical philosophy is simply the systematized quarantine on future thinking, on thinking which would threaten the formalism which artificially grants thought its own coherency in the face of madness. Even the becoming-mad of Deleuze, while escaping the rumbling ground, makes grounds for itself, mad grounds but grounds which are thinkable in their affect. The field of effects allows for Deleuze's aesthetic and radical empiricism, in which effects and/or occasions make up the material of the world to be thought as a chaosmosis of simulacra. Given a critique of an empiricism of aesthetics, of the image, it may be difficult to justify an attack on Kantian formalism with the madness of literature, which does not aim to make itself real but which we may attempt to make real. That is, how do Lovecraft's and Ligotti's materials, as materials for philosophy to work on, differ from either the operative formalisms of Kant or the implicitly formalized images of Deleuzian empiricism? It is simply that such texts do not aim to make themselves real, and make claims to the real which are more alien to us than familiar, which is why their horror is immediately more trustworthy. This is the madness which Blanchot discusses in The Infinite Conversation through Cervantes and his knight – the madness of book-life, of the perverse unity of literature and life a discussion which culminates in the discussion of one of the weird's masters, that of Kafka. The text is the knowing of madness, since madness, in its moment of becoming-more-mad, cannot be frozen in place but by the solidifications of externalizing production. This is why Foucault ends his famous study with works of art. Furthermore extilligence, the ability to export the products of our maligned brains, is the companion of the attempts to export, or discover the possibility of intelligences outside of our heads, in order for philosophy to survive the solar catastrophe. To borrow again from Deleuze, writing is inseparable from becoming. The mistake is to believe that madness is reabsorbed by extilligence, by great works, or that it could be exorcised by the expelling of thought into the inorganic or differently organic. Going out of our heads does not guarantee we will no longer mean we cannot still go out of our minds. This is simply because of the outside, of matter, or force, or energy, or thing-in-itself, or Schopenhauerian Will. In Lovecraft’s “The Music of Erich Zahn” an “impoverished student of metaphysics” becomes intrigued by strange viol music coming from above his room. After meeting the musician the student discovers that each night he plays frantic music at a window in order to keep some horridness at bay, some “impenetrable darkness with chaos and pandemonium”. The aesthetic defenses provided by the well trained brain can bear the hex of matter for so long, the specter of unalterability within it which too many minds obliterate, collapsing everything before the thought of thought as thinkable or at least noetically mutable on our own terms. Transcendental paranoia is the concurrent nightmare and promise of Paul Humphrey's work, of being literally out of our minds. It is the gothic counterpart of thinking non-conceptually but also of thinking never belonging to any instance of purportedly solid being. As Bataille stated, “At the boundary of that which escapes cohesion, he who reflects within cohesion realizes there is no longer any room for him” Thought is immaterial only to the degree that it is inhuman, it is a power that tries, always with failure, to ascertain its own genesis. Philosophy, if it can truly return to the great outdoors, if it can leave behind the dead loop of the human skull, must recognize not only the non-priority of human thought, but that thought never belongs to the brain that thinks it, thought comes from somewhere else. To return to the train image from the beginning “a locomotive rolling on the surface of the earth is the image of continuous metamorphosis” this is the problem of thought, and of thinking thought, of being no longer able to isolate thought, with only a thought-formed structure. [1] One of the central tenets of Francois Laruelle's non-philosophy is that philosophy has traditionally operated on material already presupposed as thinkable instead of trying to think the real in itself. Philosophy, according to Laruelle, remains fixated on transcendental synthesis which shatters immanence into an empirical datum and an a prori factum which are then fused by a third thing such as the ego. For a critical account of Laruelle's non-philosophy see Ray Brassier's Nihil Unbound. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Editor’s Introduction: The State of Movement—or, Unassuming TheoryErik DoxtaderMotion [kinēsin], then, is both the same and not the same; we must admit that without boggling at it.—Xenos (the stranger), Plato’s SophistThe only answer is that we trace a path.—Walter Benjamin, “The Metaphysics of Youth”Are we there yet? Are we there yet? Are we there yet?—Lisa and Bart (from the backseat)The state of movement is a question—of movement, in theory.What (...) is movement, a movement, perhaps not least as the condition of arrival, an “original” beginning? Where does it come from? How does it work, in better and worse ways? To what does it lead—and why? If these standing questions remain open, there is also a chance that they are not questions at all, that they remain in some basic way beyond inquiry, precisely as they beg the question, as Giorgio Agamben has contended, of how “movement” remains “our unthought,” of the way in which “movement” presents us with the puzzle of an unconceived concept, the tension of a word whose work demands forgetting the “defeats and failures” of its use in the name and at the edges of democracy, and getting around the aporia of its necessary power without end (2005, 1). Perhaps we can only boggle—and perhaps we should. To inquire into the “state of movement” may be less a struggle for answers than the condition of question-ability itself, a movement of movement that appears in theory.Inspiring gesture. Endless stasis. Myriad advances. Countless retreats. Emerging hopes. Multiplying panics. Forced dislocation. Involuntary relocation. Indefinite incarceration. Sovereign and disciplinary borders crossed, closed, and blurred. Speech acts—in action. Moving words—gone [End Page 54] sideways. Gathering judgments. Calling out and compounding injustice. Cancelling the show. Incursions, attacks, invasions. History’s (always) incoming storm. Recalling, extending, and setting aside law’s precedent. Blown away, in a gust and a measure of time. Rising sea levels, receding forests, spiraling temperatures. Rustling aspen trees at altitude. Getting back on the bike. Staying put for the planet. Finding, instilling, and following desire. Unbounded discovery. Undue appropriation. Undoing what’s been done. Bodies at work, play, and ecstasy—and in decay, duress, and internment. Swept off the streets—and the quad. Vectors of transmission and expression. Breaking quarantine—and cliché. Soft landings and winding supply chains. Streaming words. Tropes turning into (intelligent) algorithms—and back again. Bullets flying... in homes, hospitals, classrooms. Struck by the light of a nebula and a sky full of kinetic kill vehicles. Populist uprising—progressive overreach. Equal and opposite reactions. Runway culture. Throwaway sociality. Publicity’s collapse. Privatization’s disclosure. Hopes for stillness and repose. Travel bans... for life. Packing the U-Haul for a better life. Generations letting go—and digging in. Rounds of chants. Days of marches. Cycles of emergency. Revolutionary aspirations in the avenues. Circling the leader, demanding commands. Running resistance. Caught out. Making way—and away.Asking after the state of movement may be less about the pause of cataloguing than the open that appears with being still, making a way of moving without movement, for a moment—to reflect on our understanding of the modes, manners, grammars, and vocabularies of movement and to speculate on the experience and so, in some basic sense, the assumption of movement, the line between those movements that remain in the background, out of view and taken for granted, often in the name of being able to simply get on with things, and those that provoke, invite, and disturb inquiry. If, for instance, the sort of movement named a “journey” is a long-standing and basic feature of the human condition (one can think variously, of better and much worse instantiations, from the Odyssey to the bloody quests for “salvation” that might have but mostly didn’t hinge on the air speed velocity of an unladen swallow to the Trail of Tears and Middle Passage to the moon shots), what’s happening in an American culture currently besotted with the idea of “being on a journey”—of discovery, fitness, creativity, acceptance, recovery, parenthood, leadership, home ownership, and so on and so forth. One wonders... (shrink)

We generalize the notions of strongly dominating and strongly unbounded subset of the Baire space. We compare the corresponding ideals and tree ideals, in particular we present a condition which implies that some of those ideals are distinct. We also introduce DUI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm{DU}_\mathcal{I}}$$\end{document}-property, where I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I}}$$\end{document} is an ideal on cardinal κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, to capture these (...) two generalized notions at once. We use two player game defined in a Kechris’s paper to show that every λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document}-Suslin set with DUI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm{DU}_\mathcal{I}}$$\end{document}-property contains a perfect subset with DUI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm{DU}_\mathcal{I}}$$\end{document}-property, provided that λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document} is sufficiently small. (shrink)

Writing, the exigency of writing: no longer the writing that has always (through a necessity in no way avoidable) been in the service of the speech or thought that is called idealist (that is to say, moralizing), but rather the writing that through its own slowly liberated force (the aleatory force of absence) seems to devote itself solely to itself as something that remains without identity, and little by little brings forth possibilities that are entirely other: an anonymous, distracted, deferred, (...) and dispersed way of being in relation, by which everything is brought into question – and first of all the idea of God, of the Self, of the Subject, then of Truth and the One, then finally the idea of the Book and the Work so that this writing (understood in its enigmatic rigor), far from having the Book as its goal rather signals its end: a writing that could be said to be outside discourse, outside language. – Maurice Blanchot ( The Infinite Conversation , xi) The Compendium * Beginning with the idea and practice of writing, and moving to the subject or self, then to truth and the One, and arriving at the Book and the Work, Blanchot’s words reflect the trajectory of the following work of writing. True to the embeddedness of the subject in the work of writing, the term “Compendium” has been a metonym for me over the past few years as I have thought about the concept of totality alongside its expression in figures such as the One, the Whole, or the All. In the following I aim to share some of the content of this metonym, and to enrich it by making some distinctions. 1 Here the term “Compendium” will refer to a concept of totality that is ontological (pertaining to being, and the copula) and also textual (pertaining to the symbolic, and the signifier-signified relationship). The Compendium is a figure for thinking the world as a Book, in the broadest sense—an approach to reality that is by no means new, but one that is due for renewal. 2 In partial answer to the question of the Compendium we will say that the word ‘Compendium’ stands in for expressions which seek to totalize, or concepts which seek to approach the concept of ‘everything,’ particularly when these expressions are bound up in the question of the Book (both the book as a physical object and the Book as a metaphysical figure: a way of thinking about the work in and of writing). The question of the Compendium is strongly associated with the physical and metaphysical form of the Book, like the mysterious and symbolic books which are opened in the Biblical book of Revelation, the book of life and the book of death, which together constitute an important couplet. 3 Parataxis & Hypotaxis There are two helpful distinctions that will bring us closer to an answer to the question “What is a Compendium?” The first distinction is between two figures in and for writing: parataxis and hypotaxis . Typically paired in contrast to one another as literary techniques, with parataxis indicating a side-by-side placement of textual elements and hypotaxis referring to subordinate arrangements of textual elements, the two figures can be understood as having a philosophical significance in addition to their practical function as devices for writers. For us these two terms will remain between philosophical theory and writing practice, and serve as a perspective for our writing and creation of texts. Here I take texts to refer to anything from the concrete written words in a book, to the ontological text of the world that we experience. Parataxis , as a figural way of thinking about the ontological structure of texts, refers to texts which are tightly woven and interdependent – texts within which each sentence bears the weight of the entire work. Parataxis often involves repetition, great density, and fragility. One of the best examples of this sort of text is Theodor Adorno’s posthumous magnum opus , Aesthetic Theory . In addition to the text itself, the translation history of the book may also help us to better understand parataxis and its relation to hypotaxis . The final published version of Aesthetic Theory , in German, was a text that Adorno intended to revise and rewrite, but this intention was never realized because of his untimely death. Where the German text of Aesthetic Theory certainly exemplifies the concept of parataxis , the first English edition took this densely woven text and carved Adorno’s lengthy paragraphs and lengthy sentences into manageable ‘bite-sized’ pieces of English text. The first translator took further liberty and inserted headings and new paragraph breaks where there were none in the original. Aesthetic Theory was eventually retranslated by Robert Hullot-Kentor and is now available in a form that is much more faithful to the original work. 4 The pertinent idea that this translation history points to is the distinction between parataxis and hypotaxis . Where parataxis describes texts which are repetitive, densely woven, and often fragile, hypotaxis describes texts which are hierarchical and in which the primary relation is linear – the latter of which is very similar to the first English translation of Aesthetic Theory . On the other hand, the original German text that Adorno wrote was very dense, often repetitive, and contained long sections of text unbroken by paragraphs or headings. This example of parataxis was then turned towards hypotaxis through the initial translation which took a text that was, in many ways, nonhierarchical and nonlinear, and artificially subjected it to a hierarchy that was not its own (and here I take the word of Fredric Jameson who comments on the two translations in a note at the beginning of his book Late Marxism ). 5 The point here is not about translation, but rather the distinction between parataxis and hypotaxis precisely as they are figures for discourse, written or otherwise. The concept of parataxis looks far more postmodern and rhizomic than the concept of hypotaxis which remains very modern and arborescent. This is a more figural way of talking about the distinction. However, if we wanted to take a more precise and analytical approach we could say that on the level of form parataxis involves a relationship between sentences and paragraphs in which each part bears an equally crushing responsibility to present the whole content of the text. As well, on the level of content, parataxis requires that each concept in a work take on the full conceptual weight of the total work. Continuing the analysis, we could say that parataxis describes texts in which there is no (or very little) linear or causal move from antecedent to consequent, whether in content or form. Instead, parataxis describes texts which weave together concepts via conjugations or associations. The concept of hypotaxis , on the other hand, requires that texts submit themselves to hierarchy, one example of which is logical argumentation. The contingency of the conclusion upon premises in hypotaxis is certainly distinct from the repetition, re-presentation, and conjugation of concepts in parataxis , and I think that this is evident in the difference between the writing styles prevalent in contemporary Analytic philosophy and Continental philosophy. It is not the case that the distinction between parataxis and hypotaxis absolutely corresponds with the writing styles of Continental and Analytic philosophy (respectively). There are thinkers who take exception to this pattern, such as Badiou’s more formal approach in the discourse of Continental philosophy to give one example. However, when Analytic philosophy takes its writing lessons from the sciences, and seeks to do philosophy via the clean linear move from antecedent to consequent, then I think that Analytic philosophy writes with hypotaxis in mind. On the other hand, when Continental (particularly German and French) philosophy takes its writing lessons from narrative or poetry then Continental philosophy writes with parataxis in mind. It is not fair to say that all those writing Continental philosophy are looking to narrative and poetry for stylistic direction, just as it is not the case that all those writing Analytic philosophy have mathematics and science as their writing format, however there are some striking ways in which the differing epistemologies of Continental and Analytic philosophy encourage writing with parataxis and hypotaxis in mind (respectively). For some, writing with parataxis or hypotaxis in mind is a conscious decision and a product of stylistic self-consciousness, and for others it is an unconscious discursive and epistemic requirement that must be met in order to be involved in a particular discourse. Before moving on to our second distinction, and then an examination of the question of the Book, it is important to point out that both totality and figurations like the One, the Whole, and the All, come out of very human desires to totalize or to actualize our being-towards-totality. The relationship between identity and totality then can be construed, with Heidegger in mind, as striving toward wholeness, completion, or fulfillment, each of which is a quality of compendia. 6 Compilation & Selection The first distinction between parataxis and hypotaxis pertains to both form and content, and to both the mechanics of writing and the ideas to which writing refers. The second distinction pertains to both as well. In the process of writing and in the process of perception as well, there is a tension between compilation and selection . To begin with, in the work of theory-writing there is compilation, and this is because writing theory requires a broad perspective and certain measure of totalization. On the other hand, writing theory requires that the writer select an idea or a combination of ideas to individuate out of a radical and infinite multiplicity of identities and combinations. The concern here is not primarily for the writing of a theory about a specific idea, like a secondary work or a reference text. But rather the concern is with the writing of grand theories: Marx and Marxism, Derrida and Deconstruction, Husserl and Phenomenology, Sartre and Existentialism, Saussure and Structuralism —each of which strives along a trajectory towards being all-encompassing, whether it intends to or not. Today, we could even say that Speculative Realism has embarked on this journey, and perhaps now we could say that the discourse of Speculative Realism has reached the inevitable point after which a grand theory leaves the hands of its writer or writers and becomes a possession of the collective consciousness of the academy, or (perhaps now) the mass consciousness of the blogosphere—and this is a true pharmakon , a poison and a cure, a blessing and a curse. 7 When we write theory, whether the scope is that of a grand theory or a particular theory, we write in the tension between compilation (making good on the desire to be all encompassing) and selection (being required to decide and discern and to judge what is included in the work and what is deleted or appended or abridged or given over to ellipses). Generally speaking, the work of theory-writing often comes out of a desire to totalize, that is, to develop a theory of everything that is able to apprehend new experiences and ideas while still remaining whole. I grant that this is not a universal desire, and that not everyone who sits down to write a work (or book) of theory does so because of their will-to-totality, but it remains that this drive to totalize does condition a great many writers of theory (especially those who seek to develop grand theories like those mentioned previously). At the beginning of his book of interviews, Between Existentialism and Marxism , Sartre is quoted as saying, after completing the first volume of his Critique of Dialectical Reason : “I no longer feel the need to make long digressions in my books, as if I were forever chasing after my own philosophy. It will now be deposited in little coffins, and I will feel completely emptied and at peace—as I felt after Being and Nothingness . A feeling of emptiness: a writer is fortunate if he can attain such a state. For when one has nothing to say, one can say everything .” 8 This is where our two initial distinctions come to bear on the being-towards-totality as it is expressed in the concrete practice of writing: the first being between parataxis and hypotaxis , and the second being between compilation and selection. Where this second distinction is concerned there is a certain paradox at play given that selection is inescapable, and compilation is unachievable. Selection is inescapable (with the figure of the Compendium in mind) because, even when the imperative to compile is followed to excruciating lengths, selection still has the last word. This is why the Compendium is a figure rather than some material thing that can actually be accomplished or actualized. No matter how far one goes along with the will-to-archive and the will-to-compile, it is only ever a question of minimizing selection and never eliminating it. This leads to the second point, which is that total compilation is unachievable. The closest thing to total compilation that we have before us is the ontological and textual fabric of the world. Even in the case of the world, compilation cannot be enacted in a total fashion because of the need to include both the sphere of the actual and the sphere of the possible or potential. This as another way in which compilation is always-already selection, and further evidence that total compilation is practically impossible. Discursive Figuration and Total Writing Rather than figuration referring to a figure of speech or an image, here the term points to a way in which to think about the work of writing, both the work put into writing, and the work that is the result of writing: the finished yet incomplete final piece. As figures or figurations, the Book and the Compendium are ways of thinking about the work of writing and the human desire for the wholeness, completion, and fulfillment that are made manifest in the completed form of the book (whether a published or printed or saved document put to rest by the author). These two figures bear more strongly upon works that seek to be all-encompassing, and works that strive towards expressions of totality such as the One, the Whole, or the All. Moving on to the topic of the subtitle, and on a more prescriptive note, I would say that there is more hope for theory-writing to be found in parataxis than hypotaxis . Part of the reason for this claim is the poststructuralist critique of hierarchies, and yet another part is the compelling line of thinking called “weak thought” (in theology by John D. Caputo, and in philosophy by Gianni Vattimo, among others). 9 The consequences of these two convictions are such that if one is to strongly assert the truth of a grand theory without leaving the realm of hierarchy-critique and weak thought, then one must write paradoxically with parataxis in mind, and in so doing write weakly and non-hierarchically. This does not mean avoiding a sort of topography or topology when writing theory, rather it means avoiding both subjugation and oppression in thought by pursuing a nonviolent sort of ontology. In order to do this, theory writing does not present itself as an exercise in logical analysis where one mechanically moves from a set of premises (via contingency) to the inevitable conclusion (via necessity). Instead, theory approaches the idea of a Compendium. Given that the figural Compendium places parataxis and compilation above hypotaxis and selection, then the question becomes: is placing one part of a binary term before another not just another way of selecting, or another expression of hypotaxis ? Counter to the urge to resign oneself to the reign of selection, with some qualification one can nonetheless write without deciding whether selection and hypotaxis should be subservient to compilation and parataxis (which is to say that writing-without-decision is somewhere between and beyond possibility and impossibility). This dilemma can be disarmed by stating that theory writing is not about primacy, and not about having-decided-beforehand, both stylistically and also where content is concerned. This is the paradox of writing: always striving along a trajectory ( telos ) towards totality via parataxis and compilation, but always being drawn back to finitude and making selections, and placing one idea before another with hypotaxis in mind. In light of this paradox, the question of the Compendium as a figure for discourse and a figural Book has resonance with Jacques Derrida’s essay on Edmund Jabès’ Book of Questions , found in his Writing and Difference . The Question of the Book “Little by little the book will finish me.” 10 Derrida quotes Jabès, and proceeds to outline the reflexive relationship between the author of the book and the book itself, each of which are subjected to the other through a sort of chiasmus, both ontological and textual (not that the two are entirely separable). The Book, for Derrida like Blanchot in the introductory quotation, “infinitely reflects itself” and “develops as a painful questioning of its own possibility”, and in light of this we can draw an association with the painful tension between the practical reality of selection and the ideal trajectory of compilation. 11 This tension in writing, between the will to total compilation and the necessity of abridgment, is an ontological tension between part and whole just as it is a textual tension between signifier and signified. The ontological tension in writing that Derrida expresses in his essay on Jabès is between everything and nothing – a contradiction which Derrida finds in Jabès’ Book of Questions and also in the divine, in God. When one writes between compilation and selection one writes towards totality, and here we can follow Derrida who states that the lapse in signification, presumably in the signifier-signified discrepancy, is a “ rupture with totality itself” and furthermore that this lapse cannot be rectified through deductive reason or even philosophical discourse. 12 This rupture with totality, found in the troubled relation between signifier and signified, can also tell us a lot about the Book and about writing. Given an understanding of writing as an ontological act that strives towards (but never accomplishes) totality, we can see the written book as the manifested and given body of that striving. Perhaps in other disciplines or even other schools of philosophy there is a cultural climate within which the article is prized above the book, but I am fairly confident, especially when referring to the grand theories of Continental thought, that there is a respect for the book as a uniquely meaningful object capable of apprehending totality. Derrida writes, Between the too warm flesh of the literal event and the cold skin of the concept runs meaning. This is how it enters into the book. Everything enters into, transpires in the book. This is why the book is never finite. It always remains suffering and vigilant. 13 Here the vitality of the literal event is compromised by the deadening weight of the concept, and the figure of the Book assists in this lapse of meaning. The Book is a totalizing object, much like the figure of the Compendium, and yet this totalization lacks its final object of completed totality both because the figural Book is necessarily incomplete, and because the physical book is always-already a product of selection. Instead of achieving its end of being a place where everything takes place, it suffers from the lapse of writing, the discrepancy between event and concept. Derrida continues his exposition on Jabès by bringing to light yet another reflexive relation, a reversal of the relationship between the Book and the world. Derrida writes that, for Jabès, “the book is not in the world, but the world is in the book.” 14 In addition to what was stated before, I take figuration to mean that the concepts employed, such as the Book or the Compendium, are not subject to the supposed rigor of analysis that is so prized by Enlightenment or Capitalist realisms. The figure of the Book and the figure of the Compendium cannot be held accountable to standards imported from scientific method, given an understanding that these standards require a concept to be replicable, consistent, falsifiable, measurable, and so on… This is an important point to make, especially in the present atmosphere within which theory must justify itself under conditions that are not its own. Instead of being held to these standards, figuration serves as a way in which to think about writing that leaves thought open to idealistic speculation, imperfect analogies, and most importantly the ever-present gain and loss that occur in the relationship between thought and being. By extension the figural way of addressing writing indulges in enough generalization to accommodate the excess/lack relationship between the ideal form of the Book or the Compendium, and the manifested and given body of a text (as it is practically completed and closed). Here we speak against the hostile atmosphere which would have theory submit itself to hierarchical rigor, rather than Blanchot’s “enigmatic rigor”, by being explicit about the discursive conditions and epistemic conditions under which theory operates. To write with parataxis in mind is, to a certain degree, to write with weakness as one’s methodology (with weak thought being in opposition to hypotaxis and hierarchy as much as weak thought can be in opposition to anything). Rather than asserting the strength of hierarchical theory, and rather than employing antagonistic argumentation with the goal of refutation different discursive and epistemic conditions for theory writing must be cultivated (and these are by no means new). First the critical and theoretical spirit reveals itself as being concerned with the task of complication—especially the complication and critique of binaries, dichotomies, dualities, polarities, paradoxes, parallaxes, hybridities, and especially antinomies. Second, theory positions itself as a sort of showing or revealing, rather than being ultimately focused on coming to full agreement or disagreement. This is where figuration can help theory-writing, both by placing emphasis on teleologies and trajectories (like parataxis and compilation), and by shifting focus away from pure primacy, power, or absolute origin. Figuration then, assists theory writing by placing the concern of theory outside of the concerns of the hard or soft sciences, and into the realm of thought or the idea. To speak of ‘the’ Compendium or ‘the’ Book, here, is to generalize not regarding the perfect form of the Compendium or Book, but to engage speculatively with an abstract idea which remains singular and yet complicated by multiplicity. The question of the Book that Derrida asks through Jabès is a question of everything and nothing, totality and nonbeing, and this question is a concern for writing and a concern for the figure of the Compendium so defined by the tension between compilation and selection, and parataxis and hypotaxis . On the note of nonbeing, we can look to the final page of Derrida’s first essay on Jabès in Writing and Difference and notice the introduction of his neologism, différance (with an ‘a’). Derrida writes: Life negates itself in literature only so that it may survive better. So that it may be better. It does not negate itself any more than it affirms itself: it differs from itself, defers itself, and writes itself as différance . Books are always books of life (the archetype would be the Book of Life kept by the God of the Jews) or of afterlife (the archetype would be the Books of the Dead kept by the Egyptians). 15 This introduction of différance into the equation of the Book, alongside ontological affirmation and negation, hearkens back to the discussion of the symbolic lapse earlier in his essay. Differing and deferring, the Book is always a Book of Life and a figure for the intersection of the vital (life) and the total in writing. In a way, the writer of the Book may be someone who lives life, and in another way the writer of the book-as-object may be someone who engages in the act of writing, both practically (by inscribing words on paper, or typing script on a computer) and ontologically or symbolically (by investing their existence and inexistence into a work worthy of the figural Book). In addition to the writer as writer, the writer also serves as an editor, and the editorial role alongside the idea of the Compendium shows the editor to be one who collects and compiles, while being restrained by eventual selection and decision. Beyond this the editor of works and texts, in both the Book and the world, is engaged in a process of inscribing notation—of annotating (on) the Compendium. Eternal commentary is a feature of the textual Compendium, just as open-ended totality describes the ontological Compendium. The writer as writer does not simply write texts, but rather engages in a profoundly ontological act of inscribing their existence into the world, and the writer as editor does not merely annotate or alter texts as they are, but rather comments upon the text of the world. In/Conclusion So as we create texts, and as we write and create theory, let us be and remain attentive to the figure of the Compendium and the figure of the Book. These two concurrent metonymies are essential for total writing (grand theories, etc.), and may be forgettable for those concerned with fragmentary or hierarchical writing (which are valid in their own right). From the ontological and symbolic text of the world and phenomenological experience, to concrete texts such as books or mixed media, the figure of the Compendium and the figure of the Book are important for the actualization of the human will to be all-encompassing. The figure of the Compendium teaches writers of theory that the repetition, density, and fragility of parataxis offers a strong sort of weakness which does not become yet another variety of oppressive and hegemonic thought. Rather than write with hypotaxis in mind, subjugating one thought to another via cause and effect or antecedent and consequent, I would hope that theory-writing could guiltlessly indulge in the dialectical and contradictory conjugation of ideas, and take this as a legitimate methodology. Rather than being ashamed of showing resonances or giving way to abridgment or ellipses, it is my own authorial (but not authoritative) conviction that one need not give up on totalizing and constructing grand theories because of the fact that complete totalization is impossible, and one need not give up on totalizing and constructing grand theories because of the worry of violence, for the Book and the Compendium lack their completed object and are ever incomplete trajectories. NOTES * UPDATED 7/19/13: we've updated the HTML version to reflect the (correct) PDF version. Our apologies to the author—eds. 1. I would like extend thanks to Dr. Peter Schwenger of the University of Western Ontario for his comments on this paper and his hospitality as it was presented as a Theory Session at the Centre for Theory and Criticism on October 26th 2012. I would also like to thank Andrew Weiss for conversation and critique. 2. I should clarify my use of the term ‘figure’ at the outset. Given the use of the term by Jean-Francois Lyotard in Discourse, Figure (and also Gilles Deleuze in Francis Bacon ), I should state clearly that my use of the term will not correspond to the term ‘figure’ understood as the representation of an object. Instead, my use of the term ‘figure’ and its variations (‘figural’, ‘figurative’, ‘figuration’) will refer to the illustrative or metaphorical use of the Compendium or the Book as models or ways of thinking about writing and discourse. 3. Cf. Revelations 20:12-15. 4. Theodor Adorno, Aesthetic Theory , Trans. Robert Hullot-Kentor (London & New York: Continuum Press, 1997). 5. Fredric Jameson, Late Marxism: Adorno, or the Persistence of the Dialectic (London & New York: Verso, 1990), ix-x. 6. I have written about this concept of being-towards-totality elsewhere in two pieces of writing: the first is called Notes on the Compendium (an unfinished draft) which addresses some very wide theoretical concerns, being structured as a sort of itinerary or archive, and the second is Dialectics Unbound (Punctum Books, 2013) which outlines a concept of totality without the violence of totalization. While these works are more concerned with ontological totality, here I would like to focus on the idea of the Compendium as a textual totality. 7. Cf. Louis Morelle, “Speculative Realism: After Finitude and Beyond, A vade mecum” in Speculations: Journal of Speculative Realism . Issue 3 (Brooklyn, New York: Punctum Books, 2012), 241-272. 8. Jean-Paul Sartre, Between Existentialism and Marxism . Trans. John Matthews (London & New York: Verso, 1974), 9. 9. Cf. John D. Caputo, The Weakness of God (Indiana: Indiana University Press, 2006). 10. Jacques Derrida, “Edmond Jabès and the Question of the Book” in Writing and Difference . Trans. Alan Bass (Chicago: University of Chicago Press, 1978), 65. 11. Ibid, 65. 12. Ibid, 71. 13. Ibid, 75. 14. Ibid, 76. 15. Ibid, 78. (shrink)

We study the extension of Feferman’s operational set theory provided by adding operational versions of unbounded existential quantification and power set and determine its proof-theoretic strength in terms of a suitable theory of sets and classes.

Suppose λ > κ is measurable. We show that if κ is either indestructibly supercompact or indestructibly strong, then A = {δ < κ | δ is measurable, yet δ is neither δ + strongly compact nor a limit of measurable cardinals} must be unbounded in κ. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two models in which ${A = \emptyset}$ . The first of these contains a supercompact cardinal κ (...) and is such that no cardinal δ > κ is measurable, κ’s supercompactness is indestructible under κ-directed closed, (κ +, ∞)-distributive forcing, and every measurable cardinal δ < κ is δ + strongly compact. The second of these contains a strong cardinal κ and is such that no cardinal δ > κ is measurable, κ’s strongness is indestructible under < κ-strategically closed, (κ +, ∞)-distributive forcing, and level by level inequivalence between strong compactness and supercompactness holds. The model from the first of our forcing constructions is used to show that it is consistent, relative to a supercompact cardinal, for the least cardinal κ which is both strong and has its strongness indestructible under κ-directed closed, (κ +, ∞)-distributive forcing to be the same as the least supercompact cardinal, which has its supercompactness indestructible under κ-directed closed, (κ +, ∞)-distributive forcing. It further follows as a corollary of the first of our forcing constructions that it is possible to build a model containing a supercompact cardinal κ in which no cardinal δ > κ is measurable, κ is indestructibly supercompact, and every measurable cardinal δ < κ which is not a limit of measurable cardinals is δ + strongly compact. (shrink)

It is known that the box dimension of any Martin-Löf random closed set of ${\{0,1\}^\mathbb{N}}$ is ${\log_2(\frac{4}{3})}$ . Barmpalias et al. [J Logic Comput 17(6):1041–1062, 2007] gave one method of producing such random closed sets and then computed the box dimension, and posed several questions regarding other methods of construction. We outline a method using random recursive constructions for computing the Hausdorff dimension of almost every random closed set of ${\{0,1\}^\mathbb{N}}$ , and propose a general method (...) for random closed sets in other spaces. We further find both the appropriate dimensional Hausdorff measure and the exact Hausdorff dimension for such random closed sets. (shrink)

Suppose that κ is indestructibly supercompact and there is a measurable cardinal λ > κ. It then follows that A1 = {δ < κ∣δ is measurable, δ is not a limit of measurable cardinals, and δ is not δ+ supercompact} is unbounded in κ. If in addition λ is 2λ supercompact, then A2 = {δ < κ∣δ is measurable, δ is not a limit of measurable cardinals, and δ is δ+ supercompact} is unbounded in κ as well. The (...) large cardinal hypotheses on λ are necessary, as we further demonstrate by constructing via forcing two distinct models in which either equation image or equation image. In each of these models, there is an indestructibly supercompact cardinal κ, and a restricted large cardinal structure above κ. If we weaken the indestructibility requirement on κ to indestructibility under partial orderings which are both κ-directed closed and -distributive, then it is possible to construct a model containing a supercompact cardinal κ witnessing this degree of indestructibility in which every measurable cardinal δ < κ is δ+ supercompact. (shrink)

In this paper, we introduce and study the concept of" neutrosophic closed set" and" neutrosophic continuous function". Possible application to GIS topology rules are touched upon.

Bartoszynski, T. and S. Shelah, Closed measure zero sets, Annals of Pure and Applied Logic 58 93–110. We study the relationship between the σ-ideal generated by closed measure zero sets and the ideals of null and meager sets. We show that the additivity of the ideal of closed measure zero sets is not bigger than covering for category. As a consequence we get that the additivity of the ideal of closed measure zero (...) sets is equal to the additivity of the ideal of meager sets. (shrink)

Published accounts of specific priority-setting projects in healthcare are relatively few. This article chronicles the collaborative efforts of a professional practice lead and a bioethicist to strengthen the priority-setting process for a specific home care service. The project included two features not often reported in other priority-setting projects: the entire “frontline team” was involved for the project’s duration, and a group of parents was canvassed for their views. Informed by both Daniels’s “accountability for reasonableness” approach and challenges levied against it, (...) the article explains the evolution of an assessment procedure, eligibility and priority criteria, and guiding substantive principles and concludes with the “lessons learned” by the project leads. (shrink)

In Byron, Shelley, and Goethe’s Faust, author Ben Hewitt has provided us with a carefully done and convincing study. Given this, it would have been interesting to see Hewitt’s effort to integrate Mary Shelley’s work into his narrative. Apart from any similarities between Faust and Frankenstein, it bears remembering that Goethe himself remained unconvinced by efforts to clearly demarcate works as “tragic” or “epic”; a fact that becomes especially clear in the number of works he’d devoted to rewriting the story (...) of Prometheus. One cannot help but wish that Hewitt had considered the connection between these works and Shelley’s own “Modern Prometheus” in juxtaposition to his reading of P.B. Shelley’s Prometheus Unbound, for this would have made for an especially good ending to Hewitt’s story. Wayne Deakin’s consideration of Hegel and the English Romantic Tradition does indeed close with a brief consideration of Mary Shelley’s Prometheus, but this comes only at the end of a much longer set of considerations. In this book Deakin adopts a similar strategy as that of Hewitt, namely, foregoing any historical recovery of Hegel’s direct influence on the English Romantics—in Deakin’s case, Coleridge, Wordsworth, and P.B. Shelley—to focus instead on a reading of key poetic works in concert with their Hegelian framework. This reading essentially flows from Deakin’s effort to rethink Hegel’s relatively early notion of self-consciousness through his late lectures on aesthetics. For Deakin, this leads to “aesthetic recognition”; a situating of the self in relation to the world that remains in tension so far as the subject’s drive for autonomy will automatically be humbled by its reception of and to alterity—be that other “Nature” or other subject. (shrink)

We show that if a real x2ω is strongly Hausdorff -random, where h is a dimension function corresponding to a convex order, then it is also random for a continuous probability measure μ such that the μ-measure of the basic open cylinders shrinks according to h. The proof uses a new method to construct measures, based on effective continuous transformations and a basis theorem for -classes applied to closed sets of probability measures. We use the main result to (...) derive a collapse of randomness notions for Hausdorff measures, and to provide a characterization of effective Hausdorff dimension similar to Frostman’s Theorem. (shrink)

If there is a homeomorphic embedding of one set into another, the sets are said to be topologically comparable. Friedman and Hirst have shown that the topological comparability of countable closed subsets of the reals is equivalent to the subsystem of second order arithmetic denoted byATR 0. Here, this result is extended to countable closed locally compact subsets of arbitrary complete separable metric spaces. The extension uses an analogue of the one point compactification of ℝ.

Background Voluntary assisted dying became lawful in Victoria, the first Australian state to permit this practice, in 2019 via the Voluntary Assisted Dying Act 2017 (Vic). While conscientious objection by individual health professionals is protected by the Victorian legislation, objections by institutions are governed by policy. No research has been conducted in Victoria, and very little research conducted internationally, on how institutional objection is experienced by patients seeking assisted dying. Methods 28 semi-structured interviews were conducted with 32 family caregivers and (...) one patient about the experience of 28 patients who sought assisted dying. Participants were interviewed during August-November 2021. Data from the 17 interviews (all with family caregivers) which reported institutional objection were analysed thematically. Results Participants reported institutional objection affecting eligibility assessments, medication access, and taking the medication or having it administered. Institutional objection occurred across health settings and was sometimes communicated obliquely. These objections resulted in delays, transfers, and choices between progressing an assisted dying application and receiving palliative or other care. Participants also reported objections causing adverse emotional experiences and distrust of objecting institutions. Six mediating influences on institutional objections were identified: staff views within objecting institutions; support of external medical practitioners and pharmacists providing assisted dying services; nature of a patient’s illness; progression or state of a patient’s illness; patient’s geographical location; and the capability and assertiveness of a patient and/or caregiver. Conclusions Institutional objection to assisted dying is much-debated yet empirically understudied. This research found that in Victoria, objections were regularly reported by participants and adversely affected access to assisted dying and the wider end-of-life experience for patients and caregivers. This barrier arises in an assisted dying system that is already procedurally challenging, particularly given the limited window patients have to apply. Better regulation may be needed as Victoria’s existing policy approach appears to preference institutional positions over patient’s choice given existing power dynamics. (shrink)

This paper contains a corrected proof that the statement “every non-empty closed subset of a compact complete separable metric space is separably closed” implies the arithmetical comprehension axiom of reverse mathematics.

Nietzsche Unbound presents a new and unusual interpretation of Nietzsche as a genuinely religious thinker who not only grasped the nature of humanity's current spiritual predicament, but also set forth an overlooked and truly revolutionary solution to it.

Objective Futile treatment, which by definition cannot benefit a patient, is undesirable. This research investigated why doctors believe that treatment that they consider to be futile is sometimes provided at the end of a patient9s life. Design Semistructured in-depth interviews. Setting Three large tertiary public hospitals in Brisbane, Australia. Participants 96 doctors from emergency, intensive care, palliative care, oncology, renal medicine, internal medicine, respiratory medicine, surgery, cardiology, geriatric medicine and medical administration departments. Participants were recruited using purposive maximum variation sampling. (...) Results Doctors attributed the provision of futile treatment to a wide range of inter-related factors. One was the characteristics of treating doctors, including their orientation towards curative treatment, discomfort or inexperience with death and dying, concerns about legal risk and poor communication skills. Second, the attributes of the patient and family, including their requests or demands for further treatment, prognostic uncertainty and lack of information about patient wishes. Third, there were hospital factors including a high degree of specialisation, the availability of routine tests and interventions, and organisational barriers to diverting a patient from a curative to a palliative pathway. Doctors nominated family or patient request and doctors being locked into a curative role as the _main_ reasons for futile care. Conclusions Doctors believe that a range of factors contribute to the provision of futile treatment. A combination of strategies is necessary to reduce futile treatment, including better training for doctors who treat patients at the end of life, educating the community about the limits of medicine and the need to plan for death and dying, and structural reform at the hospital level. (shrink)