Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely (...) to individual things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

Necessity is a touchstone issue in the thought of Charles Peirce, not least because his pragmatist account of meaning relies upon modal terms. We here offer an overview of Peirce’s highly original and multi-faceted take on the matter. We begin by considering how a self-avowed pragmatist and fallibilist can even talk about necessary truth. We then outline the source of Peirce’s theory of representation in his three categories of Firstness, Secondness and Thirdness, (monadic, dyadic and triadic relations). These have modal (...) purport insofar as the first category corresponds to possibility, the second to mechanical necessity and the third to a kind of semantic or intentional necessity. We then turn to Peirce’s explicit modal epistemology and show how it began as information-relative, with different modalities (e.g. logical, physical, practical) distinguished in terms of respective ‘designated states of information’, and shifted later in his life towards a more robust realism founded in direct perception of ideas in their relations. We then turn to Peirce’s formal logic, focusing on his diagrammatic system of Existential Graphs where he did his most serious logical research. Finally we discuss Peirce’s modal metaphysics and its implications for determinism and realism about universals. (shrink)

Charles Peirce famously divided all signs into icons, indices and symbols. As recent decades have seen mainstream analytic philosophy of language broaden its traditional focus on symbols to recognise the "essential indexical", can the moral be extended to icons? Is there an “essential icon”? If so, what exactly would be "essential" about it? I argue that essential iconicity does exist, and a prime example is logical form, insofar as it cannot be discursively described, only 'shown'. Danielle Macbeth’s radical new “expressivist” (...) interpretation of Frege’s logic and Charles Peirce’s existential graphs are mobilized in support of this claim, which offers an original new direction to the foundations of logic. (shrink)

The recent wave of data on exoplanets lends support to METI ventures (Messaging to Extra-Terrestrial Intelligence), insofar as the more exoplanets we find, the more likely it is that “exominds” await our messages. Yet, despite these astronomical advances, there are presently no well-confirmed tests against which to check the design of interstellar messages. In the meantime, the best we can do is distance ourselves from terracentric assumptions. There is no reason, for example, to assume that all inferential abilities are language-like. (...) With that in mind, I argue that logical reasoning does not have to be couched in symbolic notation. In diagrammatic reasoning, inferences are underwritten, not by rules, but by transformations of self-same qualitative signs. I use the Existential Graphs of C. S. Peirce to show this. Since diagrams are less dependent on convention and might even be generalized to cover non-visual senses, I argue that METI researchers should add some form of diagrammatic representations to their repertoire. Doing so can shed light, not just on alien minds, but on the deepest structures of reasoning itself. (shrink)

The approach to the question of philosophical practice has been dominated by a subordination of practice to theory corresponding in general to a representational conception of philosophy. Methods of diagrammatic reasoning developed within philosophical semiotics provide a more effective approach. Inparticular, Peirce’s system of existential graphs exemplifies how diagrammatic reasoning is able formally to express the processes through which philosophical dialogue and cooperation actually take place and to link such processes to the methods and practices arising in other (...) disciplines and traditions, including those of science, politics, art, religion and technological production. (shrink)

Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind does (...) exist in Charles Peirce’s conception of iconic signs, but that fully understood, logical diagrams involve a structured array of normative reasoning practices, as well as just a “picture on a page”. (shrink)

