We present a colorful and novel discussion of mathematical techniques of visualizing a fourth spatial dimension. We first discuss notions of dimensionality including the homotopy dimension for objects in an (infinity,1)-topos. We try to visualize the fourth spatial dimension using color, and illustrate this with four-dimensional ice-cream. We apply categorical negative thinking to what we have called (infinity,1)-visual epistemology. The aim is that visualizations of higher spatial dimensions can occur functorially. We illustrate with five images five conjectural methods for how (...) to visualize the fourth spatial dimension. (shrink)

This chapter presents an overview of the life, work, and philosophical contributions of Śāntarakṣita (c. 725–788), who is known for his synthesis of Nāgārjuna’s Madhyamaka with elements of the Dignāga-Dharmakīrti tradition of logic and epistemology. His two most important independent treatises, the Compendium of True Principles (Tattvasaṃgraha) and the Ornament of the Middle Way (Madhyamakālaṃkāra), are characterized by an emphasis on the indispensable role of rational analysis on the Buddhist path as well as serious and systematic engagement with competing Buddhist (...) and non-Buddhist schools of thought. Śāntarakṣita employs a pedagogical-rhetorical device of provisionally adopting what he deems to be successively more rational views to reject less rational ones. Using this approach, in the Ornament of the Middle Way, he recommends a gradual path to arrive at an understanding of the Madhyamaka ultimate truth by incorporating Yogācāra idealist ontology into his presentation of conventional truth. In this same text, he presents an influential iteration of the neither-one-nor-many argument for the Madhyamaka ultimate truth, the emptiness of intrinsic nature—i.e., the universal negation of ontologically independent being—leaving a lasting and significant impact on both Indian and Tibetan Madhyamaka Buddhist philosophy. (shrink)

According to Madhyamaka Buddhist philosophers, everything depends for its existence on something else. But what would a world devoid of fundamentalia look like? In this paper, I argue that the anti-foundationalist “neither-one-nor-many argument” of the Indian Mādhyamika Śrīgupta commits him to a position I call “metaphysical indefinitism.” I demonstrate how this view follows from Śrīgupta’s rejection of mereological simples and ontologically independent being, when understood in light of his account of conventional reality. Contra recent claims in the secondary literature, I (...) clarify how the Madhyamaka metaphysical dependence structure is not a straightforward infinitism since it does not honor strict asymmetry or transitivity. Instead, its dependence relations are irreflexive and extendable, admitting of dependence chains of indefinite (though not actually infinite) length and dependence loops of non-zero length. Yet, the flexible ontology of Śrīgupta's Madhyamaka can accommodate a contextualist account of asymmetry and support a revisable theory of conventional truth, delivering significant payoffs for the view, including the capacity to accommodate developments in scientific explanation. (shrink)

Recently, bioethicists and the UNCRPD have advocated for supported medical decision-making on behalf of patients with intellectual disabilities. But what does supported decision-making really entail? One compelling framework is Anita Silvers and Leslie Francis’ mental prosthesis account, which envisions supported decision-making as a process in which trustees act as mere appendages for the patient’s will; the trustee provides the cognitive tools the patient requires to realize her conception of her own good. We argue that supported decision-making would be better understood (...) as a collaborative process, giving patients with intellectual disabilities the opportunity to make decisions in a respectful relationship with trusted others. We offer an alternative account of supported decision-making where the primary constraint is to protect the patient from domination by the trustee. This is advantageous in its preservation of the prospects for genuine collaboration, for the mental prosthesis approach ultimately reinforces a problematic ideal of isolated patient self-determination. (shrink)

Dharmakīrti’s (c. seventh century) Examination of Relations (Sambandhaparīkṣā) is unique in the Indian Buddhist canon for its being the only extant root text devoted entirely to the topic of the ontological status of relations. But the core thesis of this treatise—that relations are only nominally real—is in prima facie tension with another claim that is central to Dharmakīrti’s epistemology: that there exists some kind of “natural relation” (svabhāvapratibandha) that reliably underwrites inferences. Understanding how Dharmakīrti can consistently rely on natural relations (...) to prop up his presentation of inferential reasoning while at the same time advancing an anti-realist account of relations is critical for making sense of his system of logic and epistemology, which came to be nearly universally adopted in Tibetan Buddhism cutting across traditions. Chomden Rikpé Reldri (1227–1305), who was perhaps the most prolific commentator on logic and epistemology in the history of Tibetan philosophy, composed two texts commenting on the Examination of Relations, neither of which have received any scholarly attention to date. In this paper, I provide an introduction to Chomden Reldri’s two commentaries and consider how they may illuminate Dharmakīrti’s text and also what they reveal about the understanding of Dharmakīrti’s account of relations in early Tibetan scholasticism. I then present a translation of Dharmakīrti’s Examination of Relations together with Chomden Reldri’s commentary, Annotations and Topical Outline of the Examination of Relations (’Brel pa brtag pa’i mchan dang sa bcad gnyis). (shrink)

