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)

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

This article reconstructs Kant's view on the existential import of categorical sentences. Kant is widely taken to have held that affirmative sentences (the A and I sentences of the traditional square of opposition) have existential import, whereas negative sentences (E and O) lack existential import. The article challenges this standard interpretation. It is argued that Kant ascribes existential import only to some affirmative synthetic sentences. However, the reasons for this do not fall (...) within the remit of Kant's formal logic. Unlike traditional logic and modern standard quantification theory, Kant's formal logic is free from existential commitments. (shrink)

Aristotle draws what are, by our lights, two unusual relationships between predication and existence. First, true universal affirmations carry existential import. If ‘All humans are mortal’ is true, for example, then at least one human exists. And secondly, although affirmations with empty terms in subject position are all false, empty negations are all true: if ‘Socrates’ lacks a referent, then both ‘Socrates is well’ and ‘Socrates is ill’ are false but both ‘Socrates is not well’ and ‘Socrates is (...) not ill’ are true. In this paper, I conjecture that for Aristotle predications have mereological truth conditions: for example, ‘Socrates is pale’ is true just in case Socrates is a part of the mereological sum of pale things. The existential import of universal affirmations and the semantic profile of empty negations follow from this mereological semantics. (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)

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between (...) the 8 propositions having the first two kinds of import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

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)

In this paper, we argue that our moral concern for future well-being should reduce over time due to important practical considerations about how humans interact with spacetime. After surveying several of these considerations (around equality, special duties, existential contingency, and overlapping moral concern) we develop a set of core principles that can both explain their moral significance and highlight why this is inherently bound up with our relationship with spacetime. These relate to the equitable distribution of (1) moral concern (...) in a universe that we can only causally affect in one temporal direction; (2) access to the benefits from using spacetime as a resource; and (3) the burdens of care given (1) and (2). We conclude by considering the practical implications of our argument and find that, while it is often assumed that a preference for present over future well-being weakens the case for existential risk mitigation, this likely is not the case. (shrink)

In "Existential Humanism and Moral Freedom in Simone de Beauvoir's Ethics" Tove Pettersen elucidates the close connection between Beauvoir’s ethics and humanism, and argues that her humanism is an existential humanism. Beauvoir’s concept of freedom is inspected, followed by a discussion of her reasons for making moral freedom the leading normative value, and her claim that we must act for humanity. In Beauvoir’s ethics, freedom is not reserved for the elite, but understood as everyone being “able to surpass (...) the given toward an open future.” By addressing the continuing friction between individual freedom and public interests, Beauvoir’s normative thinking remains highly relevant today. It also exemplifies the enduring importance of humanistic reflections and demonstrates how, through critical and creative thinking, the humanities can contribute to a free, well-functioning democratic society. (shrink)

Longtermists have recently argued that it is overwhelmingly important to do what we can to mitigate existential risks to humanity. I consider three mistakes that are often made in calculating the value of existential risk mitigation. I show how correcting these mistakes pushes the value of existential risk mitigation substantially below leading estimates, potentially low enough to threaten the normative case for existential risk mitigation. I use this discussion to draw four positive lessons for the study (...) of existential risk. -/- . (shrink)

This exposition focuses on purposeful behavioursaseffortstoward self-actualization. I introducehabit as a set of value-based behaviours that is different than the typical habit of physical movements. Each of those praxis is controlled by cognition drivenby values –both personal and societal, and their following habitsare the result of complex learning. I will then elaborate on three important topics: (1) awareness and efficacy with respect tohabit, (2) collective habit, and (3) implications of existential habit on the individual’s as well as the society’s (...) wellbeing. (shrink)

Existential a prioris are fundamental elements of the a priori structure of one's being-in-the-world. They relate to Heidegger's existentials, although in psychiatry the analysis is mainly at the ontic level of concrete existence. The English term "existential" does not discriminate between the German "existenziell" and "existenzial". Here we mean with "existential" what in German is called "existenziell". In this paper schizophrenic delusions and hallucinations are considered secondary phenomena, being founded in a primary alteration of the existential (...) a prioris. In schizophrenia the alteration of the existential a prioris is recognized as a certain mode of being, different from ours, which is evident in the alteration of spatialization and temporalization, being-with others and bodily being. This is discussed by the so-called technical delusions and hallucinations, which are psychotic symptoms experienced as being infl uenced by means of technical instruments. The recognition of the alteration of these basic pre-objective structures is very important for the understanding and therapy of people with schizophrenia. (shrink)