According to Greimas, the semiotic square is far more than a heuristic for semantic and literary analysis. It represents the generative “deep structure” of human culture and cognition which “define the fundamental mode of existence of an individual or of a society, and subsequently the conditions of existence of semiotic objects” (Greimas & Rastier 1968: 48). The potential truth of this hypothesis, much less the conditions and implications of taking it seriously (as a truth claim), have received little attention in (...) the literature. In response, this paper traces the history and development of the logical square of opposition from Aristotle to Greimas and beyond, to propose that the relations modelled in these diagrams are embodied relations rooted in gestalt memories of kinesthesia and proprioception from which we derive basic structural awareness of opposition and contrast such as verticality, bilaterality, transversality, markedness and analogy. To make this argument, the paper draws on findings in the phenomenology of movement (Sheets-Johnstone 2011a, 2011b, 2012, Pelkey 2014), recent developments in the analysis of logical opposition (Beziau & Payette 2008), recent scholarship in (post)Greimasian semiotics (Corso 2014, Broden 2000) and prescient insights from Greimas himself (esp. 1968, 1984). The argument of the paper is further supported through a visual and textual content analysis of a popular music video, both to highlight relationships between the semiotic square and mundane cultural ideologies and to show how these relationships might be traced to the marked symmetries of bodily movement. In addition to illustrating the enduring relevance of Greimasean thought, the paper further illustrates the neglected relevance that embodied chiasmus holds for developments in anthropology, linguistics and the other cognitive sciences. (shrink)

We argue that traditional formulations of the reduction thesis that tie it to privileged relational operations do not suffice for Peirce’s justification of the categories and invite the charge of gerrymandering to make it come out as true. We then develop a more robust invariant formulation of the thesis, one that is immune to that charge, by explicating the use of triads in any relational operations. The explication also allows us to track how Thirdness enters the structure of higher order (...) relations and even to propose a numerical measure of it. Our analysis reveals new conceptual phenomena when negation or disjunction are used to compound relations. (shrink)

We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods of (...) functional decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (shrink)

General Morphological Analysis (GMA) is a method for structuring a conceptual problem space – called a morphospace – and, through a process of existential combinatorics, synthesizing a solution space. As such, it is a basic modelling method, on a par with other scientific modelling methods including System Dynamics Modelling, Bayesian Networks and various types graph-based “influence diagrams”. The purpose of this article is 1) to present the theoretical and methodological basics of morphological modelling; 2) to situate GMA within a (...) broader modelling theoretical framework by developing a (morphological) model representing different modelling methods, and 3) to demonstrate some of the basic modelling techniques that can be carried out with GMA using dedicated computer support. (shrink)

Modeling mechanisms is central to the biological sciences – for purposes of explanation, prediction, extrapolation, and manipulation. A closer look at the philosophical literature reveals that mechanisms are predominantly modeled in a purely qualitative way. That is, mechanistic models are conceived of as representing how certain entities and activities are spatially and temporally organized so that they bring about the behavior of the mechanism in question. Although this adequately characterizes how mechanisms are represented in biology textbooks, contemporary biological research practice (...) shows the need for quantitative, probabilistic models of mechanisms, too. In this paper we argue that the formal framework of causal graph theory is well-suited to provide us with models of biological mechanisms that incorporate quantitative and probabilistic information. On the ba-sis of an example from contemporary biological practice, namely feedback regulation of fatty acid biosynthesis in Brassica napus, we show that causal graph theoretical models can account for feedback as well as for the multi-level character of mechanisms. However, we do not claim that causal graph theoretical representations of mechanisms are advantageous in all respects and should replace common qualitative models. Rather, we endorse the more balanced view that causal graph theoretical models of mechanisms are useful for some purposes, while being insufficient for others. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of (...) the approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

In this paper, we analyze and discuss Schopenhauer’s n-term diagrams for eristic dialectics from a graph-theoretical perspective. Unlike logic, eristic dialectics does not examine the validity of an isolated argument, but the progression and persuasiveness of an argument in the context of a dialogue or even controversy. To represent these dialogue situations, Schopenhauer created large maps with concepts and Euler-type diagrams, which from today’s perspective are a specific form of graphs. We first present the original method with Euler-type diagrams, (...) then give the most important graph-theoretical definitions, then discuss Schopenhauer’s diagrams graph-theoretically and finally give an example of how the graphs or diagrams can be used to analyze dialogues. (shrink)

