Obligation, contracts, and negotiation: Outlining an approach

In this paper I outline an ambitious project to incorporate into a normative language the tools necessary for an account of hierarchical organizations and the changing roles and obligations of agents within them, and an analogous account of contracts and the changing roles and obligations of agents who are parties to contracts. While such an enriched language is likely to be considerably more complex than those most often considered for deontic logic, it promises for that very reason to enlarge considerably the range of normative problems that can be accurately expressed and effectively addressed.     

What is <Emphasis Type="Italic">the</Emphasis> Logic of Inference?

The topic of this paper is the question whether there is a logic which could be justly called the logic of inference. It may seem that at least since Prawitz, Dummett and others demonstrated the proof-theoretical prominency of intuitionistic logic, the forthcoming answer is that it is this logic that is the obvious choice for the accolade. Though there is little doubt that this choice is correct (provided that inference is construed as inherently single-conclusion and complying with the Gentzenian structural rules), I do not think that the usual justification of it is satisfactory. Therefore, I will first try to clarify what exactly is meant by the question, and then sketch a conceptual framework in which it can be reasonably handled. I will introduce the concept of ‘inferentially native’ logical operators (those which explicate inferential properties) and I will show that the axiomatization of these operators leads to the axiomatic system of intuitionistic logic. Finally, I will discuss what modifications of this answer enter the picture when more general notions of inference are considered. Presented by Hannes Leitgeb     

Formalizing common sense: an operator-based approach to the Tibbles–Tib problem

The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is developed. If everyday language mirrors the world, then persons, organisms, organs, cells, and ordinary material things can lose some parts but nonetheless remain numerically exactly the same entity. In order to formalize this view, two new logical operators are introduced; and they bring with them some non-standard syntax. One of the operators is called ‘the instantiation operator’; it is needed because the existential quantifier and its traditional relatives cannot do the job required. The other operator is called ‘the form-on-matter operator’, and it allows an individual (an instance of a form) to stay the same even though some of its parts (its constituting matter) is taken away from it. Also, a certain kind of predicates, called ‘nature terms’, is needed in order to represent what gives a particular its kind of identity. Both the operators and the nature terms introduced can be used in constructions of formal languages and formal systems, but no such constructions are made in the paper. The paper is structured as a comment on the philosophical problem called ‘the problem of the cats Tibbles and Tib’.     

Problems and results for logics about imperatives

Deviating from standard possible-worlds semantics, authors belonging to what might be called the ‘imperative tradition’ of deontic logic have proposed a semantics that directly represents norms (or imperatives). The paper examines possible definitions of (monadic) deontic operators in such a semantics and some properties of the resulting logical systems.     

Mathematical foundations of consciousness

We employ the Zermelo–Fränkel Axioms that characterize sets as mathematical primitives. The Anti-foundation Axiom plays a significant role in our development, since among other of its features, its replacement for the Axiom of Foundation in the Zermelo–Fränkel Axioms motivates Platonic interpretations. These interpretations also depend on such allied notions for sets as pictures, graphs, decorations, labelings and various mappings that we use. A syntax and semantics of operators acting on sets is developed. Such features enable construction of a theory of non-well-founded sets that we use to frame mathematical foundations of consciousness. To do this we introduce a supplementary axiomatic system that characterizes experience and consciousness as primitives. The new axioms proceed through characterization of so-called consciousness operators. The Russell operator plays a central role and is shown to be one example of a consciousness operator. Neural networks supply striking examples of non-well-founded graphs the decorations of which generate associated sets, each with a Platonic aspect. Employing our foundations, we show how the supervening of consciousness on its neural correlates in the brain enables the framing of a theory of consciousness by applying appropriate consciousness operators to the generated sets in question.     

Blueprint for a dynamic deontic logic

Extending the idiom of dynamic logic we outline a deontic logic in which deontic operators operate on terms rather than on formulæ. In a second step we distinguish between what we call real and deontic actions.     

Oughts and ends

This paper advances a reductive semantics for ‘ought’ and a naturalistic theory of normativity. It gives a unified analysis of predictive, instrumental, and categorical uses of ‘ought’: the predictive ‘ought’ is basic, and is interpreted in terms of probability. Instrumental ‘oughts’ are analyzed as predictive ‘oughts’ occurring under an ‘in order that’ modifer (the end-relational theory). The theory is then extended to categorical uses of ‘ought’: it is argued that they are special rhetorical uses of the instrumental ‘ought’. Plausible conversational principles explain how this end-relational ‘ought’ can perform the expressive functions of the moral ‘ought’. The notion of an ‘ought-simpliciter’ is also discussed.

Deontic Reasoning With Emotional Content: Evolutionary Psychology or Decision Theory?

Three experiments investigated the contrasting predictions of the evolutionary and decision-theoretic approaches to deontic reasoning. Two experiments embedded a hazard management (HM) rule in a social contract scenario that should lead to competition between innate modules. A 3rd experiment used a pure HM task. Threatening material was also introduced into the antecedent, p, of a deontic rule, if p then must q. According to the evolutionary approach, more HM responses (Cosmides & Tooby, 2000) are predicted when p is threatening, whereas decision theory predicts fewer. All 3 experiments were consistent with decision theory. Other theories are discussed, and it is concluded that they cannot account for the behavior observed in these experiments.