Freedom is a necessary prerequisite for living, as most existentialists emphasized. A prominent existentialist, Sartre, fully appreciated the importance of freedom in helping humans lead authentic lives. In his philosophical magnum opus, Being and Nothingness, he boldly contends that human beings possess absolute freedom, meaning they are not determined by external factors or pre-existing essence, and are therefore responsible for creating their 'own' meaning and purpose in life. Admittedly, Sartre claims that man's freedom is tied to responsibility. He proposed the (...) notion of freedom and responsibility as a moral compass for leading an authentic existence. This critical analysis explores Sartre's notion of existential freedom, focusing on its philosophical conceptions, implications, and deficiencies. This paper will properly understand Jean-Paul Sartre's notion of freedom and responsibility, starting by defining freedom in the way Sartre wants us to conceive it. This paper will examine some of the objections raised by Alvin Plantinga against Sartre's philosophy of freedom. And finally, this paper will also analyze Sartre's notion of freedom and responsibility and reveal its incompatibilities with universal morality. By critically evaluating Sartre's concept of existential freedom, this analysis aims to contribute to a deeper understanding of his existentialist philosophy and stimulate further dialogue on the nature and implications of human freedom. (shrink)

Recent advances in natural language processing have given rise to a new kind of AI architecture: the language agent. By repeatedly calling an LLM to perform a variety of cognitive tasks, language agents are able to function autonomously to pursue goals specified in natural language and stored in a human-readable format. Because of their architecture, language agents exhibit behavior that is predictable according to the laws of folk psychology: they function as though they have desires and beliefs, and then make (...) and update plans to pursue their desires given their beliefs. We argue that the rise of language agents significantly reduces the probability of an existential catastrophe due to loss of control over an AGI. This is because the probability of such an existential catastrophe is proportional to the difficulty of aligning AGI systems, and language agents significantly reduce that difficulty. In particular, language agents help to resolve three important issues related to aligning AIs: reward misspecification, goal misgeneralization, and uninterpretability. (shrink)

Paper presented at the Heidegger Circle 2011. Although Aristotle’s influence on young Heidegger’s thought has been studied at length, such studies have almost exclusively focused on his interpretation of Aristotle’s ethics, physics and metaphysics. I will rather address Heidegger’s appropriation of Aristotle’s ontology of life. Focusing on recently published or recently translated courses of the mid 20’s (mainly SS 1924, WS 1925-26 and SS 1926), I hope to uncover an important aspect of young Heidegger’s thought left unconsidered: namely, that Dasein’s (...) existential structures – Befindlichkeit, Understanding and being-with-one-another through language – arose from his close reading of Aristotle’s ontology of life, of animal life. (shrink)

Existential risks threaten the future of humanity, but they are difficult to measure. However, to communicate, prioritize and mitigate such risks it is important to estimate their relative significance. Risk probabilities are typically used, but for existential risks they are problematic due to ambiguity, and because quantitative probabilities do not represent some aspects of these risks. Thus, a standardized and easily comprehensible instrument is called for, to communicate dangers from various global catastrophic and existential risks. In this (...) article, inspired by the Torino scale of asteroid danger, we suggest a color coded scale to communicate the magnitude of global catastrophic and existential risks. The scale is based on the probability intervals of risks in the next century if they are available. The risks’ estimations could be adjusted based on their severities and other factors. The scale covers not only existential risks, but smaller size global catastrophic risks. It consists of six color levels, which correspond to previously suggested levels of prevention activity. We estimate artificial intelligence risks as “red”, while “orange” risks include nanotechnology, synthetic biology, full scale nuclear war and a large global agricultural shortfall (caused by regional nuclear war, coincident extreme weather, etc.) The risks of natural pandemic, supervolcanic eruption and global warming are marked as “yellow” and the danger from asteroids is “green”. -/- Keywords: global catastrophic risks; existential risks; Torino scale; policy; risk probability . (shrink)

Rita Floyd’s "The Morality of Security: A Theory of Just Securitization" is an important and insightful book that delineates a theory of just securitization (modified from the jus ad bellum and jus in bello criteria in just war theory) involving three sets of principles governing the just initiation of securitization, just conduct of securitization, and just desecuritization. This book is a much-needed addition to the security studies and just war scholarship. -/- Here, I explore the potential of Floyd’s just securitization (...) theory (JST) to provide insights into the moral justifiability of non-state groups that are not political entities engaging in resistance against forms of structural violence that pose an existential threat to those groups. Using the case study of the Black Lives Matter (BLM) movement and the threat of white supremacy to African Americans as an illustrative example, I argue that structural forms of violence can meet Floyd’s definition of an objective existential threat, justifying the resort to securitization by groups such as BLM. (shrink)

Some people want their lives to possess importance on a large scale. Some crave fame, or at least wide recognition. And some even desire glory that will only be realised after their death. Such desires are either ignored or disparaged by many philosophers. However, although few of us have a real shot at importance and fame on any grand scale, these can be genuine personal goods when they meet certain further conditions. Importance that relates to positive impact and reflects our (...) agency answers a distinctive existential concern for one's life to matter. And since what is important merits wide appreciation, the step from wanting to be significant and wanting that significance widely appreciated is small. Still, desires for importance and fame can take a more vicious character when they are not properly structured, and when they are not dominated by more impartial aims. If we accept the personal value of importance and fame, it is hard to see why that value cannot extend beyond our death. The temporal distribution of glory is actually irrelevant to its value. But it is also a mistake to identify a concern with posthumous glory with the wish to leave a trace after our death. (shrink)

