By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.

We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly normalizing terms (...) of pure lambda calculus can be characterized in this system, but also that a straightforward modification of its rules allows to characterize the set of weakly normalizing terms. (shrink)

Is democracy a requirement of justice or an instrument for realizing it? The correct answer to this question, I argue, depends on the background circumstances against which democracy is defended. In the presence of thin reasonable disagreement about justice, we should value democracy only instrumentally (if at all); in the presence of thick reasonable disagreement about justice, we should value it also intrinsically, as a necessary demand of justice. Since the latter type of disagreement is pervasive in real-world politics, I (...) conclude that theories of justice designed for our world should be centrally concerned with democracy. (shrink)

When and why do socially constructed norms—including the laws of the land, norms of etiquette, and informal customs—generate moral obligations? I argue that the answer lies in the duty to respect others, specifically to give them what I call “agency respect.” This is the kind of respect that people are owed in light of how they exercise their agency. My central thesis is this: To the extent that (i) existing norms are underpinned by people’s commitments as agents and (ii) they (...) do not conflict with morality, they place moral demands on us on agency-respect grounds. This view of the moral force of socially constructed norms, I suggest, is superior to views that deny the moral force of such norms, and it elegantly explains certain instances of wrongdoing that would otherwise remain unaccounted for. (shrink)

In his recent bookThe Idea of Justice, Amartya Sen suggests that political philosophy should move beyond the dominant, Rawls-inspired, methodological paradigm – what Sen calls ‘transcendental institutionalism’ – towards a more practically oriented approach to justice: ‘realization-focused comparison’. In this article, I argue that Sen's call for a paradigm shift in thinking about justice is unwarranted. I show that his criticisms of the Rawlsian approach are either based on misunderstandings, or correct but of little consequence, and conclude that the Rawlsian (...) approach already delivers much of what Sen himself wants from a theory of justice. (shrink)

A globalized world, some argue, needs a global democracy. But there is considerable disagreement about whether global democracy is an ideal worth pursuing. One of the main grounds for scepticism is captured by the slogan: “No global demos, no global democracy.” The fact that a key precondition of democracy—a demos—is absent at the global level, some argue, speaks against the pursuit of global democracy. The paper discusses four interpretations of the skeptical slogan—each based on a specific account of the notion (...) of “the demos”—and concludes that none of them establishes that the global democratic ideal must be abandoned. In so doing, the paper (i) systematizes different types of objections against global democracy, thus bringing some clarity to an otherwise intricate debate and (ii) offers a robust but qualified defense of the global democratic ideal. (shrink)

Die fünf Bände enthalten die Hauptvorträge und eingeladene Beiträge der panels des X. Internationalen Kant-Kongresses, der 2005 in Sao Paolo stattfand.

This article provides a conceptual map of the debate on ideal and non‐ideal theory. It argues that this debate encompasses a number of different questions, which have not been kept sufficiently separate in the literature. In particular, the article distinguishes between the following three interpretations of the ‘ideal vs. non‐ideal theory’ contrast: (i) full compliance vs. partial compliance theory; (ii) utopian vs. realistic theory; (iii) end‐state vs. transitional theory. The article advances critical reflections on each of these sub‐debates, and highlights (...) areas for future research in the field. (shrink)

In this article, I develop a new account of the liberal view that principles of justice are meant to justify state coercion, and consider its implications for the question of global socioeconomic justice. Although contemporary proponents of this view deny that principles of socioeconomic justice apply globally, on my newly developed account this conclusion is mistaken. I distinguish between two types of coercion, systemic and interactional, and argue that a plausible theory of global justice should contain principles justifying both. The (...) justification of interactional coercion requires principles regulating interstate interference; that of systemic coercion requires principles of global socioeconomic justice. I argue that the proposed view not only helps us make progress in the debate on global justice, but also offers an independently compelling and systematic account of the function and conditions of applicability of justice. -/-. (shrink)

A prominent view in contemporary political theory, the ‘associative view’, says that duties of justice are triggered by particular cooperative relations between morally significant agents, and that ‘therefore’ principles of justice apply only among fellow citizens. This view has been challenged by advocates of global justice, who point to the existence of a world-wide cooperative network to which principles of justice apply. Call this the challenge from geographical extension. In this paper, I pose a structurally similar challenge to the associative (...) view: the challenge from species extension. This says that the existing network of cooperation extends beyond the human species, to encompass some non-human animals, particularly domesticated dogs. In light of this, if one believes that (i) certain non-human animals are morally significant (i.e. objects of moral concern), and that (ii) justice applies to fellow cooperators, one should also hold that domesticated dogs are owed justice in much the same way our human fellow citizens are. I conclude by considering the implications of this argument for the associative view, and animal-rights theory. (shrink)

