Have you ever noticed that in watch advertisements the time is usually set at 10:10? The reasons and psychological effects of this default time setting are elusive. In Experiment 1, we hypothesized that watches showing a time setting resembling a smiling face (10:10) would enhance emotional valence and intention to buy compared to a neutral time setting (11:30), whereas a time setting resembling a sad face (8:20) would have the opposite effect. Moreover, we investigated a (...) possible interaction effect with the gender of the participants. In Experiment 2, we directly tested the hypotheses that watches set at 10:10 resemble a smiling face, whereas watches set at 8:20 resemble a sad face. The data of the first experiment reveal that watches set at 10:10 showed a significant positive effect on the emotion of the observer and the intention to buy. However, watches set at 8:20 did not show any effect on the emotion or the intention to buy. Moreover, watches set at 10:10 induced in women significantly stronger ratings of pleasure than in men. The data of the second experiment show that participants consistently perceive high resemblance between watches set at 10:10 and a smiling face as well as high resemblance between watches set at 8:20 and a sad face. This study provides for the first time empirical evidence for the notion that using watches with a time setting resembling a smiling face (like 10:10) can positively affect the emotional response of the observers and their evaluation of a seen watch, even though they are not aware of the fact that the shown time setting is inducing this effect. Practical implications of the observed findings and alternative explanations are discussed. (shrink)

Suppose that you do not do what you have previously decided to do. Are you to be charged with irrationality? A number of otherwise divergent theories of practical rationality hold that by default, you are; there are rational pressures, it is claimed, that favor the long-term stability and eventual execution of distal intentions. The article challenges this view by examining how these purported pressures can be spelled out. Is intention a normative commitment to act? Are intentions reasons for action (...) – or at least for retaining one's intention until the time to act has come? Or is the rationality of ‘doing as you decide’ governed by diachronic wide-scope norms, as Michael Bratman and John Broome suggest? All of these approaches are shown to raise severe problems, which suggests a more modest view: diachronic pressures on intending are at each point in time confined to the very next instant. (shrink)

Language employs various coordinators to connect propositions, a subset of which are “logical” in nature and thus analogous to the truth operators of formal logic. We here focus on two linguistic connectives and their negations: conjunction _and_ and (inclusive) disjunction _or_. Linguistic connectives exhibit a truth-conditional component as part of their meaning (their semantics), but their use in context can give rise to various implicatures and presuppositions (the domain of pragmatics) as well as to inferences that go beyond semantic/pragmatic properties (...) (the result of reasoning processes). We provide a comprehensive review of the role of the logical connectives in language and argue that three sets of factors—semantic, pragmatic, and those related to reasoning—are separate and separable, though some details may differ cross-linguistically. As a way to showcase the argument, we present two experiments in language comprehension in Spanish wherein pragmatic content was minimised and reasoning processes neutered, thus potentially highlighting what might be the default meanings of the connectives under study. In Experiment 1 we show that the conjunctive reading of inclusive disjunction is available in positive contexts other than in syntactically intricate cases such as downward entailing and free choice contexts, contrary to what has been claimed in the literature. In Experiment 2 we show that negated conjunctions and disjunctions in Spanish can easily receive the same interpretation when contrasted against the same context and, moreover, that these interpretations match those available in English, despite claims from the literature that linguistic connectives and local negation interact differently in English and Romance languages. (shrink)

We provide a brief overview of the shift toward the intrinsic view of brain activity, describing in particular the structural and functional connectivity patterns of the “Default mode network”. We then consider the Default mode network in a specifically cognitive setting and ask what changes the focus on the Default mode network and other sorts of intrinsic activity require from models put forward by cognitive neuroscientists.

Based on a close study of benchmark examples in default reasoning, such as Nixon Diamond, Penguin Principle, etc., this paper provides an in depth analysis of the basic features of default reasoning. We formalize default inferences based on Modus Ponens for Default Implication, and mark the distinction between "local inferences"(to infer a conclusion from a subset of given premises) and "global inferences"(to infer a conclusion from the entire set of given premises). These conceptual analyses are captured (...) by a formal semantics that is built upon the set-selection function technique. A minimal logic system M of default reasoning that accommodates Modus Ponens for Default Implication and suitable for local inferences is proposed, and its soundness is proved. (shrink)

