-
14Some Solved and Unsolved Remainder EquationsMathematical Logic Quarterly 41 (3): 362-368. 1995.The remainder set A⟂B of a set of sentences A modulo a set of sentences B is the set of all maximal subsets of A not implying any element of B. A remainder equation is an expression containing remainder sets, such as {A} = B⟂X, in which at least one set is unknown. Solutions to some classes of remainder equations are reported, and some unsolved problems are listed
-
53Specified Meet ContractionErkenntnis 69 (1): 31-54. 2008.Specified meet contraction is the operation defined by the identity where ∼ is full meet contraction and f is a sentential selector, a function from sentences to sentences. With suitable conditions on the sentential selector, specified meet contraction coincides with the partial meet contractions that yield a finite-based contraction outcome if the original belief set is finite-based. In terms of cognitive realism, specified meet contraction has an advantage over partial meet contraction in that…Read more
-
Science and Technology: What They Are and Why Their Relation MattersIn Sven Ove Hansson (ed.), The Role of Technology in Science: Philosophical Perspectives, Springer Verlag. 2015.
-
8Three Approaches to Finitude in Belief ChangeIn T. Rønnow-Rasmussen B. Petersson J. Josefsson D. Egonsson (ed.), Hommage à Wlodek. Philosophical Papers Dedicated to Wlodek Rabinowicz, . 2007.
-
29Safe DesignTechné: Research in Philosophy and Technology 10 (1): 45-52. 2006.Safety is an essential ethical requirement in engineering design. Strategies for safe design are used not only to reduce estimated probabilities of injuries but also to cope with hazards and eventualities that cannot be assigned meaningful probabilities. The notion of safe design has important ethical dimensions, such as that of determining the responsibility that a designer has for future uses of the designed object.
-
6Time and decision. Economic and psychological perspectives on intertemporal choiceErkenntnis 64 (3): 419-422. 2006.
-
31Scopes, Options, and Horizons – Key Issues in Decision StructuringEthical Theory and Moral Practice 21 (2): 259-273. 2018.Real-life decision-making often begins with a disorderly decision problem that has to be clarified and systematized before a decision can be made. This is the process of decision structuring that has largely been ignored both in decision theory and applied decision analysis. In this contribution, ten major components of decision structuring are identified, namely the determination of its scope, subdivision, agency, timing, options, control ascriptions, framing, horizon, criteria and restructurin…Read more
-
93Safe DesignTechné: Research in Philosophy and Technology 10 (1): 45-52. 2006.Safety is an essential ethical requirement in engineering design. Strategies for safe design are used not only to reduce estimated probabilities of injuries but also to cope with hazards and eventualities that cannot be assigned meaningful probabilities. The notion of safe design has important ethical dimensions, such as that of determining the responsibility that a designer has for future uses (and misuses) of the designed object.
-
258Theory contraction and base contraction unifiedJournal of Symbolic Logic 58 (2): 602-625. 1993.One way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions
-
26Structural reliabilism: Inductive logic as a theory of justificationHistory and Philosophy of Logic 26 (1): 71-72. 2005.
-
677In order to avoid the paradoxes of standard deontic logic, we have to give up the semantic construction that identifies obligatory status with presence in all elements of a subset of the set of possible worlds. It is proposed that deontic logic should instead be based on a preference relation, according to the principle that whatever is better than something permitted is itself permitted. Close connections hold between the logical properties of a preference relation and those of the deontic logi…Read more
-
Book Review: The Future for Philosophy, ed. by Brian Leiter (review)Disputatio 1 (20): 346-348. 2006.
-
96Situationist deontic logicJournal of Philosophical Logic 26 (4): 423-448. 1997.Situationist deontic logic is a model of that fraction of normative discourse which refers to only one situation and one set of alternatives. As we can see from a whole series of well-known paradoxes, standard deontic logic (SDL) is seriously mistaken even at the situationist level. In this paper it is shown how a more realistic deontic logic can be based on the assumption that prescriptive predicates satisfy the property of contranegativity. A satisfactory account of situation-specific norms is…Read more
-
13Replacement—A Sheffer Stroke for Belief ChangeJournal of Philosophical Logic 38 (2): 127-149. 2009.By replacement is meant an operation that replaces one sentence by another in a belief set. Replacement can be used as a kind of Sheffer stroke for belief change, since contraction, revision, and expansion can all be defined in terms of it. Replacement can also be defined either in terms of contraction or in terms of revision. Close connections are shown to hold between axioms for replacement and axioms for contraction and revision. Partial meet replacement is axiomatically characterized. It is …Read more
-
Recension av Keith Dixon: "Freedom and Equality. The Moral Basis of Democratic Socialism"Norsk Filosofisk Tidsskrift 10 (1): 30. 1989.
-
2Risk AnalysisIn Jan Kyrre Berg Olsen Friis, Stig Andur Pedersen & Vincent F. Hendricks (eds.), A Companion to the Philosophy of Technology, Wiley-blackwell. 2012.
Areas of Specialization
13 more
Areas of Interest
13 more