Online research in philosophy

This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any use of this sort of information and instead relies on intuitions of individual investigators. We discuss two reasons theorists might not consider human performance relevant to formalizing default reasoning: (a) that intuitions are sufficient to describe a model, and (b) that human performance in this arena is irrelevant to a competence model of the phenomenon. We provide arguments against both these reasons. We then bring forward three further considerations against the use of intuitions in this arena: (a) it leads to an unawareness of predicate ambiguity, (b) it presumes an understanding of ordinary language statements of typicality, and (c) it is similar to discredited views in other fields. We advocate empirical investigation of the range of human phenomena that intuitively embody default reasoning. Gathering such information would provide data with which to generate formal default theories and against which to test the claims of proposed theories. Our position is that such data are the very phenomena that default theories are supposed to explain.

Since Nelson Goodman 1951, the assumption that phenomenal indiscriminability is non-transitive is taken generally for granted. Moreover, this assumption was used (by Goodman 1951, Travis 1985, Dummett 1975 and others) to argue against the existence or coherence of subjective and/or observational properties. Recently, however, the assumption has been questioned [Fara 2001] and I agree with Fara that the assumption is much more problematic than was thought, partly because it is not clear what is meant by the relation of phenomenal indiscriminability, and partly because it is not clear how to interpret ideas such as continuous change, and the limitations of our power of perceptual discrimination. In this paper I will bypass the question of the transitivity of phenomenal indiscriminability. I will use only the assumption about the existence (or even the possibility of existence) of a phenomenal sorites. This assumption is less controversial, and accepted (at least the version I will use) by opponents and defenders of transitivity alike. I will argue that the incoherence of 'red' (as response-dependent or purely observational) can be derived without committing ourselves to a view on the question of transitivity, and I will use this incoherence, to argue against the account of 'red' as a response-dependent concept.

This paper introduces a generalization of Reiter’s notion of “extension” for default logic. The main difference from the original version mainly lies in the way conflicts among defaults are handled: in particular, this notion of “general extension” allows defaults not explicitly triggered to pre-empt other defaults. A consequence of the adoption of such a notion of extension is that the collection of all the general extensions of a default theory turns out to have a nontrivial algebraic structure. This fact has two major technical fall-outs: first, it turns out that every default theory has a general extension; second, general extensions allow one to define a well-behaved, skeptical relation of defeasible consequence for default theories, satisfying the principles of Reflexivity, Cut, and Cautious Monotonicity formulated by D. Gabbay.

According to the epistemic theory of hallucination, the fundamental psychological nature of a hallucinatory experience is constituted by its being ‘introspectively indiscriminable’, in some sense, from a veridical experience of a corresponding type. How is the notion of introspective indiscriminability to which the epistemic theory appeals best construed? Following M. G. F. Martin, the standard assumption is that the notion should be construed in terms of negative epistemics: in particular, it is assumed that the notion should be explained in terms of the impossibility that a hallucinator might possess a certain type of knowledge on a certain basis. I argue that the standard assumption is mistaken. I argue that the relevant notion of introspective indiscriminability is better construed in terms of positive epistemics: in particular, I argue that the notion is better explained by reference to the fact that it would be rational for a hallucinator positively to make a certain type of judgement, were that judgement made on a certain basis.

In this paper, I argue that those who accept the conceptualist view in the philosophy of perception should reject the traditional view that colour indiscriminability is non-transitive. I start by outlining the general strategy that conceptualists have adopted in response to the familiar ‘fineness of grain’ objection, and I show why a commitment to what I call the indiscriminability claim seems to form a natural part of this strategy. I then show how together, the indiscriminability claim and the non-transitivity claim –the claim that colour indiscriminability is non-transitive –entail a further, suspicious-looking claim that I call the problematic claim. My argument then splits into two parts. In the first part, I show why the conceptualist does indeed need to reject the problematic claim. Given that this claim is jointly entailed by the indiscriminability claim and the non-transitivity claim, the conceptualist is then left with a straight choice: reject the indiscriminability claim, or reject the non-transitivity claim. In the second part, I then explain why the conceptualist should choose the latter option.

We define an order independent version of default unification on typed feature structures. The operation is one where default information in a feature structure typed with a more specific type, will override default information in a feature structure typed with a more general type, where specificity is defined by the subtyping relation in the type hierarchy. The operation is also able to handle feature structures where reentrancies are default. We provide a formal semantics, prove order independence and demonstrate the utility of this version of default unification in several linguistic applications. First, we show how it can be used to define multiple orthogonal default inheritance in the lexicon in a fully declarative fashion. Secondly, we show how default lexical specifications (introduced via default lexical inheritance) can be made to usefully persist beyond the lexicon and interact with syntagmatic rules. Finally, we outline how persistent default unification might underpin default feature propagation principles and a more restrictive and constraint-based approach to lexical rules.

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.

We report empirical results on factors that influence how people reason with default rules of the form "Most x's have property P", in scenarios that specify information about exceptions to these rules and in scenarios that specify default-rule inheritance. These factors include (a) whether the individual, to which the default rule might apply, is similar to a known exception, when that similarity may explain why the exception did not follow the default, and (b) whether the problem involves classes of naturally occurring kinds or classes of artifacts. We consider how these findings might be integrated into formal approaches to default reasoning and also consider the relation of this sort of qualitative default reasoning to statistical reasoning.

I argue that, contrary to widespread philosophical opinion, phenomenal indiscriminability is transitive. For if it were not transitive, we would be precluded from accepting the truisms that if two things look the same then the way they look is the same and that if two things look the same then if one looks red, so does the other. Nevertheless, it has seemed obvious to many philosophers (e.g. Goodman, Armstrong and Dummett) that phenomenal indiscriminability is not transitive; and, moreover, that this non-transitivity is straightforwardly revealed to us in experience. I show this thought to be wrong. All inferences from the character of our experience to the non-transitivity of indiscriminability involve either a misunderstanding of continuity, a mistaken interpretation of the idea that we have limited powers of discrimination, or tendentious claims about what our experience is really like; or such inferences are based on inadequately supported premisses, which though individually plausible are jointly implausible.

It is widely supposed that one family of sorites paradoxes, perhaps the most perplexing versions of the puzzle, owe at least in part to the nontransitivity of perceptual indiscriminability. To a first approximation, perceptual indiscriminability is the relationship obtaining among objects (stimuli) that appear identical in some perceptual respect—for example hue, or pitch, or texture. Indiscriminable objects look the same, or sound the same, or feel the same. Received wisdom has it that there are or could be series of objects _o__1…_o__n in which _o_₁ and _o_₂ are indiscriminable, _o_₂ and _o_3 are indiscriminable, etc., and _o_n-1 and_ o_n are indiscriminable, but _o_1 and _o_n are discriminably different. For example, there could be a series of colored patches so ordered that each patch looks the same in hue as its immediate neighbors but the whole progresses from a clear case of red to a clear case of orange. On the assumption that an observational word like ‘red’ applies to both if to either of a pair of perceptually indiscriminable items, the absurd conclusion of the sorites comes into view. Crispin Wright explains.