Statistical Default Logic (SDL) is an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, e.g., hypothesis testing and the estimation of a population‘s mean, variance and proportions. This paper presents an embedding of an important subset of SDL theories, called literal statistical default theories, into stable model semantics. The embedding is designed to compute the signature set of literals that uniquely distinguishes each extension on a (...) statistical default theory at a pre-assigned error-bound probability. (shrink)

We motivate and formalize the idea of sameness by default: two objects are considered the same if they cannot be proved to be different. This idea turns out to be useful for a number of widely different applications, including natural language processing, reasoning with incomplete information, and even philosophical paradoxes. We consider two formalizations of this notion, both of which are based on Reiter’s Default Logic. The first formalization is a new relation of indistinguishability that is introduced by (...) default. We prove that the corresponding default theory has a unique extension, in which every two objects are indistinguishable if and only if their non-equality cannot be proved from the known facts. We show that the indistinguishability relation has some desirable properties: it is reflexive, symmetric, and, while not transitive, it has a transitive “flavor.” The second formalization is an extension (modification) of the ordinary language equality by a similar default: two objects are equal if and only if their non-equality cannot be proved from the known facts. It appears to be less elegant from a formal point of view. In particular, it gives rise to multiple extensions. However, this extended equality is better suited for most of the applications discussed in this paper. (shrink)

The capacity for representing and reasoning over sets of possibilities, or modal cognition, supports diverse kinds of high-level judgments: causal reasoning, moral judgment, language comprehension, and more. Prior research on modal cognition asks how humans explicitly and deliberatively reason about what is possible but has not investigated whether or how people have a default, implicit representation of which events are possible. We present three studies that characterize the role of implicit representations of possibility in cognition. Collectively, these studies differentiate (...) explicit reasoning about possibilities from default implicit representations, demonstrate that human adults often default to treating immoral and irrational events as impossible, and provide a case study of high-level cognitive judgments relying on default implicit representations of possibility rather than explicit deliberation. (shrink)

Although the study of reasons plays an important role in both epistemology and moral philosophy, little attention has been devoted to the question of how, exactly, reasons interact to support the actions or conclusions they do. In this book, John F. Horty attempts to answer this question by providing a precise, concrete account of reasons and their interaction, based on the logic of default reasoning. The book begins with an intuitive, accessible introduction to default logic itself, and then (...) argues that this logic can be adapted to serve as a foundation for a concrete theory of reasons. Horty then shows that the resulting theory helps to explain how the interplay among reasons can determine what we ought to do by developing two different deontic logics, capturing two different intuitions about moral conflicts.In the central part of the book, Horty elaborates the basic theory to account for reasoning about the strength of our own reasons, and also about the related concepts of undercutting defeaters and exclusionary reasons. The theory is illustrated with an application to particularist arguments concerning the role of principles in moral theory. The book concludes by introducing a pair of issues new to the philosophical literature: the problem of determining the epistemic status of conclusions supported by separate but conflicting reasons, and the problem of drawing conclusions from sets of reasons that can vary arbitrarily in strength, or importance. (shrink)

To an ever-greater extent, we spend our lives in an online environment designed by corporations. These corporations have an interest in shaping not only our purchasing behavior, but also our focus of attention and engagement and to some extent our worldview and identity. As a means to this end, they collect and trade in personal information. One important method of behavioral influence employed to advance these purposes is default-setting - the design of a product or a situation such (...) that one option out of several seems natural to accept, because it is the path of least resistance. Default-setting is a non-rational influence, often imperceptible, yet effective. To protect users from defaults that are manipulative and harmful, individually and collectively, societies should require minimal quality standards. Just as some products are overall too harmful or too poor to be legally marketed, other products have default settings that are too harmful or too poor to be acceptable. In particular, defaults should minimize inadvertent consumption, should minimize the collection of personal data, and when providing information should be truthful. In addition, opt-out costs should be minimal in order to empower users who prefer alternative options. (shrink)