A small but growing number of studies have aimed to understand, assess and reduce existential risks, or risks that threaten the continued existence of mankind. However, most attention has been focused on known and tangible risks. This paper proposes a heuristic for reducing the risk of black swan extinction events. These events are, as the name suggests, stochastic and unforeseen when they happen. Decision theory based on a fixed model of possible outcomes cannot properly deal with this kind of (...) event. Neither can probabilistic risk analysis. This paper will argue that the approach that is referred to as engineering safety could be applied to reducing the risk from black swan extinction events. It will also propose a conceptual sketch of how such a strategy may be implemented: isolated, self-sufficient, and continuously manned underground refuges. Some characteristics of such refuges are also described, in particular the psychosocial aspects. Furthermore, it is argued that this implementation of the engineering safety strategy safety barriers would be effective and plausible and could reduce the risk of an extinction event in a wide range of possible scenarios. Considering the staggering opportunity cost of an existential catastrophe, such strategies ought to be explored more vigorously. (shrink)

The standard argument to the conclusion that artificial intelligence (AI) constitutes an existential risk for the human species uses two premises: (1) AI may reach superintelligent levels, at which point we humans lose control (the ‘singularity claim’); (2) Any level of intelligence can go along with any goal (the ‘orthogonality thesis’). We find that the singularity claim requires a notion of ‘general intelligence’, while the orthogonality thesis requires a notion of ‘instrumental intelligence’. If this interpretation is correct, they cannot (...) be joined as premises and the argument for the existential risk of AI turns out invalid. If the interpretation is incorrect and both premises use the same notion of intelligence, then at least one of the premises is false and the orthogonality thesis remains itself orthogonal to the argument to existential risk from AI. In either case, the standard argument for existential risk from AI is not sound.—Having said that, there remains a risk of instrumental AI to cause very significant damage if designed or used badly, though this is not due to superintelligence or a singularity. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. (...) An existential-import predicate Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.

Once upon a time, coherentism was the dominant response to the regress problem in epistemology, but in recent decades the view has fallen into disrepute: now almost everyone is a foundationalist (with a few infinitists sprinkled here and there). In this paper, I sketch a new way of thinking about coherentism, and show how it avoids many of the problems often thought fatal for the view, including the isolation objection, worries over circularity, and concerns that the concept of coherence is (...) too vague or metaphorical for serious theoretical use. The key to my approach is to take a familiar tool from discussions of the regress problem -- namely, directed graphs depicting the support relations between beliefs -- and to use that tool in a more sophisticated manner than it is standardly employed. (shrink)

Generative AI has proven itself as an efficient innovation in many fields including writing and even analyzing data. For spatial computing, it provides a potential solution for solving such issues related to data manipulation and analysis within the spatial computing domain. This paper aims to discuss the probabilities of applying generative AI to graph-based spatial computing; to describe new approaches in detail; to shed light on their use cases; and to demonstrate the value that they add. This technique thus incorporates (...) graph theory, generative models to model spatial relations, generate new spatial forms and improve on spatial decision-making processes. The paper surveys such methods, describes typical applications, and outlines further development of the subject. (shrink)

In this book, the authors systematically define the new notion of linguistic graphs associated with a linguistic set of a linguistic variable. We can also define the notion of directed linguistic graphs and linguistic-weighted graphs. Chapter two discusses all types of linguistic graphs, linguistic dyads, linguistic triads, linguistic wheels, complete linguistic graphs, linguistic connected graphs, disconnected linguistic graphs, linguistic components of the graphs and so on. Further, we define the notion of linguistic (...) subgraphs of a linguistic graph. However, like usual graphs, we will not be able to arbitrarily connect any two linguistic words of a linguistic set associated with a linguistic variable. They can be related or adjacent depending on the linguistic variable associated with the linguistic set. This is an exceptional feature of a linguistic graph. (shrink)

Many results have been obtained on isolated graphs and complete graphs. In this paper, a necessary and sufficient condition will be proved for a single valued neutrosophic graph to be an isolated single valued neutrosophic graph.