Summarizing the historical background and characteristics of the present, it should be noted that they are significantly different from the characteristics of the world where past generations lived, which undoubtedly poses new challenges for the human ability to withstand the growing pressure of stress factors. The article considers the problems of psychological resilience and fragility in terms of Existential-analytical psychotherapy of V. Frankl and A. Langle, analyzes the historical context of the present-day Ukraine, external and internal characteristics of the (...) modern world, identifies the role of personality in overcoming negative stress influences, proposes a therapeutic model of optimization of psychological resilience in the context of four fundamental existential motivations. The analysis of recent research indicates that the most important resource of psychological resilience lies on the personal level. Using the Existential-Analytical concept of personality structure (Dr. A. Leangle), the article analyzes the preconditions of the emergence of a threat to loss of integrity in each of the four fundamental existential dimensions. On the other hand, stability is ensured by the full realization of being in the following existential dimensions: relations with the world, which requires space, protection, and support; a relationship with life, a deep feeling that life is good; interconnection with oneself, awareness and respect for their own authenticity and uniqueness, which requires honest and attentive attitudes, recognition of their own values; relationships with the meaning -- awareness of the value and potential of one’s own live, the search for the ways to realize its meaningful integrity. (shrink)

ABSTRACT Approaching Cognitive-Behavioral and Existential Therapy Through Neo-Confucianism (December 1984). Joffre Denis Meyer, B. A. Texas A&M University Chairman of Graduate Committee: Dr. William R. Nash -/- The thesis is an effort to bring Neo-Confucian insights to modern cognitive- behavioral and existential therapy. The adaptability of Neo-Confucianism is illustrated through the growth-system inherent in its concepts. Frequently, Neo-Confucian sages and modern psychologists used virtually identical statements. Moreover, humanity faces the same basic issues while the particularizations vary. The importance (...) of reason, manners, appropriate behavior and self-actualization remains constant. However, the methods of their attainment change with time. The history of the Confucian/Neo-Confucian tradition is filled with such conceptual modifications. -/- Neo-Confucianism is a syncretic philosophy that utilized elements of Zen, Taoism, and Legalism within Confucian teachings. This adaptation increased the sages' ability to communicate with a wider range of people. In effect, the Neo-Confucian movement was perhaps the earliest practice of eclectic counseling. Neo-Confucianism itself has undergone development from its eleventh-century origins to the present-day scholarly journals. -/- The researcher does not believe the key issue in inter- disciplinary studies is whether psychology is being applied to philosophy or vice-versa. Neo-Confucianism pragmatically asserts that the true test of a philosophy rests in its ability to help the individual. Mere intellectual exercise contradicts the unity of knowledge and action. The thesis has five chapters. The existential therapy chapter uses a predominantly Western psychology format while the cognitive-behavioral therapy chapter uses Wang Yang-ming's Four Axiom Teaching as an outline. -/- The thesis also includes Neo-Confucian cognitive-moral development observations reminiscent of Lawrence Kohlberg's stage theories. Neo-Confucianism could be described as an education in evolving from preconventional to principled reasoning. Occasional parallels are drawn between process philosophy and Neo-Confucianism as well. -/- There is also a chapter in which Confucian commentaries are provided to actual case studies faced by Albert Ellis and Maxie Maultsby. A Chinese glossary is provided at the end of the introduction. There are five figures in the text, two of which are summarizing models in the conclusion. -/- . (shrink)

When reusing existing ontologies for publishing a dataset in RDF (or developing a new ontology), preference may be given to those providing extensive subcategorization for important classes (denoted as focus classes). The subcategories may consist not only of named classes but also of compound class expressions. We define the notion of focused categorization power of a given ontology, with respect to a focus class and a concept expression language, as the (estimated) weighted count of the categories that can be built (...) from the ontology’s signature, conform to the language, and are subsumed by the focus class. For the sake of tractable initial experiments we then formulate a restricted concept expression language based on existential restrictions, and heuristically map it to syntactic patterns over ontology axioms (so-called FCE patterns). The characteristics of the chosen concept expression language and associated FCE patterns are investigated using three different empirical sources derived from ontology collections: first, the concept expression pattern frequency in class definitions; second, the occurrence of FCE patterns in the Tbox of ontologies; and last, for class expressions generated from the Tbox of ontologies (through the FCE patterns); their ‘meaningfulness’ was assessed by different groups of users, yielding a ‘quality ordering’ of the concept expression patterns. The complementary analyses are then compared and summarized. To allow for further experimentation, a web-based prototype was also implemented, which covers the whole process of ontology reuse from keyword-based ontology search through the FCP computation to the selection of ontologies and their enrichment with new concepts built from compound expressions. (shrink)

