On the basis of an earlier contribution to the philosophy of computer science by Amnon Eden, this essay discusses to what extent Eden’s ‘paradigms’ of computer science can be transferred or applied to software engineering. This discussion implies an analysis of how software engineering and computer science are related to each other. The essay concludes that software engineering can neither be fully subsumed by computer science, nor vice versa. Consequently, also the philosophies of computer science and software engineering—though related to (...) each other—are not identical branches of a general philosophy of science. This also implies that not all of Eden’s earlier arguments can be directly mapped from the domain of computer science into the domain of software science. After the discussion of this main topic, the essay also points to some further problems and open issues for future studies in the philosophy of software science and engineering. (shrink)

In their Minds and Machines essay How would you know if you synthesized a Thinking Thing? (Kary & Mahner, Minds and Machines, 12(1), 61–86, 2002), Kary and Mahner have chosen to occupy a high ground of materialism and empiricism from which to attack the philosophical and methodological positions of believers in artificial intelligence (AI) and artificial life (AL). In this review I discuss some of their main arguments as well as their philosophical foundations. Their central argument: ‘AI is Platonism’, which (...) is based on a particular interpretation of the notion of ‘definition’ and used as a critique against AI, can be counter criticized from two directions: first, Anti-Platonism is not a necessary precondition for criticizing AI, because outspoken Platonist criticism against AI is already known (Penrose, The emperor’s new mind (with a foreword by M. Gardner), 1989). Second, even in case that AI would essentially be ‘Platonism’ this would not be a sufficient argument for proving AI wrong. In my counter criticism I assume a more or less Popperian position by emphasizing the openness of the future: Not by quasi-Scholastic arguments (like Kary and Mahner’s), but only after being confronted with a novel ‘thinking thing’ by future AI engineers we can start to analyze its particular properties (Let me use a history analogon to illustrate my position: In the 19th century, mechanized aviation was widely regarded impossible—only natural organisms (such as birds or bees) could fly, and any science of aerodynamics or aviation did not exist. Only after some non-scientific technicians had confronted their astonished fellows with the first (obviously) flying machine the science of ‘Artificial Aviation’ came into existence, motivated by the need for understanding and mastering that challenging and puzzling new phenomenon). (shrink)

P { margin-bottom: 0.21cm; direction: ltr; color: rgb; widows: 2; orphans: 2; }P.western { font-family: "Times New Roman",serif; font-size: 12pt; }P.cjk { font-family: "Times New Roman",serif; font-size: 12pt; }P.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } Hegel's transient notion of "Aether", developed and finally abandoned again during his short period of time at the University of Jena in the early years of the 19th century, has received comparatively little attention so far – much less than, for example, his Phenomenology (...) of Spirit, or his later systematic works which he published after his departure from Jena. In modern and contemporary physics, on the other hand, novel notions comparable to Hegel's "aether" have become interesting again with the rise of quantum physics. In this essay we recapitulate and explain the notion of "Aether" in Hegel's works and compare it to novel aether concepts which might be appropriate in the context of contemporary quantum physics. Such a juxtaposition would well have matched Hegel's own intentions, since he had always been a keen observer of the latest developments in the natural sciences during his own lifetime. In conclusion we can say that, in spite of a number of differences, both notions of aether can be speculatively characterised by the paradoxical term "reality of possibility". (shrink)