Humans naturally and effortlessly use a set of cognitive tools to reason about biological entities and phenomena. Two such tools, essentialist thinking and teleological thinking, appear to be early developmental cognitive defaults, used extensively in childhood and under limited circumstances in adulthood, but prone to reemerge under time pressure or cognitive load. We examine the nature of another such tool: anthropocentric thinking. In four experiments, we examined patterns of property attribution to a wide range of living and non-living objects, manipulating (...) time pressure, response type, and property in a total of 471 participants. Results showed no tendency toward increased similarity-based attribution patterns indicative of anthropocentric thinking under time pressure. However, anthropocentric thinking was consistently observed for unfamiliar properties. These findings suggest that anthropocentric thinking is not a developmentally persistent cognitive default, but rather a cognitive strategy deliberately employed in situations of uncertainty. (shrink)

The construction of a financial risk prediction model has become the need of the hour due to long-term and short-term violations in the financial market. To reduce the default risk of peer-to-peer companies and promote the healthy and sustainable development of the P2P industry, this article uses a model based on the LightGBM algorithm to analyze a large number of sample data from Renrendai, which is a representative platform of the P2P industry. This article explores the base LightGBM model (...) along with the integration of linear blending to build an optimal default risk identification model. The proposed approach is applicable for a large number of multi-dimensional data samples. The results show that the prediction accuracy rate of the LightGBM algorithm model on the test set reaches 80.25%, which can accurately identify more than 80% of users, and the model has the best prediction performance in terms of different performance evaluation indicators. The integration of LightGBM and the linear blending approach yield a precision value of 91.36%, a recall of 75.90%, and an accuracy of 84.36%. The established LightGBM algorithm can efficiently identify the default of the loan business on the P2P platform compared to the traditional machine learning models, such as logistic regression and support vector machine. For a large number of multi-dimensional data samples, the LightGBM algorithm can effectively judge the default risk of users on P2P platforms. (shrink)

A default theory can be seen as a way for representing a set of formulae, i.e., its extensions. In this paper, we characterize the sets of formulae that can be expressed by a default theory according to various semantics: justified, constrained, rational, cumulative, QDL, CADL, and two semantics with priorities. These characterizations imply some non-translatability results between semantics.

. This paper first provides a brief survey of a possibilistic handling of default rules. A set of default rules of the form, “generally, from α deduce β”, is viewed as the family of possibility distributions satisfying constraints expressing that the situation where α and β is true has a greater plausibility than the one where a and - β is true. When considering only the subset of linear possibility distributions, the well-known System P of postulates proposed by (...) Kraus, Lehmann and Magidor, has been obtained. We also present two rational extensions: one based on the minimum specificity principle and the other is based on the lexicographic ordering. The second part of the paper presents an empirical study of three desirable properties for a consequence relation that capture default reasoning: Rationality, Property Inheritance and Ambiguity Preservation. An experiment is conducted to investigate 13 patterns of inference for the test of these properties. Our experimental apparatus confirms previous results on the relevance of System P, and enforces the psychological relevance of the studied properties. (shrink)

Most solutions to the sorites reject its major premise, i.e. the quantified conditional . This rejection appears to imply a discrimination between two elements that are supposed to be indiscriminable. Thus, the puzzle of the sorites involves in a fundamental way the notion of indiscriminability. This paper analyzes this relation and formalizes it, in a way that makes the rejection of the major premise more palatable. The intuitive idea is that we consider two elements indiscriminable by default, i.e. unless (...) we know some information that discriminates between them. Specifically, following Rough Set Theory, two elements are defined to be indiscernible if they agree on the vague property in question. Then, a is defined to be indiscriminable from b if a is indiscernible by default from b . That is to say, a is indiscriminable from b if it is consistent to assume that a and b agree on the relevant vague property. (shrink)

The “default system” of the brain has been described as a set of regions which are ‘activated’ during rest and ‘deactivated’ during cognitively effortful tasks. To investigate the reliability of task-related deactivations, we performed a meta-analysis across 12 fMRI studies. Our results replicate previous findings by implicating medial frontal and parietal brain regions as part of the “default system”.However, the cognitive correlates of these deactivations remain unclear. In light of the importance of social cognitive abilities for human beings (...) and their propensity to engage in such activities, we relate our results to findings from neuroimaging studies of social cognition. This demonstrates a remarkable overlap between the brain regions typically involved in social cognitive processes and the “default system”.We, henceforth, suggest that the physiological ‘baseline’ of the brain is intimately linked to a psychological ‘baseline’: human beings have a predisposition for social cognition as the default mode of cognizing which is implemented in the robust pattern of intrinsic brain activity known as the “default system”. (shrink)

