Infinite machines (IMs) can do supertasks. A supertask is an infinite series of operations done in some finite time. Whether or not our universe contains any IMs, they are worthy of study as upper bounds on finite machines. We introduce IMs and describe some of their physical and psychological aspects. An accelerating Turing machine (an ATM) is a Turing machine that performs every next operation twice as fast. It can carry out infinitely many operations in finite time. Many (...) ATMs can be connected together to form networks of infinitely powerful agents. A network of ATMs can also be thought of as the control system for an infinitely complex robot. We describe a robot with a dense network of ATMs for its retinas, its brain, and its motor controllers. Such a robot can perform psychological supertasks - it can perceive infinitely detailed objects in all their detail; it can formulate infinite plans; it can make infinitely precise movements. An endless hierarchy of IMs might realize a deep notion of intelligent computing everywhere. (shrink)

This essay for the inaugural issue of Technology and Language discusses the problem of finding an optimal form of human-machine communication. In the ongoing search for an alien mind, humanity seems to find it not in the infinities of space, but in its own environment. Changes in the language of human-machine interaction made it understandable not only to trained specialists but to every household. In the course of time, home appliances and devices have developed their language abilities even more and (...) reached a very advanced level – by way of status indicators, displays, emergency sound and color signals. The transition to computer-assisted communication brought about a great diversity of human expression forms translated into the discrete digital language of technologies. According to some prognoses, the first human-robot marriage might be registered in the future, however, such a union is not the only possible human-machine alliance. (shrink)

In this paper, the design and control of a hydraulic system based tire changer machine have been analyzed and simulated using Matlab/Simulink Toolbox successfully. The machine have a displacement input which is a leg pedal displacement in order to push the piston of the pump to fed the motor with a pressured hydraulic fluid to rotate the tire with an angular speed to mount and dismount it. Augmentation based H and 2 H optimal synthesis controllers have been used to improve (...) the performance of the machine. Comparison of the proposed controllers for tracking a reference input speed have been done using two reference inputs (step and random) signals. Finally the comparative simulation results proved the effectiveness of the proposed tire changer with H synthesis controller in improving the settling time and percentage overshoot. (shrink)

In this study, the design and control of a hydraulic system based tire changer machine have been analyzed and simulated using MATLAB/Simulink Toolbox successfully. The machine have a displacement input which is a leg pedal displacement in order to push the piston of the pump to fed the motor with a pressured hydraulic fluid to rotate the tire with an angular speed to mount and dismount it. Augmentation based H4 and H2 optimal synthesis controllers have been used to improve the (...) performance of the machine. Comparison of the proposed controllers for tracking a reference input speed have been done using two reference inputs (step and random) signals. Finally, the comparative simulation results proved the effectiveness of the proposed tire changer with synthesis controller in improving the settling time and percentage overshoot. (shrink)

Craig (1981) presents and defends several different kalam cosmological arguments. The core of each of these arguments is the following ur argument.

A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section I. (...) Many modifications of Turing machines cum quantum ones are researched in Section II for the Halting problem and completeness, and the model of two independent Turing machines seems to generalize them. Then, that pair can be postulated as the formal definition of reality therefore being complete unlike any of them standalone, remaining incomplete without its complementary counterpart. Representation is formal defined as a one-to-one mapping between the two Turing machines, and the set of all those mappings can be considered as “language” therefore including metaphors as mappings different than representation. Section III investigates that formal relation of “reality”, “representation”, and “language” modeled by (at least two) Turing machines. The independence of (two) Turing machines is interpreted by means of game theory and especially of the Nash equilibrium in Section IV. Choice and information as the quantity of choices are involved. That approach seems to be equivalent to that based on set theory and the concept of actual infinity in mathematics and allowing of practical implementations. (shrink)

Quantum computer is considered as a generalization of Turing machine. The bits are substituted by qubits. In turn, a "qubit" is the generalization of "bit" referring to infinite sets or series. It extends the consept of calculation from finite processes and algorithms to infinite ones, impossible as to any Turing machines (such as our computers). However, the concept of quantum computer mets all paradoxes of infinity such as Gödel's incompletness theorems (1931), etc. A philosophical reflection on how quantum (...) computer might implement the idea of "infinite calculation" is the main subject. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is like (...) many other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (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 paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of (...) Hilbert mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