‘Information’ is a fundamental notion in the field of artificial intelligence including various sub-disciplines such as cybernetics, artificial life, robotics, etc. Practically the notion is often taken for granted and used naively in an unclarified and philosophically unreflected manner, whilst philosophical attempts at clarifying ‘information’ have not yet found much consensus within the science-philosophical community. One particularly notorious example of this lack of consensus is the recent Fetzer-Floridi dispute about what is ‘information’—a dispute which has remained basically unsettled until today (...) in spite of a sequence of follow-up publications on this topic. In this chapter our philosophical analysis reveals with reference to Gottlob Frege’s classical semiotics that the above-mentioned Fetzer-Floridi dispute cannot come to any solution at all, because the two competing notions of ‘information’ in that dispute are basically synonyms of what Frege had called ‘sense’ versus what Frege had called ‘meaning’. As Frege had convincingly distinguished sense and meaning very clearly from each other, it is obvious that ‘information’ understood like ‘sense’ and ‘information’ understood like ‘meaning’ are incompatible and cannot be reconciled with each other. Moreover we also hint in this chapter at the often-forgotten pragmatic aspects of ‘information’ which is to say that ‘information’ can always only be ‘information for somebody’ with regard to a specific aim or goal or purpose. ‘Information’, such understood, is thus a teleological notion with a context-sensitive embedding into what the late Wittgenstein had called a ‘language-game’. Shannon’s quantified notion of ‘information’, by contrast, which measures an amount of unexpected surprise and which is closely related to the number of definite yes-no-questions which must be asked in order to obtain the desired solution of a given quiz puzzle, is not the topic of this chapter—although also in Shannon’s understanding of ‘information’ the quiz puzzle scenario, within which those yes-no-questions are asked and counted, is obviously purpose-driven and Sprachspiel-dependent. We conclude our information-philosophical analysis with some remarks about which notion of ‘information’ seems particularly amenable and suitable for an autonomic mobile robotics project which one of the two co-authors is planning for future work. To separate this suitable notion of ‘information’ from other ones a new word, namely ≪enlightation≫, is coined and introduced. (shrink)

Approximately a century after the bio-philosopher Hans Driesch had published some of his most interesting books, which had been to some extent misunderstood and subsequently fallen to some extent into oblivion, the relevance of some of Driesch's ideas for our own time is, since recently, beginning to be rediscovered. This is, inter alia, because the philosophical triple-relation between the notions of 'mind', 'living body', and 'machine' is still not compellingly clarified by any of the various competing philosophical 'schools' until today, (...) whereby the advent of the programmable computer as an entirely new type of 'machine' has made all the related problems even more complicated. Within this science-philosophical context, this review article revisits and briefly recapitulates some of Driesch's most 'salient' thoughts on the mind-body-problem, and additionally provides some bibliographic auxiliary materials which nowadays students of Driesch's ideas might find useful. The writing of this review was motivated by the desire to clarify some often-seen misunderstandings of Driesch's concept of 'soul' within his two-fold framework of 'vitalism plus phenomenology', as well as by the desire to reconnect our contemporary science-, mind-, nature- and computer-philosophical discourses with one of their most important historic sources. (shrink)

Over the past four decades, software engineering has emerged as a discipline in its own right, though it has roots both in computer science and in classical engineering. Its philosophical foundations and premises are not yet well understood. In recent times, members of the software engineering community have started to search for such foundations. In particular, the philosophies of Kuhn and Popper have been used by philosophically-minded software engineers in search of a deeper understanding of their discipline. It seems, however, (...) that professional philosophers of science are not yet aware of this new discourse within the field of software engineering. Therefore, this article aims to reflect critically upon recent software engineers’ attempts towards a philosophy of software engineering and to introduce our own philosophical thoughts in this context. Finally, we invite the professional philosophers of science to participate in this interesting new discourse. (shrink)

Stefan Collini challenges the common claim that universities need to show that they help to make money in order to justify getting more money.

This paper develops a model of political consensus in order to explain the missing link between inequality and political redistribution. Political consensus is an implicit agreement not to vote for extreme policy proposals. We show that such an agreement may play an efficiency-enhancing role. Voters anticipate that voting for extremist parties increases policy uncertainty in the future. A political consensus among voters reduces policy uncertainty because self-interested politicians propose non-discriminatory policies. We study how much inequality can be sustained in a (...) democracy and how the limits to redistribution vary with initial inequality. The bounds of the set of political equilibria may react in a fundamentally different manner to changes in exogenous variables than do the policy variables in the one-dimensional, one-shot game. More initial inequality need not lead to more redistribution from the rich to the poor. The maximum amount of redistribution decreases with inequality if (and only if) agents are sufficiently patient. In this case inequality is politically self-sustaining. (shrink)

It is pointed out against the two critics (a) that an identity or partial identity of meanings and facts is logically impossible, (b) that the logical grammar of ?identify? and ?explain? is different from that of ?understand? and that hence understanding can never be an operation of identifying or explaining, and (c) that rational understanding does not involve a ?reproduction? of the subject matter in any controversial sense.

Einleitung -- Charismatische Herrschaft -- Traditionale Herrschaft -- Traditionale und charismatische Herrschaft im vorrationalen Okzident: Antike -- Traditionale und charismatische Herrschaft im vorrationalen Okzident: Mittelalter -- Legale Herrschaft.

