•  94
    A procedural model of voting
    Theory and Decision 32 (3): 269-301. 1992.
    The formal framework of social choice theory is generalized through the introduction of separate representations of preferences and choices. This makes it possible to treat voting as a procedure in which decisions are actually made by interacting participants, rather than as a mere mechanism for aggregation. The extended framework also allows for non-consequentialist preferences that take procedural factors into account. Concepts such as decisiveness, anonymity, neutrality, and stability are red…Read more
  •  128
    A possible world semantics for preference is developed. The remainder operator () is used to give precision to the notion that two states of the world are as similar as possible, given a specified difference between them. A general structure is introduced for preference relations between states of affairs, and three types of such preference relations are defined. It is argued that one of them, actual preference, corresponds closely to the concept of preference in informal discourse. Its logical …Read more
  •  3
    Beyond Recovery? A Reply to Tennant
    with Hans Rott
    Erkenntnis 49 (3): 387-392. 1998.
    In his paper 'Changing the Theory of Theory Change: Reply to My Critics', N. Tennant (1997b) reacts to the critical reception of an earlier article of his. The present note rectifies some of the most serious misrepresentations in Tennant's reply
  •  76
    Aesthetic functionalism
    Contemporary Aesthetics 3. 2005.
  •  54
    Editorial Introduction—25 Years of AGM Theory
    Journal of Philosophical Logic 40 (2): 113-114. 2011.
  •  55
    A Monoselective Presentation of AGM Revision
    Studia Logica 103 (5): 1019-1033. 2015.
    A new equivalent presentation of AGM revision is introduced, in which a preference-based choice function directly selects one among the potential outcomes of the operation. This model differs from the usual presentations of AGM revision in which the choice function instead delivers a collection of sets whose intersection is the outcome. The new presentation confirms the versatility of AGM revision, but it also lends credibility to the more general model of direct choice among outcomes of which A…Read more
  •  187
    Selective revision
    Studia Logica 63 (3): 331-342. 1999.
    We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.
  •  103
    A formal language is introduced that contains expressions for the dependency of a legal relation on the claims that the concerned individuals make and on the permissions that they grant. It is used for a classification of legal relations into six major categories: categorical obligation, categorical permission, claimable obligation, grantable permission, claim-dependent obligation and grant-dependent permission. Legal rights may belong to any of these six categories, but the characteristics of a…Read more
  •  259
    AGM 25 Years: Twenty-Five Years of Research in Belief Change
    Journal of Philosophical Logic 40 (2): 295-331. 2011.
    The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the b…Read more
  •  1155
    Epistemic Paternalism in Public Health
    Journal of Medical Ethics 31 (11): 648-653. 2005.
    Receiving information about threats to one’s health can contribute to anxiety and depression. In contemporary medical ethics there is considerable consensus that patient autonomy, or the patient’s right to know, in most cases outweighs these negative effects of information. Worry about the detrimental effects of information has, however, been voiced in relation to public health more generally. In particular, information about uncertain threats to public health, from—for example, chemicals—are sa…Read more
  •  254
    A history of theoria
    Theoria 75 (1): 2-27. 2009.
    Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Monta…Read more
  • Shielded Contraction
    with E. Fermé
    In M. Williams & Hans Rott (eds.), Frontiers of Belief Revision, Kluwer Academic Publishers. pp. 85-107. 2001.
  •  65
    A Dialogue on Logic
    Theoria 72 (4): 263-268. 2006.
  • A survey of multiple contraction
    with Andr E. Fuhrmann
    Journal of Logic, Language and Information 3 39-74. 1994.
  •  29
    A Milestone in the Philosophy of Technology (review)
    Techné: Research in Philosophy and Technology 17 (3): 368-373. 2013.
  •  97
    In order to explore public views on nanobiotechnology (NBT), convergence seminars were held in four places in Europe; namely in Visby (Sweden), Sheffield (UK), Lublin (Poland), and Porto (Portugal). A convergence seminar is a new form of public participatory activity that can be used to deal systematically with the uncertainty associated for instance with the development of an emerging technology like nanobiotechnology. In its first phase, the participants are divided into three “scenario groups…Read more
  •  71
    The logic of an ought operator O is contranegative with respect to an underlying preference relation if it satisfies the property Op & (¬p)(¬q) Oq. Here the condition that is interpolative ((p (pq) q) (q (pq) p)) is shown to be necessary and sufficient for all -contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & OqO(p&q)) and disjunctive division (O(p&q) Op Oq).