This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) causal (...) counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

Value Sensitive Design (VSD) is an established method for integrating values into technical design. It has been applied to different technologies and, more recently, to artificial intelligence (AI). We argue that AI poses a number of challenges specific to VSD that require a somewhat modified VSD approach. Machine learning (ML), in particular, poses two challenges. First, humans may not understand how an AI system learns certain things. This requires paying attention to values such as transparency, explicability, and accountability. Second, ML (...) may lead to AI systems adapting in ways that ‘disembody’ the values embedded in them. To address this, we propose a threefold modified VSD approach: 1) integrating a known set of VSD principles (AI4SG) as design norms from which more specific design requirements can be derived; 2) distinguishing between values that are promoted and respected by the design to ensure outcomes that not only do no harm but also contribute to good; and 3) extending the VSD process to encompass the whole life cycle of an AI technology in order to monitor unintended value consequences and redesign as needed. We illustrate our VSD for AI approach with an example use case of a SARS-CoV-2 contact tracing app. (shrink)

Adequate epistemic justification is best conceived as the appearance, over time, of knowledge to the subject. ‘Appearance’ is intended literally, not as a synonym for belief. It is argued through consideration of examples that this account gets the extension of ‘adequately justified belief’ at least roughly correct. A more theoretical reason is then offered to regard justification as the appearance of knowledge: If we have a knowledge norm for assertion, we do our best to comply with this norm when we (...) express as assertions only beliefs that appear to us to be knowledge. If we are doing our best, there is little point in further sanctions. So a norm of knowledge for assertion would lead to a secondary norm of justified belief as the appearance of knowledge, marking a point at which our assertions may be corrected but should not be blamed. (shrink)

The last decade has witnessed the mass distribution and adoption of smart home systems and devices powered by artificial intelligence systems ranging from household appliances like fridges and toasters to more background systems such as air and water quality controllers. The pervasiveness of these sociotechnical systems makes analyzing their ethical implications necessary during the design phases of these devices to ensure not only sociotechnical resilience, but to design them for human values in mind and thus preserve meaningful human control over (...) them. This paper engages in a conceptual investigations of how meaningful human control over smart home devices can be attained through design. The value sensitive design (VSD) approach is proposed as a way of attaining this level of control. In the proposed framework, values are identified and defined, stakeholder groups are investigated and brought into the design process and the technical constraints of the technologies in question are considered. The paper concludes with some initial examples that illustrate a more adoptable way forward for both ethicists and engineers of smart home devices. (shrink)

The distinction between presentism and eternalism is usually sought in some formula like ‘Only presently existing things exist’ or ‘Past, present, and future events are equally real’. I argue that ambiguities in the copula prevent these slogans from distinguishing significant opposed positions. I suggest in addition that one can find a series of significant distinctions if one takes spacetime structure into account. These presentisms and eternalisms are not contradictory. They are complementary elements of a complete naturalistic philosophy of time.

Healthcare is becoming increasingly automated with the development and deployment of care robots. There are many benefits to care robots but they also pose many challenging ethical issues. This paper takes care robots for the elderly as the subject of analysis, building on previous literature in the domain of the ethics and design of care robots. Using the value sensitive design approach to technology design, this paper extends its application to care robots by integrating the values of care, values that (...) are specific to AI, and higher-scale values such as the United Nations Sustainable Development Goals. The ethical issues specific to care robots for the elderly are discussed at length alongside examples of specific design requirements that work to ameliorate these ethical concerns. (shrink)

The potential for vaccines to prevent the spread of infectious diseases is crucial for vaccination policy and ethics. In this paper, I discuss recent evidence that the current COVID-19 vaccines have only a modest and short-lived effect on reducing SARS-CoV-2 transmission and argue that this has at least four important ethical implications. First, getting vaccinated against COVID-19 should be seen primarily as a self-protective choice for individuals. Second, moral condemnation of unvaccinated people for causing direct harm to others is unjustified. (...) Third, the case for a harm-based moral obligation to get vaccinated against COVID-19 is weak. Finally, and perhaps most significantly, coercive COVID-19 vaccination policies (e.g., measures that exclude unvaccinated people from society) cannot be directly justified by the harm principle. (shrink)

