The present essay provides an overview of the images of seventeenth-century philosophy in the Rivista di storia della filosofia (then retitled Rivista critica di storia della filosofia) in the years 1946–1983. Founded in 1946 by Mario Dal Pra, the journal promoted a new anti-idealistic approach to the history of philosophy. Based on philological accuracy, this approach enhanced the complexity of history and the interdependence of different fields of knowledge. In particular, the unprecedented emphasis on the connections between science and philosophy (...) entailed a preeminent place for empiricism in the Rivista. This explains why this essay focuses on empiricist currents in seventeenth-century philosophy and especially on three of their representatives, namely Galileo Galilei, Thomas Hobbes and Francis Bacon. (shrink)

Drawing on empirical evidence from history and anthropology, we aim to demonstrate that there is room for genealogical ideology critique within normative political theory. The test case is some libertarians’ use of folk notions of private property rights in defence of the legitimacy of capitalist states. Our genealogy of the notion of private property shows that asking whether a capitalist state can emerge without violations of self-ownership cannot help settling the question of its legitimacy, because the notion of private property (...) presupposed by that question is a product of the entity it is supposed to help legitimise: the state. We anchor our genealogical critique in recent work on ideology in epistemology and philosophy of language, and in current debates on the methodology of political theory. But, unlike more traditional approaches that aim to debunk whole concepts or even belief systems, we propose a more targeted, argument-specific form of ideology critique. (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)

In the last two decades Anglophone political theory witnessed a renewed interest in social-scientific empirical findings—partly as a reaction against normative theorizing centred on the formulation of abstract, intuition-driven moral principles. This brief paper begins by showing how this turn has taken two distinct forms: (i) a non-ideal theoretical orientation, which seeks to balance the emphasis on moral principles with feasibility and urgency considerations, and (ii) a fact-centric orientation, which seeks to ground normative conclusions in empirical results. The core of (...) the paper then compares and contrast three variants of fact-centric political theory: normative behaviourism, grounded normative theory, and radical realism. The upshot: normative behaviourism achieves focus on observable behaviour at the cost of status quo bias, grounded normative theory achieves radicalism at the cost of endorsing an activist orientation to theorising, and radical realism combines a non-activist orientation with the potential for far-reaching critique of the status quo. (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)

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 present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...) predicativity of inductive definitions. (shrink)

In this article I argue that characterizations of anger as a hostile emotion may be mistaken. My project is empirically informed and is partly descriptive, partly diagnostic. It is descriptive in that I am concerned with what anger is, and how it tends to manifest, rather than with what anger should be or how moral anger is manifested. The orthodox view on anger takes it to be, descriptively, an emotion that aims for retribution. This view fits well with anger being (...) a hostile emotion, as retribution is punitive. I will argue that a different view of anger deserves our attention. On this alternative view, anger aims for recognition of harms done, rather than for the punishment of those who have committed them. I argue that we have reason to favour a strong view that excludes retribution from anger’s main aims. In addition, I offer a diagnosis of the reasons that led the retributive view of anger to become, and remain, orthodoxy. This diagnosis provides indirect reason to give my descriptive proposal serious consideration, for it highlights that the orthodox view has dominated folk and philosophical conceptions of anger for reasons that do not speak in favour of the view’s veracity. The view that anger is a hostile emotion will therefore emerge as in need of serious scrutiny. (shrink)

Frank Jackson often writes as if his descriptivist account of public language meanings were just plain common sense. How else are we to explain how different speakers manage to communicate using a public language? And how else can we explain how individuals arrive at confident judgments about the reference of their words in hypothetical scenarios? Our aim in this paper is to show just how controversial the psychological assumptions behind in Jackson’s semantic theory really are. First, we explain how Jackson’s (...) theory goes well beyond the commonsense platitudes he cites in its defence. Second, we sketch an alternative explanation of those platitudes, the jazz model of meaning, which we argue is more psychologically realistic. We conclude that the psychological picture presupposed by Jackson’s semantic theory stands in need of a much more substantial defence than he has so far offered. (shrink)

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)

