A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...) each of the inadequate principles, I illustrate its inadequacy by showing either that it excludes cases that should not be ruled out by a well-foundedness axiom for grounding, or that it admits cases that should be ruled out. (shrink)

In Der logische Aufbau der Welt, first published in 1928, Carnap aims to rationally reconstruct all objects of cognition by logico-definitional means. As a result, he intends to obtain a fully objective framework in which scientific discourse can take place. This is made possible by the novel method of ‘purely structural definite description’ of all scientifically relevant objects, which is first introduced in the Aufbau. Key to the attainment of this goal is the notion of ‘foundedness’, which Carnap presents (...) as a new basic notion of logic, in order to establish a link between the purely conventional world of logical and mathematical knowledge and the empirical world of knowledge of scientific objects. This idea experienced major criticism by Friedman (1999a,b) since he considers it to lead to the demolition of the boundary between those two worlds. In this essay, we want to defend foundedness against Friedman’s critique by arguing that its introduction is necessary within Carnap’s logicist world of thought to deal with a more fundamental problem: the demarcation of the empirical parts of the Aufbau. In the last section, we will give an outlook on the actual cause for the failure of the Aufbau, the lack of a principle to determine the truth of the instances of the basic relation in the Aufbau, and we will show how this can contribute to the explanation of Carnap’s future philosophical development and retrospective self-evaluation. This essay serves as a dense informal sketch for a later extensive formal treatment of this reading of foundedness and focuses on its implications for the interpretation of Carnap’s post-Aufbau development. (shrink)

Debates over what is fundamental assume that what is most fundamental must be either a “top” level (roughly, the biggest or highest-level thing), or a “bottom” level (roughly, the smallest or lowest-level things). Here I sketch an alternative to top-ism and bottom-ism, the view that a middle level could be the most fundamental, and argue for its plausibility. I then suggest that the view satisfies the desiderata of asymmetry, irreflexivity, transitivity, and well-foundedness of fundamentality, that the view has explanatory (...) power on par with that of top-ism and bottom-ism, and that it satisfies the Principle of Sufficient Reason. (shrink)

Once one accepts that certain things metaphysically depend upon, or are metaphysically explained by, other things, it is natural to begin to wonder whether these chains of dependence or explanation must come to an end. This essay surveys the work that has been done on this issue—the issue of grounding and infinite descent. I frame the discussion around two questions: (1) What is infinite descent of ground? and (2) Is infinite descent of ground possible? In addressing the second question, I (...) will consider a number of arguments that have been made for and against the possibility of infinite descent of ground. When relevant, I connect the discussion to two important views about the way reality can be structured by grounding: metaphysical foundationalism and metaphysical infinitism. (shrink)

Levels of organization and their use in science have received increased philosophical attention of late, including challenges to the well-foundedness or widespread usefulness of levels concepts. One kind of response to these challenges has been to advocate a more precise and specific levels concept that is coherent and useful. Another kind of response has been to argue that the levels concept should be taken as a heuristic, to embrace its ambiguity and the possibility of exceptions as acceptable consequences of (...) its usefulness. In this chapter, I suggest that each of these strategies faces its own attendant downsides, and that pursuit of both strategies (by different thinkers) compounds the difficulties. That both kinds of approaches are advocated is, I think, illustrative of the problems plaguing the concept of levels of organization. I end by suggesting that the invocation of levels may mislead scientific and philosophical investigations more than it informs them, so our use of the levels concept should be updated accordingly. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

A growing number of philosophers are concerned with the epistemic status of culturally nurtured beliefs, beliefs found especially in domains of morals, politics, philosophy, and religion. Plausibly, worries about the deep impact of cultural contingencies on beliefs in these domains of controversial views is a question about well-foundedness: Does it defeat well-foundedness if the agent is rationally convinced that she would take her own reasons for belief as insufficiently well-founded, or would take her own belief as biased, had (...) she been nurtured in a different psychographic community? This chapter will examine the proper scope and force of this epistemic location problem. It sketches an account of well and ill-founded nurtured belief based upon the many markers of doxastic strategies exhibiting low to high degrees of inductive risk: the moral and epistemic risk of ‘getting it wrong’ in an inductive context of inquiry. (shrink)