Design for Values (DfV) philosophies are a series of design approaches that aim to incorporate human values into the early phases of technological design to direct innovation into beneficial outcomes. The difficulty and necessity of directing advantageous futures for transformative technologies through the application and adoption of value-based design approaches are apparent. However, questions of whose values to design are of critical importance. DfV philosophies typically aim to enrol the stakeholders who may be affected by the emergence of such a (...) technology. However, regardless of which design approach is adopted, all enrolled stakeholders are human ones who propose human values. Contemporary scholarship on metahumanisms, particularly those on posthumanism, have decentred the human from its traditionally privileged position among other forms of life. Arguments that the humanist position is not (and has never been) tenable are persuasive. As such, scholarship has begun to provide a more encompassing ontology for the investigation of nonhuman values. Given the potentially transformative nature of future technologies as relates to the earth and its many assemblages, it is clear that the value investigations of these design approaches fail to account for all relevant stakeholders (i.e., nonhuman animals). This paper has two primary objectives: (1) to argue for the cogency of a posthuman ethics in the design of technologies; and (2) to describe how existing DfV approaches can begin to envision principled and methodological ways of incorporating non-human values into design. To do this, the paper provides a rudimentary outline of what constitutes DfV approaches. It then takes up a unique design approach called Value Sensitive Design (VSD) as an illustrative example. Out of all the other DfV frameworks, VSD most clearly illustrates a principled approach to the integration of values in design. (shrink)

