Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is carried out at the meta-level. In this paper, we show how such reasoning may be carried out at the object level for a large class of default theories. Essentially we show how one can translate a default theory Δ, obtaining a second Δ', such that Δ has a single extension that encodes every extension of _. (...) Moreover, our translated theory is only a constant factor larger than the original. We prove that our translation behaves correctly. In the approach we can now encode the notion of extension from within the framework of standard default logic. Hence one can encode notions such as skeptical and credulous conclusions, and can reason about such conclusions within a single extension. This result has some theoretical interest, in that it shows how multiple extensions of semi-monotonic default theories are encodable with manageable overhead in a single extension. (shrink)

ABSTRACT Reiter's default logic is one of the most prominent and well-studied approaches to nonmonotonic reasoning. Its evolution has resulted in diverse variants enjoying many interesting properties. This process however seems to be diverging because it has led to default logics that are difficult to compare due to different formal characterizations—sometimes even dealing with different objects of discourse. This problem is addressed in this paper in two ways. One the one hand, we elaborate on the relationships between different types of (...) default logics and discuss their differences wrt some basic properties. In particular, we show how two recently proposed variants, namely rational and CA-default logic, are related to each other and existing default logics. As an interesting byproduct, we obtain a cumulative counterpart to Lukasiewicz' variant of default logic. The resulting system is insofar surprising since it necessitates to refine the canonical way of assuring cumulativity in default logics. On the other hand, we pursue an integrating approach. We give a translation embedding rational and CA-default logic into a recently developed framework for default logics. This allows us not only to classify these variants, but it moreover provides us with semantical underpinnings that have been lacking so far. (shrink)

