A pressing need for interrater reliability in the diagnosis of mental disorders emerged during the mid-twentieth century, prompted in part by the development of diverse new treatments. The Diagnostic and Statistical Manual of Mental Disorders (DSM), third edition answered this need by introducing operationalized diagnostic criteria that were field-tested for interrater reliability. Unfortunately, the focus on reliability came at a time when the scientific understanding of mental disorders was embryonic and could not yield valid disease definitions. Based on accreting (...) problems with the current DSM-fourth edition (DSM-IV) classification, it is apparent that validity will not be achieved simply by refining criteria for existing disorders or by the addition of new disorders. Yet DSM-IV diagnostic criteria dominate thinking about mental disorders in clinical practice, research, treatment development, and law. As a result, the modernDSMsystem, intended to create a shared language, also creates epistemic blinders that impede progress toward valid diagnoses. Insights that are beginning to emerge from psychology, neuroscience, and genetics suggest possible strategies for moving forward. (shrink)

One of the most important difficulties facing Kant’s Formula of Universal Law (FUL) is its apparent inability to show that it is always impermissible to kill others for the sake of convenience. This difficulty has led current Kantian ethicists to de-emphasize the FUL or at least complement it with other Kantian principles when dealing with murder. The difficulty stems from the fact that the maxim of convenience killing fails to generate a ‘contradiction in conception’, producing only a ‘contradiction in the (...) will’ when subjected to the two-fold test associated with the FUL. This result is thought to imply that the FUL allows us sometimes to kill for the sake of convenience. In this essay, I argue that the very diagnosis of the problem rests on a mistake, and that if the maxim of convenience killing generates a contradiction in the will, then acting on it is never permissible. (shrink)

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings (...) of Hannah Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

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)