Within the cognitive science of religion, some scholars hypothesize (1) that minimally counterintuitive (MCI) concepts enjoy a transmission advantage over both intuitive and highly counterintuitive concepts, (2) that religions concern counterintuitive agents, objects, or events, and (3) that the transmission advantage of MCI concepts makes them more likely to be found in the world’s religions than other kinds of concepts. We hypothesized that the memorability of many MCI supernatural concepts was due in large part to other characteristics they possess, such (...) as their frequent and salient association with moral concerns and the alleviation of existential anxieties, and that without such characteristics they would fail to be memorable. We report the results of three experiments designed to test the relative contributions of minimal counterintuitiveness, moral valence, and existential anxiety to the memorability of supernatural ideas. We observed no main effects for minimal counterintuitiveness but did observe main effects for both moral valence and existential anxiety. We also found that these effects did not seem to stem from the greater visualizability of morally valenced concepts or concepts that concerned existential anxieties. These findings challenge important claims made by leading researchers regarding MCI concepts within the cognitive science of religion. (shrink)

In spite of the many important findings made within the theory of emotions, scholars still struggle to coherently account for the unique structure of disgust or determine its essence. In contrast to much of the contemporary literature on disgust, I aim to show that, through employing the phenomenological method in his 1929 essay “Disgust” (Der Ekel), Aurel Kolnai was able to grasp the real significance of the phenomenon of disgust. The current study aims to clarify and present Kolnai’s insight into (...) the nature of disgust wherein the latter is first and foremost conceived as an ambivalent, multifaceted, but coherent phenomenon. Namely, as a defense mechanism that reacts against the proximity of a disturbing object charged with an ambiguous value of confusion that fluctuates between surplus of life and intention towards death. In order to achieve this goal, I present Kolnai’s notion of disgust by first focusing on the foreground of the phenomena of disgust: the essential features of the intentional content of disgust, the object of disgust in particular. I then present and analyze the life-death complex as the underlying structures of the visceral sense of disgust. Lastly, I show how the life-death complex relates to the visceral sense of disgust, thereby affirming the coherence of disgust. (shrink)

The similitude between anxiety and death is the starting point of Paul Tillich's analysis from The Courage To Be, his famous theological and philosophical reply to Heidegger's Being And Time. Not only Tillich and Heidegger are concerned with the connection between anxiety and death but also other proponents of both existentialism and nihilism like Nietzsche, Cioran and Shestov. Tillich observes that "anxiety puts frightening masks" over things and perhaps this definition is its finest contribution to the spectacular phenomenology of anxiety. (...) Moreover, Tillich has some illuminating insights about the anxiety of emptiness and meaninglessness, which are important for the history of the existential philosophy. It is interesting how the protestant theologian tries to answer to Heidegger: while the German philosopher asserted that we must avoid fear and we have to embrace anxiety as a route to personal authenticity, Tillich notes that we should transform anxiety into fear, because courage is more likely to "abolish" fear. (shrink)

This paper considers one of the most significant and controversial attempts to account for the meaning of pejoratives as lexical items, namely Hom and May’s. After outlining the theory, we pinpoint sets of pejorative sentences that come out true on their account and for which the question as to whether they are compatible with the view advocated by them (so-called Moral and Semantic Innocence) remains open. Helping ourselves to the standard model-theoretical framework Hom and May (presumably) work in, we prove (...) they are compatible with the view. Given that the issues of both the moral import of pejoratives and the practical effects of their utterance are not settled by the proof, we then highlight unwelcome moral and pragmatic implications for some of the pejorative sentences under scrutiny, thereby showing that the view, broadly understood, is not as morally and semantically innocuous as it is meant to be. (shrink)

Eugen Fink’s interpretation of play is virtually absent in the current philosophy of sport, despite the fact that it is rich in original descriptions of the structure of play. This might be due to Fink’s decision not to merely describe play, but to employ its analysis in the course of an elucidation of the ontological problem of the world as totality. On the other hand, this approach can enable us to properly evaluate the true existential and/or ontological value of (...) play. According to Fink, by integrating beings into the imaginary play-world, we become able to transcend mere circumscribed individual entities and encounter reality as such in a new, more profound way. This positive ontological value of play is, however, forgotten because the imaginary dimension of play is traditionally interpreted as a virtual imitation of a model reality which already actually exists somewhere else. For this reason, Fink returns to the Platonic interpretation of play, which laid the foundations for this understanding, and... (shrink)

This chapter presents a conception of understanding where understanding emerges out of the joint experience of conversation. On this conception, understanding requires more than the pre-reflective acquisition of shared social meanings – a conception of understanding historically highlighted by existential phenomenologists. Beyond this, it requires what occurs in genuine conversation, namely, that one put one’s pre-reflective social meanings at risk in the process of critical self-reflection. Drawing from the hermeneutic phenomenology of Hans-Georg Gadamer, I argue that conversation is that (...) joint experience that gives rise to such critical self-reflection and that it is conversation’s play-structure in particular that makes it a source of understanding in this sense. (shrink)

