Irene Bosco

At first sight, if A is all-things-considered better than B and B is all-things-considered better than C, the judgment that A is all-things-considered better than C seems to follow. This should be a straight-forward consequence of the transitivity of the \all-things-considered better than" relation. However, if we deny that transitivity is a logical axiom of those relations involving comparatives, then it might turn out that betterness is not transitive. Following Temkin's terminology, a relation R will be dened as nontransitive i either it is intransitive (i.e. aRb and bRc yet :(aRc)) or if transitivity cannot be applied, for there is no single relation R that holds between all the alternatives. More speficically, this could happen in a case where the obtaining of the better-than relation depends on different factors according to the nature of the relata. As a result, there are two main strategies available to question the axiom of transitivity: the rst is by providing an effective counterexample displaying cRa as well as (aRb ^ bRc), hence yielding a cycle. The second, more general way, is to show that all-things-considered betterness is a relation that conceptually involves comparison-dependent betterness relations, so that it is likely that transitivity fails to apply across different alternatives. The aim of this paper is to investigate part of the recent attack on the transitivity of better than, to conclude that there seems to be no cogent reason why this would not be a transitive relation.

Human epistemic subjects cannot but employ imperfect and limited tools to gain knowledge. Even in the seemingly simple business of acquiring knowledge of the value of a physical quantity, what the instrument reads or perception tells more often that not does not correspond to real value. However, even though both our perceptual apparatus and measuring instruments are sensible to background noise, under certain conditions, collecting more information of the same quantity using the same tools leads to an improvement of the subject's epistemic condition. The aim of this paper is to formalize this intuition employing a model which extends Williamson (2013) on the arising of Gettier cases in epistemic logic. From a model where each world is univocally represented by the pair r, a defined by the real value and the apparent one, I will be considering a scenario wherein the subject has collected n appearances of the real parameter, so that each world is identified by a n + 1-tuple. On the assumptions that the n data are all independent and regarded by the subject as equally reliable, a plausible model should be able to describe three phenomena. First of all, the more coherent and closer to represent the real value the set of n appearances is, the more knowledge of the real value is gained. Secondly, the more the subject goes on acquiring "good" data, the more she knows. Thirdly, the world where the n apparent values and the real one match is the best world for the subject. Following Williamson, I shall put forth a system for multiple appearances in epistemic logic that aims at modeling these phenomena by describing the interval within which the real value is known to lie.