Questo non è un libro perfetto, ma è unico, e se scorri le prime 400 pagine o giù di lì, le ultime 300 (circa 700) sono un buon tentativo di applicare ciò che è noto sul comportamento ai cambiamenti sociali nella violenza e nelle maniere nel tempo. L'argomento di base è: come fa la nostra genetica a controllare e limitare il cambiamento sociale? Sorprendentemente non riesce a descrivere la natura della selezione dei parenti (idoneità inclusiva) che spiega gran parte della (...) vita sociale animale e umana. Egli manca anche (come quasi tutti) manca di un quadro chiaro per descrivere la struttura logica della razionalità (termine preferito di John Searle) che preferisco chiamare la Psicologia descrittiva del Pensiero dell'Ordine Superiore (DPHOT). Avrebbe dovuto dire qualcosa sui molti altri modi di abusare e sfruttare le persone e il pianeta, dal momento che questi sono ora molto più gravi da rendere quasi irrilevanti altre forme di violenza. Estendere il concetto di violenza per includere leconseguenze globali a lungoterminedella replicazione dei geni diqualcuno, e avere una comprensione della natura di come funziona l'evoluzione (cioè la selezione dei parenti) fornirà una prospettiva molto diversa sulla storia, gli eventi attuali e come le cose probabilmente andranno nei prossimi centinaia di anni. Si potrebbe iniziare notando che la diminuzione della violenza fisica nel corso della storia è stata abbinata (e resa possibile) dallo stupro spietato in costante aumento del pianeta (cioè dalla distruzione del futuro del proprio discendente).’ Pinker (come la maggior parte delle persone) è spesso distratto dalle superficialità della cultura quando è la biologia che conta. Guarda le mie recenti recensioni di Wilson 'The Social Conquest of Earth' e 'SuperCooperators' di Nowak e Highfield qui e in rete per un breve riassunto della vacuità del 'vero altruismo'(selezione di gruppo), e l'operazione di selezione dei parenti e l'inutilità e la superficialità di descrivere il comportamento in termini culturali. Questo è il classico problema della natura/nutrimento e la natura vince nutrita --infinitamente. Ciò che conta veramente è la violenza fatta sulla terra dall'incessante aumento della popolazione e della distruzione delle risorse (a causa della medicina e della tecnologia e della repressione dei conflitti da parte della polizia e dei militari). Circa 200.000 persone in più al giorno (un altro Las Vegas ogni 10 giorni, un'altra Los Angeles ogni mese), le 6 tonnellate o giù di lì di pisolino che vanno in mare / persona / anno – circa l'1% del totale del mondo che scompare ogni anno, ecc. significa che se qualche miracolo accadrà la biosfera e la civiltà crollerà in gran parte durante i prossimi due secoli, e ci sarà fame, violenza e violenza di ogni tipo su scala impressionante. Le maniere, le opinioni e le tendenze delle persone a commettere atti violenti non hanno alcuna importanza a meno che non possano fare qualcosa per evitare questa catastrofe, e non vedo come ciò accadrà. Non c'è spazio per gli argomenti, e nessun punto sia (sì io sono un fatalista), quindi mi limiterò a fare alcuni commenti come se fossero fatti. Non immaginate di avere un'informazione personale nel promuovere un gruppo a spese degli altri. Io sono 78, nonhanno discendenti e non hanno parenti stretti e non si identificano con alcun gruppo politico, nazionale o religioso e considerano quelli a cui appartengo di default come ripugnanti come tutti gli altri. I genitori sono i peggiori nemici della vita sulla Terra e, tenendo la vista generale delle cose, le donne sono violente come gli uomini se si considera il fatto che la violenza delle donne (come la maggior parte di quella fatta dagli uomini) è in gran parte fatta al rallentatore, a distanza nel tempo e nello spazio e per lo più effettuata per procura dai loro discendenti e dagli uomini. Sempre più spesso, le donne portano figli indipendentemente dal fatto che abbiano un compagno e l'effetto di impedire a una donna di riprodursi è in media molto maggiore dell'arresto di un uomo, poiché sono il collo di bottiglia riproduttivo. Si può ritenere che le persone e la loro prole meritino riccamente qualsiasi miseria arrivi la loro strada e (con rare eccezioni) i ricchi e famosi sono i peggiori trasgressori. Meryl Streep o Bill Gates o J.K Rowling e ognuno dei loro figli può distruggere 50 tonnellate di suolo ogni anno per generazioni nel futuro, mentre un contadino indiano e il suo possono distruggere 1 tonnellata. Se qualcuno nega che va bene, e ai loro discendenti dico "Benvenuti all'inferno sulla Terra" (WTHOE). Oggi l'accento è sempre posto sui diritti dell'uomo, ma è chiaro che se si vuole che la civiltà abbia una possibilità, le responsabilità umane devono sostituire i diritti umani. Nessuno ottiene diritti senza essere un cittadino responsabile e la prima cosa che ciò significa è ladistruzione ambientalemi nimal. La responsabilità più fondamentale non è quella dei bambini a meno che la vostra società non vi chieda di produrli. Una società o un mondo che permette alle persone di allevare a caso sarà sempre sfruttato dai geni egoisti fino a quando non crolla (o raggiunge un punto in cui la vita è così orribile che non vale la pena di vivere). Se la società continua a mantenerei diritti umani come primari, ai loro discendenti si può dire con fiducia "WTHOE". Coloro che desiderano un quadro aggiornato completo per il comportamento umano dalla moderna vista a due systems possono consultare il mio libro 'La struttura logica dellafilosofia, psicologia, Mind e il linguaggio in Ludwig Wittgenstein e John Searle' 2nd ed (2019). Coloro che sono interessati a più dei miei scritti possono vedere 'Talking Monkeys--Filosofia, Psicologia, Scienza, Religione e Politica su un Pianeta Condannato--Articoli e Recensioni 2006-2019 3rd ed (2019) e Suicidal Utopian Delusions nel 21st Century 4th ed (2019) . (shrink)

This paper develops and articulates a metaphysics of intersectionality, the idea that multiple axes of social oppression cross-cut each other. Though intersectionality is often described through metaphor, theories of intersectionality can be formulated using the tools of contemporary analytic metaphysics. A central tenet of intersectionality theory, that intersectional identities are inseparable, can be framed in terms of explanatory unity. Further, intersectionality is best understood as metaphysical and explanatory priority of the intersectional category over its constituents, akin to metaphysical priority of (...) the whole over its parts. (shrink)

Debates over what is fundamental assume that what is most fundamental must be either a “top” level (roughly, the biggest or highest-level thing), or a “bottom” level (roughly, the smallest or lowest-level things). Here I sketch an alternative to top-ism and bottom-ism, the view that a middle level could be the most fundamental, and argue for its plausibility. I then suggest that the view satisfies the desiderata of asymmetry, irreflexivity, transitivity, and well-foundedness of fundamentality, that the view has explanatory power (...) on par with that of top-ism and bottom-ism, and that it satisfies the Principle of Sufficient Reason. (shrink)

Emerging technologies such as cloud computing, augmented and virtual reality, artificial intelligence and robotics, among others, are transforming the field of manufacturing and industry as a whole in unprecedent ways. This fourth industrial revolution is consequentially changing how operators that have been crucial to industry success go about their practices in industrial environments. This short paper briefly introduces the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in (...) the technologies that constitute it. Similarly, the design methodology known as value sensitive design (VSD) is drawn upon to discuss how these Operator 4.0 technologies can be design for human values and, conversely, how a potential value-sensitive Operator 4.0 can be used to strengthen the VSD methodology in developing novel technologies. (shrink)

The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...) different property theorists in the love literature. However, even this more sophisticated property view falls short in accounting for unrequited love's reasons. In response, I develop a new version of the property view that I call the experiential view. On this view, we love a person not only in virtue of properties shaped by and experienced in a reciprocal loving relationship, but also in virtue of perspectival properties, whose value can be properly assessed also outside of a reciprocal loving relationship. The experiential view is the only view that can account not only for reciprocated love's reasons, but also for unrequited love's reasons. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...) do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