What do we talk about when we talk about ethical diversity as a challenge to the normative justifiability of liberal democracy? Many theorists claim that liberal democracy ought to be reformed or rejected for not being sufficiently ‘inclusive’ towards diversity; others argue that, on the contrary, liberalism is desirable because it accommodates (some level of) diversity. Moreover, it has been argued that concern for diversity should lead us to favour (say) neutralistic over perfectionist, universalistic over particularistic, participative over representative versions (...) of liberal democracy. This paper provides a conceptual framework to situate those debates, and argues that there are two fundamental ways in which diversity constitutes a challenge to the justificatory status of liberal democracy: consistency (whereby diversity causes clashes between the prescriptions generated by normative political theories), and adequacy (whereby diversity generates a rift between our experience of what is considered valuable and what the theory treats as such). (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)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (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)

Various philosophers authors have argued—on the basis of powerful examples—that we can have compelling moral or practical reasons to believe, even when the evidence suggests otherwise. This paper explores an alternative story, which still aims to respect widely shared intuitions about the motivating examples. Specifically, the paper proposes that what is at stake in these cases is not belief, but rather acceptance—an attitude classically characterized as taking a proposition as a premise in practical deliberation and action. I suggest that acceptance’s (...) theoretical usefulness in the ethics of belief has been hidden by its psychological obscurity. I thus aim to develop an empirically adequate and mechanistically specific psychological profile of acceptance. I characterize acceptance as centrally involving a cognitive gating function, in which we prevent a target belief state from having its characteristic downstream effects on reasoning, cognition, and action, and restructure those downstream processes. I then argue that there is substantial empirical support for the existence of the cognitive mechanisms needed to instantiate this view, coming from the science of emotion regulation. I argue that acceptance involves deploying the same mechanisms used in emotional response modulation to belief states: acceptance is doxastic response modulation. I then propose that having a better understanding of the psychological profile of acceptance leaves us better positioned to appreciate its potential usefulness for making progress on various puzzles within the ethics of belief. (shrink)

This chapter discusses the Rawlsian project of public reason, or public justification-based 'political' liberalism, and its reception. After a brief philosophical rather than philological reconstruction of the project, the chapter revolves around a distinction between idealist and realist responses to it. Focusing on political liberalism’s critical reception illuminates an overarching question: was Rawls’s revival of a contractualist approach to liberal legitimacy a fruitful move for liberalism and/or the social contract tradition? The last section contains a largely negative answer to that (...) question. Nonetheless the chapter's conclusion shows that the research programme of political liberalism provided and continues to provide illuminating insights into the limitations of liberal contractualism, especially under conditions of persistent and radical diversity. The programme is, however, less receptive to challenges to do with the relative decline of the power of modern states. (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 this paper we show how a realistic normative democratic theory can work within the constraints set by the most pessimistic empirical results about voting behaviour and elite capture of the policy process. After setting out the empirical evidence and discussing some extant responses by political theorists, we argue that the evidence produces a two-pronged challenge for democracy: an epistemic challenge concerning the quality and focus of decision-making and an oligarchic challenge concerning power concentration. To address the challenges we then (...) put forward three main normative claims, each of which is compatible with the evidence. We start with a critique of the epistocratic position commonly thought to be supported by the evidence. We then introduce a qualified critique of referenda and other forms of plebiscite, and an outline of a tribune-based system of popular control over oligarchic influence on the policy process. Our discussion points towards a renewal of democracy in a plebeian but not plebiscitarian direction: Attention to the relative power of social classes matters more than formal dispersal of power through voting. We close with some methodological reflections about the compatibility between our normative claims and the realist program in political philosophy. (shrink)

Do salient normative claims about politics require moral premises? Political moralists think they do, political realists think they do not. We defend the viability of realism in a two-pronged way. First, we show that a number of recent attacks on realism, as well as realist responses to those attacks, unduly conflate distinctively political normativity and non-moral political normativity. Second, we argue that Alex Worsnip and Jonathan Leader-Maynard’s recent attack on realist arguments for a distinctively political normativity depends on assuming moralism (...) as the default view, which places an excessive burden on the viability of realism, and so begs the question. Our discussion, though, does not address the relative merits of realism and moralism, so its upshot is relatively ecumenical: moralism need not be the view that all apt normative political judgments are moral judgments, and realism need not be the view that no apt normative political judgments are moral judgments. (shrink)

