Homegardens are traditional food systems that have been adapted over generations to fit local cultural and ecological conditions. They provide a year-round diversity of nutritious foods for smallholder farming communities in many regions of the tropics and subtropics. In southwestern Uganda, homegardens are the primary source of food, providing a diverse diet for rural marginalized poor. However, national agricultural development plans as well as economic and social pressures threaten the functioning of these homegardens. The implications of these threats are difficult (...) to evaluate, because the structure and functions of the homegardens are not well understood. The aim of the study was to identify patterns and influencing factors in the diversity of homegardens by documenting the floristic diversity and its interactions with spatial, environmental and socio-economic factors. A geographically and socially focused assessment of floristic diversity in 102 randomly selected homegardens in three districts of southwest Uganda was conducted along a deforestation gradient following a human ecology conceptual framework and testing multiple quantitative hypotheses regarding the above mentioned factors. A merged mixed-method approach was followed to provide context and feedback regarding quantitative findings. Results show a high total richness of 209 crop species dominated by food species, which constituted 96 percent of individuals and 44 percent of all species. Forest-edge homegardens maintained higher plant diversity compared to homegardens in deforested areas and near degraded wetlands. Multiple linear regression models indicated elevation, location, homegarden size, distance to market, additional land ownership and livestock ownership as significant predictors of crop diversity. Cluster analysis of species densities revealed four garden types: ‘diverse tree gardens’, ‘small forest-edge gardens’, ‘large, old, species-rich gardens’, and ‘large, annual-dominated herb gardens’, with 98% correct classification. Location, elevation, and garden size were also important determinants in the cluster assignment. We conclude that the diversity of the studied homegardens may be changing as part of adaptive traditional practices and in response to external drivers. The identified patterns illustrate the importance of homegardens for rural livelihoods and may offer some ways to support farmers to maintain these systems as relevant mechanisms for development in Uganda. (shrink)

Advanced AI systems are rapidly making their way into medical research and practice, and, arguably, it is only a matter of time before they will surpass human practitioners in terms of accuracy, reliability, and knowledge. If this is true, practitioners will have a prima facie epistemic and professional obligation to align their medical verdicts with those of advanced AI systems. However, in light of their complexity, these AI systems will often function as black boxes: the details of their contents, calculations, (...) and procedures cannot be meaningfully understood by human practitioners. When AI systems reach this level of complexity, we can also speak of black-box medicine. In this paper, we want to argue that black-box medicine conflicts with core ideals of patient-centered medicine. In particular, we claim, black-box medicine is not conducive for supporting informed decision-making based on shared information, shared deliberation, and shared mind between practitioner and patient. (shrink)

The main questions in philosophical research on attention concern its nature and impact. Regarding its nature, one might ask what sort of thing attention is; regarding its impact, one might ask what sort of thing attention does. While these questions have been asked by philosophers for thousands of years, they have had a resurgence in recent years due to advancements in the cognitive and neural sciences. This chapter will cover some historical context as prelude to a discussion of the contemporary (...) debates, ending with issues that are as of yet still on the horizon. Topics covered include the divide between voluntary/involuntary, endogenous/exogenous, and top-down/bottom-up attention; the Posner cueing task; Treisman and the binding problem; Mack and Rock on inattentional blindness; Grassia, Campbell, and Dickie on attention, perception, and knowledge; the debate between Block, Dehaene, and others on consciousness and attention; Wu on attention and action; and future directions for attention research in predictive processing models, neuroethics, technology, and addiction. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

Possible-worlds accounts of mental or linguistic content are often criticized for being too coarse-grained. To make room for more fine-grained distinctions among contents, several authors have recently proposed extending the space of possible worlds by "impossible worlds". We argue that this strategy comes with serious costs: we would effectively have to abandon most of the features that make the possible-worlds framework attractive. More generally, we argue that while there are intuitive and theoretical considerations against overly coarse-grained notions of content, the (...) same kinds of considerations also prohibit an overly fine-grained individuation of content. An adequate notion of content, it seems, should have intermediate granularity. However, it is hard to construe a notion of content that meets these demands. Any notion of content, we suggest, must be either implausibly coarse-grained or implausibly fine-grained (or both). (shrink)

