Longtermism is the thesis that in a large class of decision situations, the best thing we can do is what is best for the long-term future. The scope question for longtermism asks: how large is the class of decision situations for which this is true? In this paper, I suggest that the scope of longtermism may be narrower than many longtermists suppose. I identify a restricted version of longtermism: swamping axiological strong longtermism (swamping ASL). (...) I identify three scope-limiting factors - probabilistic and decision-theoretic phenomena which, when present, tend to reduce the prospects for swamping ASL. I argue that these scope-limiting factors are often present in human decision problems, then use two case studies from recent discussions of longtermism to show how the scope-limiting factors lead to a restricted, if perhaps nonempty, scope for swamping ASL. (shrink)

Longtermists have argued that humanity should significantly increase its efforts to prevent catastrophes like nuclear wars, pandemics, and AI disasters. But one prominent longtermist argument overshoots this conclusion: the argument also implies that humanity should reduce the risk of existential catastrophe even at extreme cost to the present generation. This overshoot means that democratic governments cannot use the longtermist argument to guide their catastrophe policy. In this paper, we show that the case for preventing catastrophe does not depend on (...) class='Hi'>longtermism. Standard cost-benefit analysis implies that governments should spend much more on reducing catastrophic risk. We argue that a government catastrophe policy guided by cost-benefit analysis should be the goal of longtermists in the political sphere. This policy would be democratically acceptable, and it would reduce existential risk by almost as much as a strong longtermist policy. (shrink)

This chapter makes the case for strong longtermism: the claim that, in many situations, impact on the long-run future is the most important feature of our actions. Our case begins with the observation that an astronomical number of people could exist in the aeons to come. Even on conservative estimates, the expected future population is enormous. We then add a moral claim: all the consequences of our actions matter. In particular, the moral importance of what happens does not (...) depend on when it happens. That pushes us toward strong longtermism. We then address a few potential concerns, the first of which is that it is impossible to have any sufficiently predictable influence on the course of the long-run future. We argue that this is not true. Some actions can reasonably be expected to improve humanity’s long-term prospects. These include reducing the risk of human extinction, preventing climate change, guiding the development of artificial intelligence, and investing funds for later use. We end by arguing that these actions are more than just extremely effective ways to do good. Since the benefits of longtermist efforts are large and the personal costs are comparatively small, we are morally required to take up these efforts. (shrink)

Celem artykułu jest pokazanie konsekwencji przyjęcia longtermizmu w wersji skrajnej dla postrzegania obowiązku likwidacji skrajnej biedy w świetle zasady równego rozważania interesów. W artykule argumentuję na rzecz hipotezy, że konsekwentny zwolennik myśli etycznej Petera Singera skorygowanej o postulaty long- termizmu musi przyjąć, iż obowiązki wobec przyszłych ludzi uchylają obowiązki wobec obecnie żyjących ludzi, nawet znajdujących się w tak niekorzystnym położeniu jak skrajna bieda. W pierwszej części artykułu szkicuję argumenty Singera na rzecz moralnego obowiązku likwidacji skrajnej biedy za pomocą efektywnych metod (...) aż do znacznego obniżenia własnego poziomu życia. Przybliżenie tych szeroko znanych poglądów stanowi ramy argumentacji na rzecz hipotezy badawczej. Następnie krótko charakteryzuję efektywny altruizm, na gruncie któ- rego wyrosło nowe podejście w ramach konsekwencjalizmu: longtermizm. Postulaty i założenia longtermizmu w ujęciu W. MacAskilla i T. Orda zestawiam z myślą Singera, aby doprowadzić ich argumentację do logicznych wniosków, które wspierają hipotezę badawczą artykułu -/- Moral duties towards the poor and longtermism The aim of the article is to show the consequences of adopting strong longtermism for the perception of the obligation to eliminate extreme poverty in the light of the principle of equal consideration of interests. In the article, I argue in favor of the hypothesis that a consistent supporter of Peter Singer’s ethical thought adjusted to the postulates of longtermism must assume that obligations towards future people abrogate duties towards current people, even those in such an unfavorable situation as extreme poverty. In the first part of the article, I sketch Singer’s arguments for the moral obligation to eliminate extreme poverty using effective methods, up to significant decrease in one’s level of life. An outline of these widely known views constitutes the framework of arguments in favor of the research hypothesis. Then I briefly characterize effective altruism, which is the basis for a new approach within consequentialism: longtermism. I compare the postulates and assumptions of longtermism as presented by W. MacAskill and T. Ord with Singer’s thought in order to bring their argumen- tation to logical conclusions that support the research hypothesis of this article. (shrink)