Lifschitz introduced the notion of defining extensions of predicate default theories not as absolute, but relative to a specified domain. We look specifically at default theories over a countable domain and show the set of default theories which possess an ω -extension is Σ 2 1 -complete. That the set is in Σ 2 1 is shown by writing a nearly circumscriptive formula whose ω -models correspond to the ω -extensions of a given default theory; similarly, (...) Σ 2 1 -hardness is established by a method for translating formulas into default theories in such a way that ω -models of the circumscriptive formula correspond to ω -extensions of the default theory. (shrink)

The expression of epithelial cell adhesion and cytoskeletal genes is orchestrated by an apparently unique set of rules. No tissue‐specific transactivator proteins have been found to drive them; only ubiquitous factors are utilized. In non‐epithelial cells, they are actively repressed. Moreover, it was recently found that a single protein (adenovirus E1a) coordinately represses non‐epithelial genes while inducing epithelial genes. A simple model is offered to explain how epithelial gene expression is coordinated. Under this model, the epithelial cell gene expression program (...) is a transcriptional ‘default’; that is, it occurs in the absence of tissue‐specific transactivation. Conversion to this default requires only that mesenchymal transactivators are not expressed, or that central ‘integrator’ proteins are inactive. In their absence, mesenchymal gene expression cannot occur. Moreover, because the repressors cease to be expressed, the epithelial genes are induced. Oncogenes generally cause the breakdown of the epithelial phenotype ‐ generating carcinomas ‐ so genes such as E1a that cause epithelial conversion may prove useful for both understanding and controlling cancer. (shrink)

In their unifying theory to model uncertainty, Friedman and Halpern (1995–2003) applied plausibility measures to default reasoning satisfying certain sets of axioms. They proposed a distinctive condition for plausibility measures that characterizes “qualitative” reasoning (as contrasted with probabilistic reasoning). A similar and similarly fundamental, but more general and thus stronger condition was independently suggested in the context of “basic” entrenchment-based belief revision by Rott (1996–2003). The present paper analyzes the relation between the two approaches to formalizing basic notions of (...) plausibility as used in qualitative default reasoning. While neither approach is a special case of the other, translations can be found that elucidate their relationship. I argue that Rott’s notion of plausibility allows for a more modular set-up and has a better philosophical motivation than that of Friedman and Halpern. (shrink)

There is no preferred reduction of number theory to set theory. Nonetheless, we confidently accept axioms obtained by substituting formulas from the language of set theory into the induction axiom schema. This is only possible, it is argued, because our acceptance of the induction axioms depends solely on the meanings of aritlunetical and logical terms, which is only possible if our 'intended models' of number theory are standard. Similarly, our acceptance of the second-order natural deduction rules depends solely on the (...) meanings of the logical terms, which implies, it is argued, that our second-order quantifiers have to be standard. (shrink)

This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications.

This paper first provides a brief survey of a possibilistic handling of default rules. A set of default rules of the form, "generally, from α deduce β", is viewed as the family of possibility distributions satisfying constraints expressing that the situation where α and β is true has a greater plausibility than the one where α and ⇁β is true. When considering only the subset of linear possibility distributions, the well-known System P of postulates proposed by Kraus, Lehmann (...) and Magidor, has been obtained. We also present two rational extensions: one based on the minimum specificity principle and the other is based on the lexicographic ordering. The second part of the paper presents an empirical study of three desirable properties for a consequence relation that capture default reasoning: Rationality, Property Inheritance and Ambiguity Preservation. An experiment is conducted to investigate 13 patterns of inference for the test of these properties. Our experimental apparatus confirms previous results on the relevance of System P, and enforces the psychological relevance of the studied properties. (shrink)

This paper makes the non-monotonicity of a wide range of moral reasoning the basis of a case for particularism. Non-monotonicity threatens practical decision with an overwhelming informational complexity to which a form of ethical generalism seems the best response. It is argued that this impression is wholly misleading: the fact of non-monotonicity is best accommodated by the defence of four related theses in any theory of justification. First, the explanation of and defence of a default/challenge model of justification. Secondly, (...) the development of a theory of epistemic status and an explanation of those unearned entitlements that accrue to such status. Thirdly, an explanation of the basis of epistemic virtues. Finally, an account must be given of the executive capacity of rational decision itself as a ‘contentless ability’. This overall set of views can accommodate a limited role for generalizations about categories of evidence, but not such as to rescue a principled generalism. In particular, the version of particularism defended here explains why one ought not to accept the principled holism that has proved to be a problem for Dancy’s form of particularism. Ethics certainly involves hedged principles. However, principles cannot be self-hedging: there cannot be a that’s it operator in a principle as Richard Holton has claimed that there can be. Practical reasoning is concluded by the categorical detachment of the action-as-conclusion itself. (shrink)