Schnieder (2020) argues, against Orilia (2009) and Koslicki (2013), that claims of existential grounding of the form “the fact that x exists is grounded in the fact that y is F” cannot be grounded in claims of existential dependence of the form “x existentially depends on y” and defends the view that the latter claims are grounded, via a definition of existential dependence, in the former. I will firstly argue that Schnieder’s main point against the claim that (...) existential grounding is grounded in existential dependence is not conclusive; I will then put forward a proposal concerning how claims of existential grounding can be grounded in claims of existential dependence. The proposal is a third way between those of Schnieder and Orilia/Koslicki which, although accepting the former’s definition of existential dependence in terms of grounding, makes room for the latter’s idea that existential dependence does the real job in structuring reality. (shrink)

Metaphysical graphical structuralism is the view that at some fundamental level the world is a mathematical graph of nodes and edges. Randall Dipert has advanced a graphical structuralist theory of fundamental particulars and Alexander Bird has advanced a graphical structuralist theory of fundamental properties. David Oderberg has posed a powerful challenge to graphical structuralism: that it entails the absurd inexistence of the world or the absurd cessation of all change. In this paper I defend graphical structuralism. A sharper formulation, some (...) theorems about such structures, and careful attention to the interaction of metaphysical and mathematical features, shows that the absurdities depend on assumptions that are not essential to the view and brings to light a surprising fact about the necessary structure of fundamental properties. (shrink)

The lattice operations of join and meet were defined for set partitions in the nineteenth century, but no new logical operations on partitions were defined and studied during the twentieth century. Yet there is a simple and natural graph-theoretic method presented here to define any n-ary Boolean operation on partitions. An equivalent closure-theoretic method is also defined. In closing, the question is addressed of why it took so long for all Boolean operations to be defined for partitions.

Since Friedrich Nietzsche, philosophers have grappled with the question of how to respond to nihilism. Nihilism, often seen as a derogative term for a ‘life-denying’, destructive and perhaps most of all depressive philosophy is what drove existentialists to write about the right response to a meaningless universe devoid of purpose. This latter diagnosis is what I shall refer to as existential nihilism, the denial of meaning and purpose, a view that not only existentialists but also a long line of (...) philosophers in the empiricist tradition ascribe to. The absurd stems from the fact that though life is without meaning and the universe devoid of purpose, man still longs for meaning, significance and purpose. Inspired by Bojack Horseman and Rick and Morty, two modern existentialist masterpieces, this paper explores the various alternatives that have been offered in how to respond to the absurd, or as Albert Camus puts it; the only “really serious philosophical problem” and concludes that the problem is compatible with a naturalistic world-view, thereby genuine and transcending existentialism. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition (...) result involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

Based on an interpretation of the work of martin Heidegger, this article o ers a shi away om social and cultural anthropology, which explores sociocultural aspects, and also om general anthropology, which aims to summarise all dimensions of human being. the author de nes the speci city of existential anthropology: observing and conceiving human beings as they exist and continue to exist towards death. With a few twists in relation to Heidegger’s thought, the author discusses what is theoretically and (...) methodologically at stake in this per‐ spective, opening existential anthropology to a large empirical eld. (shrink)

In this essay I argue that a comprehensive understanding of addiction and its treatment should include an existential perspective. I provide a brief overview of an existential perspective of addiction and recovery, which will contextualize the remainder of the essay. I then present a case study of how the six-step philosophical practice method of Logic-Based Therapy can assist with issues that often arise in addiction treatment framed through an existential perspective.