A general characterization of logical opposition is given in the present paper, where oppositions are defined by specific answers in an algebraic question-answer game. It is shown that opposition is essentially a semantic relation of truth values between syntactic opposites, before generalizing the theory of opposition from the initial Apuleian square to a variety of alter- native geometrical representations. In the light of this generalization, the famous problem of existential import is traced back to an ambiguous interpretation of (...) assertoric sentences in Aristotle's traditional logic. Following Abelard’s distinction between two alternative readings of the O-vertex: Non omnis and Quidam non, a logical difference is made between negation and denial by means of a more fine- grained modal analysis. A consistent treatment of assertoric oppositions is thus made possible by an underlying abstract theory of logical opposition, where the central concept is negation. A parallel is finally drawn between opposition and consequence, laying the ground for future works on an abstract operator of opposition that would characterize logical negation just as does Tarski’s operator of consequence for logical truth. (shrink)

According to what Jonathan Bennett calls the Kant–Frege view of existence, Frege gave solid logical foundations to Kant’s claim that existence is not a real predicate. In this article I will challenge Bennett’s claim by arguing that although Kant and Frege agree on what existence is not, they agree neither on what it is nor on the importance and justification of existential propositions. I identify three main differences: first, whereas for Frege existence is a property of a concept, for (...) Kant it is a relational property pertaining between the concept and intuition of an object. Second, whereas for Frege truth about individuals presupposes their existence, for Kant truth is in many cases independent of the existence of objects. Third, whereas Frege binds logic to existence and removes modalities from logic, for Kant existence is a modal category that is emphatically removed from the domain of logic and set in the core of metaphysics. Due to these differences in Kant’s and Frege’s theories of existence, Frege cannot be seen as giving logical clarity to Kant’s view. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

It is claimed hereby that, against a current view of logic as a theory of consequence, opposition is a basic logical concept that can be used to define consequence itself. This requires some substantial changes in the underlying framework, including: a non-Fregean semantics of questions and answers, instead of the usual truth-conditional semantics; an extension of opposition as a relation between any structured objects; a definition of oppositions in terms of basic negation. Objections to this claim will be reviewed.

Carrie Jenkins (2005, 2008) has developed a theory of the a priori that she claims solves the problem of how justification regarding our concepts can give us justification regarding the world. She claims that concepts themselves can be justified, and that beliefs formed by examining such concepts can be justified a priori. I object that we can have a priori justified beliefs with unjustified concepts if those beliefs have no existential import. I then argue that only beliefs without (...) existential import can be justified a priori on the widely held conceptual approach. This limits the scope of the a priori and undermines arguments for essentialism. (shrink)

“Existential risks” are risks that threaten the destruction of humanity’s long-term potential: risks of nuclear wars, pandemics, supervolcano eruptions, and so on. On standard utilitarianism, it seems, the reduction of such risks should be a key global priority today. Many effective altruists agree with this verdict. But how should the importance of these risks be assessed on a Christian moral theory? In this paper, I begin to answer this question – taking Thomas Aquinas as a reference, and the risks (...) of anthropogenic extinction as an example. I’ll suggest that on a Thomist framework, driving ourselves extinct would constitute a complete failure to fulfil our God-given nature, a radical form of hubris, and a loss of cosmological significance. So the reduction of such risks seems vital for Thomists, or Christians more broadly. Indeed, I end with the thought that these considerations are not parochially Christian, or indeed specifically religious: everyone with a similar view of mankind – as immensely valuable yet fallen and fragile – should agree that existential risks are a pressing moral concern. (shrink)

The importance of addressing the existential threat to humanity, climate change, has grown remarkedly in recent years while conflicting views and interests in societies exist. Therefore, climate change agendas have been weaponized to varying degrees, ranging from the international level between countries to the domestic level among political parties. In such contexts, climate change agendas are predominantly driven by political or economic ambitions, sometimes unconnected to concerns for environmental sustainability. Consequently, it can result in an environment that fosters antagonism (...) and disputes over power and position and increases the risk of prolonged confrontations, hindering the collective global efforts to mitigate and adapt to climate change. Through the current discourse, we aim to provide a preliminary definition of the weaponization of climate change and environmental degradation and examine its risks and consequences on international relations, political dynamics, public perception, and the comprehensive integrity of climate action. We also recommend embracing a globally coordinated, scientifically substantiated approach to circumvent climate change by building an eco-surplus cultural value system. (shrink)

Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer scrutiny are not. The premises have modal import that is required for the arguments but is not immediately grasped on inspection, and which ultimately undermines the simpler logical intuitions that make the premises seem plausible. Furthermore, the notion of necessity that they involve goes unspecified, and yet must go beyond standard varieties of logical necessity. This leaves us little (...) reason to believe the premises, while their implausible existential import gives us good reason not to. (shrink)

