Sven Ove Hansson

Full meet contraction, that was devised by Carlos Alchourrón and David Makinson in the early 1980' s, has often been overlooked since it is not in itself a plausible contraction operator. However, it is a highly useful building-block in the construction of composite contraction operators. In particular, all plausible contraction operators can be reconstructed so that the outcome of contracting a belief set K by a sentence p is defined as K ∼ f, where ∼ is full meet contraction and f a sentential selector, i.e. a function to and from sentences. This paper investigates the logic of full meet contraction. Seven properties of this operation are presented that contribute to making it useful as a building-block: Full meet contraction is a purely logical operation. It retains finitebasedness of the belief set. It is the inclusion-maximal contraction that removes all sentences that can contribute to implying the input sentence. It is the inclusion-maximal contraction that removes all non-tautologous consequences of the input sentence. Almost all contractions can be reconstructed as full meet contraction. Full meet contraction allows for recovery of the input sentence. Full meet contraction provides a unified account of multiple and singleton contraction. La llamada full meet contraction, creada por Carlos Alchourrón y David Makinson en los comienzos de los ' 80, ha sido a menudo desestimada puesto que ella no constituye un operador de contracción plausible. De todas formas ella es altamente útil en la construcción de operadores de contracción compuestos. En particular, todos los operadores de contracción plausibles pueden ser reconstruidos de forma tal que la contracción de un conjunto de creencias K por una sentencia p sea definida como K ∼ f, donde ∼ es una full meet contraction y f un selector de sentencias, i.e., una función de sentencias a sentencias. En este trabajo investigamos la lógica de la full meet contraction. Se presentan siete propiedades de esta operación que contribuyen a hacerla útil como building-block: Full meet contraction es una operación puramente lógica. Ella retiene la finit- basednes del conjunto de creencias. Ella es la máxima-inclusiva de las contracciones que elimina todas las sentencias que pueden contribuir a implicar la input-sentence. Es la contracción maximal inclusiva que elimina todas las consecuencias no tautológicas de la input-sentence. Casi todas las contracciones pueden ser reconstruidas como full-meet contractions. Full meet contraction permite la recuperación de la input-sentence. Full meet contracción da cuenta en forma unificada de las contracciones múltiples y singulares

A number of seminal papers on the logic of belief change by Alchourrön, Gärden-fors, and Makinson have given rise to what is now known as the AGM paradigm. The present discussion note is a response to Neil Tennant's [1994], which aims at a critical appraisal of the AGM approach and the introduction of an alternative approach. We show that important parts of Tennants's critical remarks are based on misunderstandings or on lack of information. In the course of doing this, we attend to some central philosophical issues in the theory of belief change, such as the choice of a representation for belief states and the meaning of an idealized rational agent.

A value statement such as “she is a good teacher” is categoryspecified, i.e., the criteria of evaluation are specified as those that are applicable to a given category, in this case the category of teachers. In this study of categoryspecified value statements, certain categories are identified that cannot be used to specify value aspects. Special attention is paid to categories that are constituted by functional characteristics. The logical properties of value statements that refer to such categories are shown to differ significantly from the corresponding properties in social choice theory.

In order to clarify the problems of iterated (global) belief change it is useful to study simple cases, in particular consecutive contractions by sentences that are both logically and epistemically independent. Models in which the selection mechanism is kept constant are much more plausible in this case than what they are in general. One such model, namely uniform specified meet contraction, has the advantage of being closely connected with the AGM model. Its properties seem fairly adequate for the intended type of contraction. However, the revision operator based on it via the Levi identity collapses into an implausible operation that loses all old information when revising by new information. A weaker version, semi-uniform specified meet contraction, avoids the collapse but has the disadvantage of a remarkably weak logic. It is left as an open issue whether there is an intermediate class of contraction operators that yields a more satisfactory logic.

Moral theory has mostly focused on idealized situations in which the morally relevant properties of human actions can be known beforehand. Here, a framework is proposed that is intended to sharpen moral intuitions and improve moral argumentation in problems involving risk and uncertainty. Guidelines are proposed for a systematic search of suitable future viewpoints for hypothetical retrospection. In hypothetical retrospection, a decision is evaluated under the assumption that one of the branches of possible future developments has materialized. This evaluation is based on the deliberator’s present values, and each decision is judged in relation to the information available when it was taken. The basic decision rule is to choose an alternative that comes out as morally acceptable (permissible) from all hypothetical retrospections.

A conceptual analysis of falsificationism is performed, in which the central falsificationist thesis is divided into several components. Furthermore, an empirical study of falsification in science is reported, based on the 70 scientific contributions that were published as articles in Nature in 2000. Only one of these articles conformed to the falsificationist recipe for successful science, namely the falsification of a hypothesis that is more accessible to falsification than to verification. It is argued that falsificationism relies on an incorrect view of the nature of scientific inquiry and that it is, therefore, not a tenable research methodology.

An experiment, in the standard scientific sense of the term, is a procedure in which some object of study is subjected to interventions that aim at obtaining a predictable outcome or at least predictable aspects of the outcome. The distinction between an experiment and a non-experimental observation is important since they are tailored to different epistemic needs. Experimentation has its origin in pre-scientific technological experiments that were undertaken in order to find the best technological means to achieve chosen ends. Important parts of the methodological arsenal of modern experimental science can be traced back to this pre-scientific, technological tradition. It is claimed that experimentation involves a unique combination of acting and observing, a combination whose unique epistemological properties have not yet been fully clarified.