Artificial Intelligence (AI) is increasingly adopted in society, creating numerous opportunities but at the same time posing ethical challenges. Many of these are familiar, such as issues of fairness, responsibility and privacy, but are presented in a new and challenging guise due to our limited ability to steer and predict the outputs of AI systems. This chapter first introduces these ethical challenges, stressing that overviews of values are a good starting point but frequently fail to suffice due to the context (...) sensitivity of ethical challenges. Frequently, additional (ethical) values emerge for specific applications, as e.g. challenges with fraud detection are very different from those around language technologies. Second, methods to tackle these challenges are discussed. Main ethical theories (virtue ethics, consequentialism, and deontology) are shown to provide a starting point, but often lack the details needed for actionable AI Ethics. Instead, mid-level philosophical theories coupled to design-approaches such as Design for Values, together with interdisciplinary working methods, offer the best way forwards. The chapter aims to show how these approaches can lead to an ethics of AI that is actionable and that can be proactively integrated in the design of AI systems. (shrink)

Explainable artificial intelligence (XAI) aims to help people understand black box algorithms, particularly of their outputs. But what are these explanations and when is one explanation better than another? The manipulationist definition of explanation from the philosophy of science offers good answers to these questions, holding that an explanation consists of a generalization that shows what happens in counterfactual cases. Furthermore, when it comes to explanatory depth this account holds that a generalization that has more abstract variables, is broader in (...) scope and/or more accurate is better. By applying these definitions and contrasting them with alternative definitions in the XAI literature I hope to help clarify what a good explanation is for AI. (shrink)

This imaginative and unusual book explores the moral sensibilities and cultural assumptions that were at the heart of political debate in Victorian and early twentieth-century Britain. It focuses on the role of intellectuals as public moralists and suggests ways in which their more formal political theory rested upon habits of response and evaluation that were deeply embedded in wider social attitudes and aesthetic judgments. Collini examines the characteristic idioms and strategies of argument employed in periodical and polemical writing, and reconstructs (...) the sense of identity and of relation to an audience exhibited by social critics from John Stuart Mill and Matthew Arnold to J.M. Keynes and F.R. Leavis. (shrink)

Examines widespread myths about transhumanism and explores the most pressing ethical issues in the debate over technologically assisted human enhancement.

This study defends the legitimacy of the Enlightenment project by way of its different realizations in the philosophies of Immanuel Kant and Friedrich Heinrich Jacobi. Today, Enlightenment as a cosmopolitan project with a global claim is often considered synonymous with Western chauvinism. The assertion of a universally binding reason is all too obviously inconsistent with the much-cited recognition of cultural differences. In contrast, it is the conviction brought forward in this book that an adequately understood Enlightenment is an unconditional right (...) of every person taking an active interest in a self-determined way of life. Only the realization of this conception of Enlightenment can provide the required space for the reciprocal recognition of human differences to freely unfold. (shrink)

Between 1918 and 1933, the masses became a decisive preoccupation of European culture, fueling modernist movements in art, literature, architecture, theater, and cinema, as well as the rise of communism and fascism and experiments in radical democracy. Spanning aesthetics, cultural studies, intellectual history, and political theory, this volume unpacks the significance of the shadow agent known as "the mass" during a critical period in European history. It follows its evolution into the preferred conceptual tool for social scientists, the ideal slogan (...) for politicians, and the chosen image for artists and writers trying to capture a society in flux and a people in upheaval. This volume is the second installment in Stefan Jonsson's epic study of the crowd and the mass in modern Europe, building on his work in _A Brief History of the Masses_, which focused on monumental artworks produced in 1789, 1889, and 1989. (shrink)

Dray: Mandelbaum legislates regarding the historian's "task" in the guise of descriptive analysis. He seems to envisage two fundamental tasks for the historian: explaining, and relating parts to wholes. Contrary to Mandelbaum's implication, there is no more opposition between narration and either of these tasks than there is between the two tasks themselves.Ely: Mandelbaum refutes White and Danto, who both hold that historical writing is essentially narrative; but not Gallie, who asserts that historical writing is necessarily, but never solely, a (...) narrative construction. The claim that history is essentially narrative is fruitful even though false because it recognizes an important characteristic of historical thinking - the historian's conceptual isolation of a series of intentional human actions from the situations with which they were designed to cope.Gruner: Mandelbaurn is correct in his criticism of narrativism, but does not support his criticism by good reasons. Historians offer both static, non-narrative descriptions and kinetic, narrative descriptions. Historical description is therefore not the same as historical narration; the latter is only a species of the former. (shrink)

