Systematic Withdrawal

Although AGM theory contraction (Alchourrón et al., 1985; Alchourrón and Makinson, 1985) occupies a central position in the literature on belief change, there is one aspect about it that has created a fair amount of controversy. It involves the inclusion of the postulate known as Recovery. As a result, a number of alternatives to AGM theory contraction have been proposed that do not always satisfy the Recovery postulate (Levi, 1991, 1998; Hansson and Olsson, 1995; Fermé, 1998; Fermé and Rodriguez, 1998; Rott and Pagnucco, 1999). In this paper we present a new addition, systematic withdrawal, to the family of withdrawal operations, as they have become known. We define systematic withdrawal semantically, in terms of a set of preorders, and show that it can be characterised by a set of postulates. In a comparison of withdrawal operations we show that AGM contraction, systematic withdrawal and the severe withdrawal of Rott and Pagnucco (1999) are intimately connected by virtue of their definition in terms of sets of preorders. In a future paper it will be shown that this connection can be extended to include the epistemic entrenchment orderings of Gärdenfors (1988) and Gärdenfors and Makinson (1988) and the refined entrenchment orderings of Meyer et al. (2000).     

New Foundations for a Relational Theory of Theory-revision

AGM-theory, named after its founders Carlos Alchourrón, Peter Gärdenfors and David Makinson, is the leading contemporary paradigm in the theory of belief-revision. The theory is reformulated here so as to deal with the central relational notions ‘J is a contraction of K with respect to A’ and ‘J is a revision of K with respect to A’. The new theory is based on a principal-case analysis of the domains of definition of the three main kinds of theory-change (expansion, contraction and revision). The new theory is stated by means of introduction and elimination rules for the relational notions. In this new setting one can re-examine the relationship between contraction and revision, using the appropriate versions of the so-called Levi and Harper identities. Among the positive results are the following. One can derive the extensionality of contraction and revision, rather than merely postulating it. Moreover, one can demonstrate the existence of revision-functions satisfying a principle of monotonicity. The full set of AGM-postulates for revision-functions allow for completely bizarre revisions. This motivates a Principle of Minimal Bloating, which needs to be stated as a separate postulate for revision. Moreover, contractions obtained in the usual way from the bizarre revisions, by using the Harper identity, satisfy Recovery. This provides a new reason (in addition to several others already adduced in the literature) for thinking that the contraction postulate of Recovery fails to capture the Principle of Minimal Mutilation. So the search is still on for a proper explication of the notion of minimal mutilation, to do service in both the theory of contraction and the theory of revision. The new relational formulation of AGM-theory, based on principal-case analysis, shares with the original, functional form of AGM-theory the idealizing assumption that the belief-sets of rational agents are to be modelled as consistent, logically closed sets of sentences. The upshot of the results presented here is that the new relational theory does a better job of making important matters clear than does the original functional theory. A new setting has been provided within which one can profitably address two pressing questions for AGM-theory: (1) how is the notion of minimal mutilation (by both contractions and revisions) best analyzed? and (2) how is one to rule out unnecessary bloating by revisions?     

Method and the Structure of Knowledge in Spinoza

It is argued, first, that although Spinoza's early Treatise on the Emendation of the Intellect does show evidence of a foundationalist approach to the justification of knowledge, there are good reasons to think he came to find such an approach unsatisfactory; and second, that the Ethics notion of certainty as adequate knowledge of one's knowledge is a justificational concept which is holistic in that any instance of such certainty depends on knowledge of the entire basic metaphysical system. Finally it is shown that Spinoza's having come to hold a nonlinear view regarding the justificational structure of knowledge explains why he chose to present his philosophy in the geometric form, and why he never succeeded in formulating a method of discovery.     

Optimality justifications: new foundations for foundation-oriented epistemology

In this paper a new conception of foundation-oriented epistemology is developed. The major challenge for foundation-oriented justifications consists in the problem of stopping the justificational regress without taking recourse to dogmatic assumptions or circular reasoning. Two alternative accounts that attempt to circumvent this problem, coherentism and externalism, are critically discussed and rejected as unsatisfactory. It is argued that optimality arguments are a new type of foundation-oriented justification that can stop the justificational regress. This is demonstrated on the basis of a novel result in the area of induction: the optimality of meta-induction. In the final section the method of optimality justification is generalized to deductive and abductive inferences.     

Seeing by Feeling: Virtues,Skills, and Moral Perception

