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)

In the early nineties of the previous century, leaf languages were introduced as a means for the uniform characterization of many complexity classes, mainly in the range between P and PSPACE . It was shown that the separability of two complexity classes can be reduced to a combinatorial property of the corresponding defining leaf languages. In the present paper, it is shown that every separation obtained in this way holds for every generic oracle in the sense of Blum and Impagliazzo. (...) We obtain several consequences of this result, regarding, e. g., universal oracles, simultaneous separations and type-2 complexity. (shrink)

Scientific knowledge should not only be true, it should be as objective as possible. It should refer to a reality independent of any subject. What can we use as a criterion of objectivity? Intersubjectivity (i.e., intersubjective understandability and intersubjective testability) is necessary, but not sufficient. Other criteria are: independence of reference system, independence of method, non-conventionality. Is there some common trait? Yes, there is: invariance under some specified transformations. Thus, we say: A proposition is objective only if its truth is (...) invariant against a change in the conditions under which it was formulated. We give illustrations from geometry, perception, neurobiology, relativity theory, and quantum theory. Such an objectivist position has many advantages. (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)

An inspection into the contemporary theory of knowledge shows that a new methodological stance, that is, the so called evolutionary epistemology or, equivalently, evolutionary theory of knowledge, which is a version of “naturalistic” turn has been established. This stance tends to consider various philosophical problems from concrete scientific positions and by means of scientific knowledge. This interdisciplinary enterprise has determined as its purposes the researches of biological preconditions of human knowledge and the explanation of its features on the basis of (...) the modern synthetic theory of evolution.The paper discusses the ideas of K. Lorenz, G. Vollmer, D.T. Campbell, H.R. Maturana, F.J. Varela. Especially, the paper concerns the thesis that the reality cognizable by man is the reality designed, created during his personally involved communicative activity. In this perspective, the question “What is the object of knowledge?” becomes inappropriate. The reliability of knowledge consists in being able to behave adequately in individual enterprising and in co-operation with other subjects. (shrink)

An inspection into the contemporary theory of knowledge shows that a new methodological stance, that is, the so called evolutionary epistemology or, equivalently, evolutionary theory of knowledge, which is a version of “naturalistic” turn has been established. This stance tends to consider various philosophical problems from concrete scientific positions and by means of scientific knowledge. This interdisciplinary enterprise has determined as its purposes the researches of biological preconditions of human knowledge and the explanation of its features on the basis of (...) the modern synthetic theory of evolution.The paper discusses the ideas of K. Lorenz, G. Vollmer, D.T. Campbell, H.R. Maturana, F.J. Varela. Especially, the paper concerns the thesis that the reality cognizable by man is the reality designed, created during his personally involved communicative activity. In this perspective, the question “What is the object of knowledge?” becomes inappropriate. The reliability of knowledge consists in being able to behave adequately in individual enterprising and in co-operation with other subjects. (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)

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

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)

Modifying images for scientific publication is now quick and easy due to changes in technology. This has created a need for new image processing guidelines and attitudes, such as those offered to the research community by Doug Cromey (Cromey 2010). We suggest that related changes in technology have simplified the task of detecting misconduct for journal editors as well as researchers, and that this simplification has caused a shift in the responsibility for reporting misconduct. We also argue that the concept (...) of best practices in image processing can serve as a general model for education in best practices in research. (shrink)

Responsible data management is a multifaceted topic involving standards within the research community regarding research design and the sharing of data as well as the collection, selection, analysis and interpretation of data. Transparency in the manipulation of images is increasingly important in order to avoid misrepresentation of research findings, and research oversight is also critical in helping to assure the integrity of the research process. Intellectual property issues both unite and divide academe and industry in their approaches to data management. (...) Central to the realization and promulgation of responsible data management is clear and careful communication of standards and expectations within the research community to trainees as well as among colleagues. These topics are examined and explored in depth in a special issue of Science and Engineering Ethics on responsible data management. (shrink)