1. Reasoning about action and change, or more generally reasoning about dynamic systems, is not only central to knowledge representation and reasoning but at the heart of computer science (Fisher e...

This paper offers an explanation of how philosophy of science in the second half of the 20th century came to be so conspicuously silent on the problem of how to explain the applicability of mathematics. It examines the idea of the early logicists that the analyticity of mathematics accounts for its applicability, and how this idea was transformed during Carnap's efforts to establish a consistent and substantial philosophy of mathematics within the larger framework of Logical Empiricism. I argue that at (...) the end point of this development, philosophical discussion of the applicability problem was terminated although important aspects of the logicists' original response to the applicability problem had had to be sacrificed along the way. (shrink)

This article gives a brief introduction to the MacArthur Competence Assessment Tool-Treatment (MacCAT-T) and critically examines its theoretical presuppositions. On the basis of empirical, methodological and ethical critique it is emphasised that the cognitive bias that underlies the MacCAT-T assessment needs to be modified. On the one hand it has to be admitted that the operationalisation of competence in terms of value-free categories, e.g. rational decision abilities, guarantees objectivity to a great extent; but on the other hand it bears severe (...) problems. Firstly, the cognitive focus is in itself a normative convention in the process of anthropological value-attribution. Secondly, it misses the complexity of the decision process in real life. It is therefore suggested that values, emotions and other biographic and context specific aspects should be considered when interpreting the cognitive standards according to the MacArthur model. To fill the gap between cognitive and non-cognitive approaches the phenomenological theory of personal constructs is briefly introduced. In conclusion some main demands for further research to develop a multi-step model of competence assessment are outlined. (shrink)

This paper aims to give an insight into developments that contributed to the significance of the work of Jakob von Uexküll and stresses the importance of his occupation in Hamburg. A biographical survey pays tribute to the implication of the historical pretext and context. A scientific survey describes findings and ideas of Uexküll that proved important for the development of biology and the cognitive sciences. In addition, this paper sets out to reject the common notion that Uexküll’s concepts were ideas (...) of a purely theoretical and philosophical character. It confirms that in fact the central aims of his work were to sustain the empirical method in biology and to give biology a sound epistemological basis. Some examples show how historical and theoretical developments converged at Uexküll’s Institut für Umweltforschung in Hamburg and ignited a productive research activity. (shrink)

Power is often taken to be a central concept in social and political thought that can contribute to the explanation of many different social phenomena. This article argues that in order to play this role, a general theory of power is required to identify a stable causal capacity, one that does not depend on idiosyncratic social conditions and can thus exert its characteristic influence in a wide range of cases. It considers three promising strategies for such a theory, which ground (...) power in (1) the ability to use force, (2) access to resources, or (3) collective acceptance. It shows that these strategies fail to identify a stable causal capacity. The lack of an adequate general theory of power suggests that the concept lacks the necessary unity to play the broad explanatory role it is often accorded. (shrink)

In recent years, a variety of philosophers have argued that the fundamental bearers of representational properties like truth are concrete particulars produced by cognitive agents—representational vehicles (“RVs”), as I will call them. This view apparently conflicts with other judgments that are part of our common sense understanding of truth. For instance, it is plausible that there are truths about the Milky Way that have and never will never be articulated by anyone. Whatever these truths are, it looks like they cannot (...) be RVs, because an RV is articulated just in case it exists. In this paper, I argue that it is consistent to hold that the fundamental truth-bearers are representational vehicles, while also acknowledging the existence of unarticulated truths. I argue that truth is a property that derivatively holds of kinds of RVs, that these provide the basis for our judgments that there are unarticulated truths, and I defend the view against putative counter-examples. (shrink)

What kind of thing, as it were, is power and how does it fit into our understanding of the social world? I approach this question by exploring the pragmatic character of power ascriptions, arguing that they involve fictional expectations directed at an open future. When we take an agent to be powerful, we act as if that agent had a robust capacity to make a difference to the actions of others. While this pretense can never fully live up to a (...) social reality whose future is open, acting on such expectations helps constitute social order. Fictional expectations are thus built into the material practices that constitute power. This account, I argue, helps us make sense of some of the deep disagreements about the nature of power. I develop the account by drawing on Thomas Hobbes’s myth of an original institution of sovereign power before expanding it to other forms of power. (shrink)

Preliminary Material -- Einleitung -- Zerlegung in Elemente, Denken in polaren Gegensätzen und das Ideal umfassender Weisheit bei Demokrit -- Die Polarisierung von Weisheit in göttlichen Dingen und Weisheit in menschlichen Dingen bei den Sokratikern -- Generalisierung, Elementarisierung, Paradigmatisierung und die Unterscheidung zwischen Theorie und Praxis bei Platon -- Die Pros-hen-Aussage und die Unterscheidung zwischen Theorie und Praxis bei Aristoteles -- Ausblick -- Literaturverzeichnis -- Stellenregister -- Namensregister -- Sachregister.

Goldstein and Gigerenzer (2002) [Models of ecological rationality: The recognition heuristic. Psychological Review, 109 (1), 75–90] found evidence for the use of the recognition heuristic. For example, if an individual recognizes only one of two cities, they tend to infer that the recognized city has a larger population. A prediction that follows is that of the less‐is‐more effect: Recognizing fewer cities leads, under certain conditions, to more accurate inferences than recognizing more cities. We extend the recognition heuristic to group decision‐making (...) by developing majority and lexicographic models of how recognition information is used by groups. We formally show when the less‐is‐more effect is predicted in groups and we present a study where three‐member groups performed the population comparison task. Several aspects of our data indicate that members who can use the recognition heuristic are, not in all but in most cases, more influential in the group decision process than members who cannot use the heuristic. We also observed the less‐is‐more effect and found that models assuming that members who can use the recognition heuristic are more influential better predict when the effect occurs. (shrink)

Despite a strong sensitization to the corruption problem and a large body of interdisciplinary research, scientists have only rarely investigated which motivational, volitional, emotional, and cognitive components make decision makers in companies act corruptly. Thus, we examined how their interrelation leads to corruption by proposing an action model. We tested the model using a business simulation game with students as participants. Results of the PLS structural equation modeling showed that both an attitude and subjective norm favoring corruption led to a (...) desire to act corruptly. Given high perceived behavioral control, this desire was transformed into an intention that finally resulted in corrupt action. Components related to general private and professional goals did not allow for any prediction. Based on these results, we discuss preventative measures and methods for combating intra- and inter-organizational corruption. (shrink)

Epistemic trust is crucial for science. This article aims to identify the kinds of assumptions that are involved in epistemic trust as it is required for the successful operation of science as a collective epistemic enterprise. The relevant kind of reliance should involve working from the assumption that the epistemic endeavors of others are appropriately geared towards the truth, but the exact content of this assumption is more difficult to analyze than it might appear. The root of the problem is (...) that methodological decisions in science typically involve a complex trade-off between the reliability of positive results, the reliability of negative results, and the investigation's power. Which balance between these is the ‘correct’ one can only be determined in light of an evaluation of the consequences of all the different possible outcomes of the inquiry. What it means for the investigation to be ‘appropriately geared towards the truth’ thus depends on certain value judgments. I conclude that in the optimal case, trusting someone in her capacity as an information provider also involves a reliance on her having the right attitude towards the possible consequences of her epistemic work. 1 Introduction2 Epistemic Reliance within the Sciences3 Methodological Conventionalism4 Trust in Science5 Conclusions. (shrink)

When interests and preferences of researchers or their sponsors cause bias in experimental design, data interpretation or dissemination of research results, we normally think of it as an epistemic shortcoming. But as a result of the debate on science and values, the idea that all extra-scientific influences on research could be singled out and separated from pure science is now widely believed to be an illusion. I argue that nonetheless, there are cases in which research is rightfully regarded as epistemologically (...) deficient due to the influence of preferences on its outcomes. I present examples from biomedical research and offer an analysis in terms of social epistemology. (shrink)

This paper aims to give an insight into developments that contributed to the significance of the work of Jakob von Uexküll and stresses the importance of his occupation in Hamburg. A biographical survey pays tribute to the implication of the historical pretext and context. A scientific survey describes findings and ideas of Uexküll that proved important for the development of biology and the cognitive sciences. In addition, this paper sets out to reject the common notion that Uexküll’s concepts were ideas (...) of a purely theoretical and philosophical character. It confirms that in fact the central aims of his work were to sustain the empirical method in biology and to give biology a sound epistemological basis. Some examples show how historical and theoretical developments converged at Uexküll’s Institut für Umweltforschung in Hamburg and ignited a productive research activity. (shrink)

Elements of Folk Psychology; Outline of a Psychological History of the Development of Mankind, has been considered important throughout the human history, and so that this work is never forgotten we have made efforts in its preservation by republishing this book in a modern format for present and future generations. This whole book has been reformatted, retyped and designed. These books are not made of scanned copies of their original work and hence the text is clear and readable.

This paper aims to give an insight into developments that contributed to the significance of the work of Jakob von Uexküll and stresses the importance of his occupation in Hamburg. A biographical survey pays tribute to the implication of the historical pretext and context. A scientific survey describes findings and ideas of Uexküll that proved important for the development of biology and the cognitive sciences. In addition, this paper sets out to reject the common notion that Uexküll’s concepts were ideas (...) of a purely theoretical and philosophical character. It confirms that in fact the central aims of his work were to sustain the empirical method in biology and to give biology a sound epistemological basis. Some examples show how historical and theoretical developments converged at Uexküll’s Institut für Umweltforschung in Hamburg and ignited a productive research activity. (shrink)

The notion of ecological rationality implies that the accuracy of a decision strategy depends on features of the information environment in which it is tested. We demonstrate that the performance of a group may be strongly affected by the decision strategies used by its individual members and specify how this effect is moderated by environmental features. Specifically, in a set of simulation studies, we systematically compared four decision strategies used by the individual group members: two linear, compensatory decision strategies and (...) two simple, noncompensatory heuristics. Individual decisions were aggregated by using a majority rule. To assess the ecological rationality of the strategies, we varied (a) the distribution of cue validities, (b) the quantity, and (c) the quality of shared information. Group performance strongly depended on the distribution of cue validities. When validities were linearly distributed, groups using a compensatory strategy achieved the highest accuracy. Conversely, when cue validities followed a J-shaped distribution, groups using a simple lexicographic heuristic performed best. While these effects were robust across different quantities of shared information, the quality of shared information exerted stronger effects on group performance. Consequences for prescriptive theories on group decision making are discussed. (shrink)

This paper aims to give an insight into developments that contributed to the significance of the work of Jakob von Uexküll and stresses the importance of his occupation in Hamburg. A biographical survey pays tribute to the implication of the historical pretext and context. A scientific survey describes findings and ideas of Uexküll that proved important for the development of biology and the cognitive sciences. In addition, this paper sets out to reject the common notion that Uexküll’s concepts were ideas (...) of a purely theoretical and philosophical character. It confirms that in fact the central aims of his work were to sustain the empirical method in biology and to give biology a sound epistemological basis. Some examples show how historical and theoretical developments converged at Uexküll’s Institut für Umweltforschung in Hamburg and ignited a productive research activity. (shrink)

In this paper, we take up two objections Raymond Geuss levels against John Rawls′ ideal theory in Philosophy and Real Politics. We show that, despite their fundamental disagreements, the two theorists share a common starting point: they both reject doing political philosophy by way of applying an independently derived moral theory; and grapple with the danger of unduly privileging the status quo. However, neither Rawls′ characterization of politics nor his ideal theoretical approach as response to the aforementioned danger is adequate (...) or so we argue. Moreover, contrary to received opinion, Geuss′ political philosophy is the more reflective and the more philosophical of the two. In a final section, we highlight another agreement: both think that political philosophers should develop conceptual innovations as a way of clarifying and overcoming practical problems. We demonstrate that Geuss could offer a number of reasons for finding Rawls′ conceptual innovations wanting. (shrink)

This chapter provides an analysis of the long process of introducing an electronic identity for online authentication in Germany. This process is described as a multi-facet innovation, involving actors from different policy fields shifting over time. The eID process started in the late ‘90s in the context of eGovernment and eCommerce with the legislation on e-signatures, which were supposed to allow for online authentication of citizens. When after 5 years it was recognized that this was not the case, a new (...) digital ID card, which had meanwhile been announced, was chosen as token for the eID. This process was dominated by the concerns for visual inspection and border control, including the storage of digital fingerprints. Under the leadership of the Ministry of the Interior (BMI) and technical guidance of the Federal Agency for Information Security (BSI), technical specifications have to a large extent been adopted from the electronic passport, which had been smoothly introduced 2 years before. However, in the legislative process some concern regarding digital fingerprints on the eID card was raised and led to an opt-in solution. In 2009, a bill on the new ID card was passed which regulates the eID function for online authentication as well. This is characterized as a radical innovation by introducing a double-sided, mutual authentication of the citizen and the service provider and implementing the principle of proportionality regarding the access of service providers to data on the chip. At the time of writing, field tests are conducted. Roll-out of the new eID card is to start in November 2010. Therefore no figures about adoption can be provided here. (shrink)