We present a logic which we call Hybrid Duration Calculus. HDC is obtained by adding the following hybrid logical machinery to the Restricted Duration Calculus : nominals, satisfaction operators, down-arrow binder, and the global modality. RDC is known to be decidable, and in this paper we show that decidability is retained when adding the hybrid logical machinery. Decidability of HDC is shown by reducing the satisfiability problem to satisfiability of Monadic Second-Order Theory of Order. We illustrate the increased expressive power (...) obtained in hybridizing RDC by showing that HDC, in contrast to RDC, can express all of the 13 possible relations between intervals. (shrink)

Our beliefs and opinions are shaped by others, making our social networks crucial in determining what we believe to be true. Sometimes this is for the good because our peers help us form a more accurate opinion. Sometimes it is for the worse because we are led astray. In this context, we address via agent-based computer simulations the extent to which patterns of connectivity within our social networks affect the likelihood that initially undecided agents in a network converge on a (...) true opinion following group deliberation. The model incorporates a fine-grained and realistic representation of belief and trust, and it allows agents to consult outside information sources. We study a wide range of network structures and provide a detailed statistical analysis concerning the exact contribution of various network metrics to collective competence. Our results highlight and explain the collective risks involved in an overly networked or partitioned society. Specifically, we find that 96% of the variation in collective competence across networks can be attributed to differences in amount of connectivity and clustering, which are negatively correlated with collective competence. A study of bandwagon or “group think” effects indicates that both connectivity and clustering increase the probability that the network, wholly or partly, locks into a false opinion. Our work is interestingly related to Gerhard Schurz’s work on meta-induction and can be seen as broadly addressing a practical limitation of his approach. (shrink)

This paper introduces a general logical framework for reasoning about diffusion processes within social networks. The new “Logic for Diffusion in Social Networks” is a dynamic extension of standard hybrid logic, allowing to model complex phenomena involving several properties of agents. We provide a complete axiomatization and a terminating and complete tableau system for this logic and show how to apply the framework to diffusion phenomena documented in social networks analysis.

Pluralistic ignorance is a socio-psychological phenomenon that involves a systematic discrepancy between people’s private beliefs and public behavior in certain social contexts. Recently, pluralistic ignorance has gained increased attention in formal and social epistemology. But to get clear on what precisely a formal and social epistemological account of pluralistic ignorance should look like, we need answers to at least the following two questions: What exactly is the phenomenon of pluralistic ignorance? And can the phenomenon arise among perfectly rational agents? In (...) this paper, we propose answers to both these questions. First, we characterize different versions of pluralistic ignorance and define the version that we claim most adequately captures the examples cited as paradigmatic cases of pluralistic ignorance in the literature. In doing so, we will stress certain key epistemic and social interactive aspects of the phenomenon. Second, given our characterization of pluralistic ignorance, we argue that the phenomenon can indeed arise in groups of perfectly rational agents. This, in turn, ensures that the tools of formal epistemology can be fully utilized to reason about pluralistic ignorance. (shrink)

In many social contexts, social influence seems to be inescapable: the behavior of others influences us to modify ours, and vice-versa. However, social psychology is full of examples of phenomena where individuals experience a discrepancy between their public behavior and their private opinion. This raises two central questions. First, how does an individual reason about the behavior of others and their private opinions in situations of social influence? And second, what are the laws of the resulting information dynamics? In this (...) paper, we address these questions by introducing a formal framework for representing reasoning about an individual’s private opinions and public behavior under the dynamics of social influence in social networks. Moreover, we dig deeper into the involved information dynamics by modeling how individuals can learn about each other based on this reasoning. This compels us to introduce a new formal notion of reflective social influence. Finally, we initialize the work on proof theory and automated reasoning for our framework by introducing a sound and complete tableaux system for a fragment of our logic. Furthermore, this constitutes the first tableau system for the “Facebook logic” of J. Seligman, F. Liu, and P. Girard. (shrink)

We propose a new dynamic hybrid logic to reason about social networks and their dynamics building on the work of “Logic in the Community” by Seligman, Liu and Girard. Our framework distinguishes between the purely private sphere of agents, namely their mental states, and the public sphere of their observable behavior, i.e., what they seem to believe. We then show how such a distinction allows our framework to model many social phenomena, by presenting the case of pluralistic ignorance as an (...) example and discussing some of its dynamic properties. (shrink)