'Ethik ist auf deskriptives Wissen angewiesen. Das ist nichts Neues: Bereits Aristoteles betont, die Ethik müsse berücksichtigen, dass der Mensch von Natur aus ein soziales Wesen sei. Wie viel Gewicht aber kann und sollte man dem deskriptiven Wissen in normativen Fragen zugestehen? Eine naturalistische Ethik hält es für möglich, dass deskriptives Wissen nicht nur Hilfsmittel für die Anwendung ethischer Normen sein, sondern einen großen Teil der bisher erforderlichen Normen ersetzen kann. Eine naturalistische Ethik fordert außerdem: Möglichst wenig metaphysische Annahmen! Statt (...) Metaphysik möchten Naturalisten Ergebnisse und Methoden der Wissenschaften einsetzen, mit dem Ziel, den Bestand an Normen in der Ethik und damit den Begründungsbedarf zu verkleinern. Lassen sich also Normen durch Fakten ersetzen? Und wenn ja, wie weit? In diesem Band kommen zu dieser Frage Philosophie, Ökonomik, Soziologie, Psychologie, Soziobiologie, Rechtswissenschaft und Spieltheorie zu Wort. Es geht hierbei gerade nicht um eine ethisch-moralische Bewertung von Resultaten oder Methoden dieser Disziplinen, sondern - umgekehrt - um die Frage, welchen Beitrag diese Wissenschaften zur Ethik leisten können.' (Autorenreferat). Inhaltsverzeichnis: Gerhard Vollmer, Christoph Lütge: Fakten statt Normen? Einleitung und Überblick (VII-XIV); Dieter Birnbacher: Prognosen statt Normen? Das Zusammenspiel von Normen und Fakten in der Angewandten Ethik (3-13); Gerhard Schurz: Zur Rolle von Brückenprinzipien in einer faktenorientierten Ethik (14-27); Uwe Czaniera: Vernünftige Normen statt moralischer Fakten (28-42); Gerhard Engel: Von Fakten zu Normen: Zur Ableitbarkeit des Sollen aus dem Sein (43-59); Dagmar Borchers: Träume von Tatsachen und Tugenden: Stärken und Schwächen des tugendethischen Naturalismus (60-77); Wolfgang Buschlinger: Hinter verschlossene Türen: Ethik in die Hand von Experten? (78-87); Eric Hilgendorf: Fakten und Normen in der Rechtstheorie Tatsachenfragen und Wertungsfragen: Bausteine zu einer naturalistischen Jurisprudenz (91-102); Karl Homann: Fakten und Normen: Der Fall der Wirtschaftsethik (105-116); Christoph Lütge: Ordnungsethik - naturalistisch konzipiert (117-127); Ken Binmore: Natural Justice (128-150); Michael Baurmann: Mehrheit ohne Moral? Warum demokratische Entscheidungen ethische Prinzipien erfordern (153-176); Eckart Voland: Normentreue zwischen Reziprozität und Prestige-Ökonomie: Eine soziobiologische Interpretation kostspieliger sozialer Konformität (177-189); Günter Dux: Das Sein des Sollens (190-204); Heiko Breit, Lutz Eckensberger: Fakten und Normen in der Psychologie. Die Faktizität des Normenbewusstseins: Eine entwicklungspsychologische Perspektive (207-224). (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)

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)

The paper investigates the effects of a humanoid robot’s online feedback during a tutoring situation in which a human demonstrates how to make a frog jump across a table. Motivated by micro-analytic studies of adult-child-interaction, we investigated whether tutors react to a robot’s gaze strategies while they are presenting an action. And if so, how they would adapt to them. Analysis reveals that tutors adjust typical “motionese” parameters. We argue that a robot – when using adequate online feedback strategies – (...) has at its disposal an important resource with which it could proactively shape the tutor’s presentation and help generate the input from which it would benefit most. These results advance our understanding of robotic “Social Learning” in that they suggest a paradigm shift towards considering human and robot as one interational learning system. Keywords: human-robot-interaction; feedback; adaptation; multimodality; gaze; conversation analysis; social learning; pro-active robot conduct. (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)

van Fraassen's constructivist empiricist account of theories makes an epistemic distinction between entities that can and cannot be observed with the naked eye. A belief about the correctness of a theoretical description of an entity that is observable with the naked eye can be warranted by a theory. In contrast, no theory can warrant a belief about the correctness of a description of an unobservable entity. I argue that we ought to instead adopt a view that takes account of the (...) fact that some entities that cannot be observed with the naked eye can nevertheless be observed on the basis of the same physical principle as those entities that can be. This suggests that there is a distinction different from van Fraassen's that might do the work van Fraassen intends his to do, but a distinction that is principled. Understanding why this is so suggests that his distinction is grounded merely in human chauvinism. (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)

Achieving a good clinical trial design increases the likelihood that a trial will take place as planned, including that data will be obtained from a sufficient number of participants, and the total number of participants will be the minimal required to gain the knowledge sought. A good trial design also increases the likelihood that the knowledge sought by the experiment will be forthcoming. Achieving such a design is more than good sense—it is ethically required in experiments when participants are at (...) risk of harm. This paper argues that doing a power analysis effectively contributes to ensuring that a trial design is good. The ethical importance of good trial design has long been recognized for trials in which there is risk of serious harm to participants. However, whether the quality of a trial design, when the risk to participants is only minimal, is an ethical issue is rarely discussed. This paper argues that even in cases when the risk is minimal, the quality of the trial design is an ethical issue, and that this is reflected in the emphasis the Belmont Report places on the importance of the benefit of knowledge gained by society. The paper also argues that good trial design is required for true informed consent. (shrink)

The aim of the present study is to evaluate the postmodern belief that selves are narrative constructions. Four theories, varying in degree of anti-realism, are presented and discussed. It is concluded that an attractive feature of the narrative approach is that it explains how we achieve a sense of unity. But the main idea, that selves are constituted or created by stories is problematic, like identifying footprints on the beach with the feet that made them.

How do we switch between “playing along” and treating robots as technical agents? We propose interaction breakdowns to help solve this “social artifact puzzle”: Breaks cause changes from fluid interaction to explicit reasoning and interaction with the raw artifact. These changes are closely linked to understanding the technical architecture and could be used to design better human–robot interaction (HRI).