In the final pages of On What Matters, Volume II, Derek Parfit comments: ‘We live during the hinge of history... If we act wisely in the next few centuries, humanity will survive its most dangerous and decisive period... What now matters most is that we avoid ending human history.’ This passage echoes Parfit's comment, in Reasons and Persons, that ‘the next few centuries will be the most important in human history’. -/- But is the claim that we live at the (...) hinge of history true? The argument of this paper is that it is not. The paper first suggests a way of making the hinge of history claim precise and action-relevant in the context of the question of whether altruists should try to do good now, or invest their resources in order to have more of an impact later on. Given this understanding, there are two worldviews - the Time of Perils and Value Lock-in views - on which we are indeed living during, or about to enter, the hinge of history. -/- This paper then presents two arguments against the hinge of history claim: first, that it is a priori extremely unlikely to be true, and that the evidence in its favour is not strong enough to overcome this a priori unlikelihood; second, an inductive argument that our ability to influence events has been increasing over time, and we should expect that trend to continue into the future. The paper concludes by considering two additional arguments in favour of the claim, and suggests that though they have some merit, they are not sufficient for us to think that the present time is the most important time in the history of civilisation. GPI Working Paper No. 12-2020. (shrink)

Most prominent arguments favoring the widespread discretionary business practice of sending jobs overseas, known as ‘offshoring,’ attempt to justify the trend by appeal to utilitarian principles. It is argued that when business can be performed more cost-effectively offshore, doing so tends, over the longterm, to achieve the greatest good for the greatest number. This claim is supported by evidence that exporting jobs actively promotes economic development overseas while simultaneously increasing the revenue of the exporting country. After showing that offshoring might (...) indeed be justified on utilitarian grounds, I argue that according to Rawlsian social-contract theory, the practice is nevertheless irrational and unjust. For it unfairly expects the people of a given society to accept job-gain benefits to peoples of other societies as outweighing job-loss hardships it imposes on itself. Finally, I conclude that contrary to socialism, which relies much more on government control, capitalism constitutes a social contract that places a particularly strong moral obligation on corporations themselves to refrain from offshoring. (shrink)

To what extent do we value future generations? It may seem from our behavior that we don’t value future generations much at all, at least in relation to how much we value present generations. However, in his book _Death and the Afterlife_, Samuel Scheffler argues that we value the future even _more_ than we value the present, even though this is not immediately apparent to us. If Scheffler’s argument is sound, then it has important ramifications: It would give us a (...) strong motivation to put more energy into abating environmental crises like climate change, and it supports at least a limited form of ethical _longtermism_. However, in this paper, I show that Scheffler’s argument is fallacious. Scheffler claims that we do not regard the fact that we in the present generation will all die relatively soon as a catastrophe, but we do regard the non-existence of future generations as a catastrophe. But the particular scenario used by Scheffler to illustrate this point—the plot of the book _The Children of Men_—is one in which _both_ the present generation will perish _and_ there will be no future generations, and it is this _conjunction_ that is catastrophic, thus giving no information about which is worse. I suggest other ways to compare our valuations of present and future generations, and recommend that philosophers who are interested in the moral psychology of how we value future generations ought to engage with social science, as it is an empirical issue. (shrink)

Purpose – to differency in the franchise model implementation by tour operators in the European and Ukrainian markets. Design/Method/Approach. A theoretical approach is based on generalization, system and comparative analysis, content analysis, statistical, and graphical and tabular methods. Findings. The research characterized business franchising models of the largest multidisciplinary tour operators of mass tourism in Ukraine. The general conditions of performing tourist activity on the principles of business franchising for travel agencies are determined. The authors clarified the differences between business (...) franchising models in the European and Ukrainian markets. The mechanism of business multiplication and cooperation of opportunities aimed at promoting a tourist product on the target market defines the franchising. Originality/Value. The scientific novelty is to clarify the tourism activities conditions on a franchise basis in Europe and, in particular, in Ukraine, highlighting the franchise model features of the European business that are in a clearly defined vertically integrated management structure, strong national marketing management, corporate business support, longterm franchise agreements, and effective franchise system. Practical implications. The research practical results significance lies in travel agencies' possible application in deciding to join the franchise network and tour operators in addressing projected business risks diversification. Research limitattions / Future research. Due to the economic crisis in the tourism business, further research promising area is to find ways to stabilize the network business in tourism. The change in the financial condition of travel agencies after franchisee status obtain or termination is of interest. Paper type – theoretical. (shrink)

