Neo-Fregean logicism attempts to base mathematics on abstraction principles. Since not all abstraction principles are acceptable, the neo-Fregeans need an account of which ones are. One of the most promising accounts is in terms of the notion of stability; roughly, that an abstraction principle is acceptable just in case it is satisfiable in all domains of sufficiently large cardinality. We present two counterexamples to stability as a sufficient condition for acceptability and argue that these counterexamples can (...) be avoided only by major departures from the existing neo-Fregean programme. (shrink)

In this paper, I present a class of ‘structural’ abstraction principles, and describe how they are suggested by some features of Cantor's and Dedekind's approach to abstraction. Structural abstraction is a promising source of mathematically tractable new axioms for the neo-logicist. I illustrate this by showing, first, how a theorem of Shelah gives a sufficient condition for consistency in the structural setting, solving what neo-logicists call the ‘bad company’ problem for structural abstraction. Second, I show how, (...) in the structural setting, we can measure the logical strength of abstraction principles using categories of interpretations between theories. (shrink)

Frege's views regarding analysis and synomymy have long been the subject of critical discussion. Some commentators, led by Dummett, have argued that Frege was committed to the view that each thought admits of a unique ultimate analysis. However, this interpretation is in apparent conflict with Frege's criterion of synonymy, according to which two sentence express the same thought if one cannot understand them without regarding them as having the same truth–value. In a recent article in this journal, Drai attempts to (...) reconcile Frege's criterion of synonymy with unique ultimate analysis by holding that, for Frege, if two sentences satisfy the criterion without being intensionally isomorphic, at most one of them is a privileged representation of the thought expressed. I argue that this proposal fails, because it conflicts not only with Frege's views of abstraction principles but also with slingshot arguments (including one presented by Drai herself) that accurately reflect Frege's commitment to the view that sentences alike in truth–value have the same Bedeutung. While Drai helpfully connects Frege's views of abstraction principles with such slingshot arguments, this connection cannot become fully clear until we recognise that Frege rejects unique ultimate analysis. (shrink)

I extend theorems due to Roy Cook on third- and higher-order versions of abstraction principles and discuss the philosophical importance of results of this type. Cook demonstrated that the satisfiability of certain higher-order analogues of Hume's Principle is independent of ZFC. I show that similar analogues of Boolos's new v and Cook's own ordinal abstraction principle soap are not satisfiable at all. I argue, however, that these results do not tell significantly against the second-order versions of (...) these principles. (shrink)

Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the (...) method is poorly behaved unless the background second-order logic is predicative. (shrink)

Many recent writers in the philosophy of mathematics have put great weight on the relative categoricity of the traditional axiomatizations of our foundational theories of arithmetic and set theory. Another great enterprise in contemporary philosophy of mathematics has been Wright's and Hale's project of founding mathematics on abstraction principles. In earlier work, it was noted that one traditional abstraction principle, namely Hume's Principle, had a certain relative categoricity property, which here we term natural relative categoricity. In (...) this paper, we show that most other abstraction principles are not naturally relatively categorical, so that there is in fact a large amount of incompatibility between these two recent trends in contemporary philosophy of mathematics. To better understand the precise demands of relative categoricity in the context of abstraction principles, we compare and contrast these constraints to stability-like acceptability criteria on abstraction principles, the Tarski-Sher logicality requirements on abstraction principles studied by Antonelli and Fine, and supervaluational ideas coming out of Hodes' work. (shrink)

Since Carol Gilligan's analysis of the “Heinz dilemma,” many philosophers working on care have articulated critiques of abstraction and principles in ethics. Their objections to abstraction and principles have not always been systematically set out. In this paper, I try to clarify the debate. I begin by distinguishing several aspects of the care critique. I then consider the strengths of each from a Kantian perspective. I conclude that, although some of these objections point out potential misuses of (...) class='Hi'>abstraction and principle, and in doing so, suggest strategies and cautions for their correct and careful use in ethics, they do not present a successful challenge to abstraction or principles as such. (shrink)