While autonomous vehicles (AVs) are not designed to harm people, harming people is an inevitable by-product of their operation. How are AVs to deal ethically with situations where harming people is inevitable? Rather than focus on the much-discussed question of what choices AVs should make, we can also ask the much less discussed question of who gets to decide what AVs should do in such cases. Here there are two key options: AVs with a personal ethics setting (PES) or (...) an “ethical knob” that end users can control or AVs with a mandatory ethics setting (MES) that end users cannot control. Which option, a PES or an MES, is best and why? This chapter argues, by drawing on the choice architecture literature, in favor of a hybrid view that requires mandated default choice settings while allowing for limited end user control. (shrink)

This paper develops a logical theory that unifies all three standard types of argumentative attack in AI, namely rebutting, undercutting and undermining attacks. We build on default justification logic that already represents undercutting and rebutting attacks, and we add undermining attacks. Intuitively, undermining does not target default inference, as undercutting, or default conclusion, as rebutting, but rather attacks an argument’s premise as a starting point for default reasoning. In default justification logic, reasoning starts from a (...) set of premises, which is then extended by conclusions that hold by default. We argue that modeling undermining defeaters in the view of default theories requires changing the set of premises upon receiving new information. To model changes to premises, we give a dynamic aspect to default justification logic by using the techniques from the logic of belief revision. More specifically, undermining is modeled with belief revision operations that include contracting a set of premises, that is, removing some information from it. The novel combination of default reasoning and belief revision in justification logic enriches both approaches to reasoning under uncertainty. By the end of the paper, we show some important aspects of defeasible argumentation in which our logic compares favorably to structured argumentation frameworks. (shrink)

We introduce nudges in order to incite investors to choose Socially Responsible Investment funds instead of traditional funds. We have set up two online experiments with a total of 713 US retail investors, using three types of nudges to elicit their effects on investors’ SRI investments level: making SRI the default investment, introducing a SRI explanation message, and priming ethical values by displaying shocking images. Making SRI the default option is the most efficient nudge to influence investors towards (...) SRI. Its effect is twofold. First, around 50% of investors do not opt-out of the default allocation. Second, even investors who opt-out of the default allocation invest more in SRI than those in the control group, an effect that appears driven by anchoring. Although investors subjected to both priming and message content marginally increase their SRI investment, priming or message content in isolation appears to have a non-significant influence. For choice architects who want to steer retail investors towards SRI funds, making them the default option appears to be the most powerful nudge. (shrink)

There has been considerable discussion in the past about the assumptions and basis of different ethical rules. For instance, it is commonplace to say that ethical rules are defaults rules, which means that they tolerate exceptions. Some authors argue that morality can only be grounded in particular cases while others defend the existence of general principles related to ethical rules. Our purpose here is not to justify either position, but to try to model general ethical rules with artificial intelligence formalisms (...) and to compute logical consequences of different ethical theories. More precisely, this is an attempt to show that progress in non-monotonic logics, which simulates default reasoning, could provide a way to formalize different ethical conceptions. From a technical point of view, the model developed in this paper makes use of the Answer Set Programming (ASP) formalism. It is applied comparatively to different ethical systems with respect to their attitude towards lying. The advantages of such formalization are two-fold: firstly, to clarify ideas and assumptions, and, secondly, to use solvers to derive consequences of different ethical conceptions automatically, which can help in a rigorous comparison of ethical theories. (shrink)