This paper examines a recent argument in favour of strong precautionary action—possibly including working to hasten human extinction—on the basis of a decision-theoretic view that accommodates the risk-attitudes of all affected while giving more weight to the more risk-averse attitudes. First, we dispute the need to take into account other people’s attitudes towards risk at all. Second we argue that a version of the non-identity problem undermines the case for doing so in the context of future people. Lastly, we (...) suggest that we should not work to hasten human extinction, even if significant risk aversion is warranted. (shrink)

The situated potentials for action between material things in the world and the interactional processes thereby afforded need to be seen as not only constituting the possibility of agency, but thereby also comprising it. Eo ipso, agency must be de-fused from any local, "contained" subject and be understood as a situational property in which subjects and objects can both participate. Any technological artifact should thus be understood as a complex of agential capacities that function relative to any number of social (...) and material factors. Keeping in mind that we are co-constituted by webs of relations involving increasingly complex collections of artefacts, networks, niches, and communities of practice, our investigation will be guided by interrogating the functional potential of a thing that in the last fifteen years has seamlessly worked its way into the everyday life of millions of human agents. This "thing," the smartphone, is merely a nodal point in a highly complex network. Recognizing this massive "collective," we nevertheless want to show some of the ways in which something as seemingly mundane as a smartphone can reflexively alter the range of actions available to a cognitive agent (Latour 1994). Specifically, we hope to shed light on some of the social-cognitive consequences of technological mediation by looking at the complementary, if not mutually implied, domains of memory and knowledge. (shrink)

According to Longtermism, our acts’ expected influence on the expected value of the world is mainly determined by their effects in the far future. There is, given total utilitarianism, a straightforward argument for Longtermism due to the enormous number of people that might exist in the future, but this argument does not work on person-affecting views. In this paper, we will argue that these views might also lead to Longtermism if Prudential Longtermism is true. Prudential (...) class='Hi'>Longtermism holds for a person if and only if our acts’ overall influence on that person’s expected well-being is mainly determined by the acts’ effects in the far future. We argue that (due to a small chance of anti-ageing and uploading) there could be an enormous amount of prudential value for some contemporary person in the far future and that value may be so large that it dominates their overall expectation of lifetime well-being. (shrink)

Advocates of longtermism point out that interventions which focus on improving the prospects of people in the very far future will, in expectation, bring about a significant amount of good. Indeed, in expectation, such long-term interventions bring about far more good than their short-term counterparts. As such, longtermists claim we have compelling moral reason to prefer long-term interventions. In this paper, I show that longtermism is in conflict with plausible deontic scepticism about aggregation. I do so by demonstrating (...) that, from both an ex-ante and ex-post perspective, longtermist interventions – and, in particular, those which aim to mitigate catastrophic risk – typically generate extremely weak claims of assistance from future people. (shrink)

A number of philosophers have argued that if you care about how much goodness your actions generate, or how good the state-of-affairs you actions bring about are, then your attention should be directed towards the very far future. But many don’t care about how much goodness their actions generate, nor do they care about things like “states-of-affairs”. Amongst a multitude of things, many people care about how their actions impact individuals. And they also care about the sorts of justifications they (...) are able to offer for those actions. One moral theory which captures this moral viewpoint is contractualism. In this chapter, I argue that contractualism is, in large part, incompatible with longtermism – the view that, in many contexts, we ought to do that which will most improve the prospects of future people. I then discuss what advice, if any at all, contractualism can offer to the longtermist. (shrink)

Longtermists claim that what we ought to do is mainly determined by how our actions might affect the very long-run future. A natural objection to longtermism is that these effects may be nearly impossible to predict — perhaps so close to impossible that, despite the astronomical importance of the far future, the expected value of our present actions is mainly determined by near-term considerations. This paper aims to precisify and evaluate one version of this epistemic objection to longtermism. (...) To that end, I develop two simple models for comparing ‘longtermist’ and ‘neartermist’ interventions, incorporating the idea that it is harder to make a predictable difference to the further future. These models yield mixed conclusions: if we simply aim to maximize expected value, and don’t mind premising our choices on minuscule probabilities of astronomical payoffs, the case for longtermism looks robust. But on some prima facie plausible empirical worldviews, the expectational superiority of longtermist interventions depends heavily on these ‘Pascalian’ probabilities. So the case for longtermism may depend either on plausible but non-obvious empirical claims or on a tolerance for Pascalian fanaticism. (shrink)