The Groundwork of the Metaphysics of Morals is Kant's central contribution to moral philosophy, and has inspired controversy ever since it was first published in 1785. Kant champions the insights of 'common human understanding' against what he sees as the dangerous perversions of ethical theory. Morality is revealed to be a matter of human autonomy: Kant locates the source of the 'categorical imperative' within each and every human will. However, he also portrays everyday morality in a way that many readers (...) find difficult to accept. The Groundwork is a short book, but its argument is dense, intricate and at times treacherous. This commentary explains Kant's arguments paragraph by paragraph, and also contains an introduction, a synopsis of the argument, six short interpretative essays on key topics of the Groundwork, and a glossary of key terms. It will be an indispensable tool for anyone wishing to study the Groundwork in detail. (shrink)

Throughout the history of Western political thought, the creation of a world community has been seen as a way of overcoming discord between political communities without imposing sovereign authority from above. Jens Bartelson argues that a paradox lies at the centre of discussions of world community. The very same division of mankind into distinct peoples living in different places which makes the idea of a world community morally compelling has also been the main obstacle to its successful realization. His (...) book offers a philosophical and historical analysis of the idea of world community by exploring the relationship between theories of world community and changing cosmological beliefs from the late Middle Ages to the present. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

What kind of political order would there be in the absence of the state? Jens Bartelson argues that we are currently unable to imagine what might lurk 'beyond', because our basic concepts of political order are conditioned by our experience of statehood. In this study, he investigates the concept of the state historically as well as philosophically, considering a range of thinkers and theories. He also considers the vexed issue of authority: modern political discourse questions the form and content (...) of authority, but makes it all but impossible to talk about the foundations of authority. Largely due to the existing practices of political and scientific criticism, authority appears to be unquestionable. Bartelson's wide-ranging and readable discussion of the suppositions and presuppositions of statehood will be of interest to scholars and upper-level students of political theory and social theory, and philosophy of social science. (shrink)

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian strategy. But (...) in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

The Oxford Handbook of Carl Schmitt collects thirty original chapters on the diverse oeuvre of one of the most controversial thinkers of the twentieth century. Carl Schmitt was a German theorist whose anti-liberalism continues to inspire scholars and practitioners on both the Left and the Right. Despite Schmitt's rabid anti-semitism and partisan legal practice in Nazi Germany, the appeal of his trenchant critiques of, among other things, aestheticism, representative democracy, and international law as well as of his theoretical justifications of (...) dictatorship and rule by exception is undiminished. Uniquely located at the intersection of law, the social sciences, and the humanities, this volume brings together sophisticated yet accessible interpretations of Schmitt's sprawling thought and complicated biography. The contributors hail from diverse disciplines, including art, law, literature, philosophy, political science, and history. In addition to opening up exciting new avenues of research, The Oxford Handbook of Carl Schmitt provides the intellectual foundations for an improved understanding of the political, legal, and cultural thought of this most infamous of German theorists. A substantial introduction places the trinity of Schmitt's thought in a broad context. (shrink)

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at (...) all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition. -/- This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience. -/- A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths. -/- A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods. -/- The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find. (shrink)

It has recently been argued that a sensitivity theory of knowledge cannot account for intuitively appealing instances of higher-order knowledge. In this paper, we argue that it can once careful attention is paid to the methods or processes by which we typically form higher-order beliefs. We base our argument on what we take to be a well-motivated and commonsensical view on how higher-order knowledge is typically acquired, and we show how higher-order knowledge is possible in a sensitivity theory once this (...) view is adopted. (shrink)