A down-to-earth exposition of the work by Martin Janello on the Philosophy of Happiness. It introduces the fundamental notions that happiness is of existential importance for individuals and humanity - and that we each have it within our power to improve our lives and make this a better world in the process. It also spells out that our success in these matters depends on us living our truth. Searching for, finding, and practicing this truth creates our individual philosophy of (...) happiness. -/- Helping readers develop their personal philosophy of happiness is the purpose of Martin Janello's work. References to his main work, "Philosophy of Happiness," and other publications, as well as additional supportive materials, are available at the linked Philosophy of Happiness website. This article is a 4-page transcript of a video presentation that can be viewed on the Philosophy Of Happiness YouTube Channel. (shrink)

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised to (...) find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

A Fortiori Logic: Innovations, History and Assessments is a wide-ranging and in-depth study of a fortiori reasoning, comprising a great many new theoretical insights into such argument, a history of its use and discussion from antiquity to the present day, and critical analyses of the main attempts at its elucidation. Its purpose is nothing less than to lay the foundations for a new branch of logic and greatly develop it; and thus to once and for all dispel the many fallacious (...) ideas circulating regarding the nature of a fortiori reasoning. -/- The work is divided into three parts. The first part, Formalities, presents the author’s largely original theory of a fortiori argument, in all its forms and varieties. Its four (or eight) principal moods are analyzed in great detail and formally validated, and secondary moods are derived from them. A crescendo argument is distinguished from purely a fortiori argument, and similarly analyzed and validated. These argument forms are clearly distinguished from the pro rata and analogical forms of argument. Moreover, we examine the wide range of a fortiori argument; the possibilities of quantifying it; the formal interrelationships of its various moods; and their relationships to syllogistic and analogical reasoning. Although a fortiori argument is shown to be deductive, inductive forms of it are acknowledged and explained. Although a fortiori argument is essentially ontical in character, more specifically logical-epistemic and ethical-legal variants of it are acknowledged. -/- The second part of the work, Ancient and Medieval History, looks into use and discussion of a fortiori argument in Greece and Rome, in the Talmud, among post-Talmudic rabbis, and in Christian, Moslem, Chinese and Indian sources. Aristotle’s approach to a fortiori argument is described and evaluated. There is a thorough analysis of the Mishnaic qal vachomer argument, and a reassessment of the dayo principle relating to it, as well as of the Gemara’s later take on these topics. The valuable contribution, much later, by Moshe Chaim Luzzatto is duly acknowledged. Lists are drawn up of the use of a fortiori argument in the Jewish Bible, the Mishna, the works of Plato and Aristotle, the Christian Bible and the Koran; and the specific moods used are identified. Moreover, there is a pilot study of the use of a fortiori argument in the Gemara, with reference to Rodkinson’s partial edition of the Babylonian Talmud, setting detailed methodological guidelines for a fuller study. There is also a novel, detailed study of logic in general in the Torah. -/- The third part of the present work, Modern and Contemporary Authors, describes and evaluates the work of numerous (some thirty) recent contributors to a fortiori logic, as well as the articles on the subject in certain lexicons. Here, we discover that whereas a few authors in the last century or so made some significant contributions to the field, most of them shot woefully off-target in various ways. The work of each author, whether famous or unknown, is examined in detail in a dedicated chapter, or at least in a section; and his ideas on the subject are carefully weighed. The variety of theories that have been proposed is impressive, and stands witness to the complexity and elusiveness of the subject, and to the crying need for the present critical and integrative study. But whatever the intrinsic value of each work, it must be realized that even errors and lacunae are interesting because they teach us how not to proceed. -/- This book also contains, in a final appendix, some valuable contributions to general logic, including new analyses of symbolization and axiomatization, existential import, the tetralemma, the Liar paradox and the Russell paradox. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications devoted at least in part to Aristotle’s logic. Sections I–IV list 20 articles, 43 abstracts, 3 books, and 10 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article that antedates Corcoran’s Aristotle’s studies and the Journal of Symbolic Logic article first reporting his original results; it ends with works published in 2015. A few of the items are annotated with endnotes connecting them with (...) other work. In addition, Section V “Discussions” is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 22 in the 1980s, 39 in the 1990s, 56 in the 2000s, and 65 in the current decade. The secondary bibliography is annotated with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. As is evident from the Acknowledgements sections, all of Corcoran’s publications benefited from correspondence with other scholars, most notably Timothy Smiley, Michael Scanlan, and Kevin Tracy. All of Corcoran’s Greek translations were done in consultation with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. (shrink)