Longtermism should not be wrongly defined as the view that we should act so that the future is as good as possible for human beings and their descendants; rather, longtermists should be concerned with what the long-term future may be like for all sentient beings. This includes nonhuman animals, as different risks of future suffering may afflict them. Indifference toward their interests could lead to the worsening of their use as resources, quantitatively and qualitatively. It could also help expand (...) wild animal suffering, a process that may have already begun. (shrink)

A social planner who evaluates risky public policies in light of the other risks with which their society will be faced should judge favourably some such policies even though they would deem them too risky when considered in isolation. I suggest that a longtermist would—or at least should—evaluate risky polices in light of their prediction about future risks; hence, longtermism supports social risk-taking. I consider two formal versions of this argument, discuss the conditions needed for the argument to be (...) valid, and briefly compare these conditions to some risky policy options with which actual public decision-makers are faced. (shrink)

One of the most plausible and widely discussed examples of strong emergence is molecular structure. The only detailed account of it, which has been very influential, is due to Robin Hendry and is formulated in terms of downward causation. This paper explains Hendry’s account of the strong emergence of molecular structure and argues that it is coherent only if one assumes a diachronic reflexive notion of downward causation. However, in the context of this notion of downward causation, the (...) strong emergence of molecular structure faces three challenges that have not been met and which have so far remained unnoticed. First, the putative empirical evidence presented for the strong emergence of molecular structure equally undermines supervenience, which is one of the main tenets of strong emergence. Secondly, it is ambiguous how the assumption of determinate nuclear positions is invoked for the support of strong emergence, as the role of this assumption in Hendry’s argument can be interpreted in more than one way. Lastly, there are understandings of causation which render the postulation of a downward causal relation between a molecule’s structure and its quantum mechanical entities, untenable. (shrink)

This article proposes a metaethical route from neo-Aristotelian naturalism, as developed in particular by Philippa Foot, to virtue-ethical longtermism. It argues that the metaethical assumptions of neo-Aristotelian naturalism inherently imply that a valid description of the life-form of a species must satisfy a formal requirement of internal sustainability. The elements of a valid life-form description then serve as a normative standard. Given that humans have the ability to influence the fate of future generations and know about their influence, this (...) article posits that our future as a species becomes a part of the description of the human life-form. Consequently, in our case, the sustainability requirement is extended into the future, leading to a minimal and humanist version of longtermism. As in Rosalind Hursthouse’s naturalistic virtue ethics, the focus of the proposed virtue-ethical longtermism remains on developing virtues as the only reliable way for the agent to achieve the good life. However, since what can count as virtue must be compatible with a life-form description that, taken as a whole, facilitates the long-term survival of our species, this position still implies a genuine longtermism, although it contrasts with the quantifying and maximizing logic of consequentialism. (shrink)

dialectical frameworks have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations (...) for ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as the maximal element. We also present algorithms to answer the following decision problems: whether a given interpretation is a strongly admissible interpretation of a given ADF, and whether a given argument is strongly acceptable/deniable in a given interpretation of a given ADF. In addition, we show that the strongly admissible semantics of ADFs forms a proper generalization of the strongly admissible semantics of AFs. (shrink)

A strongly deterministic theory of physics is one that permits exactly one possible history of the universe. In the words of Penrose (1989), "it is not just a matter of the future being determined by the past; the entire history of the universe is fixed, according to some precise mathematical scheme, for all time.” Such an extraordinary feature may appear unattainable in a world like ours. In this paper, I show that it can be achieved in a simple way and (...) discuss its implications for metaphysics and philosophy of science, including natural properties, free will, explanation, and modality. First, I propose a precise definition of strong determinism. Next, I discuss its philosophical ramifications and a toy example. Finally, I provide a realistic example of a strongly deterministic (and simple) physical theory---the Everettian Wentaculus. A surprising consequence is that whether or not our world is strongly deterministic may be empirically underdetermined. (shrink)