Is there more to the recent surge in political realism than just a debate on how best to continue doing what political theorists are already doing? I use two recent books, by Michael Freeden and Matt Sleat, as a testing ground for realism’s claims about its import on the discipline. I argue that both book take realism beyond the Methodenstreit, though each in a different direction: Freeden’s takes us in the realm of meta-metatheory, Sleat’s is a genuine exercise in grounding (...) liberal normative theory in a non-moralistic way. I conclude with wider methodological observations. I argue that unlike communitarianism (the previous contender for the discipline’s renewal), realism has the potential to open new vistas, though their novelty is to a large extent relative to the last forty years or so: realism is best thought of as a return to a more traditional way of doing political philosophy. (shrink)

This is a response to Erman and Moller's response to our reply to their 'Political Legitimacy in the Real Normative World', both also in this journal.

This paper outlines an account of political realism as a form of ideology critique. Our focus is a defence of the normative edge of this critical-theoretic project against the common charge that there is a problematic trade-off between a theory’s groundedness in facts about the political status quo and its ability to consistently envisage radical departures from the status quo. To overcome that problem we combine insights from three distant corners of the philosophical landscape: theories of legitimacy by Bernard Williams (...) and other realists, Frankfurt School-inspired Critical Theory, and recent analytic epistemological and metaphysical theories of cognitive bias, ideology, and social construction. The upshot is a novel account of realism as empirically-informed diagnosis- critique of social and political phenomena. This view rejects a sharp divide between descriptive and normative theory, and so is an alternative to the anti- empiricism of some approaches to Critical Theory as well as to the complacency towards existing power structures found within liberal realism, let alone mainstream normative political philosophy, liberal or otherwise. (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)

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

This article reports the findings of AI4People, an Atomium—EISMD initiative designed to lay the foundations for a “Good AI Society”. We introduce the core opportunities and risks of AI for society; present a synthesis of five ethical principles that should undergird its development and adoption; and offer 20 concrete recommendations—to assess, to develop, to incentivise, and to support good AI—which in some cases may be undertaken directly by national or supranational policy makers, while in others may be led by other (...) stakeholders. If adopted, these recommendations would serve as a firm foundation for the establishment of a Good AI Society. (shrink)

In his thought-provoking book, Why Law Matters, Alon Harel defends two key claims: one ontological, the other axiological. First, he argues that constitutions and judicial review are necessary constituents of a just society. Second, he suggests that these institutions are not only means to the realization of worthy ends, but also non-instrumentally valuable. I agree with Harel that constitutions and judicial review have more than instrumental value, but I am not persuaded by his arguments in support of this conclusion. I (...) argue that Harel’s ontological claim is unsustainable, and that his axiological claim needs revision. Regarding the former, I show that constitutions and judicial review are only contingent constituents of a just society. Regarding the latter, I contest Harel’s specific account of the value of constitutions and judicial review. Harel grounds the non-instrumental value of constitutions in freedom as non-domination but, upon scrutiny, it emerges that their non-instrumental value lies elsewhere. Further, Harel holds that the non-instrumental value of judicial review stems from its embodying a right to a fair hearing. I argue that this right has non-instrumental value only under a particular set of circumstances. I thus conclude, contrary to Harel, that the non-instrumental value of judicial review is contingent on those circumstances obtaining. (shrink)

This chapter assesses John Gray’s modus vivendi-based justification for liberalism. I argue that his approach is preferable to the more orthodox deontological or teleological justificatory strategies, at least because of the way it can deal with the problem of diversity. But then I show how that is not good news for liberalism, for grounding liberal political authority in a modus vivendi undermines liberalism’s aspiration to occupy a privileged normative position vis-à-vis other kinds of regimes. So modus vivendi can save liberalism (...) from moralism, but at cost many liberals will not be prepared to pay. (shrink)

Metaphors for describing the introduction, impacts, and management of non-native species are numerous and often quite outspoken. Policy-makers have adopted increasingly disputed metaphorical terms from scientific discourse. We performed a critical analysis of the use of strong metaphors in reporting scientific findings to policy-makers. Our analysis shows that perceptions of harm, invasiveness or nativeness are dynamic and inevitably display multiple narratives in science, policy or management. Improving our awareness of multiple expert and stakeholder narratives that exist in the context of (...) non-native species management, as well as metaphorical alternatives, is critical. (shrink)