In modernity, the distinction between nature and artifice disappears, so that machines made by men become privileged models for the explanation of natural bodies, as can be observed in Bacon, Descartes, Hobbes, among others. This new relationship between nature and artifice is correlated with the mechanization and refutation of finality in nature, insofar as the adoption of mechanics as a model of nature’s explanation is associated to the rejection of the use of final causes in physics and to the (...) conception that bodies are devoid of immanent principles of movement or of any incorporeal principle that predisposes them to a process of change teleologically structured and oriented. Leibniz also conceives nature as artifice and organic bodies as automata, but his conception of natural bodies as artificial machines goes even further, to the point of characterizing the natural beings as those which carry the character of artificial rather than the artificial things themselves. However, unlike Bacon, Descartes, and Hobbes, Leibniz uses the analogy of nature as a machine and deepens it precisely to argue that nature is teleologically structured and that the difference between the machines made by men and the natural (divine) ones lies in the fact that while those have a purely extrinsic finality, these have an immanent finality inscribed in each of their parts to infinity. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of (...) logic). This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

Radical democratic thinking is becoming intrigued by the material situatedness of its political agents and by the role of nonhuman participants in political interaction. At stake here is the displacement of narrow anthropocentrism that currently guides democratic theory and practice, and its repositioning into what we call ‘the nonhuman condition’. This Critical Exchange explores the nonhuman condition. It asks: What are the implications of decentering the human subject via a new materialist reading of radical democracy? Does this reading dilute political (...) agency? Or should this be seen, on the contrary, as an invitation for new voices and demands to enter into democratic assemblages? How might engagement with the more-than-human disrupt or extend theories of radical democracy? Hans Asenbaum and Amanda Machin discuss the human democratic subject both through radical democratic and new materialist lenses. They suggest that a new materialist decentred subject does not lose agency but further gains political responsibility in radical democracy. Jean-Paul Gagnon highlights the possibility of becoming through loss. In losing our anthropocentric arrogance—our understanding of being other and better than animal—we become more connected and discover our place in human-nonhuman assemblages. Melissa Orlie agrees that something can be gained through renouncing dominant human fantasies and presents a ‘radical democratic naturalism’. By renouncing land violence and acknowledging nature’s subjectivity, we can further nonexploitative radical democratic politics. This is where the notion of ‘tidalectic’ processes introduced by James L. Smith is helpful. Focusing on water and the Indigenous knowledges around rivers, he considers how democracy and community can be reimagined as plural, cyclical and attentive to the nonhuman with which the human is inevitably entangled. Diana Leong offers a different approach. Considering the nonhuman from the perspective of Black Studies demands an awareness to how blackness has long been constituted as non- or partially human. (shrink)

In this paper I present a novel supertask in a Newtonian universe that destroys and creates infinite masses and energies, showing thereby that we can have infinite indeterminism. Previous supertasks have managed only to destroy or create finite masses and energies, thereby giving cases of only finite indeterminism. In the Nothing from Infinity paradox we will see an infinitude of finite masses and an infinitude of energy disappear entirely, and do so despite the conservation of energy in all collisions. (...) I then show how this leads to the Infinity from Nothing paradox, in which we have the spontaneous eruption of infinite mass and energy out of nothing. I conclude by showing how our supertask models at least something of an old conundrum, the question of what happens when the immovable object meets the irresistible force. (shrink)

The machine conception of the organism (MCO) is one of the most pervasive notions in modern biology. However, it has not yet received much attention by philosophers of biology. The MCO has its origins in Cartesian natural philosophy, and it is based on the metaphorical redescription of the organism as a machine. In this paper I argue that although organisms and machines resemble each other in some basic respects, they are actually very different kinds of systems. I submit that (...) the most significant difference between organisms and machines is that the former are intrinsically purposive whereas the latter are extrinsically purposive. Using this distinction as a starting point, I discuss a wide range of dissimilarities between organisms and machines that collectively lay bare the inadequacy of the MCO as a general theory of living systems. To account for the MCO’s prevalence in biology, I distinguish between its theoretical, heuristic, and rhetorical functions. I explain why the MCO is valuable when it is employed heuristically but not theoretically, and finally I illustrate the serious problems that arise from the rhetorical appeal to the MCO. (shrink)

It has long been known that in the context of axiomatic second-order logic (SOL), Hume's Principle (HP) is mutually interpretable with "the universe is Dedekind infinite" (DI). I offer a more fine-grained analysis of the logical strength of HP, measured by deductive implications rather than interpretability. The main result is that HP is not deductively conservative over SOL + DI. That is, SOL + HP proves additional theorems in the language of pure second-order logic that are not provable from SOL (...) + DI alone. Arguably, then, HP is not just a pure axiom of infinity, but rather it carries additional logical content. On the other hand, I show that HP is $\Pi^1_1$ conservative over SOL + DI, and that HP is conservative over SOL + DI + "the universe is well ordered" (WO). Next, I show that SOL + HP does not prove any of the simplest and most natural versions of the axiom of choice, including WO and weaker principles. Lastly, I discuss other axioms of infinity. I show that HP does not prove the Splitting or Pairing principles (axioms of infinity stronger than DI). (shrink)