Relevant logics infamously have the property that they only validate a conditional when some propositional variable is shared between its antecedent and consequent. This property has been strengthened in a variety of ways over the last half-century. Two of the more famous of these strengthenings are the strong variable sharing property and the depth relevance property. In this paper I demonstrate that an appropriate class of relevant logics has a property that might naturally be characterized as the supremum of (...) these two properties. I also show how to use this fact to demonstrate that these logics seem to be constructive in previously unknown ways. (shrink)

Bodily sensations, such as pain, hunger, itches, or sexual feelings, are commonly characterized in terms of their phenomenal character. In order to account for this phenomenal character, many philosophers adopt strong representationalism. According to this view, bodily sensations are essentially and entirely determined by an intentional content related to particular conditions of the body. For example, pain would be nothing more than the representation of actual or potential tissue damage. In order to motivate and justify their view, strong (...) representationalists often appeal to the reliable causal covariance between bodily sensations and certain kinds of bodily conditions or to the corresponding biological function that these bodily sensations are supposed to fulfill. In this paper, I argue on the basis of recent empirical research that arguments from reliable causal covariance and biological function cannot motivate the introduction of corresponding intentional content. In particular, I argue that bodily sensations are caused by a heterogeneous class of physiological and psychological factors and their biological functions are too diverse to be reduced to the representation of a particular bodily condition. Responses are available to strong representationalists, but they either require substantial alterations to their core assumptions or incur a significant empirical burden. (shrink)

In this chapter, I argue that the field of cultural evolution can usefully inform attempts to understand and influence the long-term future. First, I provide an overview of cultural evolution, covering what it means for culture to evolve, the mechanisms by which it happens, the crucial importance of cumulative cultural evolution for hunan history, and how cultural evolution (and in particular intergroup competition) has driven the rise of large-scale cooperation. Second, I draw out some possible lessons from cultural evolution for (...) thinking about the long-term future. In particular, I suggest we should be careful not to prematurely ”lock in” certain values or other cultural features, and instead aim for a society open to variation and competition. I also consider whether the future will bring greater selection pressure for particular kinds of values, such as patience. (shrink)

In this critique of longtermism, I attack its Heart, the idea that there is intrinsic value in the addition of each new happy being to the world. I provide new responses to longtermists' two main arguments for the Heart (The Argument from Extinction and The Argument from Miserable Beings). I then sketch an alternative view to longtermism, which I call Future Sentimentalism, a view that does a better job of explaining our future-regarding reasons. Finally, I consider an important (...) objection to my critique. (shrink)

Strong emergentists about mental properties of conscious experience typically hold that these are ontologically “over and above” and distinct in kind as compared to physical properties. Powers-based account of strong emergence offer a promising framework for elucidating the ontological “over and above”-ness of strongly emergent properties. However, they do not automatically ensure the desired non-physicality. In this paper, I argue that a conception of properties as powerful qualities has in-built resources for capturing both the ontological “over and above”-ness (...) and the kind distinctness in a unified way. I begin by illustrating powers-based accounts of strong emergence. Then I defend the superiority of a powerful qualities-based account of strong emergence over two standard approaches recovering the distinctness in kind of strongly emergent mental properties: the via negativa strategy, and the anti-materialist strategy. I conclude that a conception of powerful qualities is a surprising yet natural ally for the proponent of strongly emergent mental properties. (shrink)

Tsui and Weymark (Economic Theory, 1997) have shown that the only continuous social welfare orderings on the whole Euclidean space which satisfy the weak Pareto principle and are invariant to individual-specific similarity transformations of utilities are strongly dictatorial. Their proof relies on functional equation arguments which are quite complex. This note provides a simpler proof of their theorem.

In the article “A Tension in the Strong Program: The Relation between the Rational and the Social,” I stated that David Bloor, citing the principle of symmetry, expresses that rational and irrational beliefs must be explained in the same way, that is, by causes of the same kind. On this wise, he rejects the methodology of traditional philosophers and historians of science as asymmetrical; since they explain evidence-based beliefs with epistemic reasons and unreasonable beliefs—e.g. beliefs based on indoctrination, propaganda, (...) ideology, and superstition—citing social factors. On the other hand, Bloor argues that the rational is made entirely of the social and, therefore, is itself a kind of social factor. But by admitting this maximum conception of social constructivism, Bloor can no longer consider the rational and the social as two separate identities and accuse the traditional view of asymmetry. However, Professor Finn Collin says that Bloor’s critique of the traditional model never commits him to the duality of the rational and the social. (shrink)

In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link has virtually pass unnoticed. In this paper, we briefly (...) survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (shrink)

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that (...) class='Hi'>strong pluralists cannot provide an explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