We ordinarily believe that the inhabitants of the world - including ourselves - persist over time. Such an idea, however, has puzzled philosophers for centuries. How can we change and still be the same? More specifically, is there any constitutive condition of our identity over time? And if so, does this condition involve mental aspects, physical aspects, or something else? Or is rather personal identity primitive and unanalyzable, so that our persistence is nothing but a brute fact? This volume is (...) a collection of new essays from leading figures in the field analyzing the persistence of persons and the criteria of personal identity over time. It presents an extensive discussion of the most relevant views on personal identity in contemporary metaphysics and provides new treatments of the constitutive conditions of personal persistence. (shrink)

Which standards should we employ to evaluate the global order? Should they be standards of justice or standards of legitimacy? In this article, I argue that liberal political theorists need not face this dilemma, because liberal justice and legitimacy are not distinct values. Rather, they indicate what the same value, i.e. equal respect for persons, demands of institutions under different sets of circumstances. I suggest that under real-world circumstances – characterized by conflicts and disagreements – equal respect demands basic-rights protection (...) and democratic participation, which I here call ‘political justice’. I conclude the article by considering three possible configurations of the global order – the ‘democratic world-state’, ‘independent democratic states’, and ‘mixed’ models – and argue that a commitment to political justice speaks in favour of the latter. (shrink)

Principles of distributive justice bind macro-level institutional agents, like the state. But what does justice require in non-ideal circumstances, where institutional agents are unjust or do not e...

Much contemporary political philosophy claims to be Kant-inspired, but its aims and method differ from Kant's own. In his recent book, Force and Freedom, Arthur Ripstein advocates a more orthodox Kantian outlook, presenting it as superior to dominant (Kant-inspired) views. The most striking feature of this outlook is its attempt to ground the whole of political morality in one right: the right to freedom, understood as the right to be independent of others’ choices. Is Ripstein's Kantian project successful? In this (...) research note I argue that it is not. First, I suggest that Ripstein's notion of freedom is viciously circular. It is meant to ground all rights, but in fact it presupposes an account of those rights. Second, I show that—independently of its inability to ground a whole political morality—such a moralized understanding of freedom is normatively unappealing. (shrink)

Many political theorists defend the view that egalitarian justice should extend from the domestic to the global arena. Despite its intuitive appeal, this ‘global egalitarianism’ has come under attack from different quarters. In this article, we focus on one particular set of challenges to this view: those advanced by domestic egalitarians. We consider seven types of challenges, each pointing to a specific disanalogy between domestic and global arenas which is said to justify the restriction of egalitarian justice to the former, (...) and argue that none of them – both individually and jointly – offers a conclusive refutation of global egalitarianism. (shrink)

In this article, I sketch a Kant-inspired liberal account of human rights: the freedom-centred view. This account conceptualizes human rights as entitlements that any political authority—any state in the first instance—must secure to qualify as a guarantor of its subjects' innate right to freedom. On this picture, when a state (or state-like institution) protects human rights, it reasonably qualifies as a moral agent to be treated with respect. By contrast, when a state (or state-like institution) fails to protect human rights, (...) it loses its moral status and becomes liable to both internal and external interference. I argue that this account not only steers a middle course between so-called natural-law and political approaches to human rights but also satisfies three important theoretical desiderata— explanatory power, functional specificity, and critical capacity. (shrink)

Reference to the state is ubiquitous in debates about global justice. Some authors see the state as central to the justification of principles of justice, and thereby reject their extension to the international realm. Others emphasize its role in the implementation of those principles. This chapter scrutinizes the variety of ways in which the state figures in the global-justice debate. Our discussion suggests that, although the state should have a prominent role in theorizing about global justice, contrary to what is (...) commonly thought, acknowledging this role does not lead to anti-cosmopolitan conclusions, but to the defense of an “intermediate” position about global justice. From a justificatory perspective, we argue, the state remains a key locus for the application of egalitarian principles of justice, but is not the only one. From the perspective of implementation, we suggest that state institutions are increasingly fragile in a heavily interdependent world, and need to be supplemented—though not supplanted—with supranational authorities. (shrink)

In a recent paper, Cumpa : 319–324, 2014) argues that a scientific turn in metaphysics requires the acceptance of a materialist criterion of fundamentality, according to which the most fundamental metaphysical category is the one that provides us with a reconciliation of the ordinary world and the physical universe. He concludes that the dominant category of substance cannot be the most fundamental category, for it does not satisfy this criterion of fundamentality. The most fundamental category is instead the category of (...) fact. Although convincing, the defense of factualism over substantialism offered by Cumpa takes into account the case of classical physics without considering the physical universe of quantum mechanics. My aim in this paper is to offer a completion to Cumpa’s factualist approach. To achieve my aim, I show that substances cannot provide a satisfactory account of the relationship between the ordinary world and the physical universe even in the case of quantum mechanics, whereas a factualist approach does. (shrink)