Neo-Fregeans have been troubled by the Nuisance Principle, an abstraction principle that is consistent but not jointly satisfiable with the favored abstraction principle HP. We show that logically this situation persists if one looks at joint consistency rather than satisfiability: under a modest assumption about infinite concepts, NP is also inconsistent with HP.

Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended (...) generality. This article argues that the bad company problem is due to the ‘static’ character of abstraction on the neologicist's account and develops a ‘dynamic’ account of abstraction that avoids both horns of the dilemma. 1 Introduction2ion Reconstructed3 From Bad to Worse4 Abstraction Reconceived5 Bad Company Made GoodA AppendixA.1SemanticsA.2LogicA.3ConsistencyA.4Strength. (shrink)

Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which introduces the concept of number by stating that two concepts have the same number if and only if the objects falling under each one of them can be put in one-one correspondence. This principle (...) is at the core of neo-logicism. In the first two chapters of the book, Mancosu provides a historical analysis of the mathematical uses and foundational discussion of definitions by abstraction up to Frege, Peano, and Russell. Chapter one shows that abstraction principles were quite widespread in the mathematical practice that preceded Frege's discussion of them and the second chapter provides the first contextual analysis of Frege's discussion of abstraction principles in section 64 of the Grundlagen. In the second part of the book, Mancosu discusses a novel approach to measuring the size of infinite sets known as the theory of numerosities and shows how this new development leads to deep mathematical, historical, and philosophical problems. The final chapter of the book explore how this theory of numerosities can be exploited to provide surprisingly novel perspectives on neo-logicism. (shrink)

Recent literature in experimental philosophy has postulated the existence of the abstract/concrete paradox : the tendency to activate inconsistent intuitions depending on whether a problem to be analyzed is framed in abstract terms or is described as a concrete case. One recent study supports the thesis that this effect influences judicial decision-making, including decision-making by professional judges, in areas such as interpretation of constitutional principles and application of clear-cut rules. Here, following the existing literature in legal theory, we argue that (...) the susceptibility to such an effect might depend on whether decision-makers operate in a legal system characterized by the formalist or particularist approach to legal interpretation, with formalist systems being less susceptible to the effect. To test this hypothesis, we compare the results of experimental studies on ACP run on samples from two countries differing in legal culture: Poland and Brazil. The lack of significant differences between those results suggests that ACP is a robust effect in the legal context. (shrink)

According to Charles Travis, Frege’s principle “always to sharply separate the psychological from the logical, the subjective from the objective” involves a move called “the fundamental abstraction.” I try to explain what this abstraction is and why it is interesting. I then raise a problem for it, and describe what I think is a better way to understand Frege’s principle.

In this paper, we study conditional preferences in abstract argumentation by introducing a new generalization of Dung-style argumentation frameworks (AFs) called Conditional Preference-based AFs (CPAFs). Each subset of arguments in a CPAF can be associated with its own preference relation. This generalizes existing approaches for preference-handling in abstract argumentation, and allows us to reason about conditional preferences in a general way. We conduct a principle-based analysis of CPAFs and compare them to related generalizations of AFs. Specifically, we highlight similarities (...) and differences to Modgil’s Extended AFs and show that our formalism can capture Value-based AFs. Moreover, we show that in some cases the introduction of conditional preferences leads to an increase in computational complexity. (shrink)

A standard understanding of abstraction principles elicits two opposite readings: Intolerant Reductionism, where abstractions are seen as reducing talk of abstract objects to talk about non-problematic domains, and Robustionism, where newly introduced terms genuinely refer to abstract objects. Against this dichotomy between such “austere” and “robust” readings, Dummett suggested ways to steer intermediate paths. We explore different options for intermediate stances, by reviewing metaontological strategies and semantic ones. Based on Dummett’s and Picardi’s understanding of the Context Principle, the (...) paper acknowledges that Frege’s Grundlagen are open to several interpretations of contextual definitions, and argues that the prospects for broadly Fregean intermediate views are all but foreclosed. (shrink)

Neo-Fregeans such as Bob Hale and Crispin Wright seek a foundation of mathematics based on abstraction principles. These are sentences involving a relation called the abstraction relation. It is usually assumed that abstraction relations must be equivalence relations, so reflexive, symmetric and transitive. In this article I argue that abstraction relations need not be reflexive. I furthermore give an application of non-reflexive abstraction relations to restricted abstraction principles.