Science and scientific knowledge have been questioned in many ways for a long period of time. Especially, after the scientific revolution of 16th- and 17th-century Europe, science and its knowledge have been mainly accepted one of the most valuable and trustable information. However, in 20th century, autonomy of scientific knowledge and its dominant position over other kinds of knowledge have been mainly criticised. Social and other factors that were tried to be excluded before have been incorporated into the work by (...) the influence of the Strong Programme. In this article, it will be argued that while people are presenting scientific knowledge, their interests, beliefs and the communities they are involved in are also shown to be effective in producing this information. Thus, the desired result is that it is not reasonable to talk about the absolute autonomy of scientific knowledge. (shrink)

We extend Barbanera and Berardi's symmetric lambda calculus [2] to second-order classical propositional logic and prove its strong normalization.

The received view holds that there is a significant divide between full-blown representational states and so called ‘detectors’, which are mechanisms set off by specific stimuli that trigger a particular effect. The main goal of this paper is to defend the idea that many detectors are genuine representations, a view that I call ‘Strong Liberal Representationalism’. More precisely, I argue that ascribing semantic properties to them contributes to an explanation of behavior, guides research in useful ways and can accommodate (...) misrepresentation. (shrink)

The literature on counterfactuals is dominated by strict accounts and variably strict accounts. Counterexamples to the principle of Antecedent Strengthening were thought to be fatal to SA; but it has been shown that by adding dynamic resources to the view, such examples can be accounted for. We broaden the debate between VSA and SA by focusing on a new strengthening principle, Strengthening with a Possibility. We show dynamic SA classically validates this principle. We give a counterexample to it and show (...) that extra dynamic resources cannot help SA. We then show VSA accounts for the counterexample if it allows for orderings on worlds that are not almost-connected, and that such an ordering naturally falls out of a Kratzerian ordering source semantics. We conclude that the failure of Strengthening with a Possibility tells strongly against Dynamic SA and in favor of an ordering source-based version of VSA. (shrink)

Epistemic deontology maintains that our beliefs and degrees of belief are open to deontic evaluations—evaluations of what we ought to believe or may not believe. Some philosophers endorse strong internalist versions of epistemic deontology on which agents can always access what determines the deontic status of their beliefs and degrees of belief. This paper articulates a new challenge for strong internalist versions of epistemic deontology. Any version of epistemic deontology must face William Alston’s argument. Alston combined a broadly (...) voluntarist conception of responsibility, on which ought implies can, with doxastic involuntarism, the position that our beliefs are not under our control. Together, those views imply that epistemic deontology is false. A promising response to Alston’s argument is to embrace a compatibilist account of control—specifically a reason-responsive version of compatibilism—and use it to criticism his doxastic involuntarism. I argue that while reason-responsive compatibilism about control does undermine Alston’s argument, it comes at a cost. Specifically, it is inconsistent with strong internalist versions of epistemic deontology. The surprising upshot is that so long as we retain a voluntarist conception of responsibility, we have reason for rejecting strong internalist versions of epistemic deontology. (shrink)

In “What is it like to be boring and myopic?” Kathleen Akins offers an interesting, empirically driven, argument for thinking that there is nothing that it is like to be a bat. She suggests that bats are “boring” in the sense that they are governed by behavioral scripts and simple, non-representational, control loops, and are best characterized as biological automatons. Her approach has been well received by philosophers sympathetic to empirically informed philosophy of mind. But, despite its influence, her work (...) has not met with any critical appraisal. -/- It is argued that a reconsideration of the empirical results shows that bats are not boring automatons, driven by short input-output loops, instincts, and reflexes. Grounds are provided for thinking that bats satisfy a range of philosophically and scientifically interesting elaborations of the general idea that consciousness is best understood in terms of representational functions. A more complete examination of bat sensory capabilities suggests there is something that it is like after all. -/- The discussion of bats is also used to develop an objection to strongly neurophilosophical approaches to animal consciousness. (shrink)

