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)

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.

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)

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.

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)

Contemporary forms of Kantian constitutivism generally begin with a conception of agency on which the constitutive aim of agency is some form of autonomy or self-unification. This chapter argues for a re-orientation of the Kantian constitutivist project towards views that begin with a conception of rationality on which both theoretical and practical rationality aim at forms of understanding. In a slogan, then, understanding-first as opposed to autonomy-first constitutivism. Such a view gives the constitutivist new resources for explaining many classes of (...) reasons, while also offering a new way of understanding the unity of theoretical and practical reason. The chapter concludes by arguing that the resulting view is best understood, not so much as an alternative to autonomy-first constitutivism, but as a complement to it. (shrink)

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)

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)

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)

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)

This article reports the findings of AI4People, an Atomium—EISMD initiative designed to lay the foundations for a “Good AI Society”. We introduce the core opportunities and risks of AI for society; present a synthesis of five ethical principles that should undergird its development and adoption; and offer 20 concrete recommendations—to assess, to develop, to incentivise, and to support good AI—which in some cases may be undertaken directly by national or supranational policy makers, while in others may be led by other (...) stakeholders. If adopted, these recommendations would serve as a firm foundation for the establishment of a Good AI Society. (shrink)

Over the last two decades, Kant’s name has become closely associated with the “constitutivist” program within metaethics. But is Kant best read as pursuing a constitutivist approach to meta- normative questions? And if so, in what sense? In this essay, I’ll argue that we can best answer these questions by considering them in the context of a broader issue – namely, how Kant understands the proper methodology for philosophy in general. The result of this investigation will be that, while Kant (...) can indeed be read as a sort of constitutivist, his constitutivism is ultimately just one instance of a much more general approach to philosophy – which treats as fundamental our basic, self-conscious rational capacities. Thus, to truly understand why and how Kant is a constitutivist, we need to consider this question within the context of his more fundamental commitment to “capacities-first philosophy”. (shrink)

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)

According to the early Yogācāra, following non-conceptual awareness, the advanced bodhisattva is said to attain a state characterized by a "subsequent awareness". Yogācāra thinkers identify this state with ultimate knowledge of causality and view it as involving a unique kind of conceptual activity and propositional attitudes, which are very different, however, from ordinary conceptual awareness insofar as they do not involve vikalpa. Translated back into the terms of some version of the contemporary debate between conceptualists and nonconceptualists, this would amount (...) to something like the claim that we can use concepts in a non-conceptual way. But how can we make sense... (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)

In this article I offer an opinionated overview of the central elements of Kant’s philosophical methodology during the critical period. I begin with a brief characterization of how Kant conceives of the aims of human inquiry – focusing on the idea that inquiry ideally aims at not just cognition (Erkenntnis), but also the more demanding cognitive achievements that Kant labels insight (Einsehen) and comprehension (Begreifen). Then I explore the implications of this picture for philosophy — emphasizing Kant’s distinction between critical (...) and doctrinal phases of philosophical inquiry, with the first of these playing both a negative and a positive role with respect to the second. Then, I will argue that this positive role is possible, according to Kant, only insofar as philosophy follows what I call a “capacities-first” methodology – that is, one that treats basic cognitive capacities (such as reason) and their self-conscious activities as fundamental (in both a cognitive sense and in an explanatory sense) for the sort of philosophy human beings are capable of. It is this methodology, I will argue, that allows Kant to introduce the first principles that philosophy in its doctrinal phase requires in a manner that is neither arbitrary nor (at least obviously) incompatible with Kant’s own critical restrictions on cognition. I conclude by discussing some of the implications of this methodological picture – including the methodological significance of self-consciousness and regressive or “transcendental” arguments, Kant’s distinction between analytic and synthetic methods in philosophy, and Kant’s conception of reason as autonomous. (shrink)

In in this paper, I make use of an “doxastic planning model” of epistemic evaluation to argue for a form of epistemic internalism. In doing so, I begin by responding to a recent argument of Schoenfield’s against my previous attempt to develop such an argument. In doing so, I distinguish a variety of ways that argument might be understood, and discuss how both internalists and externalists might make use of the ideas within it. Then I argue that, despite these complexities, (...) the doxastic planning model continues to support a modest form of epistemic internalism. I conclude by showing that, far from conflicting with “anti-luminosity” arguments in epistemology, this form of internalism is best understood as a natural reaction to these arguments. (shrink)

In recent years, several philosophers - including Joshua Gert, Douglas Portmore, and Elizabeth Harman - have argued that there is a sense in which morality itself does not treat moral reasons as consistently overriding.2 My aim in the present essay is to develop and extend this idea from a somewhat different perspective. In doing so, I offer an alternative way of formalizing the idea that morality is modest about the weight of moral reasons in this way, thereby making more explicit (...) the connections between this thesis and similar issues in the epistemic sphere. In addition, I discuss how these ideas can transform our thinking about familiar questions in ethics such as the nature of self-effacement, the significance of reflective endorsement, the weight that moral reasons ought to be given in all things consideration, and the plausibility of “indirect” moral theories. Finally, I show that these ideas are compatible even with pictures of morality – such as Kant’s – on which morality might seem to anything but modest about its own importance. In doing so, I stress that it is possible to see morality as modest about the weight of specifically moral reasons, while also seeing all practical reasons as grounded in morality more indirectly – namely, by seeing morality as determining the weight that both moral and non-moral considerations deserve to have in all things considered deliberation. (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)