The conventional discourse on existential risks (x-risks) from AI typically focuses on abrupt, dire events caused by advanced AI systems, particularly those that might achieve or surpass human-level intelligence. These events have severe consequences that either lead to human extinction or irreversibly cripple human civilization to a point beyond recovery. This discourse, however, often neglects the serious possibility of AI x-risks manifesting incrementally through a series of smaller yet interconnected disruptions, gradually crossing critical thresholds over time. This paper contrasts (...) the conventional "decisive AI x-risk hypothesis" with an "accumulative AI x-risk hypothesis". While the former envisions an overt AI takeover pathway, characterized by scenarios like uncontrollable superintelligence, the latter suggests a different causal pathway to existential catastrophes. This involves a gradual accumulation of critical AI-induced threats such as severe vulnerabilities and systemic erosion of economic and political structures. The accumulative hypothesis suggests a boiling frog scenario where incremental AI risks slowly converge, undermining societal resilience until a triggering event results in irreversible collapse. Through systems analysis, this paper examines the distinct assumptions differentiating these two hypotheses. It is then argued that the accumulative view can reconcile seemingly incompatible perspectives on AI risks. The implications of differentiating between these causal pathways --- the decisive and the accumulative --- for the governance of AI as well as long-term AI safety are discussed. (shrink)

In “Story of Your Life” and “Anxiety Is the Dizziness of Freedom,” Ted Chiang explores questions that would be at home in contemporary scholarship on free will, agency, and moral responsibility. In “Story of Your Life,” Chiang asks whether knowledge of the future is compatible with free will. And the prism technology in “Anxiety Is the Dizziness of Freedom” prompts questions of whether we are responsible for out-of-character actions. If such actions were genuine anomalies, would we be less responsible for (...) them? In these stories, however, these questions are entangled with questions more at home in the existentialist tradition. Put in conversation with Friedrich Nietzsche and Soren Kierkegaard, Chiang’s stories present a compelling picture of existential responsibility and what it means to live a rich human existence, in particular, what it means to affirm our lives (Nietzsche) and to become selves (Kierkegaard). (shrink)

This chapter provides an overview of how existential phenomenology has influenced qualitative research methods across a range of disciplines across the social, health, educational, and psychological sciences. It focuses specifically on how the concepts of “existential structures,” or “existentials”—such as selfhood, temporality, spatiality, affectivity, and embodiment—have been used in qualitative research. After providing a brief introduction to what qualitative research is and why philosophers should be interested in it, the chapter provides clear, straightforward examples of how qualitative researchers (...) have used existentials to analyze qualitative data and design qualitative studies. The chapter is intended to introduce philosophers to existential approaches to phenomenological qualitative research, with the aim of facilitating interdisciplinary dialogue and collaboration. (shrink)

When our choice affects some other person and the outcome is unknown, it has been argued that we should defer to their risk attitude, if known, or else default to use of a risk avoidant risk function. This, in turn, has been claimed to require the use of a risk avoidant risk function when making decisions that primarily affect future people, and to decrease the desirability of efforts to prevent human extinction, owing to the significant risks associated with continued human (...) survival. I raise objections to the claim that respect for others’ risk attitudes requires risk avoidance when choosing for future generations. In particular, I argue that there is no known principle of interpersonal aggregation that yields acceptable results in variable population contexts and is consistent with a plausible ideal of respect for others’ risk attitudes in fixed population cases. GPI Working Paper No . 20-2022. (shrink)

In this paper, we propose a new concept named the uniform single valued neutrosophic graph. An illustrative example and some properties are examined. Next, we develop an algorithmic approach for computing the complement of the single valued neutrosophic graph. A numerical example is demonstrated for computing the complement of single valued neutrosophic graphs and uniform single valued neutrosophic graph.

This article examines the evolution of the concept of existence in modern visual representation and reasoning, highlighting important milestones. In the late eighteenth century, during the so-called golden age of visual reasoning, nominalism reigned supreme and there was limited scope for existential import or individuals in logic diagrams. By the late nineteenth century, a form of realism had taken hold, whose existential commitments continue to dominate many areas in logic and visual reasoning to this day. Physical, metaphysical, epistemological, (...) and linguistic positions underlie both nominalist and realist views. Since the paradigmatic works on visual reasoning in the 1990s, formal diagram systems have been developed that revive either the nominalist or realist perspectives. Unlike in the nineteenth century, these are not motivated by philosophical views. Nevertheless, they may still have an impact on many areas of philosophy and science outside logic. (shrink)