In this paper I present a novel taxonomy of envy, according to which there are four kinds of envy: emulative, inert, aggressive and spiteful envy. An inquiry into the varieties of envy is valuable not only to understand it as a psychological phenomenon, but also to shed light on the nature of its alleged viciousness. The first section introduces the intuition that there is more than one kind of envy, together with the anecdotal and linguistic evidence that supports it. The (...) second section proposes and explains in detail a definition of envy tout court. The third section presents a recurring distinction between behavioral tendencies of envy, which has been explained in two distinct ways, one mostly proposed by psychologists, the other discernible in the philosophical tradition. The fourth section argues that these models of explanation track two variables, whose interplay is responsible for the existence of the four envies. The fifth section illustrates four paradigmatic cases, and provides a detailed analysis of the phenomenology, motivational structure, and typical behavioral outputs of each. The paper ends with a brief discussion of the implications of the taxonomy for moral education. (shrink)

This paper poses an original puzzle about the relationship between causation and moral responsibility called The Moral Difference Puzzle. Using the puzzle, the paper argues for three related ideas: (1) the existence of a new sort of moral luck; (2) an intractable conflict between the causal concepts used in moral assessment; and (3) inability of leading theories of causation to capture the sorts of causal differences that matter for moral evaluation of agents’ causal contributions to outcomes.

Autonomous weapons systems (AWS), sometimes referred to as “killer robots”, are receiving evermore attention, both in public discourse as well as by scholars and policymakers. Much of this interest is connected with emerging ethical and legal problems linked to increasing autonomy in weapons systems, but there is a general underappreciation for the ways in which existing law might impact on these new technologies. In this paper, we argue that as AWS become more sophisticated and increasingly more capable than flesh-and-blood soldiers, (...) it will increasingly be the case that such soldiers are “in the power” of those AWS which fight against them. This implies that such soldiers ought to be considered hors de combat, and not targeted. In arguing for this point, we draw out a broader conclusion regarding hors de combat status, namely that it must be viewed contextually, with close reference to the capabilities of combatants on both sides of any discreet engagement. Given this point, and the fact that AWS may come in many shapes and sizes, and can be made for many different missions, we argue that each particular AWS will likely need its own standard for when enemy soldiers are deemed hors de combat. We conclude by examining how these nuanced views of hors de combat status might impact on meaningful human control of AWS. (shrink)

I present and develop the view that omissions are de re possibilities of actual events. Omissions do not literally fail to occur; rather, they possibly occur. An omission is a tripartite metaphysical entity composed of an actual event, a possible event, and a contextually specified counterpart relation between them. This view resolves ontological, causal, and semantic puzzles about omissions, and also accounts for important data about moral responsibility for outcomes resulting from omissions.

Widespread causal overdetermination is often levied as an objection to nonreductive theories of minds and objects. In response, nonreductive metaphysicians have argued that the type of overdetermination generated by their theories is different from the sorts of coincidental cases involving multiple rock-throwers, and thus not problematic. This paper pushes back. I argue that attention to differences between types of overdetermination discharges very few explanatory burdens, and that overdetermination is a bigger problem for the nonreductive metaphysician than previously thought.