How do we get out knowledge of the natural numbers? Various philosophical accounts exist, but there has been comparatively little attention to psychological data on how the learning process actually takes place. I work through the psychological literature on number acquisition with the aim of characterising the acquisition stages in formal terms. In doing so, I argue that we need a combination of current neologicist accounts and accounts such as that of Parsons. In particular, I argue that we learn the (...) initial segment of the natural numbers on the basis of the Fregean definitions, but do not learn the natural number structure as a whole on the basis of Hume's principle. Therefore, we need to account for some of the consistency of our number concepts with the Dedekind-Peano axioms in other terms. (shrink)

Sur la décomposition des ensembles de points en parties respectivement congruentes.

Stefan Jonsson uses three monumental works of art to build a provocative history of popular revolt: Jacques-Louis David's _The Tennis Court Oath_ (1791), James Ensor's _Christ's Entry into Brussels in 1889_ (1888), and Alfredo Jaar's _They Loved It So Much, the Revolution_ (1989). Addressing, respectively, the French Revolution of 1789, Belgium's proletarian messianism in the 1880s, and the worldwide rebellions and revolutions of 1968, these canonical images not only depict an alternative view of history but offer a new understanding (...) of the relationship between art and politics and the revolutionary nature of true democracy. Drawing on examples from literature, politics, philosophy, and other works of art, Jonsson carefully constructs his portrait, revealing surprising parallels between the political representation of "the people" in government and their aesthetic representation in painting. Both essentially "frame" the people, Jonsson argues, defining them as elites or masses, responsible citizens or angry mobs. Yet in the aesthetic fantasies of David, Ensor, and Jaar, Jonsson finds a different understanding of democracy-one in which human collectives break the frame and enter the picture. Connecting the achievements and failures of past revolutions to current political issues, Jonsson then situates our present moment in a long historical drama of popular unrest, making his book both a cultural history and a contemporary discussion about the fate of democracy in our globalized world. (shrink)

The Approximate Number System (ANS) is a system that allows us to distinguish between collections based on the number of items, though only if the ratio between numbers is high enough. One of the questions that has been raised is what the representations involved in this system represent. I point to two important constraints for any account: (a) it doesn’t involve numbers, and (b) it can account for the approximate nature of the ANS. Furthermore, I argue that representations of pure (...) magnitude with vehicles that have an imprecision in the value of the unit of measurement (further clarified through a formal model from measurement theory) fit both these requirements. (shrink)

In this annotated critical edition of Aristotle’s Metaphysics Lambda Stefan Alexandru draws upon many hitherto unexplored sources of the direct and indirect tradition, inter alia upon an independent Greek manuscript he has discovered in the Vatican Library.

Die Frage nach Sinn ist eine bleibend existentielle Frage des Menschen. Sie wird dringend aktuell in einer Zeit zunehmender Säkularisierung und Multioptionalität. Eine Theologie, die die Gesellschft prägen will, muss hierzu eine Antwort aus der Mitte des christlichen Glaubens geben können. Stefan Laurs stellt sich dieser Herausforderung. In Auseinandersetzung mit Charles Taylor und Walter Kasper analysiert er den neuzeitlichen Säkularisierungsprozess und widmet sich insbesondere der damit verbundenen Frage des Menschen nach Sinn und Erfüllung. Dabei wird ersichtlich, dass die Sinnfrage (...) aus theologischer Perspektive in der Gottesfrage zur Darstellung kommt. Nur in Gott, der Liebe ist, findet der Mensch den universalen Sinn un die Erfüllung seines Lebens. (shrink)

Can concepts be acquired by testing hypotheses about these concepts? Fodor famously argued that this is not possible. Testing the correct hypothesis would require already possessing the concept. I argue that this does not generally hold for mathematical concepts. I discuss specific, empirically motivated, hypotheses for number concepts that can be tested without needing to possess the relevant number concepts. I also argue that one can test hypotheses about the identity conditions of other mathematical concepts, and then fix the application (...) conditions based on those hypotheses—under the assumption that the neo‐logicist view on abstraction principles is correct. (shrink)

