In this paper I argue that luck and fortune are distinct concepts that apply to different sets of events. I do so by suggesting that lucky events are best understood as significant events that are either modally fragile or improbable (depending on whether you accept a modal account or a probability account of luck), whereas fortunate events are best understood as significant events that are outside of our control. I call this the Pure Control Account of Fortune. I show that (...) this account of fortune forces control theorists about luck to be fortune reductionists but allows those who endorse a modal or probability account of luck to be fortune realists. Additionally, I argue that this account of fortune helps us overcome prominent counterexamples and challenges found in the luck literature. (shrink)

Abstract: There are epistemic manipulators in the world. These people are actively attempting to sacrifice epistemic goods for personal gain. In doing so, manipulators have led many competent epistemic agents into believing contrarian theories that go against well-established knowledge. In this paper, I explore one mechanism by which manipulators get epistemic agents to believe contrarian theories. I do so by looking at a prominent empirical model of trustworthiness. This model identifies three major factors that epistemic agents look for when trying (...) to determine who is trustworthy. These are (i) ability, (ii) benevolence, and (iii) moral integrity. I then show how manipulators can manufacture the illusion that they possess these factors. This leads epistemic agents to view manipulators as trustworthy sources of information. Additionally, I argue that fact-checking will be an ineffective – or even harmful – practice when correcting the beliefs of epistemic agents who have been tricked by this illusion of epistemic trustworthiness. I suggest that in such cases we should use an alternative correction, which I call trust undercutting. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...) logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

Competitive negotiators frequently use tactics which others view as "unethical", in that these tactics either violate standards of truth telling or violate the perceived rules of negotiation. This paper sought to determine how business students viewed a number of marginally ethical negotiating tactics, and to determine the underlying factor structure of these tactics. The factor analysis of these tactics revealed five clear factors which were highly similar across the two samples, and which parallel (to a moderate degree) categories of tactics (...) proposed by earlier theory. Data from one sample also permitted comparisons of the appropriateness of certain tactics across gender, nationality, ethnic origin and perception of one's negotiating style. (shrink)

Miss Arendt is more reticent than, perhaps, she should be, about what actually went on in this public realm of the Greeks. —W. H. Auden.

We investigate claims about the frequency of "know" made by philosophers. Our investigation has several overlapping aims. First, we aim to show what is required to confirm or disconfirm philosophers’ claims about the comparative frequency of different uses of philosophically interesting expressions. Second, we aim to show how using linguistic corpora as tools for investigating meaning is a productive methodology, in the sense that it yields discoveries about the use of language that philosophers would have overlooked if they remained in (...) their "armchairs of an afternoon", to use J.L. Austin’s phrase. Third, we discuss facts about the meaning of "know" that so far have been ignored in philosophy, with the aim of reorienting discussions of the relevance of ordinary language for philosophical theorizing. (shrink)

This paper reconstructs the function argument of Aristotle’s Eudemian Ethics 2.1. The argument seeks to define happiness through the method of division; shows that the highest good is better than all four of the goods of the soul, not only two, as commentators have thought; and unlike the Nicomachean argument, makes the highest good definitionally independent of the human function.

Coleridge rarely mentions Hegel in his philosophical writings and seems to have read very little of Hegel's work. Yet I argue that Coleridge's criticisms of Schelling's philosophy—as recorded in letters and marginalia—betray remarkable intellectual affinities with his nearly exact contemporary Hegel, particularly in their shared doubts about Schelling's foundationalist intuitionism. With this background in place, I seek to demonstrate that volume one of Coleridge's Biographia Literaria is a radically self-undermining text: its philosophical argument, far from slavishly recapitulating Schelling's philosophy, remains (...) haunted by a quasi-Hegelian skepticism toward intuition even as it advances intuition as the foundation of its theoretical edifice. (shrink)

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

