This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

In his _Being Known_ Peacocke sets himself the task of answering how we come to know about metaphysical necessities. He proposes a semantic principle-based conception consisting of, first, his Principles of Possibility which pro­vide necessary and sufficient conditions for a new concept 'admissibility', and second, characterizations of possibility and of necessity in terms of that new con­cept. I focus on one structural feature; viz. the recursive application involved in the specification of 'admissibility'. After sketching Peacocke’s proposal, I intro­duce a fictional (...) protagonist, Cautious Peacocke, whose coherence I claim shows that Peacocke s proposal cannot be made good. I conclude with the conjecture that similar failure will attend any such semantic-based attempts to ground the epistemology of metaphysical necessity. -/- Dans son livre intitulé Being Known, C. Peacocke se propose de repondre à la question de savoir comment nous en venons a connaitre des nécessités métaphysiques. Il développe une conception sémantique reposant sur des principes comprenant, d’une part, ses Principes de Possibilité — qui fournissent les conditions nécessaires et suffisantes pour un nouveau concept, « l’admissibilité » — et d’autre part des caractérisations de la possibilité et de la nécessité a l’aide de ce nouveau concept. Je me concentre sur une caractéristique structurelle, a savoir l’application récursive a l’œuvre dans la spécification de «l’admissibilité ». Apres avoir esquisse la proposition de Peacocke, j’introduis un personnage fictif, Peacocke-prudent. Je soutiens que la cohérence de ce personnage montre que la proposition de Peacocke ne peut pas être satisfaite. Je conclus en conjecturant qu’un échec similaire se présentera pour toutes les tentatives de fonder l’épistemologie de la nécessité métaphysique sur de telles bases semantiques. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...) perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

Pascal’s Wager involves expected utilities. In this chapter, we examine the Wager in light of two main features of expected utility theory: utilities and probabilities. We discuss infinite and finite utilities, and zero, infinitesimal, extremely low, imprecise, and undefined probabilities. These have all come up in recent literature regarding Pascal’s Wager. We consider the problems each creates and suggest prospects for the Wager in light of these problems.

Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...) complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

Much of the discussion of set-theoretic independence, and whether or not we could legitimately expand our foundational theory, concerns how we could possibly come to know the truth value of independent sentences. This paper pursues a slightly different tack, examining how we are ignorant of issues surrounding their truth. We argue that a study of how we are ignorant reveals a need for an understanding of set-theoretic explanation and motivates a pluralism concerning the adoption of foundational theory.

Black holes are extremely relativistic objects. Physical processes around them occur in a regime where the gravitational field is extremely intense. Under such conditions, our representations of space, time, gravity, and thermodynamics are pushed to their limits. In such a situation philosophical issues naturally arise. In this chapter I review some philosophical questions related to black holes. In particular, the relevance of black holes for the metaphysical dispute between presentists and eternalists, the origin of the second law of thermodynamics and (...) its relation to black holes, the problem of information, black holes and hypercomputing, the nature of determinisim, and the breakdown of predictability in black hole space-times. I maintain that black hole physics can be used to illuminate some important problems in the border between science and philosophy, either epistemology and ontology. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

The relevance of analytic metaphysics has come under criticism: Ladyman & Ross, for instance, have suggested do discontinue the field. French & McKenzie have argued in defense of analytic metaphysics that it develops tools that could turn out to be useful for philosophy of physics. In this article, we show first that this heuristic defense of metaphysics can be extended to the scientific field of applied ontology, which uses constructs from analytic metaphysics. Second, we elaborate on a parallel by French (...) & McKenzie between mathematics and metaphysics to show that the whole field of analytic metaphysics, being useful not only for philosophy but also for science, should continue to exist as a largely autonomous field. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

