Rationality ideals and mentality

Mackenzie, this journal, this issue, convincingly shows that in certain dialogue games (commitment games) there are procedural restrictions similar to those that I impose on rationality idealizations. But, whereas my rationality analysis is set in the context of belief games, commitment games do not postulate beliefs. Is this significant? I suggest that mackenzie thinks that it is. There follow discussions of Psychologism and Behaviourism.     

Transfers between Logics and their Applications

In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as well as interest from the point of view of applications. The language, concepts and methods of model theory can thus be used to describe the relationship between logics through morphisms of structures called transfers. This leads to a formal framework for studying several properties of abstract logics and their attributes such as consequence operator, syntactical structure, and internal transformations. In particular, we treat Belief Revision Systems (BRS) as our main example, defining the Wide Belief Revision Systems (WBRS's). This generalization allows us to define BRS's in an abstract setting for classical and non-standard logics. We also show how the concept of translation between logics can be obtained as a particular case of transfers.     

BELIEF VS. COMMITMENT, VALIDITY VS. VALUE: A RESPONSE TO WARD GOODENOUGH

Abstract. This paper is on Ward Goodenough's recent article (27: 3), suggesting that his points can be clarified by reiterating the distinction between the realms of meaning and relevance. Religion's "truth" is in the form of its ualue; the "proof" which it requires is uindication; and the resulting "faith" must be understood as commitment.     

Elementary Extensions of External Classes in a Nonstandard Universe

In continuation of our study of HST, Hrbaek set theory (a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the st--language, and Saturation for well-orderable families of internal sets), we consider the problem of existence of elementary extensions of inner "external" subclasses of the HST universe.We show that, given a standard cardinal , any set R * generates an "internal" class S(R) of all sets standard relatively to elements of R, and an "external" class L[S(R)] of all sets constructible (in a sense close to the Gödel constructibility) from sets in S(R). We prove that under some mild saturation-like requirements for R the class L[S(R)] models a certain -version of HST including the principle of +-saturation; moreover, in this case L[S(R)] is an elementary extension of L[S(R)] in the st--language whenever sets R R satisfy the requirements.