Knowledge on regulatory relations, in for example regulatory pathways in biology, is used widely in experiment design by biomedical researchers and in systems biology. The knowledge has typically either been represented through simple graphs or through very expressive differential equation simulations of smaller sections of a pathway. As an alternative, in this work we suggest a knowledge representation of the most basic relations in regulatory processes regulates, positively regulates and negatively regulates in logics based on a semantic analysis. We discuss (...) the usage of these relations in biology and in artificial intelligence for hypothesis development in drug discovery. (shrink)

Throughout the last decade, there has been an increased interest in various forms of dynamic epistemic logics to model the flow of information and the effect this flow has on knowledge in multi-agent systems. This enterprise, however, has mostly been applicationally and semantically driven. This results in a limited amount of proof theory for dynamic epistemic logics. In this paper, we try to compensate for a part of this by presenting terminating tableau systems for full dynamic epistemic logic with action (...) models and for a hybrid public announcement logic. The tableau systems are extensions of already existing tableau systems, in addition to which we have used the reduction axioms of dynamic epistemic logic to define rules for the dynamic part of the logics. Termination is shown using methods introduced by Braüner, Bolander, and Blackburn. (shrink)

According to popular belief, big data and machine learning provide a wholly novel approach to science that has the potential to revolutionise scientific progress and will ultimately lead to the ‘end of theory’. Proponents of this view argue that advanced algorithms are able to mine vast amounts of data relating to a given problem without any prior knowledge and that we do not need to concern ourselves with causality, as correlation is sufficient for handling complex issues. Consequently, the human contribution (...) to scientific progress is deemed to be non-essential and replaceable. We, however, following the position most commonly represented in the philosophy of science, argue that the need for human expertise remains. Based on an analysis of big data and machine learning methods in two case studies—skin cancer detection and protein folding—we show that expert knowledge is essential and inherent in the application of these methods. Drawing on this analysis, we establish a classification of the different kinds of expert knowledge that are involved in the application of big data and machine learning in scientific contexts. We address the ramifications of a human-driven expert knowledge approach to big data and machine learning for scientific practice and the discussion about the role of theory. Finally, we show that the ways in which big data and machine learning both influence and are influenced by scientific methodology involve continuous conceptual shifts rather than a rigid paradigm change. (shrink)

This paper introduces a logic to reason about a well-known model of opinion dynamics in socialnetworks initially developed by Morris DeGroot as well as Keith Lehrer and Carl Wagner. The proposed logic is an extension of Lukasiewicz' famous fuzzy logic with additional equational expressivity, modal operators, machinery from hybrid logic, and dynamic modalities. The model of opinion dynamics in social networks is simple enough to be easily grasped, but still complex enough to have interesting mathematical properties and applications. Thus, developing (...) a logic to reason about this particular model serves as a paradigmatic example of how logic can be useful in social network analysis. (shrink)

``Pluralistic ignorance'' is a phenomenon mainly studied in social psychology. Viewed as an epistemic phenomenon, one way to define it is as a situation where ``no one believes, but everyone believes that everyone else believes''. In this paper various versions of pluralistic ignorance are formalized using epistemic/doxastic logic. The motive is twofold. Firstly, the formalizations are used to show that the various versions of pluralistic ignorance are all consistent, thus there is nothing in the phenomenon that necessarily goes against logic. (...) Secondly, pluralistic ignorance, is on many occasions, assumed to be fragile. In this paper, however, it is shown that pluralistic ignorance need not be fragile to announcements of the agents' beliefs. Hence, to dissolve pluralistic ignorance in general, something more than announcements of the subjective views of the agents is needed. Finally, suggestions to further research are outlined. (shrink)

In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has been changed such that nominals only partially denote states. The hybrid logic contains nominals, satisfaction operators, the downarrow binder as well as the global modality. Following this, an axiom system for the Hybrid Public Announcement Logic is presented and using reduction axioms general completeness is proved. The general completeness allows for (...) an easy way of adding distributed knowledge. Furthermore, it turns out that distributed knowledge is definable using satisfaction operators and the downarrow binder. (shrink)

In this paper a first-order version of hybrid logic is presented. The language is obtained by adding nominals, satisfaction operators and the down-arrow binder to classical first-order modal logic. The satisfaction operators are applied to both formulas and terms. Moreover adding the universal modality is discussed. This first-order hybrid language is interpreted over varying domains and a sound and complete, fully internalized tableau system for this logic is given.

In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...) in the paper. Our results show that many-valued hybrid logic is indeed a natural enterprise. (shrink)

In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...) in the paper. Our results show that many-valued hybrid logic is indeed a natural enterprise. (shrink)