Bowin begins with an apparent paradox about Aristotelian infinity: Aristotle clearly says that infinity exists only potentially and not actually. However, Aristotle appears to say two different things about the nature of that potential existence. On the one hand, he seems to say that the potentiality is like that of a process that might occur but isn't right now. Aristotle uses the Olympics as an example: they might be occurring, but they aren't just now. On the other hand, (...) Aristotle says that infinity "exists in actuality as a process that is now occurring" (234). Bowin makes clear that Aristotle doesn't explicitly solve this problem, so we are left to work out the best reading we can. His proposed solution is that "infinity must be...a per se accident...of number and magnitude" (250). (Bryn Mawr Classical Review 2008.07.47). (shrink)

The concepts of choice, negation, and infinity are considered jointly. The link is the quantity of information interpreted as the quantity of choices measured in units of elementary choice: a bit is an elementary choice between two equally probable alternatives. “Negation” supposes a choice between it and confirmation. Thus quantity of information can be also interpreted as quantity of negations. The disjunctive choice between confirmation and negation as to infinity can be chosen or not in turn: This corresponds (...) to set-theory or intuitionist approach to the foundation of mathematics and to Peano or Heyting arithmetic. Quantum mechanics can be reformulated in terms of information introducing the concept and quantity of quantum information. A qubit can be equivalently interpreted as that generalization of “bit” where the choice is among an infinite set or series of alternatives. The complex Hilbert space can be represented as both series of qubits and value of quantum information. The complex Hilbert space is that generalization of Peano arithmetic where any natural number is substituted by a qubit. “Negation”, “choice”, and “infinity” can be inherently linked to each other both in the foundation of mathematics and quantum mechanics by the meditation of “information” and “quantum information”. (shrink)

This introduction to the roles infinity plays in metaphysics includes discussion of the nature of infinity itself; infinite space and time, both in extent and in divisibility; infinite regresses; and a list of some other topics in metaphysics where infinity plays a significant role.

Renaissance philosopher, mathematician, and theologian Nicholas of Cusa (1401-1464) said that there is no proportion between the finite mind and the infinite. He is fond of saying reason cannot fully comprehend the infinite. That our best hope for attaining a vision and understanding of infinite things is by mathematics and by the use of contemplating symbols, which help us grasp "the absolute infinite". By the late 19th century, there is a decisive intervention in mathematics and its philosophy: the philosophical mathematician (...) Georg Cantor (1845-1918) says that between the realm of the finite and the absolute infinite, there is an intermediate realm partaking in properties in a certain sense of both the finite and the infinite: the transfinite realm. Like the finite, the transfinite realm is a realm of mathematical objects, numbers, and knowledge. Like the absolute infinite, the transfinite is a form of infinity insofar as transfinite sets and numbers transcend any finite number. Echoing Cusanus and neo-Platonism, Cantor says that the transfinite sequence of all ordinals is a symbol of the absolutely infinite, that is, God. This paper considers how the doctrine of symbolism and the philosophers' different commitments to the laws of logic, especially the Law of Non-Contradiction (LNC), enables these thinkers to articulate a transcendental apophatic approach to divinity. (shrink)

Aristotle is said to have held that any kind of actual infinity is impossible. I argue that he was a finitist (or "potentialist") about _magnitude_, but not about _plurality_. He did not deny that there are, or can be, infinitely many things in actuality. If this is right, then it has implications for Aristotle's views about the metaphysics of parts and points.