When agents insert technological systems into their decision-making processes, they can obscure moral responsibility for the results. This can give rise to a distinct moral wrong, which we call “agency laundering.” At root, agency laundering involves obfuscating one’s moral responsibility by enlisting a technology or process to take some action and letting it forestall others from demanding an account for bad outcomes that result. We argue that the concept of agency laundering helps in understanding important moral problems in a number (...) of recent cases involving automated, or algorithmic, decision-systems. We apply our conception of agency laundering to a series of examples, including Facebook’s automated advertising suggestions, Uber’s driver interfaces, algorithmic evaluation of K-12 teachers, and risk assessment in criminal sentencing. We distinguish agency laundering from several other critiques of information technology, including the so-called “responsibility gap,” “bias laundering,” and masking. (shrink)

La pertinence de la métaphysique analytique a fait l'objet de critiques : Ladyman et Ross, par exemple, ont suggéré d'abandonner ce domaine. French et McKenzie ont défendu la métaphysique analytique en affirmant qu'elle développe des outils qui pourraient s'avérer utiles pour la philosophie de la physique. Dans cet article, nous montrons dans un premier temps que cette défense heuristique de la métaphysique peut être étendue au domaine scientifique de l'ontologie appliquée, qui utilise des théories et outils issus de la métaphysique (...) analytique. Dans un deuxième temps, nous développons le parallèle que font French et McKenzie entre les mathématiques et la métaphysique pour montrer que l'ensemble du domaine de la métaphysique analytique, étant donné son utilité non seulement pour la philosophie mais également pour la science, devrait continuer à exister en tant que domaine largement autonome. (shrink)

Algorithmic systems and predictive analytics play an increasingly important role in various aspects of modern life. Scholarship on the moral ramifications of such systems is in its early stages, and much of it focuses on bias and harm. This paper argues that in understanding the moral salience of algorithmic systems it is essential to understand the relation between algorithms, autonomy, and agency. We draw on several recent cases in criminal sentencing and K–12 teacher evaluation to outline four key ways in (...) which issues of agency, autonomy, and respect for persons can conflict with algorithmic decision-making. Three of these involve failures to treat individual agents with the respect they deserve. The fourth involves distancing oneself from a morally suspect action by attributing one’s decision to take that action to an algorithm, thereby laundering one’s agency. (shrink)

ABSTRACT: So far in this book, we have examined algorithmic decision systems from three autonomy-based perspectives: in terms of what we owe autonomous agents (chapters 3 and 4), in terms of the conditions required for people to act autonomously (chapters 5 and 6), and in terms of the responsibilities of agents (chapter 7). -/- In this chapter we turn to the ways in which autonomy underwrites democratic governance. Political authority, which is to say the ability of a government to exercise (...) power, may be justifiable or not. Whether it is justified and how it can come to be justified is a question of political legitimacy. Political legitimacy is another way in which autonomy and responsibility are linked. This relationship is the basis of the current chapter, and it is important in understanding the moral salience of algorithmic systems. We will draw the connection as follows. We begin, in section 8.1, by describing two uses of technology: crime predicting technology used to drive policing practices and social media technology used to influence elections (including by Cambridge Analytica and by the Internet Research Agency). In section 8.2 we consider several views of legitimacy and argue for a hybrid version of normative legitimacy based on one recently offered by Fabienne Peter. In section 8.3 we will explain that the connection between political legitimacy and autonomy is that legitimacy is grounded in legitimating processes, which are in turn based on autonomy. Algorithmic systems—among them PredPol and the Cambridge Analytica-Facebook-Internet Research Agency amalgam—can hinder that legitimation process and conflict with democratic legitimacy, as we argue in section 8.4. We will conclude by returning to several cases that serve as through-lines to the book: Loomis, Wagner, and Houston Schools. -/- The link below is to an open-access copy of the chapter. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

I argue that most counterfactuals are false.

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed actual) in mathematical (...) reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)