In "Changing the Past" (2010), Peter van Inwagen argues that a time traveler can change the past without paradox in a growing block universe. After erasing the portion of past existence that generates paradox, a new, non-paradox-generating block can be "grown" after the temporal relocation of the time traveler. -/- I articulate and explore the underlying mechanism of Van Inwagen's model: the time traveler's control over the location of the objective present. Van Inwagen's model is aimed at preventing paradox by (...) changing the past, but it achieves something broader than paradox avoidance: it gives tools for a new model of time travel. I use van Inwagen's tools to develop a new kind of time travel in which in which the location of the objective present is shifted by the time traveler. I call this type of time travel Movable Objective Present, or MOP. After defining MOP, I argue that it is compatible with any theory of time that accepts hypertime, including presentism and moving spotlight theory. (shrink)

People often answer why-questions with what we call experiential explanations: narratives or stories with temporal structure and concrete details. In contrast, on most theories of the epistemic function of explanation, explanations should be abstractive: structured by general relationships and lacking extraneous details. We suggest that abstractive and experiential explanations differ not only in level of abstraction, but also in structure, and that each form of explanation contributes to the epistemic goals of individual learners and of science. In particular, experiential explanations (...) support mental simulation and survive transitions across background theories; as a result, they support learning and help us translate between competing frameworks. Experiential explanations play an irreducible role in human cognition – and perhaps in science. (shrink)

Episodic and semantic memory are often taken to be fundamentally different mental systems, and contemporary philosophers often pursue research questions about episodic memory, in particular, in isolation from semantic memory. This paper challenges that assumption, and puts pressure on philosophical approaches to memory that break off episodic memory as its own standalone topic. I present and systematize psychological and neuroscientific theories of semanticization, the thesis that memory content tends to drift from episodic to semantic in structure over time and exposure (...) to an environment. Semanticization, I argue, is a long-term interconnection between episodic and semantic systems that requires approaching both the content and function of these two memory systems as a whole. Thus we have a reason to reject projects by Michael Martin, which aims to carve out a uniquely episodic memory content, and Kourken Michaelian, which pairs episodic memory to its own unique function. Instead, seeing declarative memory as a single system with two facets or even a continuum of features allows for deeper insight into both content and function. (shrink)

The social categories to which we belong—Latino, disabled, American, woman— causally influence our lives in deep and unavoidable ways. One might be pulled over by police because one is Latino, or one might receive a COVID vaccine sooner because one is American. Membership in these social categories most often falls outside of our control. This paper argues that membership in social categories constitutes a restriction on human agency, creating a situation of non-ideal agency for many human individuals. -/- However, there (...) are ways to resist the causal influence of social categories, and certain socially marginalized groups can be understood as attempting to do just this. I discuss two instances of social category resistance: gender pronouns and the rights of trans individuals. I suggest that the intentional declaration of gender pronouns (“she/her” or “they/them”) can be understood as an attempt to resist the causal powers of nonconsensual social categorization. Similarly, one among many reasons to support the rights of trans individuals is that their self-declarations of gender identity can be viewed as a reclamation of agency in the face of causal constraints imposed by socially defined and imposed gender categories. This lesson can be generalized to people belonging to a broad range of marginalized groups. (shrink)

A gunman intends to shoot and kill Victim. He shoots and misses his target, but the gunshot startles a group of water buffalo, causing them to trample the victim to death. The gunman brings about the intended effect, Victim’s death, but in a “deviant” way rather than the one planned. This paper argues that such causal structures, deviant causal chains, pose serious problems for several key legal concepts. -/- I show that deviant causal chains pose problems for the legal distinction (...) between attempts and completed crimes, and also for the distinction between attempts and mere preparations. I then suggest that cases of deviant causation undermine notions of legal liability for completed crimes in terms of actus reus and mens rea, and argue that natural accounts of negligence misclassify some cases involving deviant causal chains. After diagnosing several conceptual vulnerabilities in the law revealed by deviant causal chains, I show that natural strategies for shoring up legal theories in the face of these examples are unpromising. (shrink)

Theories of causation grounded in counterfactual dependence face the problem of profligate omissions: numerous irrelevant omissions count as causes of an outcome. A recent purported solution to this problem is proportionality, which selects one omission among many candidates as the cause of an outcome. This paper argues that proportionality cannot solve the problem of profligate omissions for two reasons. First: the determinate/determinable relationship that holds between properties like aqua and blue does not hold between negative properties like not aqua and (...) not blue. Negative properties are those at stake in omissive causation. Second: proportionality misconstrues the nature of the problem to be solved. (shrink)