The papers of this special issue are the outcome of a two-­‐day conference entitled “The Second-­‐Person Standpoint in Law and Morality,” that took place at the University of Vienna in March 2013 and was organized by the ERC Advanced Research Grant “Distortions of Normativity.” -/- The aim of the conference was to explore and discuss Stephen Darwall’s innovative and influential second-­‐personal account of foundational moral concepts such as „obligation“, „responsibility“, and „rights“, as developed in his book The Second-­‐Person Standpoint: Morality, (...) Respect, and Accountability (Harvard University Press 2006) and further elaborated in Morality, Authority and Law: Essays in Second-­‐Personal Ethics I and Honor, History, and Relationships: Essays in Second-­‐Personal Ethics II (both Oxford University Press 2013). -/- With the second-­‐person standpoint Darwall refers to the unique conceptual normative space that practical deliberators and agents occupy when they address claims and demands to one another (and to themselves). The very first sentence of Darwall’s examination of the second-­‐personal conceptual paradigm summarizes the gist of the argument succinctly when he claims that “the second-­‐person standpoint [is] the perspective that you and I take up when we make and acknowledge claims on one another’s conduct and will.” (Darwall 2006, 3) The Second-­‐Person Standpoint reminds us that this perspective has been ignored for much too long and that it better take centre stage in any philosophical analysis of moral phenomena, in order to yield a satisfying account of morality as a social institution. The negative part of Darwall’s strategy is to show that neither a purely first-­‐personal approach (represented by Kant and contemporary Kantians), nor a third-­‐personal state-­‐of-­‐affairs-­‐perspective (represented by most varieties of contemporary consequentialism) are capable of accounting for the categorical bindingness characteristic of moral obligation. The latter feat can only be accomplished, and this is the positive part of Darwall’s argument, when those second-­‐ personal normative “felicity conditions” and conceptual presuppositions are acknowledged and spelled out that are already presupposed in every instance of issuing (putatively valid) claims and demands. It is especially second-­‐personal competence and second-­‐personal authority that are the bedrock of these normative conceptual presuppositions, without which engaging in any meaningful address would be impossible. Kantians and utilitarians alike have neglected this critical dimension of the normative landscape. -/- In addition to working out an original conception of moral obligation, the first eight chapters of The Second-­‐Person Standpoint articulate this fundamental insight with respect to a variety of traditional projects in ethical theory such as developing accounts of moral responsibility, rights, dignity, and autonomy. In this context, special emphasis is to be awarded, on the one hand, to Darwall’s refreshing second-­‐personal interpretation of Strawson’s influential account of reactive attitudes and moral responsibility and, on the other, to his historically well-­‐informed reconstruction of Samuel Pufendorf’s often neglected version of an enlightened theistic voluntarism concerning moral authority. Darwall dedicates the second part of The Second-­‐Person Standpoint to the urgent question: how should one respond to the sceptical challenge that expresses utter indifference to the second-­‐person standpoint, including all its multifarious normative presuppositions and implications? What commits us to all this? It is at this point that Darwall, firstly, refines his criticisms of the Kantian, first-­‐personal, paradigm of normativity and emphasizes that only if one already incorporates the second-­‐personal conceptual apparatus into a Kantian analysis of moral obligation is the latter going to yield a convincing account. Secondly, and this certainly is one of the highlights of Darwall’s theory, the Second-­‐Person Standpoint employs themes from Fichte’s philosophy of right in order to strengthen the case for the inescapability of taking up the second-­‐person standpoint of moral obligation. In his contribution for this special issue Darwall further develops his diagnosis that Fichte’s thought offers in many respects a more promising, since more second-­‐personal, foundation of morality than, for example, Kant’s. -/- By now, the impact of Darwall’s second-­‐person standpoint theory has far transcended the confines of contemporary debates on moral obligation. Darwall has put to use the second-­‐personal apparatus to critical engagements with Joseph Raz’s theory of legal authority and Derek Parfit’s convergence arguments for his recent Triple Theory of moral wrongness. The constant theme that unifies all these diverse applications remains the one so impressively presented in The Second-­‐Person Standpoint: without paying attention to the “interdefinable” and “irreducible” circle of (four) foundational second-­‐ personal concepts (valid demand, practical authority, second-­‐personal reason, and accountability), neither superior epistemic status (Raz) nor the identification of optimific states of affairs (Parfit) are potent enough sources to generate anything close to the authority relationships that underlie the idea involved in obligating ourselves and one another. Given all of the above, it comes as no surprise that Darwall reserves his strongest sympathies for a specific ethical theory, namely contractualism. Our commitment to equal basic second-­‐personal authority, that Darwall arrives at through his Fichtean rectification of the Kantian project, leads him to the endorsement of a contractualist paradigm in the spirit of broadly Rawls and Scanlon. -/- . (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules (...) for the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s (...) quasi-categoricity theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

Deprivation views of the badness of death are almost universally accepted among those who hold that death can be bad for the person who dies. In their most common form, deprivation views hold that death is bad because (and to the extent that) it deprives people of goods they would have gained had they not died at the time they did. Contrast this with categorical desire views, which hold that death is bad because (and to the extent that) it (...) thwarts people’s categorical desires. Categorical desires are desires that are not conditional upon one being alive; yet provide reason for the agent to continue living to ensure that those very desires are satisfied. I argue that categorical desire views are subject to two serious problems that deprivation views are not. First, categorical desire views entail that it is not bad for someone to not be resuscitated after dying a bad death. Second, categorical desire views cannot account for cases in which it is good to prevent people from coming into existence or cases in which it is good to prevent them from continuing to exist. After considering, and rejecting, various replies on behalf of categorical desire proponents, I conclude that we have good reason to reject categorical desire views in favor of deprivation views. (shrink)

In this chapter, I critically examine two of the main approaches to colour categorization in cognitive science: the perceptual salience theory and linguistic relativism. I then turn to reviewing several decades of psychological research on colour categorical perception (CP). A careful assessment of relevant findings suggests that most of the experimental effects that have been understood in terms of CP actually fall on the cognition side of the perception-cognition divide: they are effects of colour language, for example, on memory (...) or decision-making. (shrink)

In clinical medicine, a diagnosis can offer an explanation of a patient's symptoms by specifying the pathology that is causing them. Diagnoses in psychiatry are also sometimes presented in clinical texts as if they pick out pathological processes that cause sets of symptoms. However, current evidence suggests the possibility that many diagnostic categories in psychiatry are highly causally heterogeneous. For example, major depressive disorder may not be associated with a single type of underlying pathological process, but with a range (...) of different causal pathways, each involving complex interactions of various biological, psychological, and social factors. This paper explores the implications of causal heterogeneity for whether psychiatric diagnoses can be said to serve causal explanatory roles in clinical practice. I argue that while they may fall short of picking out a specific cause of the patient's symptoms, they can nonetheless supply different sorts of clinically relevant causal information. In particular, I suggest that some psychiatric diagnoses provide negative information that rules out certain causes, some provide approximate or disjunctive information about the range of possible causal processes, and some provide causal information about the relations between the symptoms themselves. (shrink)

A diagnostic process is an investigative process that takes a clinical picture as input and outputs a diagnosis. We propose a method for distinguishing diagnoses that are warranted from those that are not, based on the cognitive processes of which they are the outputs. Processes designed and vetted to reliably produce correct diagnoses will output what we shall call ‘warranted diagnoses’. The latter are diagnoses that should be trusted even if they later turn out to have been wrong. Our (...) work is based on the recently developed Cognitive Process Ontology and further develops the Ontology of General Medical Science. It also has applications in fields such as intelligence, forensics, and predictive maintenance, all of which rely on vetted processes designed to secure the reliability of their outputs. (shrink)

Naturalism, as Binmore understands the term, is characterized by a scientific stance on moral behavior. Binmore claims that a naturalistic account of morality necessarily goes with the conviction “that only hypothetical imperatives make any sense”. In this paper it is argued that this claim is mistaken. First, as Hume’s theory of promising shows, naturalism in the sense of Binmore is very well compatible with acknowledging the importance of categorical imperatives in moral practice. Moreover, second, if Binmore’s own theory of (...) moral practice and its evolution is correct, then the actual moral practice does-and in fact must-incorporate norms, which have the form of a categorical imperative. Categorical imperatives are part of social reality and, therefore, any (normative) moral theory that adequately reflects moral practice must also include categorical imperatives. (shrink)

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended arithmetic (...) when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

The concept of “life” certainly is of some use to distinguish birds and beavers from water and stones. This pragmatic usefulness has led to its construal as a categorical predicate that can sift out living entities from non-living ones depending on their possessing specific properties—reproduction, metabolism, evolvability etc. In this paper, we argue against this binary construal of life. Using text-mining methods across over 30,000 scientific articles, we defend instead a degrees-of-life view and show how these methods can contribute (...) to experimental philosophy of science and concept explication. We apply topic-modeling algorithms to identify which specific properties are attributed to a target set of entities (bacteria, archaea, viruses, prions, plasmids, phages and the molecule of adenine). Eight major clusters of properties were identified together with their relative relevance for each target entity (two that relate to metabolism and catalysis, one to genetics, one to evolvability, one to structure, and—rather unexpectedly—three that concern interactions with the environment broadly construed). While aligning with intuitions—for instance about viruses being less alive than bacteria—these quantitative results also reveal differential degrees of performance that have so far remained elusive or overlooked. Taken together, these analyses provide a conceptual “lifeness space” that makes it possible to move away from a categorical construal of life by empirically assessing the relative lifeness of more-or-less alive entities. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Why do we draw the boundaries between “blue” and “green”, where we do? One proposed answer to this question is that we categorize color the way we do because we perceive color categorically. Starting in the 1950’s, the phenomenon of “categorical perception” (CP) encouraged such a response. CP refers to the fact that adjacent color patches are more easily discriminated when they straddle a category boundary than when they belong to the same category. In this paper, I make three (...) related claims. (1) Although what seems to guide discrimination performances seems to indeed be categorical information, the evidence in favor of the fact that categorical perception infl uences the way we perceive color is not convincing. (2) That CP offers a useful account of categorization is not obvious.While aiming at accounting for categorization, CP itself requires an account of categories. This being said, CP remains an interesting phenomenon. Why and how is our discrimination behavior linked to our categories? It is suggested that linguistic labels determine CP through a naming strategy to which participants resort while discriminating colors. This paper’s fi nal point is (3) that the naming strategy account is not enough. Beyond category labels, what seems to guide discrimination performance is category structure. (shrink)

This paper has two objectives 1) to study the influence of digital and new technology on COVID-19 diagnosis and healthcare 2) To propose the integral guideline solutions of the infectious disease for the future. COVID-19 stands for corona (CO), virus (VI), disease (D), or SARS-CoV-2, is a respiratory virus first identified in December 2019 in Wuhan, China(WHO, 2019). It is an epidemiological crisis that caused the deaths and sudden destruction of wealth and health of people around the world. Many (...) countries responded to the crisis with what could only be called urgent prevention and treatment. In the 21st century, our society is based on digital and new technology that can control and prevent the COVID-19 pandemics. However, these ways for solving the problem of COVID-19 pandemics are rising an epistemological crisis too. There are some problems with the COVID-19 diagnosis. From Buddhist philosophy perspective, COVID-19 teaches us the coronavirus is causing us to experience some heightened forms of the three marks of our existence which are the impermanence (aniccā), the suffering (duḥkha), and the non-self (anatta). The establishment of scientific expertise and innovation has shown its value and educating the public about testing, diagnosis, communication, treatment, and vaccine development technology for prevention the of infectious diseases in the future. (shrink)