In this survey, a recent computational methodology paying a special attention to the separation of mathematical objects from numeral systems involved in their representation is described. It has been introduced with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework in all the situations requiring these notions. The methodology does not contradict Cantor’s and non-standard analysis views and is based on the Euclid’s Common Notion no. 5 “The whole is greater than the (...) part” applied to all quantities (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). The methodology uses a computational device called the Infinity Computer (patented in USA and EU) working numerically (recall that traditional theories work with infinities and infinitesimals only symbolically) with infinite and infinitesimal numbers that can be written in a positional numeral system with an infinite radix. It is argued that numeral systems involved in computations limit our capabilities to compute and lead to ambiguities in theoretical assertions, as well. The introduced methodology gives the possibility to use the same numeral system for measuring infinite sets, working with divergent series, probability, fractals, optimization problems, numerical differentiation, ODEs, etc. (recall that traditionally different numerals lemniscate; Aleph zero, etc. are used in different situations related to infinity). Numerous numerical examples and theoretical illustrations are given. The accuracy of the achieved results is continuously compared with those obtained by traditional tools used to work with infinities and infinitesimals. In particular, it is shown that the new approach allows one to observe mathematical objects involved in the Hypotheses of Continuum and the Riemann zeta function with a higher accuracy than it is done by traditional tools. It is stressed that the hardness of both problems is not related to their nature but is a consequence of the weakness of traditional numeral systems used to study them. It is shown that the introduced methodology and numeral system change our perception of the mathematical objects studied in the two problems. (shrink)

The fact that real-world decisions made by artificial intelligences (AI) are often ethically loaded has led a number of authorities to advocate the development of “moral machines”. I argue that the project of building “ethics” “into” machines presupposes a flawed understanding of the nature of ethics. Drawing on the work of the Australian philosopher, Raimond Gaita, I argue that ethical dilemmas are problems for particular people and not (just) problems for everyone who faces a similar situation. Moreover, the (...) force of an ethical claim depends in part on the life history of the person who is making it. For both these reasons, machines could at best be engineered to provide a shallow simulacrum of ethics, which would have limited utility in confronting the ethical and policy dilemmas associated with AI. (shrink)

We explore the question of whether machines can infer information about our psychological traits or mental states by observing samples of our behaviour gathered from our online activities. Ongoing technical advances across a range of research communities indicate that machines are now able to access this information, but the extent to which this is possible and the consequent implications have not been well explored. We begin by highlighting the urgency of asking this question, and then explore its conceptual (...) underpinnings, in order to help emphasise the relevant issues. To answer the question, we review a large number of empirical studies, in which samples of behaviour are used to automatically infer a range of psychological constructs, including affect and emotions, aptitudes and skills, attitudes and orientations (e.g. values and sexual orientation), personality, and disorders and conditions (e.g. depression and addiction). We also present a general perspective that can bring these disparate studies together and allow us to think clearly about their philosophical and ethical implications, such as issues related to consent, privacy, and the use of persuasive technologies for controlling human behaviour. (shrink)

Prediction-based decisions, which are often made by utilizing the tools of machine learning, influence nearly all facets of modern life. Ethical concerns about this widespread practice have given rise to the field of fair machine learning and a number of fairness measures, mathematically precise definitions of fairness that purport to determine whether a given prediction-based decision system is fair. Following Reuben Binns (2017), we take ‘fairness’ in this context to be a placeholder for a variety of normative egalitarian considerations. We (...) explore a few fairness measures to suss out their egalitarian roots and evaluate them, both as formalizations of egalitarian ideas and as assertions of what fairness demands of predictive systems. We pay special attention to a recent and popular fairness measure, counterfactual fairness, which holds that a prediction about an individual is fair if it is the same in the actual world and any counterfactual world where the individual belongs to a different demographic group (cf. Kusner et al. (2018)). (shrink)

Cantor argued that absolute infinity is beyond mathematical comprehension. His arguments imply that the domain of mathematics cannot be grasped by mathematical means. We argue that this inability constitutes a foundational problem. For Cantor, however, the domain of mathematics does not belong to mathematics, but to theology. We thus discuss the theological significance of Cantor’s treatment of absolute infinity and show that it can be interpreted in terms of negative theology. Proceeding from this interpretation, we refer to the (...) recent debate on absolute generality and argue that the method of diagonalization constitutes a modern version of the vianegativa. On our reading, negative theology can evoke an attitude of humility with respect to the boundedness of the human condition. Along these lines, we think that the foundational problem of mathematics concerning its domain can be addressed through a methodological attitude of humility. (shrink)

We construct a machine that knows its own code, at the price of not knowing its own factivity.

A number of findings in the field of machine learning have given rise to questions about what it means for automated scoring- or decisionmaking systems to be fair. One center of gravity in this discussion is whether such systems ought to satisfy classification parity (which requires parity in accuracy across groups, defined by protected attributes) or calibration (which requires similar predictions to have similar meanings across groups, defined by protected attributes). Central to this discussion are impossibility results, owed to Kleinberg (...) et al. (2016), Chouldechova (2017), and Corbett-Davies et al. (2017), which show that classification parity and calibration are often incompatible. This paper aims to argue that classification parity, calibration, and a newer, interesting measure called counterfactual fairness are unsatisfactory measures of fairness, offer a general diagnosis of the failure of these measures, and sketch an alternative approach to understanding fairness in machine learning. (shrink)