Defeasible conditionals are statements of the form ‘if A then normally B’. One plausible interpretation introduced in nonmonotonic reasoning dictates that ) is true iff B is true in ‘most’ A-worlds. In this paper, we investigate defeasible conditionals constructed upon a notion of ‘overwhelming majority’, defined as ‘truth in a cofinite subset of \’, the first infinite ordinal. One approach employs the modal logic of the frame \\), used in the temporal logic of discrete linear time. We introduce and investigate (...) conditionals, defined modally over \\); several modal definitions of the conditional connective are examined, with an emphasis on the nonmonotonic ones. An alternative interpretation of ‘majority’ as sets cofinal ) rather than cofinite ) is examined. For these modal approaches over \\), a decision procedure readily emerges, as the modal logic \ of this frame is well-known and a translation of the conditional sentences can be mechanically checked for validity; this allows also for a quick proof of \-completeness of the satisfiability problem for these logics. A second approach employs the conditional version of Scott-Montague semantics, in the form of \-many possible worlds, endowed with neighborhoods populated by collections of cofinite subsets of \. This approach gives rise to weak conditional logics, as expected. The relative strength of the conditionals introduced is compared to KLM logics and other conditional logics in the literature. (shrink)

Gelfond and Lifschitz proposed the notion of a stable model of a logic program. We establish that the set of all stable models in a Herbrand universe of a recursive logic program is, up to recursive renaming, the set of all infinite paths of a recursive, countably branching tree, and conversely. As a consequence, the problem, given a recursive logic program, of determining whether it has at least one stable model, is Σ11-complete. Due to the equivalences established in the authors' (...) previous nonmonotone rule systems papers ), this applies equally to truth maintenance systems and default logics. (shrink)

Weak filters were introduced by K. Schlechta in the ’90s with the aim of interpreting defaults via a generalized ‘most’ quantifier in first-order logic. They arguably represent the largest class of structures that qualify as a ‘collection of large subsets’ of a given index set |$I$|⁠, in the sense that it is difficult to think of a weaker, but still plausible, definition of the concept. The notion of weak ultrafilter naturally emerges and has been used in epistemic logic and other (...) knowledge representation (KR) applications. We provide a comprehensive exposition of weak filters and ultrafilters, comparing them with their classical counterparts that have found very important applications in logic, set theory and topology. Weak (ultra)filters capture the ‘majorities’ of social choice theory (which coincide with the commonsense understanding of a ‘large subset’) and in that respect, they outperform classical (ultra)filters in their role as ‘collections of large subsets’. Yet, they lack some of the elegant properties of classical (ultra)filters that make them an almost perfect match for logical theories. We investigate the extent to which some important classical results carry through in this new setting, and we focus on genuinely weak filters and genuinely weak ultrafilters. For weak ultrafilters, we proceed to provide concrete examples, answer questions of existence and characterize their construction. The class of weak (ultra)filters represents a genuine contribution of KR to set theory that might be of some interest to set theorists too and we initiate this study by providing a glimpse on natural set-theoretic questions. (shrink)

In the context of a general framework for belief dynamics which interprets revision as doxastic constraint satisfaction, we discuss a proposal for revising quasi-probabilistic belief measures with finite sets of graded conditionals. The belief states are ranking measures with divisible values (generalizing Spohn’s epistemology), and the conditionals are interpreted as ranking constraints. The approach is inspired by the minimal information paradigm and based on the principle-guided canonical construction of a ranking model of the input conditionals. This is achieved by extending (...) techniques known from conditional default reasoning. We give an overview of how it handles different principles for conditional and parallel revision and compare it with similar accounts. (shrink)

O objetivo deste artigo é apresentar a analogia básica entre arquitetura e retórica antiga a partir dos tratados De Architectura, de Vitrúvio, e o De Oratore, de Cícero. A analogia se verifica na definição do artífice, dos gêneros e partes das técnicas e dos fins de cada uma delas. Para tanto, tomaram-se como referência as fontes do tratado vitruviano, que menciona a influência de Varrão na gramática, de Lucrécio na filosofia e de Cícero no método oratório. A analogia com Cícero (...) serve tanto para conferir autoridade ao modelo de arquiteto vitruviano quanto para diferenciar a arquitetura das demais ciências, sobretudo a filosofia, objeto de debate na obra ciceroniana. (shrink)

Study, with text of the Yogasūtra of Patañjali, text on Yoga philosophy.

To nudge is to design choice contexts in order to improve choice outcomes. Richard Thaler and Cass Sunstein emphatically endorse nudging but reject more restrictive means. In contrast, I argue that the behavioral psychology that motivates nudging also motivates what may be called jolting — i.e. the design of choice content. I defend nudging and jolting by distinguishing them from the sometimes oppressive means with which they can be implemented, by responding to some common arguments against nudging, and by showing (...) how respect for preferences over option sets and their aggregate properties may require the trimming of option sets, as well as helpful choice contexts. (shrink)