Political economy and economic sociology have developed in relative isolation from each other. While political economy focuses largely on macro phenomena, economic sociology focuses on the embeddedness of economic action. The article argues that economic sociology can provide a microfoundation for political economy beyond rational actor theory and behavioral economics. At the same time political economy offers a unifying research framework for economic sociology with its focus on the explanation of capitalist dynamics. The sociological microfoundation for understanding of capitalist dynamics (...) should focus on the expectations actors have regarding future states of the world. Based on a discussion of what I call the four Cs of capitalism, I argue that under conditions of uncertainty, expectations are contingent and should be understood as “fictional expectations.” The capability of humans to imagine future states of the world that can be different from the present is the central basis for a sociological microfoundation of the dynamics of economic macro phenomena. Macroeconomic dynamics are anchored in these “fictional expectations,” which create motifs for engaging in potentially profitable but ultimately incalculable outcomes. This shifts attention to the “management of expectations” as a crucial element of economic activity and to the institutional, political, and cultural foundations of expectations. The reproduction of capitalism is precarious also because of the contingency of expectations conducive to its growth. (shrink)

Mimesis, the notion that art imitates reality, has long been recognized as one of the central ideas of Western aesthetics and has been most frequently associated with Aristotle. Less well documented is the great importance of mimetic theories of literature, theater, and the visual arts during the Renaissance and the Enlightenment. In this book, the most comprehensive overview of the theory of mimesis since Auerbach's monumental study, Gunter Gebauer and Christoph Wulf provide a thorough introduction to the complex and (...) shifting meanings of the term. Beginning with the Platonic doctrine of imitation, they chart the concept's appropriation and significance in the aesthetic theories of Aristotle, Molière, Shakespeare, Racine, Diderot, Lessing, and Rousseau. They examine the status of mimesis in the nineteenth-century novel and its reworking by such modern thinkers as Benjamin, Adorno, and Derrida. Widening the traditional understanding of mimesis to encompass the body and cultural practices of everyday life, their work suggests the continuing value of mimetic theory and will prove essential reading for scholars and students of literature, theater, and the visual arts. (shrink)

When a proposition might be the case, for all an agent knows, we can say that the proposition is epistemically possible for the agent. In the standard possible worlds framework, we analyze modal claims using quantification over possible worlds. It is natural to expect that something similar can be done for modal claims involving epistemic possibility. The main aim of this paper is to investigate the prospects of constructing a space of worlds—epistemic space—that allows us to model what is epistemically (...) possible for ordinary, non-ideally rational agents like you and me. I will argue that the prospects look dim for successfully constructing such a space. In turn, this will make a case for the claim that we cannot use the standard possible worlds framework to model what is epistemically possible for ordinary agents. (shrink)

We argue that stereotypes associated with concepts like he-said–she-said, conspiracy theory, sexual harassment, and those expressed by paradigmatic slurs provide “normative inference tickets”: conceptual permissions to automatic, largely unreflective normative conclusions. These “mental shortcuts” are underwritten by associated stereotypes. Because stereotypes admit of exceptions, normative inference tickets are highly flexible and productive, but also liable to create serious epistemic and moral harms. Epistemically, many are unreliable, yielding false beliefs which resist counterexample; morally, many perpetuate bigotry and oppression. Still, some normative (...) inference tickets, like some activated by sexual harassment, constitute genuine moral and hermeneutical advances. For example, our framework helps explain Miranda Fricker’s notion of “hermeneutical lacunae”: what early victims of “sexual harassment” — as well as their harassers — lacked before the term was coined was a communal normative inference ticket — one that could take us, collectively, from “this is happening” to “this is wrong.”. (shrink)

Algorithms are used across a wide range of societal sectors such as banking, administration, and healthcare to make predictions that impact on our lives. While the predictions can be incredibly accurate about our present and future behavior, there is an important question about how these algorithms in fact represent human identity. In this paper, we explore this question and argue that machine learning algorithms represent human identity in terms of what we shall call the statistical individual. This statisticalized representation of (...) individuals, we shall argue, differs significantly from our ordinary conception of human identity, which is tightly intertwined with considerations about biological, psychological, and narrative continuity—as witnessed by our most well-established philosophical views on personal identity. Indeed, algorithmic representations of individuals give no special attention to biological, psychological, and narrative continuity and instead rely on predictive properties that significantly exceed and diverge from those that we would ordinarily take to be relevant for questions about how we are. (shrink)