For many women experiencing motherhood for the first time, the message they receive is clear: mothers who do not breastfeed ought to have good reasons not to; bottle feeding by choice is a failure of maternal duty. We argue that this pressure to breastfeed arises in part from two misconceptions about maternal duty: confusion about the scope of the duty to benefit and conflation between moral reasons and duties. While mothers have a general duty to benefit, we argue that this (...) does not imply a duty to carry out any particular beneficent act. Therefore, the expectation that mothers should breastfeed unless they have sufficient countervailing reasons not to is morally unwarranted. Recognising the difference between reasons and duties can allow us to discuss the benefits of breastfeeding and the importance of supporting mothers who wish to breastfeed without subjecting mothers who bottle feed to guilt, blame and failure. (shrink)

This article’s purpose is to defend the depiction of ordinary-sized physical objects as mereological aggregates (MAs), to clarify what the ontology of an MA is, and to show why mereological essentialism (ME) applies to MAs that seem to be ubiquitous if we are to adopt what Frank Jackson calls “Serious Metaphysics” and refuse to broaden our ontology beyond what is (allegedly) bequeathed to us by physics and chemistry. To accomplish this goal, first, I clarify certain background issues that inform what (...) follows and I identify certain constraints that relate to the contemporary ambivalence towards ME. Second, I present a primer on Husserlian mereology that provides a superior account of parts and wholes than the inadequate approach identified in the previous section. Third, I will offer a defense of ME as the correct approach to providing an ontological account of MAs. Finally, I will evaluate two defeaters against my thesis. (shrink)

Immanuel Kant promised, ‘as Your Majesty's loyal subject’, to abstain from all public lectures about religion. All past commentators agree this phrase permitted Kant to return to the topic after the King died. But it is not part of the ‘at-issue content’. Consequently, ‘as Your Majesty's loyal subject’ is no more an escape clause than the corresponding phrase in ‘I guarantee, as your devoted fan, that these guitar strings will not break’. Just as the guarantee stands regardless of whether the (...) guarantor ceases to be your devoted fan, the compliance conditions of Kant's promise are not affected by Kant's ceasing to be the king's loyal subject. For good or ill, Kant made a lying promise to King Friedrich Wilhelm II in 1794. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

During the Winter of 2011 I visited SADAF and gave a series of talks based on the central chapters of my manuscript on the Yablo paradox. The following year, I visited again, and was pleased and honored to find out that Eduardo Barrio and six of his students had written ‘responses’ that addressed the claims and arguments found in the manuscript, as well as explored new directions in which to take the ideas and themes found there. These comments reflect my (...) thoughts on these responses (also collected in this issue), as well as my thoughts on further issues that arose during the symposium that was based on the papers and during the many hours I spent talking and working with Eduardo and his students. Durante el invierno de 2011, visité SADAF y dí una serie de conferencias sobre los capítulos centrales de mi manuscrito sobre la paradoja de Yablo. El año siguiente, visité Buenos aires nuevamente y tuve el placer y el honor de descubrir que Eduardo Barrio y seis de sus estudiantes habían escrito respuestas que abordan las afirmaciones y argumentos de mi manuscrito, además de explorar nuevas direcciones en las cuales considerar las ideas y temas encontrados allí. El presente trabajo refleja mis pensamientos sobre estas respuestas (también incluidas en este volumen), así como mis ideas sobre otras cuestiones que surgieron durante el simposio en el que se presentaron los artículos y en las muchas horas que nosotros discutimos y trabajamos con Eduardo y sus estudiantes. (shrink)

Comics comprise a hybrid art form descended from printmaking and mostly made using print technologies. But comics are an art form in their own right and do not belong to the art form of printmaking. We explore some features art comics and fine art prints do and do not have in common. Although most fine art prints and comics are multiple artworks, it is not obvious whether the multiple instances of comics and prints are artworks in their own right. The (...) comparison of comics and fine art prints provides a promising test for assessing how hybrid art forms develop more generally, and for assessing how they differ from closely related nonhybrid cousins. (shrink)

According to Essentialism, an object’s properties divide into those that are essential and those that are accidental. While being human is commonly thought to be essential to Socrates, being a philosopher plausibly is not. We can motivate the distinction by appealing—as we just did—to examples. However, it is not obvious how best to characterize the notion of essential property, nor is it easy to give conclusive arguments for the essentiality of a given property. In this paper, I elaborate on these (...) issues and explore the way in which essential properties behave in relation to other related properties, like sufficient-for-existence properties and individual essences. (shrink)