Making decisions with an, often significant, element of risk seems to be an integral part of many of the projects of the diverse profession of engineering. Whether it be decisions about the design of products, manufacturing processes, public works, or developing technological solutions to environmental, social and global problems, risk taking seems inherent to the profession. Despite this, little attention has been paid to the topic and specifically to how our understanding of engineering as a distinctive profession might affect how (...) we should make decisions under risk. This paper seeks to remedy this, firstly by offering a nuanced account of risk and then by considering how specific claims about our understanding of engineering as a social profession, with corresponding social values and obligations, should inform how we make decisions about risk in this context. (shrink)

Longchen Rabjampa (1308–64), scholar of the Tibetan Buddhist Nyingma tradition, presents a novel doxographical taxonomy of the so-called Svātantrika branch of Madhyamaka Buddhist philosophy, designating the Indian Mādhyamika Śrīgupta (c. 7th/8th century) as the exemplar of a Svātantrika sub-school which maintains that appearance and emptiness are metaphysically distinct. This paper compares Longchenpa’s characterization of this “distinct-appearance-and-emptiness” view with Śrīgupta’s own account of the two truths. I expose a significant disconnect between Longchenpa’s Śrīgupta and Śrīgupta himself and argue that the impetus (...) for Longchenpa’s doxographical innovation originates not in Buddhist India, but within his own Tibetan intellectual milieu, tracing back to his twelfth-century Sangpu Monastery predecessors, Gyamarwa and Chapa. (shrink)

A comprehensive review of diamonds, in the sense of Scholze, is presented. The diamond formulations of the Fargues-Fontaine curve and Bun_G are stated. Principal results centered on the diamond formalism in the global Langlands correspondence and the geometrization of the local Langlands correspondence are given. We conclude with a discussion of future geometrizations, and conjecture a diamond reformulation of quantum computational complexity towards a diamond ER = EPR.

The U.S. Supreme Court's majority opinion in Vacco v. Quill assumes that the principle of double effect explains the permissibility of hastening death in the context of ordinary palliative care and in extraordinary cases in which painkilling drugs have failed to relieve especially intractable suffering and terminal sedation has been adopted as a last resort. The traditional doctrine of double effect, understood as providing a prohibition on instrumental harming as opposed to incidental harming or harming asa side effect, must be (...) distinguished from other ways in which the claim that a result is notintended might be offered as part of ajustification for it. Although double effectmight appropriately be invoked as a constrainton ordinary palliative care, it is not clearthat it can be coherently extended to justifysuch practices as terminal sedation. A betterapproach would reconsider double effect'straditional prohibition on hastening death as ameans to relieve suffering in the context ofacute palliative care. (shrink)

Although ethics is an essential component of undergraduate medical education, research suggests current medical ethics curricula face considerable challenges in improving students’ ethical reasoning. This paper discusses these challenges and introduces a promising new mode of graduate and professional ethics instruction for overcoming them. We begin by describing common ethics curricula, focusing in particular on established problems with current approaches. Next, we describe a novel method of ethics education and assessment for medical students that we have devised, the Medical Ethics (...) Bowl. Finally, we suggest pedagogical advantages to MEBs when compared to other ethics curricula. (shrink)

Most medical research and a substantial amount of non-medical research, especially that involving human participants, is governed by some kind of research ethics committee (REC) following the recommendations of the Declaration of Helsinki for the protection of human participants. The role of RECs is usually seen as twofold: firstly, to make some kind of calculation of the risks and benefits of the proposed research, and secondly, to ensure that participants give informed consent. The extent to which the role of the (...) REC includes the former is not uncontroversial. Indeed, the most prevalent debate on the role of RECs sees liberals and strong paternalists arguing over the importance of informed consent given by competent agents versus the significance of making benevolent decisions on behalf of others. On the one hand, liberals argue for the rights of competent adults to decide for themselves the kinds and extents of risks to which they wish to expose themselves. On the other hand, proponents of strong paternalism raise concerns about the likelihood of participants being able to truly understand the complex data involved in research. They support a role for RECs in which they exercise duties of benevolence towards patients and participants by limiting the extent to which they can be exposed to significant, permanent and irreversible harms. In this paper, we will argue that when it comes to decisions about risk it is neither possible nor desirable for RECs to adopt either role. (shrink)