In this essay, I distinguish two different epistemological strategies an anti-realist might pursue in developing an "evolutionary debunking" of moral realism. Then I argue that a moral realist can resist both of these strategies by calling into question the epistemological presuppositions on which they rest. Nonetheless, I conclude that these arguments point to a legitimate source of dissatisfaction about many forms of moral realism. I conclude by discussing the way forward that these conclusions indicate.

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)

With respect to the topic of “powers and abilities,” most readers will associate David Hume with his multi-pronged critique of traditional attempts to make robust explanatory use of those notions in a philosophical or scientific context. But Hume’s own philosophy is also structured around the attribution to human beings of a variety of basic faculties or mental powers – such as the reason and the imagination, or the various powers involved in Hume’s account of im- pressions of reflection and the (...) passions. Indeed, there is a clear case to be made that, despite his deflationary account of our concept of power, Hume continues to treat certain basic powers or faculties as forming the explanatory bedrock for his new “science of man”. In this essay, I will discuss how this apparent conflict between the “critical” (if not outright skeptical) and “constructive” aspects of Hume’s discussion of powers and abilities is best resolved – with special attention to the question of how this illuminates Hume’s place in the development of early modern conceptions of the proper method for philosophy. (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)

In this essay, I will outline a novel strategy for using constitutivist ideas from Kantian metaethics to critique social practices and institutions. In doing so, I do not mean to defend this model of critique as the only viable form of social and political critique, even within a Kantian framework – nor, indeed, as always the most appropriate. But I hope to show that it provides us with a form of critique that allows us to (i) develop a robust critique (...) of many social practices (ii) on both epistemic and practical grounds, while nonetheless (iii) beginning from a perspective that is, in some sense, internal – or better, immanent – to the practice in question. Thus, if we are looking for a form of social critique that is neither purely epistemic nor merely external – which, in other words, allows us to critique social practices on something like their own terms as practically irrational – this method should be attractive for philosophers with Kantian (or post-Kantian) sympathies. At the heart of this conception of critique lies in the idea that social practices may be thought of as attempts at (some form of) collective practical understanding. As I will explain more below, this way of thinking about the rationality of social practices may be seen as the product of applying a general (post-Kantian) model of rationality, which I have developed elsewhere, to the rationality of social collectives or practices. (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)

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)

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)

The focus of this chapter will be Kant’s understanding of Hume, and its impact on Kant’s critical philosophy. Contrary to the traditional reading of this relationship, which focuses on Kant’s (admittedly real) dissatisfaction with Hume’s account of causation, my discussion will focus on broader issues of philosophical methodology. Following a number of recent interpreters, I will argue that Kant sees Hume as raising, in a particularly forceful fashion, a ‘demarcation challenge’ concerning how to distinguish the legitimate use of reason in (...) (say) natural scientific contexts from the illegitimate use of it in (say) dogmatic metaphysics. I will then go on to argue that Kant sees Hume’s tendency to slide into more radical forms of skepticism as a symptom of his failure to provide a systematic or principled account of this distinction. This failure, I argue, can be traced (according to Kant) to Hume’s impoverished, non-hylomorphic account of our faculties – which both robs Hume of the materials necessary to construct a genuinely systematic philosophy as Kant understands this, and makes it impossible for Hume to clearly conceive of what Kant calls ‘Formal Idealism.’ In this way, the failings of Hume’s account of causation are (for Kant) symptoms of more fundamental limitations within Hume’s philosophy. I close by briefly discussing the similarities between Hume and Kant’s understanding of the relationship between, first, philosophical methodology and, second, the nature of our faculties. (shrink)

The European Medical Information Framework project, funded through the IMI programme, has designed and implemented a federated platform to connect health data from a variety of sources across Europe, to facilitate large scale clinical and life sciences research. It enables approved users to analyse securely multiple, diverse, data via a single portal, thereby mediating research opportunities across a large quantity of research data. EMIF developed a code of practice to ensure the privacy protection of data subjects, protect the interests of (...) data sharing parties, comply with legislation and various organisational policies on data protection, uphold best practices in the protection of personal privacy and information governance, and eventually promote these best practices more widely. EMIF convened an Ethics Advisory Board, to provide feedback on its approach, platform, and the EcoP. The most important challenges the ECoP team faced were: how to define, control and monitor the purposes for which federated health data are used; the kinds of organisation that should be permitted to conduct permitted research; and how to monitor this. This manuscript explores those issues, offering the combined insights of the EAB and EMIF core ECoP team. For some issues, a consensus on how to approach them is proposed. For other issues, a singular approach may be premature but the challenges are summarised to help the community to debate the topic further. Arguably, the issues and their analyses have application beyond EMIF, to many research infrastructures connected to health data sources. (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)

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.

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, 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)

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)

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)

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)

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)

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.

‘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)

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