Modal dependence logic was introduced recently by Väänänen. It enhances the basic modal language by an operator = (). For propositional variables p 1, . . . , p n , = (p 1, . . . , p n-1, p n ) intuitively states that the value of p n is determined by those of p 1, . . . , p n-1. Sevenster (J. Logic and Computation, 2009) showed that satisfiability for modal dependence logic is complete for nondeterministic (...) exponential time.In this paper we consider fragments of modal dependence logic obtained by restricting the set of allowed propositional connectives. We show that satisfiability for poor man’s dependence logic, the language consisting of formulas built from literals and dependence atoms using ${\wedge, \square, \lozenge}$ (i. e., disallowing disjunction), remains NEXPTIME-complete. If we only allow monotone formulas (without negation, but with disjunction), the complexity drops to PSPACE-completeness.We also extend Väänänen’s language by allowing classical disjunction besides dependence disjunction and show that the satisfiability problem remains NEXPTIME-complete. If we then disallow both negation and dependence disjunction, satisfiability is complete for the second level of the polynomial hierarchy. Additionally we consider the restriction of modal dependence logic where the length of each single dependence atom is bounded by a number that is fixed for the whole logic. We show that the satisfiability problem for this bounded arity dependence logic is PSPACE-complete and that the complexity drops to the third level of the polynomial hierarchy if we then disallow disjunction.In this way we completely classify the computational complexity of the satisfiability problem for all restrictions of propositional and dependence operators considered by Väänänen and Sevenster. (shrink)

We investigate the application of Courcelle’s theorem and the logspace version of Elberfeld et al. in the context of non-monotonic reasoning. Here we formalize the implication problem for propositional sets of formulas, the extension existence problem for default logic, the expansion existence problem for autoepistemic logic, the circumscriptive inference problem, as well as the abduction problem in monadic second order logic and thereby obtain fixed-parameter time and space efficient algorithms for these problems. On the other hand, we exhibit, for each (...) of the above problems, families of instances of a very simple structure that, for a wide range of different parameterizations, do not have efficient fixed-parameter algorithms (even in the sense of the large class XPnu, resp., XLnu) under standard complexity assumptions. (shrink)

We study the extension of dependence logic \ by a majority quantifier \ over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers of all arities. Our results imply that, from the point of view of descriptive complexity theory, \\) captures the complexity class counting hierarchy. We also obtain characterizations of the individual levels of the counting hierarchy by fragments of \\).

Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic. In this paper we examine these calculi from a proof-complexity perspective. In particular, we show that the calculus for credulous reasoning obeys almost the same bounds on the proof size as Gentzen’s system LK. Hence proving lower bounds for credulous reasoning will be as hard as proving lower bounds (...) for LK. On the other hand, we show an exponential lower bound to the proof size in Bonatti and Olivetti’s enhanced calculus for skeptical default reasoning. (shrink)

One recurrent objection to the idea that the right kind of reasons for or against an attitude are object-given reasons for or against that attitude is that object-given reasons for or against belief and disbelief are incapable of explaining certain features of epistemic normativity. Prohibitive balancing, the behaviour of bare statistical evidence, information about future or easily available evidence, pragmatic and moral encroachment, as well as higher-order defeaters, are all said to be inexplicable in terms of those object-given reasons. In (...) this paper, I provide a rebuttal to all these challenges by drawing attention to the object-given reasons for and against the third doxastic state, namely the suspension of judgement. First, I introduce an original picture of how suspension relates to belief and disbelief – as ways of being decided – which yields a novel weighing model of the corresponding reasons. Second, I demonstrate that this new take on doxastic deliberation can accommodate all five features of epistemic normativity. Finally, I extend the weighing model to cover practical deliberation and the suspension of intentions. The resulting theory provides an explanation of why epistemic and practical normativity differ in certain respects in terms of a significant difference between doxastic and conative suspension. (shrink)

Proponents of zetetic encroachment claim that certain zetetic or inquiry-related considerations can have a bearing on the epistemic rationality of one’s belief formation. Since facts about the interestingness or importance of a topic can be the right kind of reasons for inquisitive attitudes, such as curiosity, and inquisitive attitudes are ways to suspend judgement, these facts also amount to reasons against believing. This mechanism is said to explain several contentious phenomena in epistemology, such as the occurrence of pragmatic encroachment. In (...) this paper, I provide two lines of reasoning against zetetic encroachment. First, on any contrastivist understanding of epistemic reasons, the case in favour of zetetic encroachment loses all its motivational force. Second, the thesis of zetetic encroachment is incompatible with the most promising way to understand degrees of inquisitive attitudes. (shrink)

By the standard of popular approval, the South African state has no legitimacy, since only whites are enfranchised and blacks are being denationalized. This institutionalized politicization of ethnicity increasingly erodes the efficiency of private and state institutions alike. Enforced ethnic identities without representative leadership undermine proposed liberal arrangements of negotiated power-sharing as well as the government policy of cooptation. In the absence of political democracy, politicized labor relations substitute for restricted mobilization elsewhere. There are three basic responses to this legitimation (...) crisis of the South African state: 1) the radical left response of revolutionary reversal of power 2) the reformist business response of co-optation and 3) the technocratic government response of further political separation with increased economic collaboration. (shrink)

