We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of (...) some information to maintain consistency, instead of being withdrawn it will be kept and introduced in a different layer with lower value. Throughout this development we will follow the principle of minimal change, being one of the important principles proposed in belief change theory, particularly emphasized in the AGM model. Regarding the reasoning part from the stratified belief base, the agent will obtain the inferences using an argumentative formalism. Thus, the argumentation framework will decide which information prevails when sentences of different layers are used for entailing conflicting beliefs. We will also illustrate how inferences are changed and how the status of arguments can be modified after a revision process. (shrink)

The impact of our desires and preferences upon our ordinary, everyday beliefs is well-documented [Gilovich, T. . How we know what isn’t so: The fallibility of human reason in everyday life. New York: The Free Press.]. The influence of such motivational factors on delusions, which are instances of pathological misbelief, has tended however to be neglected by certain prevailing models of delusion formation and maintenance. This paper explores a distinction between two general classes of theoretical explanation for delusions; the motivational (...) and the deficit. Motivational approaches view delusions as extreme instances of self-deception; as defensive attempts to relieve pain and distress. Deficit approaches, in contrast, view delusions as the consequence of defects in the normal functioning of belief mechanisms, underpinned by neuroanatomical or neurophysiological abnormalities. It is argued that although there are good reasons to be sceptical of motivational theories , recent experiments confirm that motives are important causal forces where delusions are concerned. It is therefore concluded that the most comprehensive account of delusions will involve a theoretical unification of both motivational and deficit approaches. (shrink)

This paper argues that formal models of coherence are useful for constructing a legal epistemology. Two main formal approaches to coherence are examined: coherence-based models of belief revision and the theory of coherence as constraint satisfaction. It is shown that these approaches shed light on central aspects of a coherentist legal epistemology, such as the concept of coherence, the dynamics of coherentist justification in law, and the mechanisms whereby coherence may be built in the course of legal decision-making.

There is a large literature exploring how accuracy constrains rational degrees of belief. This paper turns to the unexplored question of how accuracy constrains knowledge. We begin by introducing a simple hypothesis: increases in the accuracy of an agent’s evidence never lead to decreases in what the agent knows. We explore various precise formulations of this principle, consider arguments in its favour, and explain how it interacts with different conceptions of evidence and accuracy. As we show, the principle has some (...) noteworthy consequences for the wider theory of knowledge. First, it implies that an agent cannot be justified in believing a set of mutually inconsistent claims. Second, it implies the existence of a kind of epistemic blindspot: it is not possible to know that one’s evidence is misleading. (shrink)

In The Uses of Argument, Stephen Toulmin proposed a model for the layout of arguments: claim, data, warrant, qualifier, rebuttal, backing. Since then, Toulmin’s model has been appropriated, adapted and extended by researchers in speech communications, philosophy and artificial intelligence. This book assembles the best contemporary reflection in these fields, extending or challenging Toulmin’s ideas in ways that make fresh contributions to the theory of analysing and evaluating arguments.

In this paper two theories of defeasible reasoning, Pollock's account and my theory of ranking functions, are compared, on a strategic level, since a strictly formal comparison would have been unfeasible. A brief summary of the accounts shows their basic difference: Pollock's is a strictly computational one, whereas ranking functions provide a regulative theory. Consequently, I argue that Pollock's theory is normatively defective, unable to provide a theoretical justification for its basic inference rules and thus an independent notion of admissible (...) rules. Conversely, I explain how quite a number of achievements of Pollock's account can be adequately duplicated within ranking theory. The main purpose of the paper, though, is not to settle a dispute with formal epistemology, but rather to emphasize the importance of formal methods to the whole of epistemology. (shrink)

In this paper I discuss the relation between various properties that have been regarded as important for determining whether or not a belief constitutes a piece of knowledge: its stability, strength and sensitivity to truth, as well as the strength of the epistemic position in which the subject is with respect to this belief. Attempts to explicate the relevant concepts more formally with the help of systems of spheres of possible worlds (à la Lewis and Grove) must take care to (...) keep apart the very different roles that systems of spheres can play. Nozicks sensitivity account turns out to be closer to the stability analysis of knowledge (versions of which I identify in Plato, Descartes, Klein and Lehrer) than one might have suspected. (shrink)

Arystoteles wyodrębnił w Organonie dwa rodzaje rozumowań: analityczne i dialektyczne. Badaniami rozumowań analitycznych, które podjął w Analitykach I i II, zasłużył sobie na miano ojca logiki formalnej. Według Chaima Perelmana, współczesnym logikom umknął z pola widzenia fakt, że rozważania Arystotelesa na temat rozumowań dialektycznych – podjęte w Topikach, Retoryce i O dowodach sofistycznych – czynią zeń także ojca teorii argumentacji. Niniejszy artykuł jest próbą odpowiedzi na tę diagnozę. Jego celem jest potwierdzenie tezy Perelmana o jednorodności Arystotelesowskiej koncepcji sylogizmu teoretycznego i (...) praktycznego. W tym potwierdzeniu kluczową rolę odgrywa pojęcie entymematu. W artykule odpowiadamy na pytanie, jakie miejsce zajmuje ono w teorii retoryki Arystotelesa i porównujemy je z ogólnym pojęciem sylogizmu. Szkicujemy też strukturę argumentacji przez entymemat oraz przedstawiamy dwa typy entymematów omawiane przez Arystotelesa: pozorne i obalające. (shrink)