Dynamic Epistemic Logic is claimed to be a dynamic version of epistemic logic. While this being true, there are several dynamical aspects that cannot be reasoned about in Dynamic Epistemic Logic. When a scenario is fixed and a possible world model representing the scenario is constructed, the possible future ways the system can evolve are in some sense already determined. For instance no new agents can enter the scenario and no new propositional facts can become relevant. This modeling perspective is (...) the main motivation for the partial version of Dynamic Epistemic Logic introduced in this paper, which in particular, allows for the set of agents and the set of propositional variables to change. (shrink)

In this paper the phenomenon of pluralistic ignorance is discussed and it is argued why it is of relevance for epistemic logic and social psychology. Roughly put, pluralistic ignorance is the case when a group of interacting agents all experience a discrepancy between their private opinions and the perceived opinions of the others. After introducing the phenomenon, numerous features of pluralistic ignorance that are of interest for epistemic logic and social epistemology, are discussed. This discussion serves two purposes: It recaps (...) the existing research on pluralistic ignorance within epistemic logic and social epistemology, while at the same time stating open problems for social epistemology and epistemic logic that pertains to the study of pluralistic ignorance. Finally, it is argued that the features of pluralistic ignorance of interest to epistemic logic and social epistemology relate to general features of information dynamics in situations of social interaction. (shrink)

In this paper, we investigate the social herding phenomenon known as informational cascades, in which sequential inter-agent communication might lead to epistemic failures at group level, despite availability of information that should be sufficient to track the truth. We model an example of a cascade, and check the correctness of the individual reasoning of each agent involved, using two alternative logical settings: an existing probabilistic dynamic epistemic logic, and our own novel logic for counting evidence. Based on this analysis, we (...) conclude that cascades are not only likely to occur but are sometimes unavoidable by "rational" means: in some situations, the group’s inability to track the truth is the direct consequence of each agent’s rational attempt at individual truth-tracking. Moreover, our analysis shows that this is even so when rationality includes unbounded higher-order reasoning powers, as well as when it includes simpler, non-Bayesian forms of heuristic reasoning. (shrink)

An algebra is effective if its operations are computable under some numbering. When are two numberings of an effective partial algebra equivalent? For example, the computable real numbers form an effective field and two effective numberings of the field of computable reals are equivalent if the limit operator is assumed to be computable in the numberings . To answer the question for effective algebras in general, we give a general method based on an algebraic analysis of approximations by elements of (...) a finitely generated subalgebra. Commonly, the computable elements of a topological partial algebra are derived from such a finitely generated algebra and form a countable effective partial algebra. We apply the general results about partial algebras to the recursive reals, ultrametric algebras constructed by inverse limits, and to metric algebras in general. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

In recent decades there has been increasing demand for and considerable efforts to conduct cross-disciplinary research. However, assessment of research quality in such endeavours still is often based on mono-disciplinary criteria and not seldom carried out by reviewers without strong cross-disciplinary experience. The authors suggest a two-pronged approach to cross-disciplinary research evaluation. One part should comprise an individual review of all the disciplines involved based on their mono-disciplinary sets of criteria. The other part should be a separate evaluation of the (...) cross-disciplinary aspects based on the review of “problem formulation”, “integration and scope of the disciplines”, “parts and the whole”, “practical managerial aspects” and “the applied aspects”. The pros and cons of implementing this approach in a stepwise manner or simultaneously is discussed. It is suggested that funding agencies develop more fair sets of review procedures for cross-disciplinary research and show willingness to allocate extra funds and time to such forms of research that sometimes are regarded as relatively more “risky” than conventional mono-disciplinary types. (shrink)

During the past decades, research collaboration between researchers from different disciplines has become more frequent. However, there is a need to look into the generic modalities and challenges. The article explores a series of potential obstructions to cross-disciplinary collaboration of methodological and epistemological nature. Furthermore, a number of contextual, inhibiting factors are outlined. As means of overcoming the obstacles, the importance of mutual knowledge, allocation of adequate time and conducive research management is emphasised. New teams may benefit from tutoring by (...) facilitators, who can help to make problem areas explicit and negotiate solutions. Owing to the training background of the author, most of the examples are drawn from the interface between biomedicine/natural science and applied medical anthropology. However, the issues raised basically apply to all sorts of cross-disciplinary research collaboration in various combinations. (shrink)