In formal ontology, infinite regresses are generally considered a bad sign. One debate where such regresses come into play is the debate about fundamentality. Arguments in favour of some type of fundamentalism are many, but they generally share the idea that infinite chains of ontological dependence must be ruled out. Some motivations for this view are assessed in this article, with the conclusion that such infinite chains may not always be vicious. Indeed, there may even be room for a type (...) of fundamentalism combined with infinite descent as long as this descent is “boring,” that is, the same structure repeats ad infinitum. A start is made in the article towards a systematic account of this type of infinite descent. The philosophical prospects and scientific tenability of the account are briefly evaluated using an example from physics. (shrink)

Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, (...) with Level Theory, as developed in Part 1. (shrink)

One main kind of etiological challenge to the well-foundedness of someone’s belief is the consideration that if you had a different education/upbringing, you would very likely accept different beliefs than you actually do. Although a person’s religious identity and attendant religious beliefs are usually the ones singled out as targets of such “contingency” or “epistemic location” arguments, it is clear that a person’s place and time has a conditioning effect in all domains of controversial views, and over all of (...) what in the epistemology of disagreement are termed our nurtured beliefs. Still, given the absolutism that has often attended religious truth claims, together with the great contrariety of teachings based upon purported divine revelation, arguments from contingency have often been presented as having special force against religious ‘enthusiasts.’ Chapter Two argues that if we are to explicate the force of problems of religious luck, we need to think more carefully about the scope and force of skeptical arguments of this general type. Contingency problems are not often considered serious objections to faith, since there are narrative theological explanations about differences between “home” and “alien” religious traditions, which any adherent of a particular tradition might appeal to. But what I term the New Problem tries to present a qualified and re-focused set of concerns, rather than a sweeping sort of skepticism. First, I carefully delimit the scope of the de jure challenge which the contingency and insensitivity of belief suggests. In general terms, a de jure challenge implicates dereliction of epistemic duty, intellectual viciousness, or some other sense of epistemic unacceptability to some target class of religious belief, narrow or broad (Plantinga 1995). Next, I redirect that challenge through a new thought experiment aimed at clarifying how the mind-set of religious exclusivism is enabled only through counter-inductive or “pattern-breaking” thinking. Much more focused than any overbroad argument from continency, the New Problem of religious luck is presented as a strong de jure challenge to the reasonableness of religious exclusivist a) conceptions of faith and b) responses to religious multiplicity. (shrink)

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

1st to date [partial yet irrefutable] proof of this creed well-foundedness.

In this retrospective for Ethics, I discuss H.M. Oliver’s “Established Expectations and American Economic Policies.” This article, by a then-modestly-famous economist, has been ignored (no citations) since its 1940 publication. Yet it bears directly on a normative problem at the intersection of ethics and economics that challenges today’s policymakers but has received comparatively little philosophical attention: how should we balance potentially desirable institutional change against the disruption of established expectations? -/- Oliver details how the principle of fulfilling established expectations cuts (...) across political lines. Conservatives, he observes, criticized inflation for disrupting expectations, and demanded the protection of established corporations. New Deal progressives achieved “the safeguarding of the economic positions of certain important sections of the American people” (104) via statutes designed to protect income and homeownership status. And labor leaders lobbied for the preservation of occupational status. Oliver criticizes these demands on two grounds. First, they are noncompossible: they can’t simultaneously be fulfilled. Second, they are economically inefficient. He concludes that “in a modern dynamic economy, the preservation of status is not and cannot be a feasible criterion of economic justice” (107). -/- I argue that Oliver accurately recognizes both the wide endorsement and the moral ill-foundedness of fulfilling expectations. However, I criticize Oliver’s belief in the noncompossibility of expectations. The established expectations of the wealthy, middle-class homeowners and retirees, and current workers can all be maintained, but at the price of constricting the opportunities of new graduates, immigrants, and the poor—all groups yet to develop settled expectations. This insight renders the protection of expectations not merely inefficient but also unjust. (shrink)

We model infinite regress structures -not arguments- by means of ungrounded recursively defined functions in order to show that no such structure can perform the task of providing determination to the items composing it, that is, that no determination process containing an infinite regress structure is successful.