Champions of virtue ethics frequently appeal to moral perception: the notion that virtuous people can “see” what to do. According to a traditional account of virtue, the cultivation of proper feeling through imitation and habituation issues in a sensitivity to reasons to act. Thus, we learn to see what to do by coming to feel the demands of courage, kindness, and the like. But virtue ethics also claims superiority over other theories that adopt a perceptual moral epistemology, such as intuitionism – which John McDowell criticizes for illicitly “borrow[ing] the epistemological credentials” of perception. In this paper, I suggest that the most promising way for virtue ethics to use perceptual metaphors innocuously is by adopting a skill model of virtue, on which the virtues are modeled on forms of practical know-how. Yet I contend that this model is double-edged for virtue ethics. The skill model belies some central ambitions and dogmas of the traditional view, especially its most idealized claims about virtue and the virtuous. While this may be a cost that its champions are unprepared to pay, I suggest that virtue ethics would do well to embrace a more realistic moral psychology and a correspondingly less sublime conception of virtue.     

Particularism and the Point of Moral Principles

According to radical moral particularists such as Jonathan Dancy, there are no substantive moral principles. And yet, few particularists wish to deny that something very like moral principles do indeed play a significant role in our everyday moral practice. Loathe at dismissing this as mere error on the part of everyday moral agents, particularists have proposed a number of alternative accounts of the practice. The aim of all of these accounts is to make sense of our appeal to general moral truths in both reaching and justifying our particular moral judgments without thereby violating the particularists' stricture against substantive moral principles. In this paper, I argue that the most prominent non-substantive accounts of moral generalities appealed to by radical particularists – the heuristic account and default reasons accounts – fail in this aim.     

How to Define a Number? A General Epistemological Account of Simon Stevin’s Art of Defining

This paper explores Simon Stevin’s l’Arithmétique of 1585, where we find a novel understanding of the concept of number. I will discuss the dynamics between his practice and philosophy of mathematics, and put it in the context of his general epistemological attitude. Subsequently, I will take a close look at his justificational concerns, and at how these are reflected in his inductive, a postiori and structuralist approach to investigating the numerical field. I will argue that Stevin’s renewed conceptualisation of the notion of number is a sort of “existential closure” of the numerical domain, founded upon the practice of his predecessors and contemporaries. Accordingly, I want to make clear that l’Aritmetique have to be read not as an ontological analysis or exploration of the numerical field, but as an explication of a mathematical ethos. In this sense, this article also intends to make a specific contribution to the broader issue of the “ethics of geometry.”     

Beth definability,interpolation and language splitting

Both the Beth definability theorem and Craig’s lemma (interpolation theorem from now on) deal with the issue of the entanglement of one language L ₁ with another language L ₂, that is to say, information transfer—or the lack of such transfer—between the two languages. The notion of splitting we study below looks into this issue. We briefly relate our own results in this area as well as the results of other researchers like Kourousias and Makinson, and Peppas, Chopra and Foo. Section 3 does contain one apparently new theorem.     

Chisholm's Grand Move

Abstract: Roderick Chisholm famously held that our knowledge of the world is supported entirely by a foundation of self‐justifying statements, none of which logically implies the existence of any physical object in that world. The only contingent statements to be found in the foundation, he maintained, are those that are “about our own psychological states and the ways we are ‘appeared to’.” It is a view that, as Chisholm was well aware, tallies poorly with our ordinary practice of justifying statements. We are typically happy to justify statements by ultimate appeal to what we have seen or heard; that is, by ultimate appeal to statements that logically imply that certain things in the world are as we take them to be. This essay examines how Chisholm sought to explain away this apparent disconfirmation of foundationalism by ordinary practice—in effect, how Chisholm responded to one of the chief criticisms of foundationalism launched by J. L. Austin. My suggestion will be that, when the dust clears, it is Austin who comes out ahead.     

The Nature of Evil

Abstract

We readily claim that great moral catastrophes such as the Holocaust involve evil in some way, although it' not clear what this amounts to in a secular context. This paper seeks to provide a secular account of what evil is. It examines what is intuitively the most plausible account, namely that the evil act involves the production of great suffering (or other disvalue), and argues that such outcomes are neither necessary nor sufficient for an act to be evil. Only an appeal to distinctive patterns of motivation, so it is argued, will allow us to accommodate our intuitionsabout which acts are evil, and hence will provide an adequate account of the nature of evil.     

经验基础与知识确证

Whether empirical givenness has the reliability that foundationalists expect is a point about which some philosophers are highly skeptical. Sellars took the doctrine of givenness as a “myth,” denying the existence of immediate perceptual experience. The arguments in contemporary Western epistemology are concentrated on whether sensory experience has conceptual contents, and whether there is any logical relationship between perceptions and beliefs. In fact, once the elements of words and conceptions in empirical perception are affirmed, the logical relationship between perceptual experience and empirical belief is also affirmed. This relationship takes place through perceptual experience acting as evidence for beliefs. The real problem lies in how one should distinguish between the different relationships with perception of singular beliefs and of universal beliefs, and in how singular beliefs can provide justification for universal beliefs. __________ Translated from Zhongguo Shehui Kexue 中国社会科学 (Social Sciences in China), 2007, (1): 65–75     