So-called “traditional epistemology” and “Bayesian epistemology” share a word, but it may often seem that the enterprises hardly share a subject matter. They differ in their central concepts. They differ in their main concerns. They differ in their main theoretical moves. And they often differ in their methodology. However, in the last decade or so, there have been a number of attempts to build bridges between the two epistemologies. Indeed, many would say that there is just one branch of philosophy (...) here—epistemology. There is a common subject matter after all. In this paper, we begin by playing the role of a “bad cop,” emphasizing many apparent points of disconnection, and even conflict, between the approaches to epistemology. We then switch role, playing a “good cop” who insists that the approaches are engaged in common projects after all. We look at various ways in which the gaps between them have been bridged, and we consider the prospects for bridging them further. We conclude that this is an exciting time for epistemology, as the two traditions can learn, and have started learning, from each other. (shrink)

Many biologists and philosophers have worried that importing models of reasoning from the physical sciences obscures our understanding of reasoning in the life sciences. In this paper we discuss one example that partially validates this concern: part-whole reductive explanations. Biology and physics tend to incorporate different models of temporality in part-whole reductive explanations. This results from differential emphases on compositional and causal facets of reductive explanations, which have not been distinguished reliably in prior philosophical analyses. Keeping these two facets distinct (...) facilitates the identifi cation of two further aspects of reductive explanation: intrinsicality and fundamentality. Our account provides resources for discriminating between different types of reductive explanation and suggests a new approach to comprehending similarities and differences in the explanatory reasoning found in biology and physics. (shrink)

There have long been calls from industry for guidance in implementing strategies for sustainable development. The Circular Economy represents the most recent attempt to conceptualize the integration of economic activity and environmental wellbeing in a sustainable way. This set of ideas has been adopted by China as the basis of their economic development, escalating the concept in minds of western policymakers and NGOs. This paper traces the conceptualisations and origins of the Circular Economy, tracing its meanings, and exploring its antecedents (...) in economics and ecology, and discusses how the Circular Economy has been operationalized in business and policy. The paper finds that while the Circular Economy places emphasis on the redesign of processes and cycling of materials, which may contribute to more sustainable business models, it also encapsulates tensions and limitations. These include an absence of the social dimension inherent in sustainable development that limits its ethical dimensions, and some unintended consequences. This leads us to propose a revised definition of the Circular Economy as “an economic model wherein planning, resourcing, procurement, production and reprocessing are designed and managed, as both process and output, to maximize ecosystem functioning and human well-being”. (shrink)

Reid said little in his published writings about his contemporary Joseph Priestley, but his unpublished work is largely devoted to the latter. Much of Priestley's philosophical thought- his materialism, his determinism, his Lockean scientific realism- was as antithetical to Reid's as was Hume's philosophy in a very different way. Neither Reid nor Priestley formulated a full response to the other. Priestley's response to Reid came very early in his career, and is marked by haste and immaturity. In his last decade (...) Reid worried much about Priestley's materialism, but that concern never reached publication. I document Reid's unpublished response to Priestley, and also view Reid's response from Priestley's perspective, as deduced from his published works. Both thinkers attempted to base their arguments on Newtonian method. Reid's position is the more puzzling of the two, since he nowhere makes clear how Newtonian method favours mind-body dualism over materialism, which is the central debate between them. (shrink)

LandryElaine, * ed. Categories for the Working Philosopher. Oxford University Press, 2017. ISBN 978-0-19-874899-1 ; 978-0-19-106582-8. Pp. xiv + 471.

I argue that metaphysical views of material objects should be understood as 'packages', rather than individual claims, where the other parts of the package include how the theory addresses 'recalcitant data', and that when the packages meet certain general desiderata - which all of the currently competing views *can* meet - there is nothing in the world that could make one of the theories true as opposed to any of the others.

A comprehensive introduction to the ways in which meaning is conveyed in language. Alan Cruse covers semantic matters, but also deals with topics that are usually considered to fall under pragmatics. A major aim is to highlight the richness and subtlety of meaning phenomena, rather than to expound any particular theory.

Bayesianism is our leading theory of uncertainty. Epistemology is defined as the theory of knowledge. So “Bayesian Epistemology” may sound like an oxymoron. Bayesianism, after all, studies the properties and dynamics of degrees of belief, understood to be probabilities. Traditional epistemology, on the other hand, places the singularly non-probabilistic notion of knowledge at centre stage, and to the extent that it traffics in belief, that notion does not come in degrees. So how can there be a Bayesian epistemology?