In the history of philosophy, philosophers have defined philosophy based on their own perspectives. This situation shows that it is a difficult and meaningless endeavor to put forward an understanding of philosophy that has clear boundaries and is accepted by everyone. However, despite these differences in definitions, there are some common points. Perhaps the most important of these common points is that philosophy is a stance, a positioning activity in the face of truth. In this positioning, William James tried to (...) find the moderate path between the currents of rationalism and empiricism and took a stance based on concrete differences in life. Like the empiricists, he tried to keep people's relations with facts alive, but at the same time, he did not exclude religion by adopting a rationalist attitude. However, James argued that abstract concepts cannot have meaning unless they find their counterpart in life. According to James, a life based only on abstract principles would not be qualified. In this study, I will try reconciling William James’ attitude towards abstract principles with practical life. (shrink)

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main (...) reason for producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

Although Burke, Bentham, Hegel and Marx do not often agree, all criticized certain ethical theories, in particular theories of rights, for being too abstract. The complaint is still popular. It was common in Existentialist and in Wittgensteinian writing that stressed the importance of cases and examples rather than principles for the moral life; it has been prominent in recent Hegelian and Aristotelian flavoured writing, which stresses the importance of the virtues; it is reiterated in discussions that stress the distinctiveness and (...) particularity of moral vicissitudes and query the importance of ethical theory. Recent critics of abstraction are opposed not only to theories of rights, and the Kantian notions with which these are linked, but also to consequentialist ethical theories. The two ethical theories that are most influential in the English-speaking world now both stand accused of being too abstract. (shrink)

The world is undeniably full of injustice. Many feel that much political philosophy is practically impotent and engaged instead in overly abstract theorising insufficiently sensitive to the realities of the world. One response to this concern is David Miller’s influential model of evidence-based political philosophy, which claims to be sensitive to empirical evidence from the social sciences, takes seriously people’s opinions, and defends the role of facts in grounding normative principles. Using various examples from the field of global justice, one (...) of Miller’s key areas of work, I show that Miller’s method is unconvincing on two levels. His theoretical argument for fact-dependence is flawed, and his practical argument for an opinion-sensitive political theory is either guilty of status quo bias or, in an attempt to escape it, becomes self-defeating. While the paper is primarily critical, I endeavour also to draw out the implications of my critiques for the role of the ‘real world’ in theorising. (shrink)

It is widely thought that the acceptability of an abstraction principle is a feature of the cardinalities at which it is satisfiable. This view is called into question by a recent observation by Richard Heck. We show that a fix proposed by Heck fails but we analyze the interesting idea on which it is based, namely that an acceptable abstraction has to “generate” the objects that it requires. We also correct and complete the classification of proposed criteria (...) for acceptable abstraction. (shrink)

ABSTRACT In this paper, we will highlight the correspondences between the Socially Engaged Buddhism movement, especially as defined in the practice of the late Thich Nhat Hanh, and the core principles of humanity, impartiality, neutrality and independence originally adopted by the International Red Cross and Red Crescent Movement. These principles also underpin the neutral, impartial and independent approach to humanitarian action, used by agencies working under the auspices of the United Nations’ Inter-Agency Standing Committee and Office for the Coordination of (...) Humanitarian Affairs, along with those who have signed the Code of Conduct for the International Red Cross and Red Crescent Movement and Non-Governmental Organizations in Disaster Relief. We hope this paper is a modest but useful contribution to create better understanding and to generate dialogue among different stakeholders in the humanitarian field, particularly in the context of armed conflict. (shrink)

objects are standardly taken to be causally inert, but this claim is rarely explicitly argued for. In the context of his platonism about musical works, in order for musical works to be audible, Julian Dodd argues that abstracta are causally efficacious in virtue of their concrete tokens participating in events. I attempt to provide a principled argument for the causal inertness of abstracta by first rejecting Dodd’s arguments from events, and then extending and generalizing the causal exclusion argument to the (...) abstract/concrete distinction. For reasons of parsimony, if concrete tokens or instantiations of abstract objects account for all causal work, then there is no reason to attribute causal efficacy to abstracta, and thus reason to maintain their causal inertness. I then consider how one of the main arguments against causal exclusion, namely Stephen Yablo’s notion of “proportionality”, could be modified to support the causal efficacy of abstracta. I argue that from a few simple premises Yablo’s account in fact supports their causal inertness. Having a principled reason for the causal inertness of abstracta appears to entail that the musical platonist must admit that we never literally hear the musical work, but only its performances. I sketch a solution to this problem available to Dodd, so that the musical platonist can maintain that musical works are abstract objects and are causally inert while retaining their audibility. (shrink)