Methodologically rigorous description, analysis, and critique of postmodern phenomena presuppose a rigorous theory of postmodernity, for which the philosophy of Martin Heidegger holds great untapped promise. This essay explicates the basic content of Heidegger’s “metametaphysics,” since for Heidegger a “metaphysics” is the epochally prevailing projection of the meaning of being in general, and he offers a theory of Western metaphysics. I begin with Heidegger’s analysis of the “regional ontologies” of the sciences in his 1927 magnum opus Being and Time, since (...) the metametaphysical works of the “late middle” Heidegger in the 1930s–1940s extend this analytical framework to metaphysics as global ontology. I then explicate Heidegger’s views on modern metaphysics, focusing on his analyses of modern science and the philosophy of Descartes, before turning to his theory of postmodernity, which I extract from his analyses of modern technology and the philosophy of Nietzsche. (shrink)

The paper compares the suitability of two different epistemologies of counterfactuals—(EC) and (W)—to elucidate modal knowledge. I argue that, while both of them explain the data on our knowledge of counterfactuals, only (W)—Williamson’s epistemology—is compatible with all counterpossibles being true. This is something on which Williamson’s counterfactual-based account of modal knowledge relies. A first problem is, therefore, that, in the absence of further, disambiguating data, Williamson’s choice of (W) is objectionably biased. A second, deeper problem is that (W) cannot satisfactorily (...) elucidate modal knowledge. Third, from a naturalistic perspective, the nature of this second problem favours (EC) against (W). (shrink)

Of the various loci of systematic theology that call for sustained philosophical investigation, the doctrine of sanctification stands out as a prime candidate. In response to that call, William Alston developed three models of the sanctifying work of the Holy Spirit: the fiat model, the interpersonal model, and the sharing model. In response to Alston’s argument for the sharing model, this paper offers grounds for a reconsideration of the interpersonal model. We close with a discussion of some of the implications (...) of one’s understanding of the transforming work of the Holy Spirit for practical Christian spirituality. (shrink)

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot support (...) Peacocke's moderate rationalism. (shrink)

In this paper, we define correlation coefficient measure between any two rough neutrosophic sets. We also prove some of its basic properties.. We develop a new multiple attribute group decision making method based on the proposed correlation coefficient measure. An illustrative example of medical diagnosis is solved to demonstrate the applicability and effecriveness of the proposed method.

In this paper, the sine, cosine and cotangent similarity measures of interval rough neutrosophic sets is proposed. Some properties of the proposed measures are discussed. We have proposed multi attribute decision making approaches based on proposed similarity measures. To demonstrate the applicability, a numerical example is solved.

Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will briefly (...) see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism. (shrink)

There is a standard story told about the rise and fall of ordinary language philosophy: it was a widespread, if not dominant, approach to philosophy in Great Britain in the aftermath of World War II up until the early 1960s, but with the development of systematic approaches to the study of language—formal semantic theories on one hand and Gricean pragmatics on the other—ordinary language philosophy more or less disappeared. In this paper we present quantitative evidence to evaluate the standard story (...) of the rise and fall of ordinary language philosophy, building on the topic model of over 30,000 philosophy articles in Weatherson (2022). Using a combination of qualitative judgment and a topic-model-based measurement of similarity between individual articles, we find evidence that supports the first part of the standard story, according to which ordinary language philosophy arises in the 1940s, peaks between the early 1950s and the late 1960s, and then rapidly declines. But we argue that there is also evidence of a "new wave" of ordinary language philosophy in the early 21st century that defies the second part of the standard story. (shrink)

Charitable interpreters of David Hume set aside his sprinkles of piety. Better to read him as lying than as clumsily inconsistent. We argue that the attribution of lies can pay dividends in historical scholarship no matter how strongly the theorist condemns lying. Accordingly, we show that our approach works even with one of the strongest condemners of lying: Immanuel Kant. We argue that Kant lied in his scholarly work and even in the first Critique. And we defend the claim that (...) this lie attribution, strange as it may sound, amounts to a kind of scholarly charity. (shrink)