I argue for the view that envy and jealousy are distinct emotions, whose crucial difference is that envy involves a perception of lack while jealousy involves a perception of loss. I start by noting the common practice of using ‘envy’ and ‘jealousy’ almost interchangeably, and I contrast it with the empirical evidence that shows that envy and jealousy are distinct, albeit similar and often co-occurring, emotions. I then argue in favor of a specific way of understanding their distinction: the view (...) that envy is a response to a perceived lack of a valuable object, while jealousy is a response to a perceived loss of a valuable object. I compare such a view with the most compelling alternative theories, and show that it accounts better for paradigmatic cases. I conclude by showing how the lack vs. loss model can handle complications: ambiguous cases, that is, when it is epistemically unclear whether one experiences lack or loss; hybrid cases, that is, when one seems to experience both lack and loss; and borderline cases, that is, when it is metaphysically unclear whether one experiences lack or loss. (shrink)

The familiar Cartesian sceptical arguments all involve an explanation of our experiences. An account of the persuasive power of the sceptical arguments should explain why this is so. This supports a diagnosis of the error in Cartesian sceptical arguments according to which they mislead us into regarding our perceptual beliefs as if they were justified as inferences to the best explanation. I argue that they have instead a perceptual justification that does not involve inference to the best explanation and that (...) should not be put in doubt by the sceptical hypotheses. (shrink)

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...) consequence relations, with which we can maintain uniqueness in a bilateralist setting. (shrink)

This paper brings two fresh perspectives on Lewis’s theory of time travel. First: many key aspects and theoretical desiderata of Lewis’s theory can be captured in a framework that does not commit to eternalism about time. Second: implementing aspects of Lewisian time travel in a non-eternalist framework provides theoretical resources for a better treatment of time travel to the future. While time travel to the past has been extensively analyzed, time travel to the future has been comparatively underexplored. I make (...) progress on this topic. Along the way, I discuss Lewis’s lesser-known time travel oeuvre, especially his volume of correspondence and lectures on the topic collected in Beebee and Fisher (2020) and Janssen-Lauret & MacBride (forthcoming). Lewis’s body of unpublished work on time travel yields fruitful insights into his broader thinking on the subject. (shrink)

This paper suggests that time travelling scenarios commonly depicted in science fiction introduce problems and dangers for the time traveller. If time travel takes time, then time travellers risk collision with past objects, relocation to distant parts of the universe, and time travel-specific injuries. I propose several models of time travel that avoid the dangers and risks of time travel taking time, and that introduce new questions about the relationship between time travel and spatial location.

The Church of Satan, the seminal example of organizational Satanism, was founded in 1966. During the 1970s, the Church of Satan was wracked by a history of numerous schisms. Despite the notoriety of Satanism in popular culture, few scholars have analyzed the Church of Satan as a religious organization. Furthermore, not many scholars have directly discussed the schisms that it has undergone.

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

Digital practices in design, together with computer-assisted manufacturing (CAM), have inspired the reflection of philosophers, theorists, and historians over the last decades. Gilles Deleuze’s The Fold: Leibniz and the Baroque (1988) presents one of the first and most successful concepts created to think about these new design and manufacturing practices.1 Deleuze proposed a new concept of the technological object, which was inspired by Bernard Cache’s digital design practices and computer-assisted manufacturing. Deleuze compared Cache’s practices to Leibniz’s differential calculus-based notion of (...) the parametric curve. From this perspective, the object is no longer an essential form: rather, it is functional, defined by a family of parametric curves. In Deleuze’s terms, it is an objectile. This definition grasps a particular aspect of modernity in the technological object, rendering possible the industrial production of “the unique object” (la pièce unique), while making obsolete the homogeneity that comes with industrial standardization. What follows introduces developmental biology into this design matrix, interrogating the relationship between parametric design and computer-assisted manufactory on the one hand and biological morphogenetic processes on the other. Is one necessary for the other? Does an architect need computation in order to render morphogenetic shapes? In answering these questions, this chapter displaces the centrality of digital technology in the design of shape-shifting forms within architecture and calls for a rethinking of design by way of analog prototypes. I argue that “thinking through analogs” offers another means of generating parametrically based morphogenetic forms. (shrink)