We develop a functional abstraction principle for the type-free algorithmic logic introduced in our earlier work. Our approach is based on the standard combinators but is supplemented by the novel use of evaluation trees. Then we show that the abstraction principle leads to a Curry fixed point, a statement C that asserts C ⇒ A where A is any given statement. When A is false, such a C yields a paradoxical situation. As discussed in our earlier (...) work, this situation leaves one no choice but to restrict the use of a certain class of implicational rules including modus ponens. (shrink)

Fitch's basic logic is an untyped illative combinatory logic with unrestricted principles of abstraction effecting a type collapse between properties (or concepts) and individual elements of an abstract syntax. Fitch does not work axiomatically and the abstraction operation is not a primitive feature of the inductive clauses defining the logic. Fitch's proof that basic logic has unlimited abstraction is not clear and his proof contains a number of errors that have so far gone undetected. This paper corrects (...) these errors and presents a reasonably intuitive proof that Fitch's system K supports an implicit abstraction operation. Some general remarks on the philosophical significance of basic logic, especially with respect to neo-logicism, are offered, and the paper concludes that basic logic models a highly intensional form of logicism. (shrink)

This paper examines the potential for abstracting propositions – an as yet untested way of defending the realist thesis that propositions as abstract entities exist. I motivate why we should want to abstract propositions and make clear, by basing an account on the neo-Fregean programme in arithmetic, what ontological and epistemological advantages a realist can gain from this. I then raise a series of problems for the abstraction that ultimately have serious repercussions for realism about propositions in general. I (...) first identify problems about the number of entities able to be abstracted using these techniques. I then focus on how issues of language relativity result in problems akin to the Caesar problem in arithmetic by exposing circularity and modal concern over the status of the criterion of identity for propositions. (shrink)

Abstractionist programs in the philosophy of mathematics have focused on abstraction principles, taken as implicit definitions of the objects in the range of their operators. In second-order logic (SOL) with predicative comprehension, such principles are consistent but also (individually) mathematically weak. This paper, inspired by the work of Boolos (Proceedings of the Aristotelian Society 87, 137–151, 1986) and Zalta (Abstract Objects, vol. 160 of Synthese Library, 1983), examines explicit definitions of abstract objects. These axioms state that there is a (...) unique abstract encoding all concepts satisfying a given formula $$\phi (F)$$, with F a concept variable. Such a system is inconsistent in full SOL. It can be made consistent with several intricate tweaks, as Zalta has shown. Our approach in this article is simpler: we use a novel method to establish consistency in a restrictive version of predicative SOL. The resulting system, RPEAO, interprets first-order PA in extensional contexts, and has a natural extension delivering a peculiar interpretation of PA $$^2$$. (shrink)

Which abstraction principles are acceptable? A variety of criteria have been proposed, in particular irenicity, stability, conservativeness, and unboundedness. This note charts their logical relations. This answers some open questions and corrects some old answers.

This paper presents a formalization of first-order arithmetic characterizing the natural numbers as abstracta of the equinumerosity relation. The formalization turns on the interaction of a nonstandard cardinality quantifier with an abstraction operator assigning objects to predicates. The project draws its philosophical motivation from a nonreductionist conception of logicism, a deflationary view of abstraction, and an approach to formal arithmetic that emphasizes the cardinal properties of the natural numbers over the structural ones.

Higher courts sometimes assess the constitutionality of law by working through a concrete case, other times by reasoning about the underlying question in a more abstract way. Prior research has found that the degree of concreteness or abstraction with which an issue is formulated can influence people's prescriptive views: For instance, people often endorse punishment for concrete misdeeds that they would oppose if the circumstances were described abstractly. We sought to understand whether the so-called ‘abstract/concrete paradox’ also jeopardizes the (...) consistency of judicial reasoning. In a series of experiments, both lay and professional judges sometimes reached opposite conclusions when reasoning about concrete cases versus the underlying issues formulated in abstract terms. This effect emerged whether participants reasoned with broad principles, such as human dignity, or narrow rules, and was largest among individuals high in trait empathy. Finally, to understand whether people reflectively endorse the discrepancy between abstract and concrete resolutions, we examined their reactions when evaluating both, either simultaneously or sequentially. These approaches revealed no single pattern across lay and expert populations, or exploratory and confirmatory studies. Taken together, our studies suggest that empathic concern plays a greater role in guiding the judicial resolution of concrete cases than in illuminating judges' professed standards—which may result in concrete decisions in violation of their own abstract principles. (shrink)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