We investigate the idea of sleep as the protostate, and posit the idea of dark consciousness where dark is a 2-fold hybrid. We model dark consciousness as a 2-topos in p-adic time, and outline perfectoid and diamond-like versions. We then introduce and illustrate implications of Dark Imaginarium, which is a higher order Curiosity Artificial Intelligence, an Infinity-Curiosity Type, that thinks in infinity categories.

Schopenhauer’s pessimistic philosophy is a depressing read. He writes many pages about how suffering is the norm, and any happiness we feel is merely a temporary alleviation of suffering. Even so, his account of suffering rings true to many readers. What are we to do with our lives if Schopenhauer is right, and we are doomed to suffer? In this paper, I use William James’ pragmatic method to find practical implications of Schopenhauer’s pessimism. I provide a model for how we (...) are to live our lives in a suffering world, a model that provides means to reduce suffering. (shrink)

Motivated by Scholze and Fargues' geometrization of the local Langlands correspondence using perfectoid diamonds and Clausen and Scholze's work on the K-theory of adic spaces using condensed mathematics, we introduce the Efimov K-theory of diamonds. We propose a pro-diamond, a large stable (infinity,1)-category of diamonds D^{diamond}, diamond spectra and chromatic tower, and a localization sequence for diamond spectra.

There’s a common line of reasoning which supposes that the phenomenal unity of conscious experience is grounded in a mind-like simple subject. To the contrary, Mādhyamika Buddhist philosophers like Śrīgupta (seventh–eighth century) argue that any kind of mental simple is incoherent and thus metaphysically impossible. Lacking any unifying principle, the phenomenal unity of conscious experience is instead an unfounded illusion. In this paper, I present an analysis of Śrīgupta’s "neither-one-nor-many argument" against mental simples and show how his line of reasoning (...) is driven by a set of implicit questions concerning the nature of and relation between consciousness and its intentional object. These questions not only set the agenda for centuries of intra-Buddhist debate on the topic, but they are also questions to which any defender of unified consciousness or a simple subject of experience arguably owes responses. (shrink)

The contents of our conscious mind can seem unpredictable, whimsical, and free from external control. When instructed to attend to a stimulus in a work setting, for example, one might find oneself thinking about household chores. Conscious content thus appears different in nature from reflex action. Under the appropriate conditions, reflexes occur predictably, reliably, and via external control. Despite these intuitions, theorists have proposed that, under certain conditions, conscious content resembles reflexes and arises reliably via external control. We introduce the (...) Reflexive Imagery Task, a paradigm in which, as a function of external control, conscious content is triggered reliably and unintentionally: When instructed to not subvocalize the name of a stimulus object, participants reliably failed to suppress the set-related imagery. This stimulus-elicited content is considered ‘high-level’ content and, in terms of stages of processing, occurs late in the processing stream. We discuss the implications of this paradigm for consciousness research. (shrink)

According to a dominant view of stigma, a person is stigmatized within a community if sufficiently many people within that community hold a bad view of her. I call this the 'Bad View Model'. In this paper, I argue against the Bad View Model on the grounds that such beliefs are neither necessary nor sufficient for stigma, and that the account cannot explain the distinctive phenomenology of stigma, including certain vulnerabilities to shame. I then develop an alternative that explains these (...) features of stigma, which I call the 'Shaming Model'. On this view, a person is stigmatized within a community if she is shamed by members of that community, and this is explained by their belief that she has deviated from some social norm and/or standard. (shrink)

We present colorful illustrations of particular properties of functorial diamonds, in the sense of Scholze; namely profinite reflections as categorical colors.We discuss sight as site using representable functors in the condensed formalism. We illuminate diamonds using our novel constructions of categorical Ozma and Cinderella, the site of Oz, and condensed Through the Looking-Glass.

Canonical defenders of the principle of sufficient reason (PSR), such as Leibniz and Spinoza, are metaphysical foundationalists of one stripe or another. This is curious since the PSR—which says that everything has a ground, cause, or explanation—in effect, denies fundamental entities. In this paper, I explore the apparent inconsistency between metaphysical foundationalism and approaches to metaphysical system building that are driven by a commitment to the PSR. I do so by analyzing how Indian Buddhist philosophers arrive at foundationalist and anti-foundationalist (...) positions motivated by implicit commitments to different versions of the PSR. I begin by introducing the Buddhist principle of dependent origination (pratītyasamutpāda) as a proto-PSR that is restricted to causal explanation. Next, I show how Vasubandhu’s Sautrāntika Abhidharma metaphysics is shaped by a qualified commitment to both causal and metaphysical grounding versions of the PSR. I then reveal how Nāgārjuna’s Madhyamaka metaphysics is driven by an unrestricted and exceptionless commitment to causal and metaphysical grounding versions of the PSR. Finally, I consider how Nāgārjuna’s account may put him in a unique position to respond to a common contemporary objection to the PSR from necessitarianism. I conclude by addressing a competing interpretation on which Nāgārjuna is best understood as an anti-rationalist rather than an uber-rationalist, as I characterize him. (shrink)