The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence (...) of reduction - the worst reduction sequence - it is the lowest upper bound on the length of reduction sequences. The main commitment of the introduced method is that it is constructive and elementary, produced only through analyzing structural and combinatorial properties of derivations and lambda terms, without appeal to any sophisticated mathematical tool. Together with the exposition of the method, it is presented a comparative study of some articles in the literature that also get strong normalization by means we can identify with the natural ordinal methods. Among them we highlight Howard[1968], which performs an ordinal analysis of Godel’s Dialectica interpretation for intuitionistic first order arithmetic. We reveal a fact about this article not noted by the author himself: a syntactic proof of strong normalization theorem for the system of typified lambda calculus λ⊃ is a consequence of its results. This would be the first strong normalization proof in the literature. (written in Portuguese). (shrink)

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. (...) Also, we show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in (...) the actual world. `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

A strongly independent preorder on a possibly in finite dimensional convex set that satisfi es two of the following conditions must satisfy the third: (i) the Archimedean continuity condition; (ii) mixture continuity; and (iii) comparability under the preorder is an equivalence relation. In addition, if the preorder is nontrivial (has nonempty asymmetric part) and satisfi es two of the following conditions, it must satisfy the third: (i') a modest strengthening of the Archimedean condition; (ii') mixture continuity; and (iii') completeness. Applications (...) to decision making under conditions of risk and uncertainty are provided. (shrink)

The causal efficacy of a material system is usually thought to be produced by the law-like actions and interactions of its constituents. Here, a specific system is constructed and explained that produces a cause that cannot be understood in this way, but instead has novel and autonomous efficacy. The construction establishes a proof-of-feasibility of strong emergence. The system works by utilizing randomness in a targeted and cyclical way, and by relying on sustained evolution by natural selection. It is not (...) vulnerable to standard arguments against strong emergence, in particular ones that assume that the physical realm is causally closed. Moreover, it does not suffer from epiphenomenalism or causal overdetermination. The system uses only standard material components and processes, and is fully consistent with naturalism. It is discussed whether the emergent cause can still be viewed as ‘material’ in the way that term is commonly understood. (shrink)

Public reason liberalism demands that political decisions be publicly justified to the citizens who are subjected to them. Much recent literature emphasises the differences between the two main interpretations of this requirement, justificatory and political liberalism. In this paper, I show that both views share structural democratic deficits. They fail to guarantee political autonomy, the expressive quality of law, and the justification to citizens, because they allow collective decisions made by incompletely theorised agreements. I argue that the result can only (...) be avoided by changing public reason’s role in collective decision-making. Instead of incompletely theorised agreements, we should demand agreement both on the public reasons themselves and on the other premises that justify political decisions. In this way, it is always possible to point to a procedure-independent reason that justifies democratic decisions, and the reasoning of the state is public and contestable. Finally, I explain how this, in turn, implies that only political liberalism can be rescued—by accepting what I will call strong political liberalism. Modifying justificatory liberalism in the necessary way will inevitably open the door to an objectionable form of perfectionism. (shrink)

The general composition question asks “what are the necessary and jointly sufficient conditions any xs and any y must satisfy in order for it to be true that those xs compose that y?” Although this question has received little attention, there is an interesting and theoretically fruitful answer. Namely, strong composition as identity (SCAI): necessarily, for any xs and any y, those xs compose y iff those xs are identical to y. SCAI is theoretically fruitful because if it is (...) true, then there is an answer to one of the most difficult and intractable questions of mereology (The Simple Question). In this paper, I introduce the identity account of simplicity and argue that if SCAI is true then this identity account of simplicity is as well. I consider an objection to the identity account of simplicity. Ultimately, I find this objection unsuccessful. (shrink)

One common objection against the Principle of Sufficient Reason is that it leads to a highly counterintuitive position, namely, necessitarianism. In this paper, drawing on Avicenna’s modal theory, I differentiate between two versions of necessitarianism: strong necessitarianism and weak necessitarianism. I argue that the modal intuition driving this objection pertains to strong necessitarianism, while the Principle of Sufficient Reason, at most, leads to weak necessitarianism.

An endomorphism on an algebra \ is said to be strong if it is compatible with every congruence on \; and \ is said to have the strong endomorphism kernel property if every congruence on \, other than the universal congruence, is the kernel of a strong endomorphism on \. Here we characterise the structure of those double MS-algebras that have this property by the way of Priestley duality.

Naturalism has typically been entangled with a physicalist view. Physicalism, on the other hand, falls short of accounting for qualitative states of mental phenomena. The hard problem of consciousness seems to be a natural epistemic boundary in such a way that we do not even have any conceptualization as to how we can possibly account for mental states in physicalist terms in the future, which leads us to some version of causal/ontological plurality in the sense that it does not seem (...) possible to explain everything with the same parameters even though the world fundamentally consists in a single substance. If plurality in multiple levels of scientific explanation is necessary, I argue that strong emergentism is, as a metaphysical framework, the best candidate to account for this fact. I will tackle two major physicalist views by Kim and Sider. Kim shows us that non-reductive physicalism is a bankrupt project whereas Sider’s physicalism that postulates a pure and complete fundamental level renders higher-level phenomena (including mental reality) metaphysically spurious. In relation to Kim and Sider’s accounts, I will try to elaborate on my view that physicalism, when pursued to the end, is inherently reductive and ultimately falls short of accounting for the mental reality. I emphasize that the causal identification of brain and mind rests on an arbitrary carving of world, namely a description of the world which cannot be intrinsic to nature. These are the main reasons why I conclude that our revised naturalism should be disentangled from physicalism and embrace the causal/ontological plurality of strong emergentism without falling for substance dualism. (shrink)

This essay is an extended reflection on the relationship between death and love expressed in a fragment from Song of Songs 8:6: «Strong as death is love». The passage will be analyzed through a Jewish, Orthodox, and Catholic exegesis and literary reflection. In particular, the essay describes the role of a particular form of love (eros) within a particular form of education (education at the end of time). While eros has frequently been ignored or resigned to a purely sexualized (...) role, we will look closely at Augustine’s eulogy of his mother, Monica, in the Confessions, suggesting that perhaps the most visceral expression of eros is to be found in the phenomenology of death. We will also draw on the phenomenological manifestation of death by looking to the rich description of dying provided by Leo Tolstoy in his novella, The Death of Ivan Ilych. Together these investigations of eros and education yield a «curriculum of death», which draws on the re-conceptualist notion of curriculum. Our claim is that this curriculum of death offers a sense of urgency and seriousness found lacking in schools today, where death abounds, but is rarely if ever addressed in a humanistic way. This final methodological emphasis on the humanities elucidates more directly and critically the role of research for a curriculum of death within the dominance of social science in the field of education. (shrink)

We provide conditions under which an incomplete strongly independent preorder on a convex set X can be represented by a set of mixture preserving real-valued functions. We allow X to be infi nite dimensional. The main continuity condition we focus on is mixture continuity. This is sufficient for such a representation provided X has countable dimension or satisfi es a condition that we call Polarization.

Teleosemantics explains mental representation in terms of biological function and selection history. One of the main objections to the account is the so-called ‘Swampman argument’ (Davidson 1987), which holds that there could be a creature with mental representation even though it lacks a selection history. A number of teleosemanticists reject the argument by emphasising that it depends on assuming a creature that is fi ctitious and hence irrelevant for teleosemantics because the theory is only concerned with representations in real-world organisms (...) (Millikan 1996, Neander 1996, 2006, Papineau 2001, 2006). I contend that this strategy doesn’t succeed. I off er an argument that captures the spirit of the original Swampman objection but relies only on organisms found in the actual world. Th e argument undermines the just mentioned response to the Swampman objection, and furthermore leads to a particular challenge to strong representationalist theories of consciousness that endorse teleosemantics such as, e.g., Dretske’s (1995) and Tye’s (1995, 2000) accounts. On these theories, the causal effi cacy of consciousness in actual creatures will be undermined. (shrink)

Assertion is widely regarded as an act associated with an epistemic position. To assert is to represent oneself as occupying this position and/or to be required to occupy this position. Within this approach, the most common view is that assertion is strong: the associated position is knowledge or certainty. But recent challenges to this common view present new data that are argued to be better explained by assertion being weak. Old data widely taken to support assertion being strong (...) has also been challenged. This paper examines such challenges and finds them wanting. Far from diminishing the case for strong assertion, carefully considering new and old data reveals that assertion is as strong as ever. (shrink)

Quine is routinely perceived as having changed his mind about the scope of the Duhem-Quine thesis, shifting from what has been called an 'extreme holism' to a more moderate view. Where the Quine of 'Two Dogmas of Empiricism' argues that “the unit of empirical significance is the whole of science” (1951, 42), the later Quine seems to back away from this “needlessly strong statement of holism” (1991, 393). In this paper, I show that the received view is incorrect. I (...) distinguish three ways in which Quine's early holism can be said to be wide-scoped and show that he has never changed his mind about any one of these aspects of his early view. Instead, I argue that Quine's apparent change of mind can be explained away as a mere shift of emphasis. (shrink)