When is humanitarian intervention legitimate and how should such interventions be conducted? This article sets out eight liberal principles that underlie humanitarian intervention, some of them abstract principles of international ethics and others more concrete principles that apply specifically to humanitarian intervention. It argues that whilst these principles do not determine the legitimacy of particular interventions, they should ?incline? our judgments towards approval or disapproval. The basic principles include the liberal idea that governments are the mere agents of the people, (...) that tyrannical governments forfeit their legal protections, that human rights entail obligations for governments, that justifiable intervention must intend the end of tyranny or anarchy, that the doctrine of double-effect should be respected, that intervention is only warranted in severe cases, that intervention be welcomed by those it is intended to save, and that ideally it is welcomed by the community of democratic states. (shrink)

The neo-Fregean program in the philosophy of mathematics seeks a foundation for a substantial part of mathematics in abstraction principles—for example, Hume’s Principle: The number of Fs D the number of Gs iff the Fs and Gs correspond one-one—which can be regarded as implicitly definitional of fundamental mathematical concepts—for example, cardinal number. This paper considers what kind of abstraction principle might serve as the basis for a neo- Fregean set theory. Following a brief review of the (...) main difficulties confronting the most widely discussed proposal to date—replacing Frege’s inconsistent Basic Law V by Boolos’s New V which restricts concepts whose extensions obey the principle of extensionality to those which are small in the sense of being smaller than the universe—the paper canvasses an alternative way of implementing the limitation of size idea and explores the kind of restrictions which would be required for it to avoid collapse. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume's Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one‐to‐one:. The principal aim of this article is to use the notion of grounding to develop (...) this sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of metaphysical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege's Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes a (...) different approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependency-relations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraint-based generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

We revisit the notion of initial sets by Xu and Cayrol 2016), i. e., non-empty minimal admissible sets in abstract argumentation frameworks. Initial sets are a simple concept for analysing conflicts in an abstract argumentation framework and to explain why certain arguments can be accepted. We contribute with new insights on the structure of initial sets and devise a simple non-deterministic construction principle for any admissible set, based on iterative selection of initial sets of the original framework and its (...) induced reducts. In particular, we characterise many existing admissibility-based semantics via this construction principle, thus providing a constructive explanation on the structure of extensions. We also investigate certain problems related to initial sets with respect to their computational complexity. (shrink)

Abstract“Conscientious provision” refers to situations in which clinicians wish to provide legal and professionally accepted treatments prohibited within their (usually Catholic) health care institutions. It mirrors “conscientious objection,” which refers to situations in which clinicians refuse to provide legal and professionally accepted treatments offered within their (usually secular) health care institutions. Conscientious provision is not protected by law, but conscientious objection is. In practice, this asymmetry privileges conservative religious or moral values (usually associated with objection) over secular moral values (usually (...) associated with provision). In this article, we first argue for a legal right to one kind of conscientious provision: referral for procedures prohibited at Catholic hospitals. We then argue that a premise in that argument—the principle of comparably trivial institutional burdens—justifies legal protections for some additional forms of conscientious provision that include, for example, writing prescriptions for contraception or medical abortions. However, this principle cannot justify legal protections for other forms of conscientious provision, for instance, the right to perform surgical abortions or gender-affirming hysterectomies at Catholic hospitals. (shrink)

abstract This article briefly examines Onora O'Neill's account of the relation between normative principles and practical ethical problems with an eye to suggesting that philosophers of practical ethics have reason to adopt fairly high moral ambitions to be edifying and instructive both as educators and as advisors on public policy debates.

What is wrong with abstraction’, Michael Potter and Peter Sullivan explain a further objection to the abstractionist programme in the foundations of mathematics which they first presented in their ‘Hale on Caesar’ and which they believe our discussion in The Reason's Proper Study misunderstood. The aims of the present note are: To get the character of this objection into sharper focus; To explore further certain of the assumptions—primarily, about reference-fixing in mathematics, about certain putative limitations of abstractionist set theory, (...) and about the effects of impredicativity in abstraction principles—which underlie it; and To advance the debate of the issues thereby raised. Thanks for helpful comments to Roy Cook and to an anonymous referee. CiteULike Connotea Del.icio.us What's this? (shrink)