There is no indication of time dilation of clocks or of length contraction of rods in Marzke and Wheeler's clock or in Desloge's metrosphere.

While the image of the slave as the antithesis of the freeman is central to republican freedom, it is striking to note that slaves themselves have not contributed to how this condition is understood. The result is a one-sided conception of both freedom and slavery, which leaves republicanism unable to provide an equal and robust protection for historically outcast people. I draw on the work of Frederick Douglass – long overlooked as a significant contributor to republican theory – to show (...) one way why this is so. Focusing the American Revolution, the subsequent republican government established new political institutions to maintain the collective interests of the whole population. The political revolution was held in place by processes of public reason that reflected the values and ideas of the people that had rebelled. The black population, however, had not been part of this revolution. After emancipation, black Americans were required to accept terms of citizenship that had already been defined, leaving them socially dominated, subject to the prejudices and biases within the prevailing ideas of public discourse. Douglass argued that republican freedom under law is always dependent on a more fundamental revolution, that he calls a ‘radical revolution in thought’, in which the entire system of social norms and practices are reworked together by members of all constituent social groups – women and men, black and white, rich and poor – so that it reflects a genuinely collaborative achievement. Only then can we begin the republican project of contestatory freedom as independence or non-domination that today’s republicans take for granted. (shrink)

Critiques John Martin Fischer's bootstrapping model of divine foreknowledge. Invited contribution to a special journal issue on John Martin Fischer's _Our Fate: Essays on God and Free Will_ (Oxford, 2016).

Although they were never to meet and corresponded only briefly, Catharine Macaulay and Mary Wollstonecraft shared a mutual admiration and a strong intellectual bond. Macaulay’s work had a profound and lasting effect on Wollstonecraft, and she developed and expanded on many of Macaulay’s ideas. While she often took these in a different direction, there remains a great synergy between their ideas to the extent that we can understand Wollstonecraft’s own feminist arguments by approaching them through the frameworks and ideas that (...) Macaulay provided. These included the principles of classical republicanism, particularly in its understanding of the values of freedom, equality and virtue, and an understanding of reason as grounded in immutable principles that apply equally to both sexes. On the question of women’s freedom and social equality with men, I argue that though Macaulay sets up the problem in far richer and more detailed philosophical terms, in the end it is Wollstonecraft that has the more compelling account of its far-reaching social implications and of how this might be addressed. (shrink)

In recent years, educational institutions have started using the tools of commercial data analytics in higher education. By gathering information about students as they navigate campus information systems, learning analytics “uses analytic techniques to help target instructional, curricular, and support resources” to examine student learning behaviors and change students’ learning environments. As a result, the information educators and educational institutions have at their disposal is no longer demarcated by course content and assessments, and old boundaries between information used for assessment (...) and information about how students live and work are blurring. Our goal in this paper is to provide a systematic discussion of the ways in which privacy and learning analytics conflict and to provide a framework for understanding those conflicts. -/- We argue that there are five crucial issues about student privacy that we must address in order to ensure that whatever the laudable goals and gains of learning analytics, they are commensurate with respecting students’ privacy and associated rights, including (but not limited to) autonomy interests. First, we argue that we must distinguish among different entities with respect to whom students have, or lack, privacy. Second, we argue that we need clear criteria for what information may justifiably be collected in the name of learning analytics. Third, we need to address whether purported consequences of learning analytics (e.g., better learning outcomes) are justified and what the distributions of those consequences are. Fourth, we argue that regardless of how robust the benefits of learning analytics turn out to be, students have important autonomy interests in how information about them is collected. Finally, we argue that it is an open question whether the goods that justify higher education are advanced by learning analytics, or whether collection of information actually runs counter to those goods. (shrink)