This paper argues that several sorts of metaphysical and semantic indeterminacy afflict the causal relation. If, as it is plausible to hold, there is a relationship between causation and moral responsibility, then indeterminacy in the causal relation results in indeterminacy of moral responsibility more generally.

This paper discusses a puzzling tension in attributions of moral responsibility in cases of resultant moral luck: we seem to hold agents fully morally responsible for unlucky outcomes, but less-than-fully-responsible for unlucky outcomes brought about differently than intended. This tension cannot be easily discharged or explained, but it does shed light on a famous puzzle about causation and responsibility, the Thirsty Traveler.

Cette étude montre comment le météorologue Edward Lorenz, dans deux articles de 1963 et 1964, explore les propriétés des systèmes chaotiques par des allers-retours entre une déduction mathématique (basée sur la théorie des systèmes dynamiques) et une étude des solutions numériques du système dit « de Lorenz » dans un régime d’instabilité. This study aims at showing how the metereologist Edward Lorenz, in two papers of 1963 and 1964, explores the properties of chaotic systems thanks to the interplay between a (...) mathematical deduction (based on dynamical systems theory) and a study of the mathematical solutions of the Lorenz system in an instability regime. (shrink)

I argue that fitting envy plays a special role in safeguarding our happiness and flourishing. After presenting my theory of envy and its fittingness conditions, I contrast Kant’s view that envy is always unfitting with D’Arms and Jacobson’s defense of fitting envy as an evolutionarily-shaped response to a deep and wide human concern, that is, relative positioning. However, D’Arms and Jacobson don’t go far enough. First, I expand on their analysis of positional goodness, distinguishing between an epistemic claim, according to (...) which we use implicit or explicit comparison to know what position we occupy in a continuum of goodness, and thus to form judgments of goodness, and a metaphysical one, according to which much human goodness depends on implicit or explicit rankings and positionality. Second, I argue that fitting envy is not only intrinsically valuable qua fitting response to authentic goodness, but can be epistemically, morally and prudentially valuable. (shrink)

Proponents of grounding often describe the notion as "metaphysical causation" involving determination and production relations similar to causation. This paper argues that the similarities between grounding and causation are merely superficial. I show that there are several sorts of causation that have no analogue in grounding; that the type of "bringing into existence" that both involve is extremely different; and that the synchronicity of ground and the diachronicity of causation make them too different to be explanatorily intertwined.

This article explores the usefulness of interdisciplinarity as method of enquiry by proposing an investigation of the concept of information in the light of semiotics. This is because, as Kull, Deacon, Emmeche, Hoffmeyer and Stjernfelt state, information is an implicitly semiotic term (Biological Theory 4(2):167–173, 2009: 169), but the logical relation between semiosis and information has not been sufficiently clarified yet. Across the history of cybernetics, the concept of information undergoes an uneven development; that is, information is an ‘objective’ entity (...) in first order cybernetics, and becomes a ‘subjective’ entity in second order cybernetics. This contradiction relegates the status of information to that of a ‘true’ or ‘false’ formal logic problem. The present study proposes that a solution to this contradiction can be found in Deely’s reconfiguration of Peirce’s ‘object’ (as found in his triadic model of semiosis) into ‘thing’ and ‘object’ (Deely 1981). This ontology allows one to argue that information is neither ‘true’ nor ‘false’, and to suggest that, when considered in light of its workability, information can be both true and false, and as such it constitutes an organism’s purely objective reality (Deely 2009b). It is stated that in the process of building such a reality, information is ‘motivated’ by environmental, physiological, emotional (including past feelings and expectations) constraints which are, in turn, framed by observership. Information is therefore found in the irreducible cybersemiotic process that links at once all these conditions and that is simultaneously constrained by them. The integration of cybernetics’ and semiotics’ understanding of information shows that history is the analytical principle that grants scientific rigour to interdisciplinary investigations. As such, in any attempt to clarify its epistemological stance (e.g. the semiotic aspect of information), it is argued that biosemiotics does not need only to acknowledge semiotics (as it does), but also cybernetics in its interdisciplinary heritage. (shrink)