Objects which philosophers have traditionally categorized as abstract are standardly referred to by complex noun phrases of certain canonical forms, such as ‘the set of Fs’, ‘the number of Fs’, ‘the proposition that P’, and ‘the property of being F’. It is no accident that such noun phrases are well-suited to appear in ‘Fregean’ identity-criteria, or ‘abstraction’ principles, for which Frege’s criterion of identity for cardinal numbers provides the paradigm. Notoriously, such principlesare apt to create paradoxes, and the most (...) intuitively plausible ‘Fregean’ identity-criterion for properties is afflicted by this problem. In this case, it may be possible to overcome the difficulty by modifying the criterion in a way which requires an independent account of the existence-conditions of properties, but it appears that such a strategy demands acceptance of the doctrine of immanent realism—the view that a property exists only if it is exemplified by some object. (shrink)

Knowledge aims to fit the world, and action to change it. In this collection of essays, Onora O'Neill explores the relationship between these concepts and shows that principles are not enough for ethical thought or action: we also need to understand how practical judgement identifies ways of enacting them and of changing the way things are. Both ethical and technical judgement are supported, she contends, by bringing to bear multiple considerations, ranging from ethical principles to real-world constraints, and while we (...) will never find practical algorithms - let alone ethical algorithms - that resolve moral and political issues, good practical judgement can bring abstract principles to bear in situations that call for action. Her essays thus challenge claims that all inquiry must use either the empirical methods of scientific inquiry or the interpretive methods of the humanities. They will appeal to a range of readers in moral and political philosophy. (shrink)

Hume’s critique of traditional abstraction entails a result that undercuts his account of the idea of identity. To save his account of identity, Hume would have to accept abstraction as well. What links these two discussions is (1) Hume’s widely shared assumption that traditional abstraction is separating in the mind what are inseparable in reality, (2) his principle that what are different are mentally separable, and (3) his principle that we cannot conceive of the impossible. (...) Given these, it will turn out that abstraction is mentally separating something from itself, which will entail that abstraction is conceiving of something as distinct from itself. But it is impossible for something to be distinct from itself, and so it is inconceivable. Therefore abstraction is impossible. Yet consider Hume’s account of the idea of identity. On that account, to conceive of an identity is to conceive of something as one single thing viewed one way and as two distinct things viewed another. How we can take these opposing views of the same thing is a problem that I’ve termed Hume’s Difficulty concerning Identity. It will turn out that we can take the opposing views only if we can conceive of the single thing viewed one way as somehow distinct from itself when viewed the other way. That is, we must be able to conceive of something as distinct from itself. However, if we cannot conceive of something as distinct from itself when abstracting, then we cannot do it when conceiving of an identity. So traditional abstraction and Hume’s account of the idea of identity stand or fall together. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Abstract General Ideas in Hume George S. Pappas Hume followed Berkeley in rejecting abstract general ideas; that is, both of these philosophers rejected the view that one could engage in the operation or activity ofabstraction — a kind ofmental separation ofentities that are inseparable in reality —as well as the view that the alleged products of such an activity — ideas which are intrinsically general — really exist. What (...) has not been clear to commentators on either of these two philosophers has been why they each were so opposed to abstraction and abstract general ideas. The provision of an answer to this question is the main thrust of this paper. The nature of the question should be clarified at the outset. I am notasking the psychological question, whatwere BerkeleyandHume's actual intentions when they were moved to reject abstraction and abstract general ideas. Though I regard this question as one of great interest and importance, I am presently aiming to answer a somewhat different one, viz., what role, what philosophical role, does the rejection of abstraction and abstract general ideas play in the philosophies ofBerkeley and Hume? The answer to this latter question is apt to have some bearing on the right way to answer the first question; but, for present purposes, it is important to keep the two questions distinct. The maincontentionofthe paperis thattherejectionofabstraction and abstract general ideas lies at the very heart of the philosophy of Berkeley, and that pretty much the same may be said for Hume. Berkeley's defense ofa kind ofidealism stands or falls with the success ofhis attack on abstract general ideas, and Hume's critique ofinfinite divisibility in matters pertaining to space and time, along with his destructive critique ofvarious metaphysical notions, crucially depends on the successful denial of abstract general ideas. I. Berkeleyan Idealism Berkeley's most extended treatment of abstract ideas comes in the introduction to the Principles ofHuman Knowledge, first published in 1710. However, since he does not take up the topic in any systematic way later in the same book, nor in the Three Dialogues Between Hylas and Phihnous (1713), it has seemed to many commentators that Berkeley's attack on abstract ideas is a local matter, one having only to do with issues concerning language use and a somewhat isolated criticism of Locke. That this is the wrong way to look at things is Volume XV Number 2 339 GEORGE S. PAPPAS perhaps best indicated by a couple of passages from the Principles. In section 5 ofthat work Berkeley says: If we thoroughly examine this tenet it will, perhaps, be found at bottom to depend on the doctrine of abstract ideas. For can there be a nicer strain of abstraction than to distinguish the existence of sensible objects from there being perceived, so as to conceive them existing unperceived? The tenet Berkeley is here referring to is to the effect that sensible objects such as trees and chairs exist independently ofperception. This allusion is made clear when we notice that in the immediately preceding passage Berkeley says: It is indeed an opinion strangely prevailing among men that houses, mountains, rivers, and in a word all sensible objects, have an existence, natural or real, distinct from their being perceived by the understanding. But, with how great an assurance and acquiescence soever this Principle may be entertained... whoever shall find in his heart to call it in question may... perceive it to involve a manifest contradiction. For, what are the aforementioned objects but the things we perceive by sense? and what do we perceive besides our own ideas or sensations? and is it not plainly repugnant that any one of these, or any combination of them, should exist unperceived? (Principles 4) The claim that sensible objects exist independently ofall perception is the very denial of Berkeley's esse is percipi thesis regarding such objects. For the latter thesis holds that each sensible object is such that it exists if and only if it is perceived. So, in the first-quoted passage from Principles 5, Berkeley is saying that the denial of esse is percipi 'depends on' the doctrine of abstract ideas. Surely, the esse is percipi thesis is part ofthe core ofBerkeley's... (shrink)