Julius Kovesi was a moral philosopher contemporary with Alasdair MacIntyre, and dealing with many of the same questions as MacIntyre. In our view, Kovesi’s moral philosophy is rich in ideas and worth revisiting. MacIntyre agrees: Kovesi’s Moral Notions, he has said, is ‘a minor classic in moral philosophy that has not yet received its due’. Kovesi was not a thinker whose work fits readily into any one tradition. Unlike the later MacIntyre, he was not a Thomistic Aristotelian, nor even an (...) Aristotelian. He saw his viewpoint as Platonic, or perhaps more accurately as Socratic. His writings, unlike MacIntyre’s, have little to say about justice. However, Kovesi did offfer a theory of practical reason. His main contention was that all human social life embodies a set of concepts that govern and guide that life, concepts without which that life would be impossible. These include our moral concepts. For Kovesi, moral concepts are not external to, but constitutive of social life in any of its possible forms. But in the course of his argument he also developed a way of thinking about how concepts work, which we term ‘conceptual functionalism’, and which we will elucidate. (shrink)

The Golden Rule (“what you want done [or not done] to yourself, do [or don’t do] to others”) is the most widely accepted summary statement of human morality, and even today it continues to have philosophical supporters. This article argues that the Golden Rule suffers from four faults, the first two related to the ethics of justice and the second two related to the ethics of benevolence. One, it fails to explain how to deal with non-reciprocation. Two, it fails to (...) make clear that my obligations are obligations regardless of how I would wish to be treated by others. Three, it lacks any special value in explaining the right occasions for benevolence. And, four, it has no power to motivate benevolence. (shrink)

Full-bodied materialism is a rarity in British philosophy. In fact, notable British materialists before recent times seem to number only two: Thomas Hobbes in the seventeenth century, and Joseph Priestley in the eighteenth. Their materialisms were attempts to construct a scientific ontology, but there the similarity ends, since they had very different ideas of the nature of science. Hobbes took science to be the study of motion, using Galilean geometric method; Priestley worked with a Newtonian methodology and conceived of matter (...) as spheres of force centred on point particles. (shrink)

This article discusses the views of Immanuel Kant on sexual perversion (what he calls "carnal crimes against nature"), as found in his Vorlesung (Lectures on Ethics) and the Metaphysics of Morals (both the Rechtslehre and Tugendlehre). Kant criticizes sexual perversion by appealing to Natural Law and to his Formula of Humanity. Neither argument for the immorality of sexual perversion succeeds.

This paper lays out the basic structure of any view involving coincident entities, in the light of the grounding problem. While the account is not novel, I highlight fundamental features, to which attention is not usually properly drawn. With this in place, I argue for a number of further claims: The basic differences between coincident objects are modal differences, and any other differences between them need to be explained in terms of these differences. More specifically, the basic difference is not (...) a difference in sort. A number of recent defenses of coincidence, which share the basic structure I outline, misidentify what, in their accounts, plays the basic role of addressing the grounding problem. More tentatively, I argue Coincident entities differ only in these modal properties, and properties they entail. In particular, they do not differ in properties like ‘being a tree,’ ‘being a statue,’ or aesthetic properties, and finally in light of how the account of coincidence offered addresses the grounding problem, the grounding problem provides no reason to prefer monism to pluralism. (shrink)

In this state-of-the-field article, I examine some of the problems plaguing present-day analytic Hegel studies and try to find out what can be done to remedy the situation as scholars collectively (and finally) begin grappling with the metaphysico-logical core of Hegel’s thought. In so doing, I go over the various currents of Hegelian interpretation and describe some of the limitations behind the usual analytic approaches which have often tended to downplay key aspects of Hegel’s thought, like his dialectical logic, and (...) which have also partly helped create enthusiasm for metaphysically deflationary approaches to Hegel’s thought. I then propose three practical directives for the betterment of the field in terms of future research, ones which essentially advocate for the generalized adoption of a more historicist approach to certain matters, one that is not mutually exclusive with the overarching scholarly desire to extract something that is philosophically relevant or contemporarily useful from Hegel’s thought, which is what seems to drive analytic Hegel studies in general. (shrink)