In *How Propaganda Works* Jason Stanley argues that democratic societies require substantial material equality because inequality causes ideologically flawed belief, which, in turn, make demagogic propaganda more effective. And that is problematic for the quality of democracy. In this brief paper I unpack that argument, in order to make two points: (a) the non-moral argument for equality is promising, but weakened by its reliance on a heavily moralised conception of democracy; (b) that problem may be remedied by whole-heartedly embracing a (...) more realistic conception of democracy. That conception is at least compatible with Stanley’s argument, if not implicit in parts of it. (shrink)

What is the point of ideology critique? Prominent Anglo-American philosophers recently proposed novel arguments for the view that ideology critique is moral critique, and ideologies are flawed insofar as they contribute to injustice or oppression. We criticize that view and make the case for an alternative and more empirically-oriented approach, grounded in epistemic rather than moral commitments. We make two related claims: (i) ideology critique can debunk beliefs and practices by uncovering how, empirically, they are produced by self-justifying power, and (...) (ii) the self-justification of power should be understood as an epistemic rather than moral flaw. Drawing on the recent realist revival in political theory, we argue that this genealogical approach has more radical potential, despite being more parsimonious than morality-based approaches. We demonstrate the relative advantages of our view by discussing the results of empirical studies on the contemporary phenomenon of neopatriarchy in the Middle East and North Africa. (shrink)

In this paper, we consider the question of whether there exists an essential relation between emotions and wellbeing. We distinguish three ways in which emotions and wellbeing might be essentially related: constitutive, causal, and epistemic. We argue that, while there is some room for holding that emotions are constitutive ingredients of an individual’s wellbeing, all the attempts to characterise the causal and epistemic relations in an essentialist way are vulnerable to some important objections. We conclude that the causal and epistemic (...) relation between emotions and wellbeing is much less strong than is commonly thought. (shrink)

A recently developed view in political theory holds that only political agents, particularly states, can be primary bearers of human-rights duties. Problematically, this so-called ‘political view’ appears unable to account for the human-rights responsibilities of powerful non-state actors, such as transnational corporations (TNCs). Can a recognizably political view respond to this concern? I show that, once the moral underpinnings of the political view are made explicit, it can. I suggest that, on the political view, what makes states primary bearers of (...) human-rights duties is their possession of both (i) the capacity to fulfill human right and (ii) what I call the ‘authority-plus-sovereignty package’. Building on the existing literature on the moral responsibilities of TNCs, I argue that some TNCs—especially in areas of weak governance—meet these two conditions. I thus conclude that they count as bearers of primary human-rights responsibilities even from within a political perspective on human rights. (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)

In this rejoinder to Erman and Möller’s reply to our “Political Norms and Moral Values” we clarify the sense in which there can be specifically political values, and expound the practice-dependent notion of legitimacy adopted by our preferred version of political realism.

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...) a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...) this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...) the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

Although the view that sees proper names as referential singular terms is widely considered orthodoxy, there is a growing popularity to the view that proper names are predicates. This is partly because the orthodoxy faces two anomalies that Predicativism can solve: on the one hand, proper names can have multiple bearers. But multiple bearerhood is a problem to the idea that proper names have just one individual as referent. On the other hand, as Burge noted, proper names can have predicative (...) uses. But the view that proper names are singular terms arguably does not have the resources to deal with Burge’s cases. In this paper I argue that the Predicate View of proper names is mistaken. I first argue against the syntactic evidence used to support the view and against the predicativist’s methodology of inferring a semantic account for proper names based on incomplete syntactic data. I also show that Predicativism can neither explain the behaviour of proper names in full generality, nor claim the fundamentality of predicative names. In developing my own view, however, I accept the insight that proper names in some sense express generality. Hence I propose that proper names—albeit fundamentally singular referential terms—express generality in two senses. First, by being used as predicates, since then they are true of many individuals; and second, by being referentially related to many individuals. I respond to the problem of multiple bearerhood by proposing that proper names are polyreferential, and also explain the behaviour of proper names in light of the wider phenomenon I called category change, and show how Polyreferentialism can account for all uses of proper names. (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)