Which artificial intelligence (AI) systems are agents? To answer this question, I propose a multidimensional account of agency. According to this account, a system's agency profile is jointly determined by its level of goal-directedness and autonomy as well as is abilities for directly impacting the surrounding world, long-term planning and acting for reasons. Rooted in extant theories of agency, this account enables fine-grained, nuanced comparative characterizations of artificial agency. I show that this account has multiple important virtues and is more (...) informative than alternatives. More speculatively, it may help to illuminate two important emerging questions in AI ethics: 1. Can agency contribute to the moral status of non-human beings, and how? 2. When and why might AI systems exhibit power-seeking behaviour and does this pose an existential risk to humanity? (shrink)

Symbolic logic faced great difficulties in its early stage of development in order to acquire recognition of its utility for the needs of science and society. The aim of this paper is to discuss an early attempt by the British logician Lewis Carroll (1832–1898) to promote symbolic logic as a social good. This examination is achieved in three phases: first, Carroll’s belief in the social utility of logic, broadly understood, is demonstrated by his numerous interventions to fight fallacious reasoning in (...) public debates. Then, Carroll’s attempts to promote symbolic logic, specifically, are revealed through his work on a treatise that would make the subject accessible to a wide and young audience. Finally, it is argued that Carroll’s ideal of logic as a common good influenced the logical methods he invented and allowed him to tackle more efficiently some problems that resisted to early symbolic logicians. (shrink)

An advanced artificial intelligence could pose a significant existential risk to humanity. Several research institutes have been set-up to address those risks. And there is an increasing number of academic publications analysing and evaluating their seriousness. Nick Bostrom’s superintelligence: paths, dangers, strategies represents the apotheosis of this trend. In this article, I argue that in defending the credibility of AI risk, Bostrom makes an epistemic move that is analogous to one made by so-called sceptical theists in the debate about (...) the existence of God. And while this analogy is interesting in its own right, what is more interesting are its potential implications. It has been repeatedly argued that sceptical theism has devastating effects on our beliefs and practices. Could it be that AI-doomsaying has similar effects? I argue that it could. Specifically, and somewhat paradoxically, I argue that it could amount to either a reductio of the doomsayers position, or an important and additional reason to join their cause. I use this paradox to suggest that the modal standards for argument in the superintelligence debate need to be addressed. (shrink)

The physics literature contains many claims that elementary particles have been observed: such observational claims are, of course, important for the development of existential knowledge. Regarding claimed observations of short-lived unstable particles in particular, the use of the word 'observation' is based on the convention in physics that the observation of a short-lived unstable particle can be claimed when its predicted decay products have been observed with a significance of 5 sigma. This paper, however, shows that this 5 sigma (...) convention is inconsistent with existing concepts of observation by showing that unstable particles with a lifetime of less than 0.01 attosecond are fundamentally unobservable both from the perspective of Fox's recent concepts of direct and indirect observation, and from the perspective of Van Fraassen's notion of observability. This cognitive inaccessibility of parts of the subatomic world has far-reaching implications for physics, not the least of which is that the aforementioned convention is untenable: claims that such short-lived unstable particles have been observed will thus have to be retracted. The main implications are two incompleteness theorems for physics, respectively stating (i) that experiments cannot prove completeness of a physical theory predicting short-lived unstable particles, and (ii) that experiments cannot prove correctness of such a theory|one can at most test its empirical adequacy. On a general note, the conclusion is that the importance of philosophical arguments for particle physics is herewith demonstrated: it is, thus, a widespread misconception that philosophical arguments can be completely avoided. (shrink)

An important argument in favour of recognising the cultural relativism and against universality of dignity and human rights, is the claim that the concept of dignity is a genuinely modern one. An analysis of a passage from the Demiurge’s speech in Timaeus reveals that Plato devoted time to reflecting on the question of what determines the qualitative difference between certain beings (gods and human being) and the world of things, and what forms the basis for the special treatment of these (...) beings – issues that using the language of today can be described reasonably as dignity. The attributes of this form of dignity seem to overlap with the nature of dignity as we know it today. Moreover, Plato proposes a response both to the question of what dignity is like, as well as the question of what dignity is. It is existential perfection, rooted in a perfect manner of existence, based on a specific internal unity of being. Dignity is therefore primordial in regard to particular features and independent of their acquisition or loss. Plato’s approach allows him to postulate that people be treated as ends in themselves; an approach therefore that prohibits the treatment of people as objects. Both the state and law are ultimately subordinated to the good of the individual, rather than the individual to the good of the state. -/- Istotny argument na rzecz relatywizmu kulturowego i przeciwko powszechności godności i wynikających z niej praw człowieka, oparty jest na poglądzie, że godność uznana została dopiero w czasach nowożytnych. Analiza fragmentu mowy Demiurga z Platońskiego dialogu Timajos ujawnia, że Platon rozwinął refleksję nad czymś, co stanowi o jakościowej różnicy między pewnymi istotami (bogami i ludźmi) a światem rzeczy, i co jest podstawą szczególnego traktowania tych istot, a co językiem współczesnym zasadnie można określić jako godność. Zbieżna jest charakterystyka tej godności z charakterystyką przyjmowaną współcześnie. Co więcej, Platon daje propozycję odpowiedzi nie tylko na pytanie, jaka jest godność, ale także na pytanie, czym jest godność. Jest ona doskonałością egzystencjalną, ugruntowanym w szczególnie doskonałym sposobie istnienia, opartym na szczególnej wewnętrznej jedności bytu. Jako doskonałość istnienia ogarnia ona cały byt, wszystkie jego cechy; jest nieoddzielalna od bytu (jest przyrodzona i niezbywalna). Jako pierwotna wobec partykularnych cech, jest niezależna od ich nabywania lub utraty. Platońskie ujęcie pozwala w oparciu o ujęcie godności formułować postulaty zbieżne z formułowanymi dziś dyrektywami nakazującymi traktować osoby jako cele same w sobie i zakazującymi traktowania osób w sposób czysto instrumentalny, przedmiotowy. Okazuje się, że – zdaniem Platona – jednostki nie wolno traktować czysto instrumentalnie dla dobra państwa; zarówno państwo, jak i prawo są podporządkowane dobru jednostki. (shrink)