In this paper, we define projection and bidirectional projection measures between interval rough neutrosophic sets and prove their basic properties. Then two new multi attribute decision making strategies are proposed based on interval rough neutrosophic projection and bidirectional projection measures respectively. Then the proposed methods are applied for solving multi attribute decision making problems. Finally, a numerical example is solved to show the feasibility, applicability and effectiveness of the proposed strategies.

We study shared intentions in what we call “loose groups”. These are groups that lack a codified organizational structure, and where the communication channels between group members are either unreliable or not completely open. We start by formulating two desiderata for shared intentions in such groups. We then argue that no existing account meets these two desiderata, because they assume either too strong or too weak an epistemic condition, that is, a condition on what the group members know and believe (...) about what the others intend, know, and believe. We propose an alternative, pooled knowledge, and argue that it allows formulating conditions on shared intentions that meet the two desiderata. (shrink)

At the turn of the nineteenth century, Friedrich Schlegel developed an influential theory of irony that anticipated some of the central concerns of postmodernity. His most vocal contemporary critic, the philosopher Hegel, sought to demonstrate that Schlegel’s theory of irony tacitly relied on certain problematic aspects of Fichte’s philosophy. While Schlegel’s theory of irony has generated seemingly endless commentary in recent critical discourse, Hegel’s critique of Schlegelian irony has gone neglected. This essay’s primary aim is to defend Hegel’s critique of (...) Schlegel by isolating irony’s underlying Fichtean epistemology. Drawing on Søren Kierkegaard’s The Concept of Irony in the final section of this essay, I argue that Hegel’s critique of irony can motivate a dialectical hermeneutics that offers a powerful alternative both to Paul de Man’s poststructuralist hermeneutics and to recent cultural-studies-oriented criticism that tends to reduce literary texts to sociohistorical epiphenomena. (shrink)

Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of Constitutive Principles. Regarding (...) their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)

In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that (...) the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views. (shrink)

One of the most popular facets of Schmitt's philosophy is his theory of sovereignty and decisionism, as developed in his early essay Political Theology (1922). There, Schmitt offers an original outlook on the political implications of the secularization of modern Europe and philosophy's purported turn away from theology. The “death of God,” along with the gradual disappearance of the political institution of monarchy, are only symbols of the decline of sovereignty in general. What is lost in the process is not (...) sovereignty as such, since it can assume new forms, such as “reason,” “nature,” “the people,” or “the state.” What…. (shrink)

Ce texte est le fruit d’une collaboration entre un astrophysicien, Jean-René Roy, et un philosophe de l’éducation, Normand Baillargeon. Ils ont en commun d’avoir été marqués par la fréquentation des oeuvres de Mario Bunge, auxquelles ils attachent un grand prix, sur un plan personnel, d’abord, mais aussi, et c’est ce qu’ils veulent rappeler dans ces pages : parce qu’ils estiment que les oeuvres de Bunge contribuent de manière extrêmement forte et positive à rendre plus salubre la vie de l’esprit, en (...) enrichissant notre intellect et en luttant contre diverses formes troublantes d’obscurantisme qui y sévissent parfois, notamment dans les domaines familiers aux deux auteurs. (shrink)

Our conscious experiences are qualitative and unitary. The qualitative universals given in particular experiences, i.e. qualia, combine into the seamless unity of our conscious experience. The problematics of quality and cohesion are not unique to consciousness studies. In mathematics, the study of qualities (e.g., shape) resulting from quantitative variations in cohesive spaces led to the axiomatization of cohesion and quality. Using the mathematical definition of quality, herein we model qualia space as a categorical product of qualities. Thus modeled qualia space (...) is a codomain space wherein composite qualities (e.g. shape AND color) of conscious experiences can be valued. As part of characterizing the qualia space, we provide a detailed exemplification of the mathematics of quality and cohesion in terms of the categories of idempotents and reflexive graphs. More specifically, with qualities as commutative triangles formed of cohesion-preserving functors, first we calculate the product of commutative triangles. Next, we explicitly show that the category of idempotents is a quality type. Lastly, as part of showing that the category of reflexive graphs is cohesive, we characterize the adjointness between functors relating cohesive graphs to discrete sets. In conclusion, our category theoretic construction of qualia space is a formalization of the binding of qualitative features (colors and shapes) into the cohesive objects (colored-shapes) of conscious experiences. Compared to the feature-vector accounts of conscious experiences, our product-of-qualities account of consciousness is a substantial theoretical advance. (shrink)