Personal recovery entails the idea of learning to live a good life in the face of mental illness. It takes place in a continuous dynamic between change and acceptance and involves the existential dimension in the broadest sense. With cognitive self-regulation and empowerment as central elements, however, current models of recovery mostly have an individual focus instead of a relational one. Furthermore, there seems to be an emphasis on the component of change. Little attention is payed to the role (...) and integration of dealing with loss in personal recovery. In this paper, the role of loss in mental illness will be elaborated from an existential perspective. This will be done by relating existential changes to possibly disruptive experiences of loss in wider experience. With the help of several perspectives on dealing with loss it will be argued this can be integrated in processes of recovery. Then, it will be elaborated how reexperiencing a state of being surrounded, or being included, being held is a necessary part of recovery. The result consists of a refinement of the view on personal recovery. The aim of this paper is therefore twofold: (1) to arrive at a better understanding of what existential loss and loss in wider experience in the context of psychopathology entails, and (2) to further develop perspectives on recovery in mental health care. (shrink)

Rawls famously argues that the parties in the original position would agree upon the two principles of justice. Among other things, these principles guarantee equal political liberty—that is, democracy—as a requirement of justice. We argue on the contrary that the parties have reason to reject this requirement. As we show, by Rawls’ own lights, the parties would be greatly concerned to mitigate existential risk. But it is doubtful whether democracy always minimizes such risk. Indeed, no one currently knows which (...) political systems would. Consequently, the parties—and we ourselves—have reason to reject democracy as a requirement of justice in favor of political experimentalism, a general approach to political justice which rules in at least some non-democratic political systems which might minimize existential risk. (shrink)

The original interest of this article lies in existential import. It provides a broader view on the problem by reference to modern, symbolic logic (ch.1). Gradually, however, our interest will change into the amalgamated expressions often used in logic; that is, why are such expressions as “x is a round triangle” applied in logic? We critically discuss this question from an extensional viewpoint, namely model theoretic semantics (ch.2). We also touch on Church’s λ-calculus in the appendix (app.2).

Many manipulation arguments against compatibilism rely on the claim that manipulation is relevantly similar to determinism. But we argue that manipulation is nothing like determinism in one relevant respect. Determinism is a "universal" phenomenon: its scope includes every feature of the universe. But manipulation arguments feature cases where an agent is the only manipulated individual in her universe. Call manipulation whose scope includes at least one but not all agents "existential manipulation." Our responsibility practices are impacted in different ways (...) by universal and existential phenomena. And this is a relevant difference, especially on Strawsonian approaches to moral responsibility, which take facts about our responsibility practices to be deeply connected to the nature of responsibility itself. We argue that Strawsonian accounts of moral responsibility are immune to manipulation arguments, and no attempt to modify the scope of manipulation or determinism featured in these arguments will help incompatibilists secure their desired conclusion. (shrink)

This article critically examines the positions taken by Stephen E. Toulmin, Robert C. Coburn, and and Gordon D. Kaufman on existential experience and limiting questions and answers.

This essay articulates a kind of conservatism that it argues is the most fundamental and important kind of conservatism, viz. existential conservatism, which involves an affirmative and appreciative stance towards the given world. While this form of conservatism can be connected to political conservatism, as seen with Roger Scruton, it need not be, as seen with G. A. Cohen. It is argued that existential conservatism should be embraced whether or not one embraces political conservatism, though it is also (...) shown that existential conservatism imposes constraints on our political thinking. In particular, it is argued that Cohen's ‘luck egalitarianism’ stands at odds with his existential conservatism and that one should be a sufficientarian rather than an egalitarian with regard to economic justice. (shrink)