In recent decades there has been increasing demand for and considerable efforts to conduct cross-disciplinary research. However, assessment of research quality in such endeavours still is often based on mono-disciplinary criteria and not seldom carried out by reviewers without strong cross-disciplinary experience. The authors suggest a two-pronged approach to cross-disciplinary research evaluation. One part should comprise an individual review of all the disciplines involved based on their mono-disciplinary sets of criteria. The other part should be a separate evaluation of the (...) cross-disciplinary aspects based on the review of “problem formulation”, “integration and scope of the disciplines”, “parts and the whole”, “practical managerial aspects” and “the applied aspects”. The pros and cons of implementing this approach in a stepwise manner or simultaneously is discussed. It is suggested that funding agencies develop more fair sets of review procedures for cross-disciplinary research and show willingness to allocate extra funds and time to such forms of research that sometimes are regarded as relatively more “risky” than conventional mono-disciplinary types. (shrink)

This article discusses ethnoveterinary medical pluralism in Western Kenya. Qualitative methods of data collection such as key informant interviews, open-ended in-depth interviews, focus group discussions (FGDs), narratives, and participant and direct observations were applied. The study shows that farmers in Nyang’oma seek both curative and preventive medical services for their animals from the broad range of health care providers available to them within a pluralistic medical system. Kleinman’s model of medical pluralism, which describes the professional, folk, and popular sectors, informs (...) this discussion because of its relevance and appropriateness to the study. It is, however, important to note the overlap in the three sectors and to point out that livestock farmers engage in multiple “consultations” based on a combination of their own characteristics and the cost, availability and specialization of health care providers. The study concludes by recognizing the complexity of ethnoveterinary medical pluralism and calls for the integration of a pluralistic perspective into the planning and implementation of animal health care interventions and services. (shrink)

The appeal to expert opinion is an argument form that uses the verdict of an expert to support a position or hypothesis. A previous scheme-based treatment of the argument form is formalized within a Bayesian network that is able to capture the critical aspects of the argument form, including the central considerations of the expert's expertise and trustworthiness. We propose this as an appropriate normative framework for the argument form, enabling the development and testing of quantitative predictions as to how (...) people evaluate this argument, suggesting that such an approach might be beneficial to argumentation research generally. We subsequently present two experiments as an example of the potential for future research in this vein, demonstrating that participants' quantitative ratings of the convincingness of a proposition that has been supported with an appeal to expert opinion were broadly consistent with the predictions of the Bayesian model. (shrink)

Growing evidence suggests that natural environments – whether in outdoor or indoor settings – foster psychological health and physiological relaxation, indicated by increased wellbeing, reduced stress levels, and increased parasympathetic activity. Greater insight into differential psychological aspects modulating psychophysiological responses to nature-based relaxation videos could help understand modes of action and develop personalized relaxation interventions. We investigated heart rate variability as an indicator of autonomic regulation, specifically parasympathetic activity, in response to a 10-min video intervention in two consecutive studies as (...) well as heart rate. We hypothesized that a nature-based relaxation video elicits HRV increase and HR decrease, with response magnitude being affected by aspects of early life adversity and trait mindfulness. In Study 1, N = 60 participants watched a relaxation video intervention depicting different natural scenery. We analyzed changes in HR and respiratory sinus arrhythmia as a standard HRV measure, both based on 3-min segments from the experimental session, in multiple growth curve models. We found a decrease in HR and increase of RSA during the video intervention. Higher paternal care and lower trait mindfulness observing skills were associated with higher RSA values before but not during video exposure. In Study 2, N = 90 participants were assigned to three video conditions: natural scenery from Study 1, meditation video, or short clip from “The Lord of the Rings.” Again, HR decreased, and RSA increased during video segments, yet without expected group differences across different video types. We found higher parental care and lower parental overprotection to predict higher RSA at different times during the experiment. Interestingly, lower paternal overprotection predicted overall higher RSA. These results suggest a generic relaxation effect of video interventions on autonomic regulation that we discuss in light of different theories mapping restorative effects of natural environments. Further, psychological characteristics like aspects of early life adversity and trait mindfulness could contribute to individual differences in autonomic regulation. This study contributes to a better understanding of autonomic and psychological responses to relaxation videos. (shrink)

