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 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 \\).

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)

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)

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)

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)

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.

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)

This book comprises a series of essays exploring the transformative insights of Fichte, Herder, Humboldt and the Romantics into the seminal role of language and imagination in shaping human experience and art, including how language, self-consciousness and understanding arise through speech. Along with topics concerning the literary work of art, the philosophy of history, German humanities, philology, and semiotics, the author also discusses the place of phenomenology and the concept of interpretation in literary theory. In highlighting ideas from A. W. (...) Vico, F. Schlegel, Novalis, Germaine de Staël, and Schleiermacher, the author also elucidates romantic poetics, translation, discourse and cultural transfer themes. Das vorliegende Werk umfasst eine Reihe hermeneutischer Abhandlungen des Autors, in deren Fokus die Deutung der Sprachauffassungen Fichtes, Herders, Humboldts und der Romantiker steht. Der Autor untersucht dabei die Formierung von Erfahrung und Kunst durch Sprache und Einbildungskraft sowie die Entstehung von Sprache, Selbstbewusstsein und Verstehen in der Rede. Desgleichen behandelt er Semiotik, Philologie und Philosophie der Geschichte, sowie die Rolle der Phänomenologie und des Interpretationsbegriffs in der Literaturkritik. Im Besonderen hebt der Autor die Auffassungen von Vico, A.W. und F. Schlegel, Novalis, Germaine de Staël, F. Schleiermacher hervor und beleuchtet Übersetzungs-, Diskurs- und Kulturtransfertheorien sowie die Poetik der Romantiker. (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)

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. 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 functioned as an orienting device to (...) guide the infant’s visual attention. 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 to pro-actively shape a tutor’s action presentation as it emerges. (shrink)