All contributions included in the present issue were originally presented at an ‘Author Meets Critics’ session organised by Richard Zach at the Pacific Meeting of the American Philosophical Association in San Diego in the Spring of 2014.

This essay argues for a distinctly post-Kantian understanding of Hegel’s definition of freedom as “being at home with oneself in one’s other.” I first briefly isolate the inadequacies of some dominant interpretations of Hegelian freedom and proceed to develop a more adequate theoretical frame by turning to Theodor Adorno. Then I interpret Hegel’s notion of the freedom of the will in the Philosophy of Right in terms of his speculative metaphysics. Finally, I briefly examine Hegel’s treatment of agency in the (...) Phenomenology of Spirit in order to establish important continuities between the early and late Hegel. (shrink)

This is an exploration of recent trends in metaphysics, including deflationary and experimental metaphysics.

The COVID-19 outbreak had a profound impact on many facets of society, particularly on the educational system. Therefore, all educational content must be delivered to students online, and it is the student’s responsibility to adjust to this new norm. Hence, this study sought to investigate if there is a significant relationship between self-efficacy and resilience among senior high school students. This study utilized correlational research, with the 150 grade 12 senior high school students enrolled in 2022-2023 as respondents. Thus, the (...) researchers employed General Self-Efficacy and Resilience Scale. Finally, the statistical analysis reveals that the r coefficient of 0.53 indicates a moderate positive correlation between the variables. The p-value of 0.00, less than 0.05, leads to rejecting the null hypothesis. Hence, a significant relationship exists between self-efficacy and resilience among senior high school students. (shrink)

There are unusual challenges in ethics for RAS. Perhaps the issue can best be summarised as needing to consider “technically informed ethics”. The technology of RAS raises issues that have an ethical dimension, and perhaps uniquely so due to the possibility of moving human decision-making which is implicitly ethically informed to computer systems. Further, if seeking solutions to these problems – ethically aligned design, to use the IEEE’s terminology – then the solutions must be technically meaningful, capable of realisation, capable (...) of assurance, and suitable as a basis for regulation. Thus, ethics for RAS is a rich, complex multi-disciplinary concern, and perhaps more complex than many other ethical issues facing society today. It is also fast-moving. This paper has endeavoured to give an accessible introduction to some of the key issues, noting that many of them are quite subtle, and it is not possible to do them full justice in such a short document. However, we have sought to counterbalance this by giving an extensive list of initiatives, standards, etc. that focus on ethics of RAS and AI, see Annex A. (shrink)

Notions such as Sunyata, Catuskoti, and Indra's Net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nagarjuna considered two levels of reality: one called conventional reality and the other ultimate reality. Within this framework, Sunyata refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuskoti refers to the claim (...) that four truth values, along with contradiction, are admissible in reasoning. Indra's Net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions which are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of Sunyata. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of Catuskoti. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's Net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

We define consciousness as the category of all conscious experiences. This immediately raises the question: What is the essence in which every conscious experience in the category of conscious experiences partakes? We consider various abstract essences of conscious experiences as theories of consciousness. They are: (i) conscious experience is an action of memory on sensation, (ii) conscious experience is experiencing a particular as an exemplar of a general, (iii) conscious experience is an interpretation of sensation, (iv) conscious experience is referring (...) sensation to an object as its cause, and (v) conscious experience is a model of stimulus. Corresponding to each one of these theories we obtain a category of models of conscious experiences: (i) category of actions, (ii) category of idempotents, (iii) category of two sequential maps, (iv) category of brain-generalized figures, and (v) functor categories with intuition as base and conceptual repertoire as exponent, respectively. For each theory of consciousness we also calculate its truth value object and characterize the objective logic intrinsic to the corresponding category of models of consciousness experiences. (shrink)