I tried to describe Infinity as a major natural conundrum known to man. The booklet also contains answers to some eternal questions, such as the meaning of life, faith, etc. I am especially proud of my Morality section.

In order to determine whether current (or future) machines have a welfare that we as agents ought to take into account in our moral deliberations, we must determine which capacities give rise to interests and whether current machines have those capacities. After developing an account of moral patiency, I argue that current machines should be treated as mere machines. That is, current machines should be treated as if they lack those capacities that would give rise (...) to psychological interests. Therefore, they are moral patients only if they have non-psychological interests. I then provide an account of what I call teleo interests that constitute the most plausible type of non-psychological interest that a being might have. I then argue that even if current machines have teleo interests, they are such that agents need not concern themselves with these interests. Therefore, for all intents and purposes, current machines are not moral patients. (shrink)

A computational methodology called Grossone Infinity Computing introduced with the intention to allow one to work with infinities and infinitesimals numerically has been applied recently to a number of problems in numerical mathematics (optimization, numerical differentiation, numerical algorithms for solving ODEs, etc.). The possibility to use a specially developed computational device called the Infinity Computer (patented in USA and EU) for working with infinite and infinitesimal numbers numerically gives an additional advantage to this approach in comparison with traditional (...) methodologies studying infinities and infinitesimals only symbolically. The grossone methodology uses the Euclid’s Common Notion no. 5 ‘The whole is greater than the part’ and applies it to finite, infinite, and infinitesimal quantities and to finite and infinite sets and processes. It does not contradict Cantor’s and non-standard analysis views on infinity and can be considered as an applied development of their ideas. In this paper we consider infinite series and a particular attention is dedicated to divergent series with alternate signs. The Riemann series theorem states that conditionally convergent series can be rearranged in such a way that they either diverge or converge to an arbitrary real number. It is shown here that Riemann’s result is a consequence of the fact that symbol ∞ used traditionally does not allow us to express quantitatively the number of addends in the series, in other words, it just shows that the number of summands is infinite and does not allows us to count them. The usage of the grossone methodology allows us to see that (as it happens in the case where the number of addends is finite) rearrangements do not change the result for any sum with a fixed infinite number of summands. There are considered some traditional summation techniques such as Ramanujan summation producing results where to divergent series containing infinitely many positive integers negative results are assigned. It is shown that the careful counting of the number of addends in infinite series allows us to avoid this kind of results if grossone-based numerals are used. (shrink)

Lake et al. propose three criteria which, they argue, will bring artificial intelligence (AI) systems closer to human cognitive abilities. In this paper, we explore the application of these criteria to a particular domain of human cognition: our capacity for moral reasoning. In doing so, we explore a set of considerations relevant to the development of AI moral decision-making. Our main focus is on the relation between dual-process accounts of moral reasoning and model-free/model-based forms of machine learning. We also discuss (...) how work in embodied and situated cognition could provide a valu- able perspective on future research. (shrink)

This article critically examines one of the most prevalent metaphors in modern biology, namely the machine conception of the organism (MCO). Although the fundamental differences between organisms and machines make the MCO an inadequate metaphor for conceptualizing living systems, many biologists and philosophers continue to draw upon the MCO or tacitly accept it as the standard model of the organism. This paper analyses the specific difficulties that arise when the MCO is invoked in the study of development and evolution. (...) In developmental biology the MCO underlies a logically incoherent model of ontogeny, the genetic program, which serves to legitimate three problematic theses about development: genetic animism, neo-preformationism, and developmental computability. In evolutionary biology the MCO is responsible for grounding unwarranted theoretical appeals to the concept of design as well as to the interpretation of natural selection as an engineer, which promote a distorted understanding of the process and products of evolutionary change. Overall, it is argued that, despite its heuristic value, the MCO today is impeding rather than enabling further progress in our comprehension of living systems. (shrink)

I advance a novel interpretation of Kant's argument that our original representation of space must be intuitive, according to which the intuitive status of spatial representation is secured by its infinitary structure. I defend a conception of intuitive representation as what must be given to the mind in order to be thought at all. Discursive representation, as modelled on the specific division of a highest genus into species, cannot account for infinite complexity. Because we represent space as infinitely complex, the (...) spatial manifold cannot be generated discursively and must therefore be given to the mind, i.e. represented in intuition. (shrink)