We provide a number of simplified and improved separations between pairs of Resolution-with-bounded-conjunction refutation systems, Res, as well as their tree-like versions, Res⁎. The contradictions we use are natural combinatorial principles: the Least number principle, LNPn and an ordered variant thereof, the Induction principle, IPn.LNPn is known to be easy for Resolution. We prove that its relativization is hard for Resolution, and more generally, the relativization of LNPn iterated d times provides a separation between Res and Res. We prove the (...) same result for the iterated relativization of IPn, where the tree-like variant Res⁎ is considered instead of Res.We go on to provide separations between the parameterized versions of Res and Res. Here we are able again to use the relativization of the LNPn, but the classical proof breaks down and we are forced to use an alternative. Finally, we separate the parameterized versions of Res⁎ and Res⁎. Here, the relativization of IPn will not work as it is, and so we make a vectorizing amendment to it in order to address this shortcoming. (shrink)

Process reliabilist accounts claim that a belief is justified when it is the result of a reliable belief-forming process. Yet over what range of possible token processes is this reliability calculated? I argue against the idea that _all_ possible token processes (in the actual world, or some other subset of possible worlds) are to be considered using the case of a user acquiring beliefs based on the output of an AI system, which is typically reliable for a substantial local range (...) but unreliable when all possible inputs are considered. I show that existing solutions to the generality problem imply that these cases cannot be solved by a more fine-grained typing of the belief-forming process. Instead, I suggest that reliability is evaluated over a range restricted by the content of the actual belief and by the similarity of the input to the actual input. (shrink)

ABSTRACT How do non-experts single out numbers for reference? Linnebo has argued that they do so using a criterion of identity based on the ordinal properties of numerals. Neo-logicists, on the other hand, claim that cardinal properties are the basis of individuation, when they invoke Hume’s Principle. I discuss empirical data from cognitive science and linguistics to answer how non-experts individuate numbers better in practice. I use those findings to develop an alternative account that mixes ordinal and cardinal properties to (...) provide a detailed answer to the question: how do we in fact semantically individuate numbers? (shrink)

This article shows how activists in the open data movement re-articulate notions of democracy, participation, and journalism by applying practices and values from open source culture to the creation and use of data. Focusing on the Open Knowledge Foundation Germany and drawing from a combination of interviews and content analysis, it argues that this process leads activists to develop new rationalities around datafication that can support the agency of datafied publics. Three modulations of open source are identified: First, by regarding (...) data as a prerequisite for generating knowledge, activists transform the sharing of source code to include the sharing of raw data. Sharing raw data should break the interpretative monopoly of governments and would allow people to make their own interpretation of data about public issues. Second, activists connect this idea to an open and flexible form of representative democracy by applying the open source model of participation to political participation. Third, activists acknowledge that intermediaries are necessary to make raw data accessible to the public. This leads them to an interest in transforming journalism to become an intermediary in this sense. At the same time, they try to act as intermediaries themselves and develop civic technologies to put their ideas into practice. The article concludes with suggesting that the practices and ideas of open data activists are relevant because they illustrate the connection between datafication and open source culture and help to understand how datafication might support the agency of publics and actors outside big government and big business. (shrink)

Integrating the study of human diversity into the human evolutionary sciences requires substantial revision of traditional conceptions of a shared human nature. This process may be made more difficult by entrenched, 'folkbiological' modes of thought. Earlier work by the authors suggests that biologically naive subjects hold an implicit theory according to which some traits are expressions of an animal's inner nature while others are imposed by its environment. In this paper, we report further studies that extend and refine our account (...) of this aspect of folkbiology. We examine biologically naive subjects' judgments about whether traits of an animal are 'innate', 'in its DNA' or 'part of its nature'. Subjects do not understand these three descriptions to be equivalent. Both innate and in its DNA have the connotation that the trait is species-typical. This poses an obstacle to the assimilation of the biology of polymorphic and plastic traits by biologically naive audiences. Researchers themselves may not be immune to the continuing pull of folkbiological modes of thought. (shrink)

Linsky and Zalta try to explain how we can refer to mathematical objects by saying that this happens through definite descriptions which may appeal to mathematical theories. I present two issues for their account. First, there is a problem of finding appropriate pre-conditions to reference, which are currently difficult to satisfy. Second, there is a problem of ensuring the stability of the resulting reference. Slight changes in the properties ascribed to a mathematical object can result in a shift of reference (...) and this leads to various problems, e.g., it makes inferring knowledge much harder than it is. (shrink)