Mathematics has a long track record of refining the concepts by which we make sense of the world. For example, mathematics allows one to speak about different senses of "sameness", depending on the larger context. Phenomenology is the name of a philosophical discipline that tries to systematically investigate the first-personal perspective on reality and how it is constituted. Together, mathematics and phenomenology seem to be a good fit to derive statements about our experience that are, at the same time, well-defined, (...) precise, and significant to our inner lives. However, there are difficulties stemming from the fact that phenomenology deals with inherently subjective things. Phenomenological investigations seem to lose their appeal when trying to approach them in the clear-cut way afforded by mathematics. How to overcome this obstacle? We argue that the Arts play a special role in mediating between the precise statements of mathematics and the sometimes fuzzy nature of our experience. Mathematics and art are complementary ways to come to a comprehensive understanding of reality. (shrink)

We develop an approach to temporal logic that replaces the traditional objective, agent- and event-independent notion of time with a constructive, event-dependent notion of time. We show how to make this event-dependent time entropic and hence well-defined. We use sheaf-theoretic techniques to render event-dependent time functorial and to construct memories as sequences of observed and constructed events with well-defined limits that maximize the consistency of categorizations assigned to objects appearing in memories. We then develop a condensed formalism that represents memories (...) as pure constructs from single events. We formulate an empirical hypothesis that human episodic memory implements a particular constructive functor. (shrink)

Some philosophers argue that we should be suspicious about shame. For example, Nussbaum endorses the view that shame is a largely irrational or unreasonable emotion rooted in infantile narcissism. This claim has also been used to support the view that we should largely abandon shaming as a social activity. If we are worried about the emotion of shame, so the thought goes, we should also worry about acts which encourage shame. I argue that this line of reasoning does not license (...) the leap from the critique of shame to the critique of shaming. This is because shaming does not always aim to inflict shame on its targets. Many acts of shaming (which I label ‘performative shaming’) should simply be understood as aiming to serve their characteristic function of shoring up social norms and standards. (shrink)

If episodic memory is constructive, experienced time is also a construct. We develop an event-based formalism that replaces the traditional objective, agent-independent notion of time with a constructive, agent-dependent notion of time. We show how to make this agent-dependent time entropic and hence well-defined. We use sheaf-theoretic techniques to render agent-dependent time functorial and to construct episodic memories as sequences of observed and constructed events with well-defined limits that maximize the consistency of categorizations assigned to objects appearing in memories. We (...) then develop a condensed formalism that represents episodic memories as pure constructs from single events. We formulate an empirical hypothesis that human episodic memory implements a particular time-symmetric constructive functor, and discuss possible experimental tests. (shrink)

Many of us share a strong intuition that fictional literature possesses cognitive value in the sense that it has the capacity to expand and/or clarify our knowledge or understanding of the world. If we agree that we learn something when we read and discuss certain texts, we may nevertheless find the form this learning takes to be anything but obvious.

How should we interpret the popular objection that stigmatised subjects are not treated as individuals? The Eidelson View claims that stigma, because of its connection to stereotypes, violates an instance of the general requirement to respect autonomy. The Self-Presentation View claims that stigma inhibits the functioning of certain morally important capacities, notably the capacity for self-presentation. I argue that even if we are right to think that stigma violates a requirement to respect autonomy, this is insufficient to account for the (...) full weight of the charge that stigmatised subjects are not treated as individuals. We need the Self-Presentation View to explain a special threat to agency. I then address the worry that focusing on a concern with being treated as individuals opens the door to the suggestion that treating as superior can be just as morally troubling as stigma. This objection is fatal for the Eidelson View. But the Self-Presentation View has a number of resources for deflating the worry. We should not exclude the possibility of a moral symmetry between some cases of stigma and some cases of treating as superior. Rather, we should provide a nuanced account of the circumstances in which either phenomenon is detrimental for self-presentation. (shrink)