Ethicists of care have objected to traditional moral philosophy's reliance upon abstract universal principles. They claim that the use of abstraction renders traditional theories incapable of capturing morally relevant, particular features of situations. I argue that this objection sometimes conflates two different levels of moral thinking: the level of justification and the level of deliberation. Specifically, I claim that abstraction or attention to context at the level of justification does not entail, as some critics seem to think, a (...) commitment to abstraction or attention to context at the level of deliberation. It follows that critics who reject a theory's use of abstraction at the level of justification have not shown that the theory recommends abstraction at the level of deliberation and that it, therefore, compels the deliberating agent to overlook morally salient details. (shrink)

Hume’s critique of traditional abstraction entails a result that undercuts his account of the idea of identity. To save his account of identity, Hume would have to accept abstraction as well. What links these two discussions is (1) Hume’s widely shared assumption that traditional abstraction is separating in the mind what are inseparable in reality, (2) his principle that what are different are mentally separable, and (3) his principle that we cannot conceive of the impossible. (...) Given these, it will turn out that abstraction is mentally separating something from itself, which will entail that abstraction is conceiving of something as distinct from itself. But it is impossible for something to be distinct from itself, and so it is inconceivable. Therefore abstraction is impossible. Yet consider Hume’s account of the idea of identity. On that account, to conceive of an identity is to conceive of something as one single thing viewed one way and as two distinct things viewed another. How we can take these opposing views of the same thing is a problem that I’ve termed Hume’s Difficulty concerning Identity. It will turn out that we can take the opposing views only if we can conceive of the single thing viewed one way as somehow distinct from itself when viewed the other way. That is, we must be able to conceive of something as distinct from itself. However, if we cannot conceive of something as distinct from itself when abstracting, then we cannot do it when conceiving of an identity. So traditional abstraction and Hume’s account of the idea of identity stand or fall together. (shrink)

Berkeley and Hume object to Locke's account of abstraction. Abstraction is separating in the mind what cannot be separated in reality. Their objection is that if a is inseparable in reality from b, then the idea of a is inseparable from the idea of b. The former inseparability is the reason for the latter. In most interpretations, however, commentators leave the former unexplained in explaining the latter. This article assumes that Berkeley and Hume present a unified front against (...) Locke. Hume supplements Berkeley's argument just where there are gaps. In particular, Hume makes explicit something Berkeley leaves implicit: The argument against Locke depends on the principle that things are inseparable if and only if they are identical. Abstraction is thinking of one of an inseparable pair while not thinking of the other. But doing so entails thinking of something while not thinking of it. This is the fundamental objection. (shrink)