The purpose of this dissertation is to design a conception of political poverty that can address the loss of the experience of political freedom. This form of political poverty is described as separate from poverty of resources and opportunities, and poverty of capabilities required for participation. The study aims to make intelligible how a person or a group can suffer from a diminishing and fracturing of social experience, which can lead to the inability to experience oneself as a capable and (...) credible political agent, political engagement as a meaningful field of action, and democratic politics as a meaningful avenue for changing things for the better. This is a phenomenon which has been heretofore neglected by political theorists. -/- The study presents a heuristic diagnosis of political poverty as loss of experiential freedom that involves four aspects of experience that have specifically political relevance: loss of trust, loss of expressivity, loss of a sense of access to the public world, and the loss of future temporality in experience. Diminishing and fracturing of these aspects of social experience can lead to politically impoverished persons and groups to become complicit in their own marginalisation by remaining unmotivated to challenge it. These aspects of social experience are approached through phenomenological portraits, chosen from literature on social exclusion and poverty. The diagnosis remains open to further development through exploration of other aspects of experience. -/- The study draws on the thinking of Maurice Merleau-Ponty and Hannah Arendt to present an account of political freedom as only experienced in co-existence with others. Through a critical discussion of their work, a more comprehensive account of political agency is developed. The experience of having political agency involves not just the cognitive and communicative capacities of the subject, but also the entire perceptual and motor intentionality of their lived body. The experience of meaningfulness is approached by exploring the intersubjective constitution of the self in a dialectical process with their social environment. This experience is described as a form of faith in oneself as an agent and in the meaningfulness of political engagement. Such faith is a practical, meaning-giving intentional relationship of a lived body to their social environment. -/- This study emphasizes the experience of being a capable and credible political agent, and experiencing politics as a meaningful field for engagement, as important aspects of political freedom that should be considered alongside inclusivity of democratic processes, the equality of opportunity to participate, and the equality of the cognitive and communicative capabilities required for effective participation. In order to discuss political poverty as the loss of experiential freedom, we must go beyond objectivist models of social critique and approach the problem with the tools of existential phenomenology. (shrink)

The importance of The Origin of The Work of Art in Heidegger’s path of thought is notorious. Besides adding to the framework of the thematization of the question of being a reflection on art, the conference is considered a landmark of the displacement from the existential analytic of Dasein to the problem of history of being. Divided in three parts, this paper connects such a displacement to the relationship between art and truth established in the conference. In the first (...) part, it indicates how the criticism of aesthetic tradition is inserted in the project of overcoming metaphysics through the problematization of subjectivism. The second is dedicated to the theme of the origin of the work of art in its nexus to the notions of history and institution. In the third part, it discusses the idea of art as a setting-itself-into-work of truth as alétheia, bound to the tension between world and earth that would expose itself in art. In the final remarks, I suggest that, going beyond the Greek paradigm and Heidegger’s hesitations, the association between art and alétheia also applies to the experience offered by modern and contemporary works. (shrink)

Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders’s proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind’s Habilitationsrede, to which Manders’s account is compared. (...) I conclude with an examination of three possible stances towards extensions via ideal elements. (shrink)

According to an intriguing though somewhat enigmatic line of thought first proposed by Jonathan Bennett, if humanity went extinct any time soon this would be unfortunate because important business would be left unfinished. This line of thought remains largely unexplored. I offer an interpretation of the idea that captures its intuitive appeal, is consistent with plausible constraints, and makes it non-redundant to other views in the literature. The resulting view contrasts with a welfare-promotion perspective, according to which extinction would be (...) bad because it would come at a massive opportunity cost in terms of feasibly achievable welfare over the lifetime of our species. (shrink)