In this paper, we propose a mathematical model of subjective experience in terms of classes of hierarchical geometries of representations (“n-awareness”). We first outline a general framework by recalling concepts from higher category theory, homotopy theory, and the theory of (infinity,1)-topoi. We then state three conjectures that enrich this framework. We first propose that the (infinity,1)-category of a geometric structure known as perfectoid diamond is an (infinity,1)-topos. In order to construct a topology on the (infinity,1)-category of diamonds we then propose (...) that topological localization, in the sense of Grothendieck-Rezk-Lurie (infinity,1)-topoi, extends to the (infinity,1)-category of diamonds. We provide a small-scale model using triangulated categories. Finally, our meta-model takes the form of Efimov K-theory of the (infinity,1)-category of perfectoid diamonds, which illustrates structural equivalences between the category of diamonds and subjective experience (i.e.its privacy, self-containedness, and self-reflexivity). Based on this, we investigate implications of the model. We posit a grammar (“n-declension”) for a novel language to express n-awareness, accompanied by a new temporal scheme (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? We also examine the notion of “self” within our framework. A new model of personal identity is introduced which resembles a categorical version of the “bundle theory”: selves are not substances in which properties inhere but (weakly) persistent moduli spaces in the K-theory of perfectoid diamonds. (shrink)

We construct a mathematization of Derridian "arche-writing" and Deleuzian "haecceity." We posit an infinity-categorification of exigency (infinity-exigency), a higher-dimensional visual epistemology (infinity-visual epistemology), and infinity-stack Wittgenstein ladder. We reframe haecceities in terms of diamonds, in the sense of Scholze, and mathematize the haecceity-and-arche-writing reflection as a pro-diamond. As an exercise in infinity-visual epistemology, we validate a diamond infinity-stack time signature and infinity-stack harmony.

We construct a mathematization of Derridian "arche-writing" and Deleuzian "haecceity." We posit an infinity-categorification of exigency (infinity-exigency), a higher-dimensional visual epistemology (infinity-visual epistemology), and infinity-stack Wittgenstein ladder. We reframe haecceities in terms of diamonds, in the sense of Scholze, and mathematize the haecceity-and-arche-writing reflection as a pro-diamond. As an exercise in infinity-visual epistemology, we validate a diamond infinity-stack time signature and infinity-stack harmony.

"I would like to address the nature of transgression and its logic or itinerary in Sade's work. If this task is somewhat speculative and incomplete, it perhaps mirrors the foundational incompleteness of the more than sixteen extant volumes of Sade's writings. For a more exhaustive, if not definitive, resolution of the very issue of transgression, the analysis would have to continue the debate between Derrida and Foucault over the validity of Bataille's celebrated account of transgression, which in turn draws upon (...) the earlier work of Roger Caillois." (opening paragraph of the article). (shrink)

Jan Westerhoff defends an account of thoroughgoing non-foundationalism that he calls “irrealism,” which is implicitly modeled on a Madhyamaka Buddhist view. In this paper, I begin by raising worries about the irrealist’s account of human cognition as taking place in a brain-based representational interface. Next, I pose first-order and higher-order challenges to how the irrealist—who defends a kind of global error theory—can sensibly accommodate an unlocalized appearance-reality distinction, both metaphysically and epistemologically. Finally, although Westerhoff insists that irrealism itself is not (...) an ontological theory and that the irrealist’s rejection of absolutely general quantification precludes his commitment to any ultimately true theories, I propose strategies inspired by the Svātantrika commentarial tradition of Madhyamaka for how the irrealist might develop a lightweight account of unrestricted quantification that could be used to advance a lightweight ultimately true theory. This, I suggest, may allow the irrealist to (i) preserve a commitment to an unlocalized appearance-reality distinction, (ii) underwrite a distinction between ordinary veridical states and metaphysically accurate epistemic states, and (iii) provide an explanation for the massive error that he claims characterizes ordinary cognition. (shrink)

We propose a quantum curiosity algorithm as a means to implement quantum thinking into AI, and we illustrate 5 new quantum curiosity types. We then introduce 6 new hybrid quantum curiosity types combining animal and plant curiosity elements with biomimicry beyond human sensing. We then introduce 4 specialized quantum curiosity types, which incorporate quantum thinking into coding frameworks to radically transform problem-solving and discovery in science, medicine, and systems analysis. We conclude with a forecasting of the future of quantum thinking (...) in AI and illustrate an example of how to apply the new curiosity types: General Collaborative Networks. (shrink)

We propose Qurio, which is our new model of pedagogy incorporating the principles of quantum mechanics with a curiosity AI called Curio AI equipped with a meta-curiosity algorithm. Curio has a curiosity profile that is in a quantum superposition of every possible curiosity type. We describe the ethos and tenets of Qurio, which we claim can create an environment supporting neuroplasticity that cultivates curiosity powered by tools that exhibit their own curiosity. We give examples of how to incorporate non-locality, complementarity, (...) and quantum lateral thinking into epistemology. We then futurecast the epistemology of curiosity and quantum pedagogy by way of curiosity’s event horizon. (shrink)

We recently presented our Efimov K-theory of Diamonds, proposing a pro-diamond, a large stable (∞,1)-category of diamonds (D^{diamond}), and a localization sequence for diamond spectra. Commensurate with the localization sequence, we now detail four potential applications of the Efimov K-theory of D^{diamond}: emergent time as a pro-emergence (v-stack time) in a diamond holographic principle using Scholze’s six operations in the ’etale cohomology of diamonds; a pro-Generative Adversarial Network and v-stack perceptron; D^{diamond}cryptography; and diamond nonlocality in perfectoid quantum physics.

In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness (“n-awareness”). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness by appealing to the (...) mathematical formalism of higher category theory. The beauty of higher category theory lies in its universality. Pluralism is categorical. In particular, we model awareness using the theories of derived categories and (infinity, 1)-topoi which will give rise to our meta-language. We then posit a “grammar” (“n-declension”) which could express n-awareness, accompanied by a new temporal ontology (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? Another question which could be re-conceptualized in our model is one of soteriology related to this pluralism: what is a self in this context? A new model of “personal identity over time” is thus introduced. (shrink)

Commensurate with our work on dark consciousness, we present a small extension of our previous formalism to model the mixed-frequency states as time crystals. We then posit shared intelligence as an Everettian phone, which is a looking-glass p-adic periodicity in time.

The cognitive sciences tell us that the self is a construct. The visual arts illustrate this fact. Mathematics give it full expression, abstracting the self to a Grothendieck site. This self is a haecceity, an ephemeral this-ness and now-ness. We make up our minds and our histories. That our acts are public, that they communicate effectively, becomes a dialetheic paradox, a deep paradox for our times.

A concise review of skeptician in the Carterian model with a discussion of the reframing of the Cartesian paradigm by John McDowell in the 20th century.

This paper aims to provide a roadmap to AI governance. In contrast to the reigning paradigms, we argue that AI governance should not be merely a reactive, punitive, status-quo-defending enterprise, but rather the expression of an expansive, proactive vision for technology—to advance human flourishing. Advancing human flourishing in turn requires democratic/political stability and economic empowerment. Our overarching point is that answering questions of how we should govern this emerging technology is a chance not merely to categorize and manage narrow risk (...) but also to construe the risks and opportunities much more broadly, and to make correspondingly large investments in public goods, personnel, and democracy itself. To lay out this vision, we take four steps. First, we define some central concepts in the field, disambiguating between forms of technological harms and risks. Second, we review normative frameworks governing emerging technology that are currently in use around the globe. Third, we outline an alternative normative framework based in power-sharing liberalism. Fourth, we walk through a series of governance tasks that ought to be accomplished by any policy framework guided by our model of power-sharing liberalism. We follow these with proposals for implementation vehicles. (shrink)

Critical Notice of Kant's Transcendental Deduction, by Henry Allison. Oxford: Oxford University Press, 2015. Pp. Xv + 477.

It is difficult to overstate the importance of freedom in Kant's critical philosophy, and there are few scholars whose expertise on this subject could rival Henry E. Allison's. In this magisterial commentary, Allison meticulously chronicles the development of Kant's theory of freedom from his earliest pre-critical works all the way through the Metaphysics of Morals. Great care is taken to explain how and why Kant's views changed over time, and Allison provides compelling, sympathetic interpretations at every turn. (...) The first four chapters deal with Kant's pre-critical writings and his lectures on metaphysics and ethics from the 1760s. The general narrative here is likely to be a familiar one for the target audience... (shrink)

Kant’s Antinomy of Teleological Judgment is unique in offering two pairs of oppositions, one of regulative maxims, and the other of constitutive principles. Here I defend a traditional interpretation of the antinomy— as proposed, for example, by Stadler (1874), Adickes (1925), and Cassirer (1921)—that the antinomy consists in an opposition between constitutive principles, and is resolved by pointing out their legitimate status as merely regulative maxims. I argue against recent interpretations—for example, in McLaughlin (1990), Allison (1991), and Watkins (2009)—which (...) treat the regulative pair as itself antinomial. I then address several textual worries having to do with reconciling the traditional interpretation within the overall structure of the Dialectic of Teleological Judgment that have led these scholars to espouse the new view. Throughout the paper, I emphasize hitherto neglected parallels with Kant’s treatment of the antinomy of taste, which sheds light on understanding the antinomy of teleology. (shrink)

This paper offers a new interpretation of Kant's relationship with skepticism in the Groundwork for the Metaphysics of Morals. My position differs from commonly held views in the literature in two ways. On the one hand, I argue that Kant's relationship with skepticism is active and systematic (contrary to Hill, Wood, Rawls, Timmermann, and Allison). On the other hand, I argue that the kind of skepticism Kant is interested in does not speak to the philosophical tradition in any straightforward (...) sense (contrary to Forster and Guyer). On my reading, Kant takes up a skeptical method in the Groundwork as a way of exposing certain obstacles in our ordinary and philosophical thinking about morality. The central obstacle he is interested in is practical in character, arising from a natural tendency we have to rationalize against the moral law. In attempting to resolve this tendency, I argue, the Groundwork turns out to have a profoundly educative task. (shrink)

Almost any mainstream reading about the nature of Kant's 'content of cognition' in both non-conceptualist and conceptualist camps agree that 'singular representations' (sensible intuitions) are, at least in some weak sense, objectdependent because they supervene on a manifold of sensations that are given through the disposition of our sensibility and parallel thus the real and physical components of the world (cf. McDowell 1996, Allison 1983, Ginsborg 2008, Allais 2009). The relevant class of sensible intuitions should refer, as they argue, (...) only to empirical and not to pure ones. Kant's transcendental argument creates, however, no implications as to the metaphysics of properties. Neither does he consider the world to be consisted of sensory content simpliciter nor do sensations refer to objects per se. Instead, he provides an all-encompassing pattern for sensible intuitions of any kind through the representation of space as a cognitive map in that an object can be represented if spatial properties are attributed to it. Sensible intuitions of any kind could be referring, that is to say, and can be conceptualized if they are spatial. Consequently and unlike the contemporary philosophy of perception, Kant contrasts sensible intuitions and pure concepts of understanding 'altogether' against one single experience, from which the justification of objects should proceed. In other words, what stands at the core of exposing the content of cognition concerns not the phenomenological status and actuality of sensible intuitions in the sense of 'bits of experiential intake', but the logical structure of possibility of sensible intuitions of any (external or internal) causal background. The aim of this discussion is to clarify that Kant's transcendental idealism mutatis mutandis reviews multiple and diverse kinds of 'data of mind' and cognition in the background, without reducing the content of cognition to metaphysically determined referents as 'matters of fact' and to pure concepts of understanding. Sensible intuitions in the sense of content of cognition vary, most importantly, from unstructured and unjustifiable data of mind including (physical) contents of perception and stuff of mind and also from reflective and intellectual intuitions that are the cognates of the structured complex singular representations. Put it in simple terms, Kant advocates the thesis that 'facts' are objects for concepts if they are already well-founded trough the cognitive map of the representation of space. -/- . (shrink)

Spinoza’s conatus doctrine, the main proposition of which claims, “[e]ach thing, to the extent it is in itself, strives [conatur] to persevere in its being” (E3p6), has been the subject of growing interest. This is understandable, for Spinoza’s psychology and ethics are based on this doctrine. In my paper I shall examine the way Spinoza argues for E3p6 in its demonstration which runs as follows: "For singular things are modes by which God’s attributes are expressed in a certain and determinate (...) way (by 1p25c), i.e. (by 1p34), things that express, in a certain and determinate way, God’s power, by which God is and acts. And no thing has anything in itself by which it can be destroyed, or which takes its existence away (by p4). On the contrary, it is opposed to everything which can take its existence away (by p5). Therefore, to the extent it can, and is in itself, it strives to persevere in its being." This argument has been severely criticized for being defective in many ways. E3p6d contains four items, E1p25c, 1p34, 3p4, and 3p5. Most often, only the two last mentioned are regarded as doing any real work in the demonstration. However, I shall argue that having a proper grasp of Spinoza’s concept of power enables us see that the demonstration’s beginning, built on E1p25c and 1p34, brings forth a certain dynamic framework in which finite things are centers of causal power, capable of producing effects in virtue of their essences. My examination of this framework shows the beginning of the demonstration to be irreplaceable: in the end, conatus is one form of power, and E1p25c and 1p34 not only bring the notion of power into play, but also inform us on how finite things’ power should be understood in the monistic system. So, I disagree with such commentators as Jonathan Bennett, Edwin Curley, Daniel Garber, Michael Della Rocca, and Richard Manning, who see Spinoza as trying to derive the conatus doctrine from E3p4 and 3p5 alone; and I agree with Alexandre Matheron, Henry Allison, and Martin Lin, who stress the importance of E1p25c and 1p34. -/- However, this still leaves us the task of reconstructing the whole derivation and showing how its various ingredients fit together. If E1p25c and 1p34 are so important, could E3p6 not be derived from them alone, as Martin Lin has argued? In other words, why are E3p4 and 3p5 needed at all? To answer these questions I shall provide an interpretation of E3p6d that explains how the argument is supposed to work. E1p25c and 1p34 say that finite things are, in essence, dynamic causers, which, in case of opposition, truly resist opposing factors with their power and do not simply cease their causal activities whenever facing obstacles; in other words, they strive against any opposition. However, this is not enough to guarantee that they could not act self-destructively or restrain their own power, which would make them incapable of self-preservation. But this would go against E3p4, “No thing can be destroyed except through an external cause,” and Spinoza uses it to claim, “no thing has anything in itself by which it can be destroyed, or which takes its existence away.” So all this allows Spinoza to hold that finite things are consistent causers, that is, entities endowed with power and, insofar they cause effects solely in virtue of their essence, they never use their power self-destructively. The significance and role of the final item in the demonstration, E3p5 (“Things are of a contrary nature, i.e., cannot be in the same subject, insofar as one can destroy the other”), still needs to be determined. Indeed, considering its content and the way it is used in the demonstration, it seems to be a surprisingly decisive ingredient in the argument. Namely, what “each thing, to the extent it is in itself,” that is, insofar as any thing is considered disregarding everything external to it, strives to preserve, is its being (esse), not simply its present state. This together with E3p5’s view of subjecthood – which I shall explicate in my paper – suggests that we should rethink what kind of “being” or “existence” is meant in E3p6. Indeed, for Spinoza, each subject has a definable essence from which, as far as the subject in question is in itself, certain properties or effects necessarily follow; consequently a subject’s full being involves not only instantiating a certain essence, but also those properties inferable from the essence-expressing definition. Thus, E3p5 is meant to bring forward that things are not merely non-self-destroyers but subjects from whose definitions properties follow; and as Spinoza thinks to have shown (by E1p25c and 1p34) that finite modifications are entities endowed with power, any subject has true power to produce the properties or effects derivable from its definition, which, Spinoza claims, implies opposing everything harmful. In other words, things exercise power as their definition states, i.e. according to their definitions, and thus bringing in the idea of things as expressers of power enables Spinoza to convert logical oppositions (of E3p5) into real ones (of E3p6). To summarize, Spinoza reasons that each true finite thing is, in itself, an expresser of power (E1p25c, 1p34) that never acts self-destructively (E3p4) but instead strives to drive itself through opponents to produce effects as they follow from the definition of the thing in question (E1p25c, 1p34, and 3p5). Therefore, “each thing, to the extent it is in itself, strives to persevere in its being.” The demonstration of E3p6 has its roots deep in Spinoza’s ontology, and since its concept of power is supposed to provide the metaphysical grounding for real opposition, the importance of E1p25c and 1p34 should not be underestimated just because Spinoza – as often happens – puts his point exceedingly briefly. Moreover, the derivation is basically valid and contains no superfluous elements. Finally, all this tells us something decisive about the meaning of Spinoza’s doctrine: according to it, things are active causers whose “power to exist and act” has conatus character in temporality, amounting not only to striving to prolong the duration of one’s actualization but also to striving to be as active or autonomous as possible, that is, to attain a state determined by the striving subject’s essence alone. (shrink)

The aim of this paper is to present a novel reading of Kantian idealism. In want of a better name, I call my interpretation “one-object-plus-epistemic phenomenalism”. I partially endorse Allison’s celebrated position, namely his rejection of metaphysical world-dualism. Yet, I reject Allison’s deflationary two-aspect view. I argue that Kantian idealism is also metaphysically committed to an ontological noumenalism (one-object), namely the claim that the ultimate nature of reality is made up of unknown things in themselves (substantia noumena). Natural (...) sciences can only reveal the relational/structural properties of things as they appear rather than the intrinsic properties of substantia noumena in the negative sense. My anti-deflationary reading is similar to Allais’s, and my agnostic monism to Hanna’s. However, against both, I hold that appearances are not the accusative objects of our sensible representations, but rather, as Kant repeatedly states: “mere representations”. The accusative objects of our senses are substantia noumena in the negative sense. Moreover, my view is also similar to Langton’s. Again, against Langton, I hold that appearances are not merely relational properties of substantia noumena but the way that such substantia noumena exist inside our mind as “mere representations”. In this regard, I also partially endorse Guyer’s and Van Cleve’s phenomenalist reading because these substantia noumena in the negative sense can only be cognized mind-dependently, namely as appearances. However, against Guyer and Van Cleve, I hold that the phenomenalist side of Kantian idealism is purely epistemological rather than ontological: what Kant calls the necessary unity of representations according to categories is not a logical construction of objects out of representations, that is, an ontological reduction of noumena to appearances, but rather the way we sense-independently cognize mind-independent noumena. (shrink)