Just as humans can draw conclusions responsibly or irresponsibly, so too can computers. Machine learning systems that have been trained on data sets that include irresponsible judgments are likely to yield irresponsible predictions as outputs. In this paper I focus on a particular kind of inference a computer system might make: identification of the intentions with which a person acted on the basis of photographic evidence. Such inferences are liable to be morally objectionable, because of a way in which they (...) are presumptuous. After elaborating this moral concern, I explore the possibility that carefully procuring the training data for image recognition systems could ensure that the systems avoid the problem. The lesson of this paper extends beyond just the particular case of image recognition systems and the challenge of responsibly identifying a person’s intentions. Reflection on this particular case demonstrates the importance (as well as the difficulty) of evaluating machine learning systems and their training data from the standpoint of moral considerations that are not encompassed by ordinary assessments of predictive accuracy. (shrink)

In light of recent breakneck pace in machine learning, questions about whether near-future artificial systems might be conscious and possess moral status are increasingly pressing. This paper argues that as matters stand these debates lack any clear criteria for resolution via the science of consciousness. Instead, insofar as they are settled at all, it is likely to be via shifts in public attitudes brought about by the increasingly close relationships between humans and AI users. Section 1 of the paper I (...) briefly lays out the current state of the science of consciousness and its limitations insofar as these pertain to machine consciousness, and claims that there are no obvious consensus frameworks to inform public opinion on AI consciousness. Section 2 examines the rise of conversational chatbots or Social AI, and argues that in many cases, these elicit strong and sincere attributions of consciousness, mentality, and moral status from users, a trend likely to become more widespread. Section 3 presents an inconsistent triad for theories that attempt to link consciousness, behaviour, and moral status, noting that the trends in Social AI systems will likely make the inconsistency of these three premises more pressing. Finally, Section 4 presents some limited suggestions for how consciousness and AI research communities should respond to the gap between expert opinion and folk judgment. (shrink)

In this paper, I reconstruct Robert Nozick's experience machine objection to hedonism about well-being. I then explain and briefly discuss the most important recent criticisms that have been made of it. Finally, I question the conventional wisdom that the experience machine, while it neatly disposes of hedonism, poses no problem for desire-based theories of well-being.

According to infinitism, all justification comes from an infinite series of reasons. Peter Klein defends infinitism as the correct solution to the regress problem by rejecting two alternative solutions: foundationalism and coherentism. I focus on Klein's argument against foundationalism, which relies on the premise that there is no justification without meta-justification. This premise is incompatible with dogmatic foundationalism as defended by Michael Huemer and Time Pryor. It does not, however, conflict with non-dogmatic foundationalism. Whereas dogmatic foundationalism rejects the need for (...) any form of meta-justification, non-dogmatic foundationalism merely rejects Laurence BonJour's claim that meta-justification must come from beliefs. Unlike its dogmatic counterpart, non-dogmatic foundationalism can allow for basic beliefs to receive meta-justification from non-doxastic sources such as experiences and memories. Construed thus, non-dogmatic foundationalism is compatible with Klein's principle that there is no justification without meta-justification. I conclude that Klein's rejection of foundationalism. fails. Nevertheless, I agree with Klein that when in response to a skeptical challenge we engage in the activity of defending our beliefs, the number of reasons we can give is at least in principle infinite. I argue that this type of infinity is benign because, when we continue to give reasons, we will eventually merely repeat previously stated reasons. Consequently, I reject Klein's claim that the more reasons we give the more we increase the justification of our beliefs. (shrink)

Hillel Steiner has recently attacked the notion of inalienable rights, basing some of his arguments on the Hohfeldian analysis to show that infinite arrays of legal positions would not be associated with any inalienable rights. This essay addresses the nature of the Hohfeldian infinity: the main argument is that what Steiner claims to be an infinite regress is actually a wholly unproblematic form of infinite recursion. First, the nature of the Hohfeldian recursion is demonstrated. It is shown that infinite (...) recursions of legal positions ensue regardless of whether inalienable rights exist or not. Second, the alleged problems that this might pose for the analysis are discussed. The conclusion is that one should not worry about the recursion as long as one understands correctly the role of the Hohfeldian analysis in normative reasoning. (shrink)