Pluralistic ignorance is a socio-psychological phenomenon that involves a systematic discrepancy between people’s private beliefs and public behavior in certain social contexts. Recently, pluralistic ignorance has gained increased attention in formal and social epistemology. But to get clear on what precisely a formal and social epistemological account of pluralistic ignorance should look like, we need answers to at least the following two questions: What exactly is the phenomenon of pluralistic ignorance? And can the phenomenon arise among perfectly rational agents? In (...) this paper, we propose answers to both these questions. First, we characterize different versions of pluralistic ignorance and define the version that we claim most adequately captures the examples cited as paradigmatic cases of pluralistic ignorance in the literature. In doing so, we will stress certain key epistemic and social interactive aspects of the phenomenon. Second, given our characterization of pluralistic ignorance, we argue that the phenomenon can indeed arise in groups of perfectly rational agents. This, in turn, ensures that the tools of formal epistemology can be fully utilized to reason about pluralistic ignorance. (shrink)

This paper argues in favor of a hybrid conception of identity. A common conception of identity in datafied society is a split between a digital self and a real self, which has resulted in concepts such as the data double, algorithmic identity, and data shadows. These data-identity metaphors have played a significant role in the conception of informational privacy as control over information—the control of or restricted access to your digital identity. Through analyses of various data-identity metaphors as well as (...) philosophical accounts of identity, we argue in favor of a hybrid conception of identity that emphasizes the relations between the ‘real’ and the ‘digital’. A hybrid conception of identity—where the digital is an aspect on par with social relations, self-understanding, and values—ultimately calls for an understanding of privacy as the right to influence one’s own identity. (shrink)

Brockmeier reflects on the positive consequences (e.g., socio‐cultural socialization of children) of examining conversational remembering as a process or practice that is context‐dependent and functionally oriented, relying on the interplay of narrative, cognitive and cultural resources co‐evolving over multiple time‐scales rather than just a substance or product located in people’s brains.

The Supreme Court’s decision in Dobbs v. Jackson Women’s Health Organization plunged the United States into a devastating public health crisis. While we have some evidence of the deep harms that ab...

Under the influence of groundbreaking work by John Meyer and Brian Rowen, as well as Paul DiMaggio and Walter Powell, over the last 30 years research in the new sociological institutionalism has focused on processes of isomorphism. I argue that this is a one-sided focus that leaves out many insights from other institutional and macrosociological approaches and does not do justice to actual social change because it overlooks the role played by divergent institutional development. While the suggestion of divergent trends (...) is not new, there have been few attempts to integrate divergence into the theoretical premises of the new sociological institutionalism. Based on the typology proposed by DiMaggio and Powell, I show that the mechanisms identified by them as sources of isomorphic change can support processes of divergent change as well. The theoretical challenge is to identify conditions under which these mechanisms push institutional change toward homogenization or divergence. (shrink)

Das Buch behandelt Kants Versuch, innerhalb seiner Ethik Sittengesetz, Naturgesetz und Freiheit im moralischen Handeln in Einklang zu bringen. Im ersten Teil stehen die Begriffe der Freiheit und des Willens bei Kant im Mittelpunkt. Der zweite Teil untersucht detailliert die Kernpunkte der kantischen Ethik: den (letztlich gescheiterten) Versuch, Freiheit und Naturkausalit t auszus hnen, und die Theorie des Handelns nach Moralgesetzen, deren Wahl den freien Willen als eigentliches Moment ausmacht. Am Ende steht die Einsicht in ein hoch entwickeltes, differenziertes gedankliches (...) System, das unserer Alltagsauffassung von moralischer Verantwortung erstaunlich nahe kommt. (shrink)