This paper identifies a type of linguistic phenomenon new to feminist philosophy of language: biased evaluative descriptions. Biased evaluative descriptions (BEDs) are descriptions whose well-intended positive surface meanings are inflected with implicitly biased content. Biased evaluative descriptions are characterized by three main features: (i) they have roots in implicit bias or benevolent sexism, (ii) their application is counterfactually unstable across dominant and subordinate social groups, and (iii) they encode stereotypes. After giving several different kinds of examples of biased evaluative descriptions, (...) I distinguish them from similar linguistic concepts, including backhanded compliments, slurs, insults, epithets, pejoratives, and dog-whistles. I suggest that the framework of traditional Gricean implicature cannot account for BEDs. I discuss some challenges to the distinctiveness and evaluability of BEDs, including intersectional social identities. I conclude by discussing the social significance and moral status of BEDs. Identifying BEDs is important for a variety of social contexts, from the very general and broad (political speeches) to the very particular and small (bias in academic hiring). (shrink)

The repugnant conclusion poses a conundrum in population ethics that has evaded satisfactory solution for four decades. In this article, I show that the repugnant conclusion can be avoided without sacrificing key moral intuitions. This is achieved using non-Archimedean orders, which admit the possibility of pairs of goods for which no amount of one is better than a single unit of the other. I show that with minimal assumptions, not only are such goods sensible, they are compulsory. I show that (...) utilitarianism and expected utility theory in their canonical forms are not in general suitable in this setting, and using these tools naively can lead to ethical errors that are arbitrarily serious. Multi-dimensional lexicographic expected utility representations may be required. I use fuzzy sets to show that there needn't be a clear boundary separating goods that are not Archimedean equivalent. (shrink)

This paper argues that so-called “trumping preemption” is in fact overdetermination or early preemption, and is thus not a distinctive form of redundant causation. I draw a novel lesson from cases thought to be trumping: that the boundary between preemption and overdetermination should be reconsidered.

This paper argues that causal idealism, the view that causation is a product of mental activity, should be considered a competetitor to contemporary views that incorporate human thought and agency into the causal relation. Weighing contextualism, contrastivism, or pragmatism about causation against causal idealism results in at least a tie with respect to the virtues of these theories.

A classic and fraught question in the philosophy of film is this: when you watch a film, do you experience yourself in the world of the film, observing the scenes? In this paper, we argue that this subject of film experience is sometimes a mere impersonal viewpoint, sometimes a first-personal but unindexed subject, and sometimes a particular, indexed subject such as the viewer herself or a character in the film. We first argue for subject pluralism: there is no single answer (...) to the question of what kind of subjectivity, if any, is mandated across film sequences. Then, we defend unindexed subjectivity: at least sometimes, films mandate an experience that is first-personal but not tied to any particular person, not even to the viewer. Taken together, these two theses allow us to see film experience as more varied than previously appreciated and to bridge in a novel way the cognition of film with the exercise of other imaginative capacities, such as mindreading and episodic recollecting. (shrink)

Many philosophers hypothesize that our concept of personal identity is partly constituted by the one-person-one-place rule, which states that a person can only be in one place at a time. This hypothesis has been assumed by the most influential contemporary work on personal identity. In this paper, we report a series of studies testing whether the hypothesis is true. In these studies, people consistently judged that the same person existed in two different places at the same time. This result undermines (...) some widely held philosophical assumptions, supports others, and fits well with recent discoveries on identity judgments about inanimate objects and non-human animals. (shrink)

Choice experiment (CE) is a questionnaire based method that the accuracy of research questionnaire determines the validity of the research outcomes. Attribute selection has a prime importance in every CE studies. If respondents do not understand or do not have preference for a certain attribute, the attribute non-attendance problem might happen that biases overall results of the research. Qualitative approaches such as literature review, focus group discussion, and in depth discussion commonly applied in CE researches. However, especially in the developing (...) countries context where ethnical and cultural diversity is a challenge in conducting survey based questionnaires, qualitative methods are not sufficient in selecting attributes. Present study investigates the application of relative importance index (RII) in respondents¡¯ preference for attributes in a modal shift study in Klang Valley, Malaysia. The 5 point Likert scale questions were employed to enhance respondents¡¯ preferences for initial 24 selected attributes. The results of this study showed that from 24 pre-selected attributes, only 18 of them had RII>0.5 and could be included in the final CE design. The results of this study could help researchers to control for unobserved problems in selecting the attributes which could not be discovered through qualitative approaches. -/- . (shrink)