The type-level abstraction is a formal way to represent molecular structures in biological practice. Graphical representations of molecular structures of biological objects are also used to identify functional processes of things. This paper will reveal that category theory is a formal mathematical language not only to visualize molecular structures of biological objects as type-level abstraction formally but also to understand how to infer biological functions from the molecular structures of biological objects. Category theory is a toolkit to understand biological knowledge (...) at the type-level formally, not individual token-level, as well as typical heuristic strategies in molecular biology. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

What is sexual orientation? The contemporary consensus among philosophers is that it is a disposition. Unsurprisingly, recent debates about the metaphysics of sexual orientation are almost entirely intramural. Behavioral dispositionalists argue that sexual orientation is a disposition to behave sexually. Desire dispositionalists argue that it is a disposition to desire sexually. We argue that sexual orientation is not best understood in terms of dispositions to behave or dispositions to desire before arguing that dispositions tout court fail to illuminate sexual orientation. (...) We then introduce and defend the idea that sexual orientation is best understood in terms of categorical phenomenal properties of sexual arousal. (shrink)

The primary concern of this paper is to outline an explanation of how Kant derives morality from reason. We all know that Kant thought that morality comprises a set of demands that are unconditionally and universally valid. In addition, he thought that to support this understanding of moral principles, one must show that they originate in reason a priori, rather than in contingent facts about human psychology, or the circumstances of human life. But do we really understand how he tries (...) to establish that moral principles originate in reason? In at least two passages in the second section of the Groundwork, Kant insists upon the importance of grounding the moral law in practical reason a priori, and subsequently states a conception of practical reason from which he appears to extract a formulation of the Categorical Imperative. The reasoning employed in these passages would appear to be of central importance to the overall argument of the Groundwork, but in each case the route travelled from the definition of practical reason to the ensuing formulation of the moral law is obscure. My goal is to work out a plausible reconstruction of this portion of Kant’s argument. At the very least, I hope that my interpretation will illuminate the distinctive structure of the Kantian approach to questions of justification in ethics. What I understand of Kant’s view leads me to believe that its aims and overall shape are different in important respects from what is often assumed. It also represents an approach to foundational issues in ethics, which provides an alternative to many contemporary attempts to ground morality in reason. (shrink)