Edward Feser defends the ‘Aristotelian proof’ for the existence of God, which reasons that the only adequate explanation of the existence of change is in terms of an unchangeable, purely actual being. His argument, however, relies on the falsity of the Existential Inertia Thesis, according to which concrete objects tend to persist in existence without requiring an existential sustaining cause. In this article, I first characterize the dialectical context of Feser’s Aristotelian proof, paying special attention to EIT and (...) its rival thesis—the Existential Expiration Thesis. Next, I provide a more precise characterization of EIT, after which I outline two metaphysical accounts of existential inertia. I then develop new lines of reasoning in favor of EIT that appeal to the theoretical virtues of explanatory power and simplicity. Finally, I address the predominant criticisms of EIT in the literature. (shrink)

It is a received view of the post-Fregean predicate logic that a universal statement has no existential import and thus does not entail its particular (existential) counterpart. This paper takes issue with the view by discussing the trespasser case, which has widely been employed for supporting the view. The trespasser case in fact involves a shift of context. Properly understood, the case provides no support for the received view but rather suggests that we rethink the ‘quantity view’ of (...) the existential import of quantifiers. (shrink)

This article argues that our attention is pervasively biased by embodied affects and that we are normatively assessable in light of this. From a contemporary perspective, normative theorizing about attention is a relatively new trend (Siegel 2017: Ch. 9, Irving 2019, Bommarito 2018: Ch. 5). However, Buddhist philosophy has provided us with a well-spring of normatively rich theorizing about attention from its inception. This article will address how norms of attention are dealt with in Buddhaghosa’s (5th-6th CE) claims about how (...) wholesome forms of empathy can go wrong. Through this analysis, I will show that Buddhist philosophers like Buddhaghosa think there is an existential norm of attention, one that commands us not just to pay attention to ourselves and the world properly, but one whereby we are exhorted to attend to ourselves in a way that gradually transforms our cognitive-emotional constitution so that we become liberated from suffering. (shrink)

In current philosophy of mind, there is lively debate over whether emotions, moods, and other affects can extend to comprise elements beyond one’s organismic boundaries. At the same time, there has been growing interest in the nature and significance of so-called existential feelings, which, as the term suggests, are feelings of one’s overall being in the world. In this article, I bring these two strands of investigation together to ask: Can the material underpinnings of existential feelings extend beyond (...) one’s skull and skin? To begin, I introduce and adopt a componential-systemic view of extended affectivity. In doing so, I specify the vehicle externalist criteria for extension employed in my analysis. I then define what existential feelings are and pinpoint several key issues in their potential extension. More specifically, I identify sensorimotor ‘know-how’ as a possibly extending component of existential feeling and posit it as the fulcrum of my argument. Finally, I move on to consider the extension of existential feeling via sensory substitution, especially through so-called Tactile Visual Sensory Substitution (TVSS) devices. Informed by both philosophical and empirical studies, I argue that, under certain conditions, (a) the agent’s implicit sensorimotor processing and a TVSS device can become coupled into a new systemic whole, which in turn (b) reconfigures the material underpinnings of the agent’s pre-intentional world-experience. This, I conclude, counts as a cogent case for extended existential feeling. (shrink)

Several countries have legalized euthanasia on the basis of medically diagnosable suffering over the last decennial; the criteria to which they adhere differ. The topic of this article is euthanasia on the basis of existential suffering. This article presents a recent proposal to legalize euthanasia for people who experience such suffering and then discusses the issue of what the value of life may be, and whether the standard that life is normally something positive should be accepted. This provides the (...) foundation to answer the question of whether euthanasia on the basis of existential suffering should be allowed. (shrink)

In this paper we delineate the conditions and features of what we call an existential philosophy of history in relation to customary trends in the field of the philosophy of history. We do this by circumscribing what a transgenerational temporality and what our entanglement in ethical relations with temporal others ask of us as existential and responsive selves and by explicating what attitude we need to have when trying to responsibly respond to other vulnerable beings in our historical (...) world of life. (shrink)