The rise of social media has created a new platform for communication and interaction, but it has also facilitated the spread of harmful behaviors such as cyberbullying. Detecting and mitigating cyberbullying on social media platforms is a critical challenge that requires advanced technological solutions. This paper presents a novel approach to cyberbullying detection using a combination of supervised machine learning (ML) and natural language processing (NLP) techniques, enhanced by optimization algorithms. The proposed system is designed to identify and classify cyberbullying (...) behavior in real-time, analyzing textual data from social media posts to detect harmful content. The model is trained on a large dataset of labeled instances of bullying and non-bullying content, using supervised ML algorithms such as Support Vector Machines (SVM), Decision Trees, and Random Forest. NLP techniques, including sentiment analysis, keyword extraction, and text vectorization, are employed to preprocess and transform the data into a format suitable for machine learning. To optimize the performance of the detection model, techniques such as Grid Search, Genetic Algorithms, and Particle Swarm Optimization are used to fine-tune hyperparameters, resulting in improved accuracy and reduced false positives. The system's effectiveness is validated through experiments conducted on various social media platforms, demonstrating its potential to detect cyberbullying with high precision. Future work will focus on enhancing the model's adaptability to emerging slang and evolving language patterns in social media. (shrink)

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their functionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adaptations, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. In particular, the (...) analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an opportunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would suggest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to implement novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engineering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engineering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (shrink)

According to the most popular theories of intentionality, a family of theories we will refer to as “functional intentionality,” a machine can have genuine intentional states so long as it has functionally characterizable mental states that are causally hooked up to the world in the right way. This paper considers a detailed description of a robot that seems to meet the conditions of functional intentionality, but which falls victim to what I call “the composition problem.” One obvious way to escape (...) the problem (arguably, the only way) is if the robot can be shown to be a moral patient – to deserve a particular moral status. If so, it isn’t clear how functional intentionality could remain plausible (something like “phenomenal intentionality” would be required). Finally, while it would have seemed that a reasonable strategy for establishing the moral status of intelligent machines would be to demonstrate that the machine possessed genuine intentionality, the composition argument suggests that the order of precedence is reversed: The machine must first be shown to possess a particular moral status before it is a candidate for having genuine intentionality. (shrink)

This study employs machine learning to predict diabetes using a Kaggle dataset with 13 features. Our three-layer model achieves an accuracy of 98.73% and an average error of 0.01%. Feature analysis identifies Age, Gender, Polyuria, Polydipsia, Visual blurring, sudden weight loss, partial paresis, delayed healing, irritability, Muscle stiffness, Alopecia, Genital thrush, Weakness, and Obesity as influential predictors. These findings have clinical significance for early diabetes risk assessment. While our research addresses gaps in the field, further work is needed to enhance (...) model generalizability. (shrink)

We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite logical (...) matrix. We show that the last logic of the chain is not finitely axiomatisable. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

The Nothing from Infinity paradox arises when the combination of two infinitudes of point particles meet in a supertask and disappear. Corral-Villate claims that my arguments for disappearance fail and concedes that this failure also produces an extreme kind of indeterminism, which I have called plenitudinous. So my supertask at least poses a dilemma of extreme indeterminism within Newtonian point particle mechanics. Plenitudinous indeterminism might be trivial, although easy attempts to prove it so seem to fail in the face (...) of plausible continuity principles. However, the question of its triviality is here moot, since I show that, except in one case, Corral-Villate’s disproofs fail, and with a correction, the original arguments are unrefuted. Consequently, of the two contenders for the outcome of my supertask, the Nothing from Infinity paradox has won out. (shrink)

(1st draft for review) -/- WARNING: -/- Reading this book comes with certain dangers to be mindful of; Please consider the following suggestions to avoid them: -/- 1: Do not try to perceive infinity; Any kind of success here leads to psychosis. 2: Do not try to resolve the paradoxes; To understand the greater truth of this book, paradoxes must be accepted as true. 3: Do not read this book if your faith is unstable and having it challenged could (...) potentially put you into existential crisis. (shrink)

In two rarely discussed passages – from unpublished notes on the Principles of Philosophy and a 1647 letter to Chanut – Descartes argues that the question of the infinite extension of space is importantly different from the infinity of time. In both passages, he is anxious to block the application of his well-known argument for the indefinite extension of space to time, in order to avoid the theologically problematic implication that the world has no beginning. Descartes concedes that we (...) always imagine an earlier time in which God might have created the world if he had wanted, but insists that this imaginary earlier existence of the world is not connected to its actual duration in the way that the indefinite extension of space is connected to the actual extension of the world. This paper considers whether Descartes’s metaphysics can sustain this asymmetrical attitude towards infinite space vs. time. I first consider Descartes’s relation to the ‘imaginary’ space/time tradition that extended from the late scholastics through Gassendi and More. I next examine carefully Descartes’s main argument for the indefinite extension of space and explain why it does not apply to time. Most crucially, since duration is merely conceptually distinct from enduring substance, the end or beginning of the world entails the end or beginning of real time. In contrast, extension does not depend on any enduring substance besides itself. (shrink)