This essay discusses the difficulty to reconcile two paradigms about beliefs: the binary or categorical paradigm of yes/no beliefs and the probabilistic paradigm of degrees of belief. The possibility for someone to hold both types of belief simultaneously is challenged by the lottery paradox, and more recently by a general impossibility theorem by Dietrich and List (2018, 2021). The nature, relevance, and implications of the tension are explained and assessed.

In computer science, Artificial Intelligence (AI), sometimes called machine intelligence, is intelligence demonstrated by machines, in contrast to the natural intelligence displayed by humans and other animals. Computer science defines AI research as the study of "intelligent agents": any device that perceives its environment and takes actions that maximize its chance of successfully achieving its goals. Deep Learning is a new field of research. One of the branches of Artificial Intelligence Science deals with the creation of theories and algorithms that (...) allow the machine to learn by simulating neurons in the human body. Most in-depth learning research focuses on finding high-level methods. The strippers analyze a large data set using linear and nonlinear transformations. The method of deep learning is used in the detection of several diseases including blood cell diseases and their classification using the radiography of blood cells to help decision makers to know the type of blood cell and its associated diseases and the results will be presented in detail and discussed. This thesis is using python language and deep learning to detect blood cell diseases and their classifications. The proposed deep learning model was trained, validated and the tested. The accuracy of proposed model was 98.00%. (shrink)