In this paper we explore the potential bearing of the extended mind thesis—the thesis that the mind extends into the world—on epistemology. We do three things. First, we argue that the combination of the extended mind thesis and reliabilism about knowledge entails that ordinary subjects can easily come to enjoy various forms of restricted omniscience. Second, we discuss the conceptual foundations of the extended mind and knowledge debate. We suggest that the theses of extended mind and extended knowledge lead to (...) a bifurcation with respect to the concepts of belief and knowledge. We suggest that this conceptual bifurcation supports a form of pluralism about these concepts. Third, we discuss whether something similar can be said at the metaphysical level. (shrink)

Why, then, has Anglo-American jurisprudence remained staunchly indifferent to history? How has it been able to maintain its confident assumption that the analytical and the historical can be neatly...

Mimesis, the notion that art imitates reality, has long been recognized as one of the central ideas of Western aesthetics and has been most frequently associated with Aristotle. Less well documented is the great importance of mimetic theories of literature, theater, and the visual arts during the Renaissance and the Enlightenment. In this book, the most comprehensive overview of the theory of mimesis since Auerbach's monumental study, Gunter Gebauer and Christoph Wulf provide a thorough introduction to the complex and (...) shifting meanings of the term. Beginning with the Platonic doctrine of imitation, they chart the concept's appropriation and significance in the aesthetic theories of Aristotle, Molière, Shakespeare, Racine, Diderot, Lessing, and Rousseau. They examine the status of mimesis in the nineteenth-century novel and its reworking by such modern thinkers as Benjamin, Adorno, and Derrida. Widening the traditional understanding of mimesis to encompass the body and cultural practices of everyday life, their work suggests the continuing value of mimetic theory and will prove essential reading for scholars and students of literature, theater, and the visual arts. (shrink)

In this paper, we present and defend an analysis of harm that we call the Negative Influence on Well-Being Account (NIWA). We argue that NIWA has a number of significant advantages compared to its two main rivals, the Counterfactual Comparative Account (CCA) and the Causal Account (CA), and that it also helps explain why those views go wrong. In addition, we defend NIWA against a class of likely objections, and consider its implications for several questions about harm and its role (...) in normative theorizing. (shrink)

Philosophers of sport seem to have lived happily with the idea that the knowledge in sporting skills is knowing how. In traditional epistemology, knowing how does not qualify to be knowledge proper since knowledge is a question of whether a belief is true and justified. Unless knowing how is a special case of knowing that, it is not knowledge. The argument for such an identification arises saying that a former expert in tennis has tennis know-how, although she cannot perform skillfully. (...) If we do not need ability to perform a skill and still have know-how, it seems reasonable to say that know-how is a type of knowing that. With such a move, skills are perhaps not identical to know-how. Are we then left with the idea that there isn’t any knowledge in sporting skills? If we stick with the idea that a fine forehand is indeed an able forehand, the question of what knowledge skills contain remains. This article aims to discuss and shed light on issues related between knowledge, knowing h... (shrink)

During the past decades, research collaboration between researchers from different disciplines has become more frequent. However, there is a need to look into the generic modalities and challenges. The article explores a series of potential obstructions to cross-disciplinary collaboration of methodological and epistemological nature. Furthermore, a number of contextual, inhibiting factors are outlined. As means of overcoming the obstacles, the importance of mutual knowledge, allocation of adequate time and conducive research management is emphasised. New teams may benefit from tutoring by (...) facilitators, who can help to make problem areas explicit and negotiate solutions. Owing to the training background of the author, most of the examples are drawn from the interface between biomedicine/natural science and applied medical anthropology. However, the issues raised basically apply to all sorts of cross-disciplinary research collaboration in various combinations. (shrink)

We show that metric spaces and continuous functions between them are domain representable using the category of Scott-Ershov domains. A notion of effectivity for metric spaces is thereby inherited from effective domain theory. It is shown that a separable metric space with an effective metric can be represented by an effective domain. For a class of spaces, including the Euclidean spaces, the usual notions of effectivity are obtained. The Banach fixed point theorem is a consequence of the least fixed point (...) theorem for domains. A notion of semieffective domains is introduced and used to give a new proof of Ceitin's theorem. (shrink)