Reasoning and change over inconsistent knowledge bases is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has (...) recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change encloses the revision operators that modify the AF by analyzing dialectical trees—arguments as nodes and attacks as edges—as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies. (shrink)

Primeiramente, oferecemos uma apresentação teórica da representação do pensamento prático, começando pela distinção entre silogismo dialético e silogismo demonstrativo. Fazemos referência à crítica de Toulmin contra o dedutivismo dominante de seu tempo. Em seguida, fornecemos argumentos para apoiar a relevância heurística do modelo de Toulmin para entender a discussão sobre a inclusão da lógica padrão na representação do pensamento comum. Afirmamos que o projeto analítico toulmaniano permite entender, com clareza metódica, a derrotabilidade dos argumentos do senso comum por meio da (...) investigação da noção modal de probabilidade na linguagem comum. First, we offer theoretical resemblance of the representation of practical reasoning, beginning with the distinction between demonstrative and dialectical syllogism. We make reference to the Toulmin’s critique against to the dominant deductivism in his time. Then we give arguments to sustain the heuristic relevance of Toulmin’s model to understand the discussion about the inclusion of default logics in the representation of ordinary reasoning. We assert that the Toulminian analytic design allows to understand, with methodical clarity, the defeasibility of common sense arguments by means of the investigation of the modal notion of probability in ordinary language. (shrink)

Skeptical theists have paid insufficient attention to non-evidential components of epistemic rationality. I address this lacuna by constructing an alternative perspectivalist understanding of epistemic rationality and defeat that, when applied to skeptical theism, yields a more demanding standard for reasonably affirming the crucial premise of the evidential argument from suffering. The resulting perspectival skeptical theism entails that someone can be justified in believing that gratuitous suffering exists only if they are not subject to closure-of-inquiry defeat; that is, a type of (...) defeat that prevents reasonable belief that p even if p is very probable on an agent’s evidence. (shrink)

Belief revision theories aim to model the dynamics of epistemic states. Besides beliefs, epistemic states comprise most importantly justificational structures. Typically, belief revision theories, however, model the dynamics of beliefs while neglecting justificational structures over and above logical relations. Despite some awareness that this approach is problematic, how devastating the consequences of this neglect are has not yet been fully grasped. In this paper, I argue that taking justificational structures into account could solve four well-known problems of belief revision.

This work considers the formalisation of the merging process of stratified belief bases, where beliefs are stored in different layers or strata. Their strata are ranked, following a total order, employing the value the agent using the belief base assigns to these beliefs. The agent uses an argumentation mechanism to reason from the belief base and obtain the final inferences. We present two ways of merging stratified belief bases: the first is defined by merging two strata without belief preservation, and (...) the second by merging two strata with belief preservation. For these operators, as layers merge, it is possible that some information has to be deleted from the stratum to maintain consistency. The latter merge operator will be defined as performing their actions so that information removed from the stratum is preserved after the merging by moving it to a stratum containing information perceived as having a lower value and where those beliefs may trigger a new revision, possibly starting a cascading effect. (shrink)

Argumentation is a dialogical attempt to bring about a desired change in the beliefs of another agent – that is, to trigger a specific belief revision process in the mind of such agent. However, so far formal models of belief revision widely neglected any systematic comparison with argumentation theories, to the point that even the simplest argumentation structures cannot be captured within such models. In this essay, we endeavour to bring together argumentation and belief revision in the same formal framework, (...) and to highlight the important role played by Toulmin’s layout of argument in fostering such integration. (shrink)

In the Organon, Aristotle distinguished two types of reasoning: analytical and dialectical. His studies on analytical reasoning in the Prior and Posterior Analytics, earned him the title of the father of formal logic. According to Chaim Perelman, modern logicians have failed to see the fact that Aristotle’s considerations on dialectical reasoning in the Topics, the Rhetoric and the Sophistical Refutations made him also the father of the theory of argumentation. This article attempts to answer this diagnosis. Our aim is to (...) prove Perelman’s thesis on the homogeneity of Aristotle’s concept of theoretical and practical syllogism. The key concept in this proof is that of the enthymeme. In the article, we will try to answer the question of what place the enthymeme occupies in Aristotle’s theory of rhetoric and confront it with the concept of a syllogism. We will also outline the structure of argumentation that makes use of the enthymeme, and present two types of enthymemes discussed by Aristotle: the apparent enthymeme and the refutative enthymeme. (shrink)

If you put chimpanzees from different communities together you can expect mayhem - they are not keen on treating each other nicely. There is closely related species of apes, however, whose members have countless encounters with unrelated specimen on a daily basis and yet almost all get through the day in one piece - that species is us, homo sapiens. But what makes us get along, most of the time? Morality as such is, perhaps surprisingly, not a mainstream research topic (...) in social psychology. Most textbooks in the field do not even mention the term morality at all (and focus on 'prosociality' instead). This relative lack of 'coverage' might have to do with the difficulty of operationalising 'morality' in a fitting way (more on this below). However, morality certainly is a social phenomenon and therefore the collection of Fargas, Jussim, and Van Lange is certainly a step in the right direction; it offers an extensive overview of the field and is suggestive of the vast potential of studying morality through the lens of social psychology. (shrink)