Self-management interventions are a heterogeneous group of interventions that are regarded as important tools for the management of chronic diseases. They consist of a broad range of techniques and are available for a large variety of chronic organic as well as mental conditions or illnesses, which are by definition generally chronic. These interventions aim that the individual concerned takes substantial responsibility for managing the symptoms, treatment, and physical and psychosocial consequences associated with having a chronic medical condition, disability or disease. (...) Alternate terms used in this context, among others, are self-care... (shrink)

Essays discuss reason and understanding, interpretation, language, meaning, the human sciences, social sciences, and general hermeneutic theory.

Wenn die Therapie an eine Grenze kommt und keine Aussicht auf Heilung besteht, wenn Leiden und Schmerz ubermachtig werden, stellt sich haufig die Frage: "Wie mochte ich sterben?" Dann wird fur immer mehr Menschen der Suizid zum Ausdruck eines selbstbestimmten Sterbens. Hierzu ist in Politik und Gesellschaft eine heftige Debatte entbrannt, besonders um die Frage, ob ein assistierter Suizid vom arztlichen Ethos gedeckt und somit straffrei sein kann. In dieser Publikation diskutieren Politiker, Juristen, Mediziner, Theologen und Ethiker diese Fragen kontrovers (...) und bieten vielfaltige Ansatze fur eine kritische gesellschaftliche Debatte wie auch fur die personliche Urteilsbildung. Ein wichtiger Beitrag zu einem aktuellen Thema - fur Fachleute, Interessierte und Betroffene. (shrink)

According to insulationism, a common take on epistemic value, being of epistemic value does not entail being of value simpliciter. In this paper, I explore one version of insulationism which has so far received little attention in the literature. On this view, epistemic value does not entail value simpliciter because it is a form of attributive goodness, that is, being good as a member of a particular kind. While having a significant advantage over some other formulations of insulationism, I argue (...) that the attributive goodness view of epistemic value should be rejected. On the one hand, shifting to a discussion of attributive goodness comes with several contentious commitments, as well as implausible upshots for epistemic axiology. On the other hand, I demonstrate that one can strengthen other forms of insulationism in such a way that the supposed advantage of the attributive goodness view diminishes. (shrink)

Studying teaching behavior in controlled conditions is difficult. It seems intuitive that a human learner might have trouble reliably recreating response patterns over and over in interaction. A robot would be the perfect tool to study teaching behavior because its actions can be well controlled and described. However, due to the interactive nature of teaching, developing such a robot is not an easy task. As we will show in this review, respective studies require certain robot appearances and behaviors. These mainly (...) should induce teaching behavior in humans, be interactive, match the study design, and be realizable in terms of effort. We discuss how remote controlling of the robot or simulating robot capabilities is used as an option. With this review, we introduce the field of research on studying human teaching behavior with robots as a tool in the experimental design. We will provide a structured overview of existing work, and identify main challenges of employing robots in such studies. (shrink)

Let us begin—as is fitting—with what is familiar. Now, familiar is by no means what ‘totalizing thinking’ is, but rather what ‘totalitarian’ means. Today this word rings in everyone’s ears, is common in public life—not so much as a descriptive, but more as a defamatory epithet. It brands political systems of our time which not only gave rise to horrifying consequences, but what is more spread terror through their form of domination. Now, rule by means of terror is in fact (...) no recent discovery; new here is rather the technique of the complete penetration of every expression of social life. Were the latter perhaps susceptible in a special way to such penetration? (shrink)

Research of tutoring in parent-infant interaction has shown that tutors – when presenting some action – modify both their verbal and manual performance for the learner (‘motherese’, ‘motionese’). Investigating the sources and effects of the tutors’ action modifications, we suggest an interactional account of ‘motionese’. Using video-data from a semi-experimental study in which parents taught their 8- to 11-month old infants how to nest a set of differently sized cups, we found that the tutors’ action modifications (in particular: high arches) (...) functioned as an orienting device to guide the infant’s visual attention (gaze). Action modification and the recipient’s gaze can be seen to have a reciprocal sequential relationship and to constitute a constant loop of mutual adjustments. Implications are discussed for developmental research and for robotic ‘Social Learning’. We argue that a robot system could use on-line feedback strategies (e.g. gaze) to pro-actively shape a tutor’s action presentation as it emerges. (shrink)

This paper defends three theses on the normativity of the suspension of judgment. First, even if beliefs have to fit the truth and disbelief the false, suspension can still have satisfiable fittingness conditions. Second, combining this view with specific theses on the link between fittingness and normative reasons in favour of attitudes commits one to the existence of reasons to suspend judgement, which are neither reasons to believe nor reasons to disbelieve. These independent reasons, in turn, generate a form of (...) epistemic permissivism. Finally, I argue that there are different routes to derive this commitment to independent reasons for suspending judgement. Not only fittingness-centred approaches to epistemic normativity but also many analyses in terms of reasons are committed to this form of epistemic permissivism. (shrink)

Erstmalig in der abendländischen Denkgeschichte wird hier, nach der traditionellen, griechisch-mittelalterlichen Seinsphilosophie (Es-Philosophie) und der neuzeitlichen Ich-Philosophie, eine Wir-Philosophie vorgelegt, die vom Sprachgeschehen 'wir' und einer Analyse seiner Implikationen ausgeht und aufweist, dass das Im-Wir-sein allem menschlichen Denken und Handeln immer schon vorgegeben ist und es das menschliche Dasein insgesamt und als solches apriori und alternativlos bestimmt. Diese Wir-Bestimmtheit wird im Einzelnen thematisiert. Es werden wirgemäße Denkweisen eingeübt und wirgemäße Handlungsorientierungen aufgezeigt.