Most eighteenth- and nineteenth-century portrait paintings have eyes staring outward at the beholder. A minority of these eyes have slightly elevated pupils in comparison to the iris. These off-centre pupils are not the norm, but they occur regularly in works by skilful European portrait painters in the eighteenth and nineteenth centuries. This article takes a closer look at selected portrait paintings by Danish artists Jens Juel and Constantin Hansen and argues that the discrepancy between the pupils and the (...) rest of the paintings creates an illusion of movement or presence when looking the paintings in the eye. The discrepancy creates an aesthetic effect corresponding with Merleau-Ponty’s concept of internal discordance. According to Merleau-Ponty, visual art can create the illusion of movement by portraying its parts in different moments. These internal discordances make the painting “move” because the beholder unconsciously creates a fictive link between the parts thereby expanding time in space. The article combines presence theory (Jean-Luc Nancy and Hans Ulrich Gumbrecht), phenomenology (Merleau-Ponty) and art theory and perception theory (James Elkins, Dominic McIver Lopes and Michael Fried) in order to study the effects and possible reasons for creating pupils out of sync with the rest of the painting. (shrink)

Advanced AI systems are rapidly making their way into medical research and practice, and, arguably, it is only a matter of time before they will surpass human practitioners in terms of accuracy, reliability, and knowledge. If this is true, practitioners will have a prima facie epistemic and professional obligation to align their medical verdicts with those of advanced AI systems. However, in light of their complexity, these AI systems will often function as black boxes: the details of their contents, calculations, (...) and procedures cannot be meaningfully understood by human practitioners. When AI systems reach this level of complexity, we can also speak of black-box medicine. In this paper, we want to argue that black-box medicine conflicts with core ideals of patient-centered medicine. In particular, we claim, black-box medicine is not conducive for supporting informed decision-making based on shared information, shared deliberation, and shared mind between practitioner and patient. (shrink)