The normative mechanics of promising seem complex. The strength and content of promissory obligations, and the residual duties they entail upon being violated, have various prima facie surprising features. We give an account to explain these features. Promises have a point. The point of a promise to φ is a promise-independent reason to φ for the promisee’s sake. A promise turns this reason into a duty. This explains the mechanics of promises. And it grounds a nuanced picture of immoral promises, (...) an argument against promissory bare wrongings, and a constraint on theories of why we have promissory obligations at all. (shrink)

Most accounts of our knowledge of the successor axiom claim that this is based on the procedure of adding one. While they usually don’t claim to provide an account of how children actually acquire this knowledge, one may well think that this is how they get that knowledge. I argue that when we look at children’s responses in interviews, the time when they learn the successor axiom and the intermediate learning stages they find themselves in, that there is an empirically (...) viable alternative. I argue that they could also learn it on the basis of a method that has to do with the structure of the numeral system. Specifically, that they (1) use the syntactic structure of the numeral system and (2) attend to the leftmost digits, the one with the highest place-value. Children can learn that this is a reliable method of forming larger numbers by combining two elements. First, a grasp of the syntactic structure of the numeral system. That way they know that the leftmost digit receives the highest value. Second, an interpretation of numerals as designating cardinal values, so that they also realise that increasing or adding digits on the lefthand side of a numeral produces a larger number. There are thus two, currently equally well-supported, ways in which children might learn that there are infinitely many natural numbers. (shrink)

We are currently witnessing the emergence of a ‘third culture’, driven by unprecedented developments that are changing the playing field. These include advances in AI, big data analysis and robotics. The traditional ‘two cultures’ view (S. P. Snow) distinguishes between the sciences and the humanities. The wisdoms these two cultures offer are separated from each other, with little to no interaction or mutual comprehension. However, over the past two decades, and for the first time in human history, a new, third (...) culture has appeared. This new culture, rooted in new technologies, not only pursues its own form of rationality but also supports advances in the original two cultures, deepening and expanding our individual and collective consciousness so that we can see more and do better. It will eventually give rise to new forms of consciousness based not on biochemical signals, but on copper wires and lithium chips. These new machine intelligences will change the world and force us to realise: we are no longer alone. The human species’ position in the twenty-first century will be fundamentally redefined: not as a conductor leading the orchestra, but a single string player within it. (shrink)

Ziel dieses Aufsatzes ist es, Robert Brandoms Begriff des Explizit-Machens explizit zu machen. Zu diesem Zweck werden zunächst verschiedene Formen des Explizit-Machens unterschieden. Dabei erweist sich allein der Begriff des logischen Explizit-Machens als haltbar. Anschließend wird gezeigt, dass diesem Begriff eine Schlüsselstellung im Rahmen von Brandoms Philosophie zukommt. Sowohl seine philosophische Methodologie als auch sein zentrales philosophisches Projekt einer Zurückführung von Semantik auf Pragmatik lassen sich höchstens soweit verständlich machen wie der Begriff des logischen Explizit-Machens. Dieser weist allerdings ein erhebliches (...) Defizit auf: Im Rahmen einer Inferentialistischen Semantik lässt sich die expressive Funktion wichtiger Teile des logischen Vokabulars nicht verständlich machen. Das Ergebnis ist, dass sich zwei der Grundpfeiler von Brandoms Sprachphilosophie, die Inferentialistische Semantik einerseits und deren Zurückführung auf eine normative Pragmatik andererseits, nicht gleichzeitig konsequent durchhalten lassen. (shrink)

According to Hempel’s influential theory of explanation, explaining why some a is G consists in showing that the truth that a is G follows from a law-like generalization to the effect that all Fs are G together with the initial condition that a is F. While Hempel’s overall account is now widely considered to be deeply flawed, the idea that some generalizations play the explanatory role that the account predicts is still often endorsed by contemporary philosophers of science. This idea, (...) however, conflicts with widely shared views in metaphysics according to which the generalization that all Fs are G is partially explained by the fact that a is G. I discuss two solutions to this conflict that have been proposed recently, argue that they are unsatisfactory, and offer an alternative. (shrink)