David Gauthier suggested that all genuine moral problems are Prisoners Dilemmas (PDs), and that the morally and rationally required solution to a PD is to co-operate. I say there are four other forms of moral problem, each a different way of agents failing to be in PDs because of the agents’ preferences. This occurs when agents have preferences that are malevolent, self-enslaving, stingy, or bullying. I then analyze preferences as reasons for action, claiming that this means they must not target (...) the impossible, they must be able to be acted on in the circumstances, their targets must be attainable, and having the preferences must make their targets more likely. For groups of agents to have a distribution of preferences, their preferences must jointly have those four features, this imposing a kind of universalizability requirement on possible preferences. I then claim that, if all agents began with preferences satisfying these requirements, their preferences would not be of the morally problematic sort (on pain, variously, of circularity or contradiction in the specification of their targets). Instead, they would be either morally innocent preferences, or ones which put the agents in PDs. And it would then be instrumentally rational for the agents to prefer mutual co-operation. Thus if all agents initially had rationally permissible preferences and made rational choices of actions and preferences thereafter, they would never acquire immoral preferences, and so never be rationally moved to immoral actions. Further, the states of affairs such agents would be moved to bring about would be compatible with what Rawls’ agents would chose behind a veil of ignorance. Morality therefore reduces to rationality; necessarily, the actions categorically required by morality are also categorically required by rationality. (shrink)

Background: Mint is a grassy, perennial plant, belonging to the oral platoon, fast growing and spreading, its leaves are green in color, fragrant, tart, refreshing, square-shaped leg, bifurcated, erect, ranging in height from (10 - 201 cm). Home to Europe and Asia. The mint plant has many benefits, the most important of which are pain relief, treatment of gallbladder disorders, the expulsion of gases, anti-inflammatory, and relaxing nerves. While the mint plant is the ideal option for the start of gardens, (...) it is prone to some common diseases that affect the plant's growth. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper, the design of the proposed Expert System was produced to help Farmers and those interested in agriculture in diagnosing many of the Mint diseases such as Mint rust, Verticillium wilt, Anthracnose, Powdery mildew, Black Stem Rot, Stem and stolon canker, Septoria leaf spot. The proposed expert system presents an overview of mint diseases are given, the cause of diseases outlined and the treatment of disease whenever possible is given out. CLIPS Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Mint diseases diagnosis expert system was evaluated by Agricultural Students at AL Azhar University and some friends interested in agriculture and they were satisfied with its performance. Conclusions: The proposed expert system is very useful for Farmers and those interested in agriculture. (shrink)

Suppose that X and Y can’t possibly exist apart in reality; then—by definition—there’s no real distinction between them, only a conceptual distinction. There’s a conceptual distinction between a rectilinear figure’s triangularity and its trilaterality, for example, but no real distinction. In fundamental metaphysics there is no real distinction between an object’s categorical properties and its dispositional properties. So too there is no real distinction between an object and its properties. And in fundamental metaphysics, for X and Y to be (...) such that there is no real distinction between them is for them to be identical. (shrink)