No presente trabalho será demonstrada a estreita, embora discreta, relação da filosofia moral de Kant com a ética antiga, especialmente com o estoicismo de Cícero. O tema será explicitado mediante uma aproximação entre as obras da Crítica da razão prática e Sobre os fins (De finibus), respectivamente de cada um desses autores. Será destacada a crítica de Kant à identificação entre virtude e felicidade e sua reformulação sintética no conceito de “sumo bem”. Na conclusão se torna claro que a realização (...) moral da razão, reivindicada por Cícero, encontra na reformulação de Kant sua determinação mais precisa. The crises of practical reason and stoicismThe present paper shows the close albeit subtle relation of Kant’s moral philosophy to ancient ethics, especially Cicero’s Stoicism. The subject is made explicit by means of a rapprochement between the Critique of practical reason and De finibus, so as to be highlight Kant’s criticism of the classical identifying of virtue and happiness and his synthetical recasting of the concept of the supreme good. The essay concludes by making clear that the moral actualization of reason, reclaimed by Cicero, finds in Kant’s reformulation its most precise determination. (shrink)

No presente trabalho será demonstrada a estreita, embora discreta, relação da filosofia moral de Kant com a ética antiga, especialmente com o estoicismo de Cícero. O tema será explicitado mediante uma aproximação entre as obras da Crítica da razão prática e Sobre os fins (De finibus), respectivamente de cada um desses autores. Será destacada a crítica de Kant à identificação entre virtude e felicidade e sua reformulação sintética no conceito de “sumo bem”. Na conclusão se torna claro que a realização (...) moral da razão, reivindicada por Cícero, encontra na reformulação de Kant sua determinação mais precisa. The crises of practical reason and stoicism Abstract The present paper shows the close albeit subtle relation of Kant’s moral philosophy to ancient ethics, especially Cicero’s Stoicism. The subject is made explicit by means of a rapprochement between the Critique of practical reason and De finibus, so as to be highlight Kant’s criticism of the classical identifying of virtue and happiness and his synthetical recasting of the concept of the supreme good. The essay concludes by making clear that the moral actualization of reason, reclaimed by Cicero, finds in Kant’s reformulation its most precise determination. (shrink)

Philosophical discussion of human rights has long been monopolised by what might be called the ‘natural-law view’. On this view, human rights are fundamental moral rights which people enjoy solely by virtue of their humanity. In recent years, a number of theorists have started to question the validity of this outlook, advocating instead what they call a ‘political’ view. My aim in this article is to explore the latter view in order to establish whether it constitutes a valuable alternative to (...) the ‘natural-law view’. In particular, I distinguish between three ways in which human rights can be political: in relation to their (1) iudicandum, (2) justification and (3) feasibility constraints. I argue that it makes sense to think of human rights as political in relation to both their iudicandum and their justification but in a way that is not always adequately captured by proponents of the political view. Moreover, I also claim that, if we take the political view seriously, we still need to engage in the sort of abstract moral reasoning that characterises the natural-law approach and which proponents of the political view significantly downplay. (shrink)

A life without liberty and material resources is not a good life. Equally, a life devoid of meaningful social relationships—such as friendships, family attachments, and romances—is not a good life. From this it is tempting to conclude that just as individuals have rights to liberty and material resources, they also have rights to access meaningful social relationships. I argue that this conclusion can be defended only in a narrow set of cases. ‘Pure’ social relationship deprivation—that is, deprivation that is not (...) caused, or accompanied, by deficits in liberties and material resources— mostly generates demands of private beneficence. I suggest that social relationship deprivation is unjust, hence a rights violation, only when it is due to factors—such as one’s race—that are irrelevant to one’s being a good participant in social relationships. I thus conclude that access to meaningful social relationships is not a fundamental concern for theories of justice. (shrink)

In late 2012, Hurricane Sandy hit the East Coast of the U.S., causing much suffering and devastation. Those who could have easily helped Sandy’s victims had a duty to do so. But was this a rightfully enforceable duty of justice, or a non-enforceable duty of beneficence? The answer to this question is often thought to depend on the kind of help offered: the provision of immediate bodily services is not enforceable; the transfer of material resources is. I argue that this (...) double standard is unjustified, and defend a version of what I call “Social Samaritanism.” On this view, within political communities, the duty to help the needy—whether via bodily services or resource transfers—is always an enforceable demand of justice, except when the needy are reckless; across independent political communities, it is always a matter of beneficence. I defend this alternative double standard, and consider its implications for the case of Sandy. (shrink)