Atheism as a belief does not have to present intellectual credentials within academia. Yet to hold beliefs means giving reasons for doing so, ones which may be found wanting. Instead, atheism is the automatic default setting within the academic world. Conversely, religious belief confronts a double standard. Religious believers are not permitted to make truth claims but are instead forced to present their beliefs as part of one language game amongst many. Religious truth claims are expected to satisfy (...) empiricist criteria of evidence but when they fail, as they must, religious belief becomes subject to the hermeneutics of suspicion. This book explores religious experience as a justifiable reason for religious belief. It uniquely demonstrates that the three pillars of critical realism --ontological intransitivity, epistemic relativity and judgemental rationality -- can be applied to religion as to any other beliefs or theories. The three authors are critical realists by philosophical position. They seek to establish a level playing field between religion and secular ideas, which has not existed in the academic world for some generations, in order for reasoned debate to be conducted. (shrink)

The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e., when should an item of default information representing “if θ is true then, normally, φ is true” be said to follow from a given set of items of such information. Many answers to this question have been proposed but, surprisingly, virtually none have attempted any explicit connection to belief revision. The aim of (...) this paper is to give an example of how such a connection can be made by showing how the lexicographic closure of a set of defaults may be conceptualised as a process of iterated revision by sets of sentences. Specifically we use the revision method of Nayak. (shrink)

In this paper, we discuss a method to dynamically determine the generality of the target concept in a class hierarchy, when learning default rules, i.e., rules including exceptions with Inductive Logic Programming. The ILP system for default rules has to learn both the target concept and its opposite, if it is based on a three valued setting, in which we clearly discriminate among the three values: what is true, what is false, and what is unknown. Thus in (...) order to learn rules which holds as generally as possible in a class hierarchy implicitly existing in given examples, we should give a higher priority to the concept which is more general, or covers more examples than does the other in the hierarchy. For this purpose, our method first finds out the general rule from a set of candidate rules independently of the concept it defines. Then the body of the rule can be viewed as the description defining the most general class in the hierarchy. Therefore, according to the ratio of positive examples it covers, we can determine which of the concepts, the target one or its opposite, is more general, and dynamically change the head of the rule to the negative literal if the latter concept is more general. In this paper, we formalize this method as a new ILP system, GREX, and discuss it with some examples. (shrink)

Widespread concerns about the long-term fiscal gap in Social Security have prompted various proposals for structural reform, with individual accounts as the centerpiece. Carving out individual accounts from the existing system would shift significant risks and responsibilities to individual workers. A parallel development has already occurred in the area of private pensions. Experience with 401 plans indicates that many workers will have difficulty making prudent decisions concerning investment and withdrawal of funds. Moreover, in implementing any system of voluntary individual accounts, (...) it will be important to design default settings that provide appropriate guidance for workers with heterogeneous levels of financial sophistication and risk tolerance. The central goal of Social Security reform should be to close the fiscal gap in a way that preserves rather than undermines the existing system of mandatory defined benefits for all workers. (shrink)

Are we being manipulated online? If so, is being manipulated by online technologies and algorithmic systems notably different from human forms of manipulation? And what is under threat exactly when people are manipulated online? This volume provides philosophical and conceptual depth to debates in digital ethics about online manipulation. The contributions explore the ramifications of our increasingly consequential interactions with online technologies such as online recommender systems, social media, user-friendly design, micro-targeting, default-settings, gamification, and real-time profiling. The authors in (...) this volume address four broad and interconnected themes: • What is the conceptual nature of online manipulation? And how, methodologically, should the concept be defined? • Does online manipulation threaten autonomy, freedom, and meaning in life, and if so, how? • What are the epistemic, affective, and political harms and risks associated with online manipulation? • What are legal and regulatory perspectives on online manipulation? The Philosophy of Online Manipulation brings these various considerations together to offer philosophically robust answers to critical questions concerning our online interactions with one another and with autonomous systems. It will be of interest to researchers and advanced students working in moral philosophy, digital ethics, philosophy of technology, and the ethics of manipulation. (shrink)