Sven Ove Hansson

A general theory of coherence is proposed, in which systemic and relational coherence are shown to be interdefinable. When this theory is applied to sets of sentences, it turns out that logical closure obscures the distinctions that are needed for a meaningful analysis of coherence. It is concluded that references to “all beliefs” in coherentist phrases such as “all beliefs support each other” have to be modified so that merely derived beliefs are excluded. Therefore, in order to avoid absurd conclusions, coherentists have to accept a weak version of epistemic priority, that sorts out merely derived beliefs. Furthermore, it is shown that in belief revision theory, coherence cannot be adequately represented by logical closure, but has to be represented separately.

Although it has often been claimed that all the information contained in second-order probabilities can be contained in first-order probabilities, no practical recipe for the elimination of second-order probabilities without loss of information seems to have been presented. Here, such an elimination method is introduced for repeatable events. However, its application comes at the price of losses in cognitive realism. In spite of their technical eliminability, second-order probabilities are useful because they can provide models of important features of the world that are cognitively more plausible than those that can be obtained with single-level probabilities.

Available methods such as technology assessment and risk analysis have failed to predict the effects of technological choices. We need to give up the futile predictive ambitions of previous approaches and instead base decisions on systematic studies of alternative future developments. It will then be necessary to cope with mere possibility arguments, i.e., arguments in which a conclusion is drawn from a mere possibility that a course of action may have certain consequences. A five-step procedure is proposed for the assessment of such arguments. It includes a search for mere possibility arguments pointing in different directions, a scientific evaluation that may lead to the specification or refutation of some of these arguments, two symmetry tests, evaluation of the seriousness of the arguments in terms of novelty, spatio-temporal unlimitedness and interference with complex systems, and hypothetical retrospection that aims at finding a course of action that will be defensible in retrospect.

An operator of contraction for a belief set (a theory) can be obtained by assigning to it a belief base and an operator of partial meet contraction for that base. It is argued that closure of the base under disjunction is an intuitively reasonable condition. Axiomatic characterizations are given of the contractions of belief sets that can be generated by (various types of) partial meet contraction on disjunctively closed bases. The corresponding revision operators are also characterized. Finally, some results are reported on operations on bases that are closed under material implication.

Five examples are given of major philosophical discussions in which technology needs to be taken into account. In the philosophy of science, the notion of mechanism has a central role. It has a technological origin, and its interpretation has links to technology. In the philosophy of mind, a series of technological analogues have had a deep influence on our understanding of human cognition: automata and watches, telegraphy and telephony, and most recently computers. The discussion on free will largely concerns, in Locke’s words, whether we can “put morality and mechanism together.” Notions of computation and automata that have been abstracted from the behavior of technological devices are key concepts both in logic and in the philosophy of mathematics. Finally, bioethics is largely concerned with the ethical issues that new technologies give rise to in healthcare. As these examples show, there is no lack of technology-related subject matter in philosophy, but there is a lack of sustained attention to it.

A model of coherentist belief contraction is constructed. The outcome of belief contraction is required to be one of the coherent subsets of the original belief set, and a set of plausible properties is proposed for this set of coherent subsets. The contraction operators obtained in this way are shown to coincide with well-known belief base operations. This connection between coherentist and "foundationalist" approaches to belief change has important implications for the philosophical interpretation of models of belief change

The postulate of recovery is commonly regarded to be the intuitively least compelling of the six basic Gärdenfors postulates for belief contraction. We replace recovery by the seemingly much weaker postulate of core-retainment, which ensures that if x is excluded from K when p is contracted, then x plays some role for the fact that K implies p. Surprisingly enough, core-retainment together with four of the other Gärdenfors postulates implies recovery for logically closed belief sets. Reasonable contraction operators without recovery do not seem to be possible for such sets. Instead, however, they can be obtained for non-closed belief bases. Some results on partial meet contractions on belief bases are given, including an axiomatic characterization and a non-vacuous extension of the AGM closure condition.

Should Probabilistic Design Replace Safety Factors? Content Type Journal Article Pages 151-168 DOI 10.1007/s13347-010-0003-6 Authors Neelke Doorn, Department of Technology, Policy and Management, Delft University of Technology, PO Box 5015, 2600 GA Delft, The Netherlands Sven Ove Hansson, Department of Philosophy and the History of Technology, Royal Institute of Technology, Teknikringen 78 B, 100 44 Stockholm, Sweden Journal Philosophy & Technology Online ISSN 2210-5441 Print ISSN 2210-5433 Journal Volume Volume 24 Journal Issue Volume 24, Number 2.

We can often specify how we would contract by a certain sentence by saying that this contraction would coincide with some other contraction that we know how to perform. We can for instance clarify that our contraction by p&q would coincide with our contraction by p, or by q, or by {p, q}. In a framework where the set of potential outcomes is known, some contractions are “self-evident” in the sense that there is only one serious candidate that can be the outcome of such a contraction. Contraction by a specific contractee (sentence or set of sentences to be contracted) is bootstrapped if it is specified by saying that it coincides with some such self-evident contraction. For a wide range of (multiple) contraction operators, contractions by any contractee can be bootstrapped. This means that the selection mechanism (selection function, incision function, etc.) can be replaced by a function called a bootstrapping selector that assigns to each contractee some “self-evident” contractee that yields the same outcome. With bootstrapping we can eliminate traditional extralogical components in contraction (e.g., selection functions) and replace them by bootstrapping selectors that reflect more closely the ways in which we actually reason and argue about belief contraction

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 redefined for use in the new context. The formal results obtained confirm the universality of strategic voting.

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 properties are studied and shown to be plausible.