The implication of Rawls�� approach to public reason

Rawls’ appealing to free agreement in the original position cannot be understood as the source of real commitment to principles of social justice. According to the contextualistic interpretation, to establish and clarify the reasonableness of one context, one needs to appeal to the reasonableness of some higher-order contexts. Because the two meta-contexts of global basic structure and domestic basic structure can be seen as higher-order or lower-order context relative to each, depending on concrete cases, by excluding the consideration of global situation that must have effects on the realization of domestic justice, “justice as fairness” is blind both to the global context of domestic justice and to the domestic context of global justice.     

Objective Bayesianism with predicate languages

Objective Bayesian probability is often defined over rather simple domains, e.g., finite event spaces or propositional languages. This paper investigates the extension of objective Bayesianism to first-order logical languages. It is argued that the objective Bayesian should choose a probability function, from all those that satisfy constraints imposed by background knowledge, that is closest to a particular frequency-induced probability function which generalises the λ = 0 function of Carnap’s continuum of inductive methods.     

The Gospel of Kindness

This article explores the psychological connections and ambiguities between kindness and desire. The negative effects of the tendency of Christian discourse to endorse charity and denigrate desire are explored, with particular emphasis on sexual desire. Examples are drawn from cases and research studies on homosexual desires and psychic impotence among married couples. The article continues with an appeal addressed specifically to Christians to address the divide between kindness and desire through concrete expressions of kindness that are reflective of real human desires and not, as is often the case, of its absence. It concludes with a specific appeal to pastoral theologians to embrace the kindness reflected in Jesus’ response to the implicit doubts reflected in John the Baptist’s query from prison, a response that recognized the validity of John’s own desires.     

Pragmatic commitments to naturalized epistemology

This essay explores numerous and complicated naturalized epistemology against the background of pragmatism. We distinguish three programmes of naturalized epistemology: strong, moderate, and weak. By considering commitments of pragmatism on which different programmes depend, we point out the close-knit relationship between pragmatism and naturalized epistemology. We also illustrate the essential origin of today’s controversy over naturalized epistemology and predict the uptrend of naturalized epistemology. __________ Translated from Zhexue Yanjiu 哲学研究 (Philosophical Studies), 2005 (10) by Cong Hangqing, Cheng Xiaodong and Chen Haidan     

Basic Entrenchment

In contrast to other prominent models of belief change, models based on epistemic entrenchment have up to now been applicable only in the context of very strong packages of requirements for belief revision. This paper decomposes the axiomatization of entrenchment into independent modules. Among other things it is shown how belief revision satisfying only the ‘basic’ postulates of Alchourrón, Gärdenfors and Makinson can be represented in terms of entrenchment.     

列维纳斯面对康德、黑格尔、海德格尔——当代哲学关于"存在论"的争论

Levinas subverts the traditional “ontology-epistemology,” and creates a “realm of difference,” the realm of “value,” “ethic,” and “religion,” maintaining that ethics is real metaphysics. According to him, it is not that “being” contains the “other” but the other way round. In this way, the issues of ethics are promoted greatly in the realm of philosophy. Nonetheless, he does not intend to deny “ontology” completely, but reversed the relationship between “ontology (theory of truth)” and “ethics (axiology),” placing the former under the “constraint” of the latter. Different from general empirical science, philosophy focuses more on issues irrelevant to ordinary empirical objects; it does have “objects,” though. More often than not, the issues of philosophy cannot be conceptualized into “propositions”; nevertheless, it absolutely has its “theme.” As a discipline, philosophy continuously takes “being” as its “theme” and “object” of thinking. The point is that this “being” should not be understood as an “object” completely. Rather, it is still a “theme-subject.” In addition to an “object,” “being” also manifests itself in an “attribute” and a kind of “meaning” as well. In a word, it is the temporal, historical, and free “being” rather than “various beings” that is the “theme-subject” of philosophy. Translated by Zhang Lin from Wen Shi Zhe 文史哲 (Journal of Literature, History and Philosophy), 2007, (1): 61–70     

A critique to the significance of Gettier counter-examples

Usually, people think that Gettier counter-examples challenged the traditional tripartite definition of knowledge and fundamentally changed the characteristic of the contemporary epistemology. This paper argues that regard for Gettier counter-examples is exaggerated, because (i) the JTB definition is neither an important nor a comprehensive one that covers all knowledge. Moreover, the significance of Gettier counter-examples is limited. (ii) The source of Gettier counter-examples lies in one arbitrary judgment, two mix-ups, three false assumptions, and a misunderstanding about the JTB definition. __________ Translated from Fudan Xuebao 复旦学报 (Fudan Journal), 2004 (5)