The purpose of this paper is to show that the Elementary Process Theory (EPT) agrees with the knowledge of the physical world obtained from the successful predictions of Special Relativity (SR). For that matter, a recently developed method is applied: a categorical model of the EPT that incorporates SR is fully specified. Ultimate constituents of the universe of the EPT are modeled as point-particles, gamma-rays, or time-like strings, all represented by integrable hyperreal functions on Minkowski space. This proves that (...) the EPT agrees with SR. -/- Edit: this preprint differs significantly from the published chapter. (shrink)

Definitive diagnosis of malaria requires the demonstration through laboratory tests of the presence within the patient of malaria parasites or their components. Since malaria parasites can be present even in the absence of malaria manifestations, and since symptoms of malaria can be manifested even in the absence of malaria parasites, malaria diagnosis raises important issues for the adequate understanding of disease, etiology and diagnosis. One approach to the resolution of these issues adopts a realist view, according to (...) which the needed clarifications will be derived from a careful representation of the entities on the side of the patient which form the ultimate truthmakers for clinical statements. We here address a challenge to this realist approach relating to the diagnosis of malaria, and show how this challenge can be resolved by appeal to Basic Formal Ontology (BFO) and to the Ontology for General Medical Science (OGMS) constructed in its terms. (shrink)

In this chapter, our focus is the role played by notions of rationality in the diagnosis of mental disorders, and in the practice of overriding patient autonomy in psychiatry. We describe and evaluate different hypotheses concerning the relationship between rationality and diagnosis, raising questions about what features underpin psychiatric categories. These questions reinforce widely held concerns about the use of diagnosis as a justification for overriding autonomy, which have motivated a shift to mental incapacity as an alternative (...) justification. However, this approach too has recently been criticized from a mental disability rights perspective. Our analysis of the relationship between mental capacity and rationality is used to illuminate these concerns, and to investigate further the relationship between rationality and psychiatric diagnosis. (shrink)

This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...) This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)

The objective of the paper is to implement and validate diagnosis in the medical field via refined neutrosophic fuzzy logic (RNFL). As such, we have proposed a Max-Min composition (MMC) method in RNFL. This method deals with the diagnosis under certain constraints like uncertainty and indeterminacy. Further, we have considered the diagnosis problems to validate the sensitivity analysis of the novel multi attribute decision-making technique. Finally, we gave the graphical representations and compared the obtained results with other (...) existing measures in refined neutrosophic fuzzy sets. (shrink)

The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility. The argument is based on the non-categoricity of quantum logic.

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Allan Hazlett has recently developed an alternative to the most popular form of anti-realism about epistemic normativity, epistemic expressivism. He calls it “convention-relativism about epistemic discourse”. The view deserves more attention. In this paper, I give it attention in the form of an objection. Specifically, my objection turns on a distinction between inescapable and categorical norms. While I agree with Hazlett that convention-relativism is consistent with inescapable epistemic norms, I argue that it is not consistent with categorical epistemic (...) norms. I then argue that Hazlett's account of a controversial upshot of convention-relativism – namely, that epistemic discourse is not “normative” – should, but does not, adequately address the question of whether epistemic norms are categorical. This leads to a more general discussion of anti-realism in epistemology. (shrink)

In this paper I present an argument in favour of a parental duty to use preimplantation genetic diagnosis (PGD). I argue that if embryos created in vitro were able to decide for themselves in a rational manner, they would sometimes choose PGD as a method of selection. Couples, therefore, should respect their hypothetical choices on a principle similar to that of patient autonomy. My thesis shows that no matter which moral doctrine couples subscribe to, they ought to conduct the (...) PGD procedure in the situations when it is impossible to implant all of the created embryos and if there is a significant risk for giving birth to a child with a serious condition. (shrink)

Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