As robots and Artificial Intelligences become more enmeshed in rich social contexts, it seems inevitable that we will have to make them into moral machines equipped with moral skills. Apart from the technical difficulties of how we could achieve this goal, we can also ask the ethical question of whether we should seek to create such Artificial Moral Agents (AMAs). Recently, several papers have argued that we have strong reasons not to develop AMAs. In response, we develop a comprehensive (...) analysis of the relevant arguments for and against creating AMAs, and we argue that all things considered we have strong reasons to continue to responsibly develop AMAs. The key contributions of this paper are threefold. First, to provide the first comprehensive response to the important arguments made against AMAs by Wynsberghe and Robbins (in “Critiquing the Reasons for Making Artificial Moral Agents”, Science and Engineering Ethics 25, 2019) and to introduce several novel lines of argument in the process. Second, to collate and thematise for the first time the key arguments for and against AMAs in a single paper. Third, to recast the debate away from blanket arguments for or against AMAs in general, to a more nuanced discussion about the use of what sort of AMAs, in what sort of contexts, and for what sort of purposes is morally appropriate. (shrink)

Table of Contents Foreword .................................................................................................... ......................................... xiv Preface .................................................................................................... .............................................. xv Acknowledgment .................................................................................................... .......................... xxiii Section 1 On the Cusp: Critical Appraisals of a Growing Dependency on Intelligent Machines Chapter 1 Algorithms versus Hive Minds and the Fate of Democracy ................................................................... 1 Rick Searle, IEET, USA Chapter 2 We Can Make Anything: Should We? .................................................................................................. 15 Chris Bateman, University of Bolton, UK Chapter 3 Grounding Machine Ethics within the Natural System ........................................................................ 30 Jared Gassen, JMG Advising, USA Nak Young Seong, Independent Scholar, (...) South Korea Section 2 From the Outside In: Intelligent Machine Technologies as a Window on Human Morality both as Evolved and as Evident in Internet Discourse, Today Chapter 4 The Emergence of Arti cial Autonomy: A View from the Foothills of a Challenging Climb ............. 51 Fernando da Costa Cardoso, Universidade Nova de Lisboa, Portugal Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal Chapter 5 Semantic Analysis of Bloggers Experiences as a Knowledge Source of Average Human Morality .... 73 Rafal Rzepka, Hokkaido University, Japan Kenji Araki, Hokkaido University, Japan Section 3 From the Inside Out: The Ethics of Human Enhancement from Moral Perception to Competition in the Workplace Chapter 6 Machine Ethics Interfaces: An Ethics of Perception of Nanocognition ............................................... 97 Melanie Swan, Kingston University, UK Chapter 7 Ethical Concerns in Human Enhancement: Advantages in Corporate/Organizational Settings ......... 124 Ben Tran, Alliant International University, USA Section 4 From Far to Near and Near to Far: The Ethics of Distancing Technologies in Education and Warfare Chapter 8 Responsibility and War Machines: Toward a Forward-Looking and Functional Account ................. 152 Jai Galliott, Macquarie University, Australia Chapter 9 Ethical Responsibilities of Preserving Academicians in an Age of Mechanized Learning: Balancing the Demands of Educating at Capacity and Preserving Human Interactivity ................... 166 James E. Willis III, Indiana University, USA Viktoria Alane Strunk, Independent Scholar, USA Section 5 Wrapping Things Up, then Unwrapping Them Again: Integral Visions of Morality in a Technological World, Over Evolutionary Time, with Revolutionary Means, and with Open Questions about the Final Purpose of It All Chapter 10 Bridging Two Realms of Machine Ethics ........................................................................................... 197 Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal Ari Saptawijaya, Universidade Nova de Lisboa, Portugal & Universitas Indonesia, Indonesia Chapter 11 Robots in Warfare and the Occultation of the Existential Nature of Violence ................................... 225 Rick Searle, IEET, USA Chapter 12 Self-Referential Complex Systems and Aristotle’s Four Causes ........................................................ 239 Aleksandar Malecic, University of Nis, Serbia Related References .................................................................................................... ........................ 261 Compilation of References .................................................................................................... ........... 292 About the Contributors .................................................................................................... ................ 325 Index .................................................................................................... ............................................... 329 . (shrink)