It is commonly held that our intuitive judgements about imaginary problem cases are justified a priori, if and when they are justified at all. In this paper I defend this view — ‘rationalism’ — against a recent objection by Timothy Williamson. I argue that his objection fails on multiple grounds, but the reasons why it fails are instructive. Williamson argues from a claim about the semantics of intuitive judgements, to a claim about their psychological underpinnings, to the denial of rationalism. (...) I argue that the psychological claim — that a capacity for mental simulation explains our intuitive judgements — does not, even if true, provide reasons to reject rationalism. (More generally, a simulation hypothesis, about any category of judgements, is very limited in its epistemological implications: it is pitched at a level of explanation that is insensitive to central epistemic distinctions.) I also argue that Williamson’s semantic claim — that intuitive judgements are judgements of counterfactuals — is mistaken; rather, I propose, they are a certain kind of metaphysical possibility judgement. Several other competing proposals are also examined and criticized. (shrink)

According to a widely shared generic conception of inferential justification—‘the standard conception’—an agent is inferentially justified in believing that p only if she has antecedently justified beliefs in all the non-redundant premises of a good argument for p. This conception tends to serve as the starting-point in contemporary debates about the nature and scope of inferential justification: as neutral common ground between various competing, more specific, conceptions. But it’s a deeply problematic starting-point. This paper explores three questions that haven’t been (...) given the attention they deserve, that complicate the application of the standard conception to cases, and that reveal it to be underspecified at the core—in ways that aren’t resolved but inherited by more specific (extant) versions of it. The goal isn’t to answer the questions, but to articulate them, explain what turns on them, and invite a critical re-examination of the standard conception. (shrink)

Some psychological states—paradigmatically, beliefs and intentions—are rationally evaluable: they can be rational or irrational, justified or unjustified. Other states—e.g. sensations and gastrointestinal states—aren’t: they’re a-rational. On a familiar but hard-to-make-precise line of thought, at least part of what explains this difference is that we’re somehow responsible for (having/being in) states of the former sort, in a way we’re not for the others. But this responsibility can’t be modeled on the responsibility we have for our (free, intentional) actions. So how should (...) it be understood? In this paper I address that question. The overall shape of my answer is in line with tradition: I take the responsibility to be grounded in certain capacities for reflection and control. Answers in this family have recently been subjected to an interesting challenge. But the version I defend meets that challenge. (shrink)

It is a matter of fact that Europe is facing more and more crucial challenges regarding health and social care due to the demographic change and the current economic context. The recent COVID-19 pandemic has stressed this situation even further, thus highlighting the need for taking action. Active and Assisted Living technologies come as a viable approach to help facing these challenges, thanks to the high potential they have in enabling remote care and support. Broadly speaking, AAL can be referred (...) to as the use of innovative and advanced Information and Communication Technologies to create supportive, inclusive and empowering applications and environments that enable older, impaired or frail people to live independently and stay active longer in society. AAL capitalizes on the growing pervasiveness and effectiveness of sensing and computing facilities to supply the persons in need with smart assistance, by responding to their necessities of autonomy, independence, comfort, security and safety. The application scenarios addressed by AAL are complex, due to the inherent heterogeneity of the end-user population, their living arrangements, and their physical conditions or impairment. Despite aiming at diverse goals, AAL systems should share some common characteristics. They are designed to provide support in daily life in an invisible, unobtrusive and user-friendly manner. Moreover, they are conceived to be intelligent, to be able to learn and adapt to the requirements and requests of the assisted people, and to synchronise with their specific needs. Nevertheless, to ensure the uptake of AAL in society, potential users must be willing to use AAL applications and to integrate them in their daily environments and lives. In this respect, video- and audio-based AAL applications have several advantages, in terms of unobtrusiveness and information richness. Indeed, cameras and microphones are far less obtrusive with respect to the hindrance other wearable sensors may cause to one’s activities. In addition, a single camera placed in a room can record most of the activities performed in the room, thus replacing many other non-visual sensors. Currently, video-based applications are effective in recognising and monitoring the activities, the movements, and the overall conditions of the assisted individuals as well as to assess their vital parameters. Similarly, audio sensors have the potential to become one of the most important modalities for interaction with AAL systems, as they can have a large range of sensing, do not require physical presence at a particular location and are physically intangible. Moreover, relevant information about individuals’ activities and health status can derive from processing audio signals. Nevertheless, as the other side of the coin, cameras and microphones are often perceived as the most intrusive technologies from the viewpoint of the privacy of the monitored individuals. This is due to the richness of the information these technologies convey and the intimate setting where they may be deployed. Solutions able to ensure privacy preservation by context and by design, as well as to ensure high legal and ethical standards are in high demand. After the review of the current state of play and the discussion in GoodBrother, we may claim that the first solutions in this direction are starting to appear in the literature. A multidisciplinary debate among experts and stakeholders is paving the way towards AAL ensuring ergonomics, usability, acceptance and privacy preservation. The DIANA, PAAL, and VisuAAL projects are examples of this fresh approach. This report provides the reader with a review of the most recent advances in audio- and video-based monitoring technologies for AAL. It has been drafted as a collective effort of WG3 to supply an introduction to AAL, its evolution over time and its main functional and technological underpinnings. In this respect, the report contributes to the field with the outline of a new generation of ethical-aware AAL technologies and a proposal for a novel comprehensive taxonomy of AAL systems and applications. Moreover, the report allows non-technical readers to gather an overview of the main components of an AAL system and how these function and interact with the end-users. The report illustrates the state of the art of the most successful AAL applications and functions based on audio and video data, namely lifelogging and self-monitoring, remote monitoring of vital signs, emotional state recognition, food intake monitoring, activity and behaviour recognition, activity and personal assistance, gesture recognition, fall detection and prevention, mobility assessment and frailty recognition, and cognitive and motor rehabilitation. For these application scenarios, the report illustrates the state of play in terms of scientific advances, available products and research project. The open challenges are also highlighted. The report ends with an overview of the challenges, the hindrances and the opportunities posed by the uptake in real world settings of AAL technologies. In this respect, the report illustrates the current procedural and technological approaches to cope with acceptability, usability and trust in the AAL technology, by surveying strategies and approaches to co-design, to privacy preservation in video and audio data, to transparency and explainability in data processing, and to data transmission and communication. User acceptance and ethical considerations are also debated. Finally, the potentials coming from the silver economy are overviewed. (shrink)