Possible-worlds accounts of mental or linguistic content are often criticized for being too coarse-grained. To make room for more fine-grained distinctions among contents, several authors have recently proposed extending the space of possible worlds by "impossible worlds". We argue that this strategy comes with serious costs: we would effectively have to abandon most of the features that make the possible-worlds framework attractive. More generally, we argue that while there are intuitive and theoretical considerations against overly coarse-grained notions of content, the (...) same kinds of considerations also prohibit an overly fine-grained individuation of content. An adequate notion of content, it seems, should have intermediate granularity. However, it is hard to construe a notion of content that meets these demands. Any notion of content, we suggest, must be either implausibly coarse-grained or implausibly fine-grained (or both). (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

How can work be a genuine good in life? I argue that this requires overcoming a problem akin to that studied by Marx scholars as the problem of work, freedom and necessity: how can work be something we genuinely want to do, given that its content is not up to us, but is determined by necessity? I argue that the answer involves valuing contributing to the good of others, typically as valuing active pro-sociality – that is, valuing actively doing something (...) good for others. This makes work better in one way, and may even make work something we are genuinely glad to have in our lives. Contemporary philosophical thinking about good work tends to focus on how work can be good for the person doing it, by providing, for example, self-realization or social relationships, while underappreciating the special importance of valuing social contribution. People will typically only really want work if they want a part of their lives to be about the good of others. This also means that work may be a part of the best life, something we should take into account when discussing work-related policies and the desirability of a ‘post-work’ future. (shrink)

The Groundwork of the Metaphysics of Morals is Kant's central contribution to moral philosophy, and has inspired controversy ever since it was first published in 1785. Kant champions the insights of 'common human understanding' against what he sees as the dangerous perversions of ethical theory. Morality is revealed to be a matter of human autonomy: Kant locates the source of the 'categorical imperative' within each and every human will. However, he also portrays everyday morality in a way that many readers (...) find difficult to accept. The Groundwork is a short book, but its argument is dense, intricate and at times treacherous. This commentary explains Kant's arguments paragraph by paragraph, and also contains an introduction, a synopsis of the argument, six short interpretative essays on key topics of the Groundwork, and a glossary of key terms. It will be an indispensable tool for anyone wishing to study the Groundwork in detail. (shrink)

There seems to be a strong sentiment in pre-philosophical moral thought that actions can be morally valuable without at the same time being morally required. Yet Kant, who takes great pride in developing an ethical system firmly grounded in common moral thought, makes no provision for any such extraordinary acts of virtue. Rather, he supports a classification of actions as either obligatory, permissible or prohibited, which in the eyes of his critics makes it totally inadequate to the facts of morality. (...) The related idea of uncommonly grand and noble deeds is frequently dismissed by Kant as high-.own emotional nonsense. Such considerations give rise to the fear that actions intuitively classed as morally commendable but not required must be re-classified as commands of duty by Kant, making his ethical theory as unbearably demanding as direct utilitarianism. The paper divides into three sections: (1) an examination of the nature of moral goodness from a meta-ethical angle that introduces some passages from Kant's writings presenting strong theoretical evidence against the case for supererogatory action; (2) a critique of Thomas Hill's suggestion that within the category of wide duty we can accommodate some of the main features of actions classified as supererogatory in other ethical systems; concluding that, contra Hill, there are no actions of wide duty that can be so characterized in any significant sense; and (3) a final discussion of the problem of how demanding the requirements of Kantian ethical theory really are. (shrink)

In this paper, we present and defend an analysis of harm that we call the Negative Influence on Well-Being Account (NIWA). We argue that NIWA has a number of significant advantages compared to its two main rivals, the Counterfactual Comparative Account (CCA) and the Causal Account (CA), and that it also helps explain why those views go wrong. In addition, we defend NIWA against a class of likely objections, and consider its implications for several questions about harm and its role (...) in normative theorizing. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian strategy. But (...) in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

According to luck egalitarianism, it is not unfair when people are disadvantaged by choices they are responsible for. This implies that those who are disadvantaged by choices that prevent disadvantage to others are not eligible for compensation. This is counterintuitive. We argue that the problem such cases pose for luck egalitarianism reveals an important distinction between responsibility for creating disadvantage and responsibility for distributing disadvantage which has hitherto been overlooked. We develop and defend a version of luck egalitarianism which only (...) holds people responsible for creating disadvantage. This revision enables luck egalitarianism to offer compensation to those who are disadvantaged by preventing disadvantage to others, like dependent caretakers, without compromising the responsibility–sensitivity at the heart of luck egalitarianism. (shrink)

It has recently been argued that a sensitivity theory of knowledge cannot account for intuitively appealing instances of higher-order knowledge. In this paper, we argue that it can once careful attention is paid to the methods or processes by which we typically form higher-order beliefs. We base our argument on what we take to be a well-motivated and commonsensical view on how higher-order knowledge is typically acquired, and we show how higher-order knowledge is possible in a sensitivity theory once this (...) view is adopted. (shrink)

What happens when human beings fail to do as reason bids? This book is an attempt to address this age-old question within Kant’s mature practical philosophy, i.e. the practical philosophy that emerged with the watershed discovery of autonomy in the mid-1780s. As always, Kant is good for a surprise. There is, it is argued, not one answer but two: he advocates Socratic intellectualism in the realm of prudence whilst defending an anti-intellectualist or volitional account of immoral action. This ‘hybrid’ theory (...) of practical failure is more than a philosophical curiosity. There are ramifications for Kant’s theory of practical reason as a whole. In particular, the hybrid account emphasizes the divide between pure and empirical practical rationality to the extent that the latter, while containing practically relevant propositions, no longer counts as a branch of practical reason at all. Hypothetical and categorical imperatives exemplify two entirely distinct kinds of normativity. In fact, the dichotomy between pure and empirical determining grounds of the will goes hand in hand with many other dualisms and dichotomies that, whether we like them or not, continue to define Kant’s mature ethical thought. (shrink)

Meaningful work is an important ideal, but it seems hard to give an adequate account of meaningful work. In this article, I conduct a revisionary conceptual analysis of ‘meaningful work’, i.e. a conceptual analysis that aims at finding a better and more useful way to use this term. I argue for a distinction between cases where work itself is meaningful and cases where other sources of meaning are found at work. The term ‘meaningful work’ is most useful for the former (...) cases. I then argue for the reasons account of what makes work itself meaningful: work is meaningful if (and to the extent that) there are good reasons to do it. I compare this to established accounts of meaningful work, such as subjective meaningfulness, self-realization, alienation, the unity of conception and execution, autonomy, social contribution, and Veltman’s four-dimensional account. None of these capture the distinct concern that the concept ‘meaningful work’ should capture, or they do so less well than the reasons account. This also shows that work can be meaningful regardless of whether it is good in other respects, such as in inherent interest or opportunities for self-realization. (shrink)

The present article is an attempt to clarify the Kantian conception of duties to the self and to defend them against common objections. Kant’s thesis that all duty rests on duties to the self is shown to follow from the autonomy of the human will; and the allegation that they are impossible because the agent could always release himself from such a duty turns out to be question-begging. There is no attempt to prove that there are such duties, but they (...) are revealed to be an indispensable part of morality. Traditional attributes of moral commands, such as ‘categoricity’ or ‘overridingness’ make no sense in a one-sidedly other-regarding or social conception of morality. (shrink)