In this chapter, I will present an empirical conjecture to the effect that some bodily actions are categorically perceived. These are bodily actions such as grasping or reaching for something, which I am going to call motor actions. My conjecture builds on one recently put forward about how the categorical perception of facial expressions of some emotions works. I shall motivate my own conjecture on the basis of both theoretical and empirical considerations, describe how it could be operationalised and (...) what explanatory gain could be obtained from it. (shrink)

Both realist and anti-realist accounts of natural kinds possess prima facie virtues: realists can straightforwardly make sense of the apparent objectivity of the natural kinds, and anti-realists, their knowability. This paper formulates a properly anti-realist account designed to capture both merits. In particular, it recommends understanding natural kinds as ‘categorical bottlenecks,’ those categories that not only best serve us, with our idiosyncratic aims and cognitive capacities, but also those of a wide range of alternative agents. By endorsing an ultimately (...) subjective categorical principle, this view sidesteps epistemological difficulties facing realist views. Yet, it nevertheless identifies natural kinds that are fairly, though not completely, stance-independent or objective. (shrink)

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian principle. (...) Programming machines to do so might be useful, in their view, for applications such as future autonomous vehicles. Their proposal draws both on traditional logic-based and contemporary connectionist approaches, to fuse factual information with normative principles. I will argue that this approach makes demands of machines that go beyond what is currently feasible, and may extend past the limits of the possible for AI. I also argue that a deontological ethics for machines should place greater stress on the formula of humanity of the Kantian categorical imperative. On this principle, one ought never treat a person as a mere means. Recognition of what makes a person a person requires ethical insight. Similar insight is needed to tell treatment as a means from treatment as a mere means. The resources in Kim, Hooker, and Donaldson’s approach is insufficient for this reason. Hesitation regarding deployment of autonomous machines is warranted in light of these alignment concerns. (shrink)

Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.

In this paper, I consider an argument of Harvey Siegel's according to which there can be no hypothetical normativity anywhere unless there is categorical normativity in epistemology. The argument fails because it falsely assumes people must be bound by epistemic norms in order to have justified beliefs.

In this paper I examine the relationship between the principle of right and the principle of morals [Sitten] in Kant’s Metaphysics of Morals. My interpretation denies that the principle of right is derived from the categorical imperative, but neither does it adhere to the independence thesis. I present a third way of understanding the relationship between the law of right and the universal law of morals: the latter is needed in order to formulate the former, but it is not (...) sufficient. The principle of right is obtained by applying the categorical imperative to the concept of right. I highlight the discussion on the subject within the late eighteenth-century German natural law tradition and similar arguments found in Achenwall. (shrink)

This paper has two main aims. The first is to present a general approach for understanding “dispositional” and “categorical” properties; the second aim is to use this approach to criticize Russellian Monism. On the approach I suggest, what are usually thought of as “dispositional” and “categorical” properties are really just the extreme ends of a spectrum of options. The approach allows for a number of options between these extremes, and it is plausible, I suggest, that just about everything (...) of scientific interest falls in this middle ground. I argue that Russellian Monism depends for its plausibility on the unarticulated assumption that there are no properties in the middle ground. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

What are physical objects like when they are considered independently of their causal interactions? Many think that the answer to this question involves categorical properties– properties that make contributions to their bearers that are independent of any causal interactions those objects may enter into. In this paper, I examine two challenges that this solution poses to Physicalism. The first challenge is that, given that they are distinct from any of the scientifically described causal powers that they happen to convey, (...) categorical properties will not qualify as being ‘physical’ properties. Given the right definition of ‘physical’, this challenge can be overcome. I argue, however, that the only way we can have a positive grasp of the nature of categorical properties is via ‘acquaintance’– a non-physical relation. This second challenge to Physicalism cannot be overcome.1. (shrink)

Patient centred diagnosis is best practised through shared decision making; an iterative dialogue between doctor and patient, whichrespects a patient’s needs, values, preferences, and circumstances. -/- Shared decision making for diagnostic situations differs fundamentally from that for treatment decisions. This has important implications when considering its practical application. -/- The nature of dialogue should be tailored to the specific diagnostic decision; scenarios with higher stakes or uncertainty usually require more detailed conversations.