Tyler Burge famously argues in his 1993 paper "Content Preservation" that it is not only a priori true that we enjoy a prima facie warrant to take what others assert as true, but also that there our warrant to believe what we are told in certain special cases is a priori. So just as our warrant for believing certain mathematical truths might be a priori, so too there are cases of belief through testimony that are a priori. Then in a (...) 2013 Postscript to "Content Preservation" he took it all back. All of Burge's ideas and arguments for and against are interesting and important, and deepen our understanding of testimony, comprehension, warrant, and the a priori. But his ideas and arguments are hard to understand. This paper explains all of ideas and arguments, both for and against, in a clear and comprehensive way. Along the way, Anna-Sara Malmgren's interpretation and criticism of Burge's position is also expounded and criticized. (shrink)

The practice of thought experimentation plays a central role in contemporary philosophical methodology. Many philosophers rely on thought experimentation as their primary and even sole procedure for testing theories about the natures of properties and relations. This test procedure involves entertaining hypothetical cases in imaginative thought and then undergoing intuitions about the distribution of properties and relations in them. A theory’s comporting with an intuition is treated as evidence in favour of it; but a clash is treated as evidence against (...) the theory and may even be regarded as falsifying it. -/- The epistemic power of thought experimentation is mysterious. How can experiments carried out within the mind enable us to discover truths about the natures of properties and relations like knowledge, causation, personal identity, reference, meaning, consciousness, beauty, justice, morality, and free will? This epistemological challenge is urgent, but a model of philosophical thought experimentation would seem to be a necessary propaedeutic to any serious discussion of it. An adequate model would make the relevant test procedure explicit, thereby assisting in the identification of points of potential epistemic vulnerability. -/- In this monograph I advance the propaedeutical model-building work already done by Timothy Williamson, Anna-Sara Malmgren, and Jonathan Ichikawa and Benjamin Jarvis. Following the lead of these philosophers, I focus on a single Gettier-style thought experiment and the problem of identifying the real content of the Gettier intuition. My first contribution is to establish the inadequacy of all of the existing models. Each of them, I argue, fails to solve the content problem. It emerges from my discussion, however, that Ichikawa and Jarvis’s truth in fiction approach holds out the prospect of a solution. -/- My second contribution is to develop and defend a new way of implementing the general idea behind the truth in fiction approach. The model I put forward does a better overall job of modelling Gettier-style thought experiments than any of the existing models. It has none of the defects which render those models inadequate and Iam unable to find any major defects peculiar to it. This should make us feel confident that my model is adequate. Moreover, since the Gettier-style thought experiment I focus on is paradigmatic, we should also feel confident that my model will generalise naturally to other philosophical thought experiments. (shrink)

This book surveys research in quantification starting with the foundational work in the 1970s. It paints a vivid picture of generalized quantifiers and Boolean semantics. It explains how the discovery of diverse scope behavior in the 1990s transformed the view of quantification, and how the study of the internal composition of quantifiers has become central in recent years. It presents different approaches to the same problems, and links modern logic and formal semantics to advances in generative syntax. A unique feature (...) of the book is that it systematically brings cross-linguistic data to bear on the theoretical issues, discussing French, German, Dutch, Hungarian, Russian, Japanese, Telugu (Dravidian), and Shupamem (Grassfield Bantu), and pointing to formal semantic literature involving quantification in around thirty languages. -- -/- 1. What this book is about and how to use it; 2. Generalized quantifiers and their elements: operators and their scopes; 3. Generalized quantifiers in non-nominal domains; 4. Some empirically significant properties of quantifiers and determiners; 5. Potential challenges for generalized quantifiers; 6. Scope is not uniform and not a primitive; 7. Existential scope versus distributive scope; 8. Distributivity and scope; 9. Bare numeral indefinites; 10. Modified numerals; 11. Clause-internal scopal diversity; 12. Towards a compositional semantics of quantifier words. (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.

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)

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)

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)

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)

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.

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)

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)

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)

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)

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)

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

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)

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)

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)

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.

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.

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)

Do the new sciences of well-being provide knowledge that respects the nature of well-being? This book written from the perspective of philosophy of science articulates how this field can speak to well-being proper and can do so in a way that respects the demands of objectivity and measurement.

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)

This paper examines both creepiness and the distinctive reaction had to creepiness, being “creeped out.” The paper defends a response-dependent account of creepiness in terms of this distinctive reaction, contrasting our preferred account to others that might be offered. The paper concludes with a discussion of the value of detecting creepiness.

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)

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

Formal representations drawn from rational choice theory have been used in a variety of ways to fruitfully model the way in which actual agents are approximately rational. This analysis requires bridging between ideal normative theory, in which the mechanisms, representations, and other such internal parts are in an important sense interchangeable, and descriptive psychological theory, in which understanding the internal workings of the agent is often the main goal of the entire inquiry. In this paper, I raise a problem brought (...) on by this gap: for almost every theory of approximate rationality, there will be an empirically indistinguishable alternative that individuates the parts of the agent in a significantly different way. (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)

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)

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)