I sketch the basic problem of vagueness - the sorites paradox and propose a new solution. I try to show that the paradoxical result of the sorites arguments arises from combining different language games or representation systems without sufficient care. I propose two solutions, two types of regimentating the sorites. They do not allow an inheritance of the vague property F in the whole sequence of objects. The first introduces some quantitatively determined predicates (quantitative regimentation) and the second (relational (...) regimentation) replaces the equivalence relation between successive objects with a suitable weaker asymmetrical relation ‘is at least as much F as’ (or ‘is at most as much F as’). (shrink)

The Belief‐Desire model (the B‐D model) of reasons for action has been subject to much criticism lately. Two of the most elaborate and trenchant expositions of such criticisms are found in recent works by Jonathan Dancy (2000) and Fred Stoutland (2002). In this paper we set out to respond to the central pieces of their criticisms. For this purpose it is essential to sort out and regiment different senses in which the term ‘reason’ may be used. It is necessary to (...) go beyond common philosophical practice and distinguish not merely between two such different uses but to make a tripartite distinction. Our aim is largely conciliatory: we grant the main parts of the points made by Stoutland and Dancy but argue that once the B‐D model has been properly stated, and different uses of the term ‘reason’ sufficiently regimented, the B‐D proponent is able to accommodate their respective criticisms within the framework of the B‐D model and thereby undermine their case against the model. (shrink)

At first sight the title “Regimentation” seems to imply nothing more than a description in detail of the changes set forth above; but while in part it brings into view one side of these changes, and suggests their common tendency, it serves a further end. I use it here to express certain wider changes which are their concomitants. For as indicated some pages back, and as shown at length in The Principles of Sociology , in a chapter on  “The (...) Militant Type,” that graduated subordination which we see in an army, characterizes a militant society at large more and more as militancy increases. (shrink)

2. Regimentation in Action. That these words of Quine's are unfortunate can best be shown by looking at two examples of regimentation in action and by considering how we might very naturally first appraise the regimenter's success with a metaphysical problem. One example will be taken from Paul Weiss's Modes of Being and the other from Quine himself.

A very brief outline of Popper's methodology.

The one-page 1978 informal proof of Goodman and Myhill is regimented in a weak constructive set theory in free logic. The decidability of identities in general (⁠|$a\!=\!b\vee\neg a\!=\!b$|⁠) is derived; then, of sentences in general (⁠|$\psi\vee\neg\psi$|⁠). Martin-Löf’s and Bell’s receptions of the latter result are discussed. Regimentation reveals the form of Choice used in deriving Excluded Middle. It also reveals an abstraction principle that the proof employs. It will be argued that the Goodman–Myhill result does not provide the constructive (...) set theorist with a dispositive reason for not adopting (full) Choice. (shrink)

The manuscripts of Harriot discussed in this paper are essentially rough notes marginal to his systematic treatment of algebra, of which a small part was published posthumously. The central theme is the sign-rule for multiplication; but the incidentals open up an aspect of symbolism in mathematics entirely new for the time. A more restricted aspect of the same theme was touched on by Commandino in his Euclid, quoted by Harriot as rightly blaming ‘those that thinke that minus per minus shal (...) produce plus’; Commandino's authority was Cardano, in a similarly marginal departure from his great Ars magna, the de Aliza, which Harriot also cites in the same reference. The ostensible motivation, to preserve intact the Euclidean tradition in geometry, plays a very minor role in Harriot's notes. The basic aim, to elude the fatal link with imaginaries, they do touch on. More dimly underlying the arguments are the crucial logical facets of the problem, which Harriot faced with a greater conceptual clarity, formulating in words, however, only his own conclusion: the choice of sign-rule is the user's—a fact not fully recognised by mathematicians generally until the 19th century. (shrink)

The publication of John Knox's First Blast of the Trumpet in 1558 had engendered a radical debate about the public role of women and the nature of female authority and obedience. Howard was not the only author who attempted to refute Knox's tract. The Marian exile and future Bishop of London, John Aylmer, the Catholic Bishop of Ross, John Leslie, and the Catholic, Scottish lawyer, David Chambers, all published books disproving Knox's allegations about women's unfitness for rule. Richard Bertie, husband (...) of Catherine, Duchess of Suffolk, also prepared a manuscript refutation which was never published. The published works are moderately well known, and have been discussed elsewhere. This article concentrates on Howard's unpublished contribution to the Knox debate. The tract is important because of its length and detail, its conclusions regarding the potential role of aristocratic women, and because of Howard's personal reputation and aristocratic connections. The �Defense� was both eloquent and persuasive, analysing women's legal, historical and theological status within early modern society. Howard presented alternative interpretations of female stereotypes found in sermons and polemical writings. His commentaries on Genesis, Athalia, Jezebel and Deborah show how traditional biblical stories could be interpreted in radically differing ways, with profound implications for contemporary women. Because of the length of Howard's tract, this article can present only a summary of his main conclusions. His interpretation of the first three chapters of Genesis will be presented in rather more detail as an indication of the complexity of the early modern debate about women, and the dangers of trying to attach simplistic labels to individual attitudes. (shrink)

The Enlightenment can usefully be conceived as a confrontation with eroding Christian and classical republican ethics. It was permeated with assumptions about women and the gendered dichotomy between public and private spheres. While William Robertson and Edmund Burke, along with many of their contemporaries, remained committed to Christian- and republican-based conceptions of virtue, they were working within a new Enlightenment paradigm. Its political agenda has to be understood by way of its configurations of beauty, taste, and morality as these relate (...) to the imperatives and needs of modern societies of a high level of sophistication and differentiation. An examination of two themes in the work of Robertson and Burkesavagecivilizedbeauty in distressreveals how long-held convictions about the character of women, especially with regard to their capacity and right to appear in the public domain, were modified and adjusted to the idea of progress, and became central to an enlightened affirmation of modern European civilization. The result had its ironies. On the one hand, a positive public and indeed political role was invented for women that is central to understanding the overall thrust of a political discourse based on politeness, civility, refinement and similar values specifically associated with modern commercial societies. On the other hand, though the complexity of this model of society gave ample scope to informal and spontaneous vehicles of social disciplining, whatever room was left for the more traditional ways of governing polities through the direct exertion of political power remained closed to women: the very features that opened for them the opportunity to play political roles through sociability in the public sphere also circumscribed them. (shrink)

In this sequel to "The logic and meaning of plurals. Part I", I continue to present an account of logic and language that acknowledges limitations of singular constructions of natural languages and recognizes plural constructions as their peers. To this end, I present a non-reductive account of plural constructions that results from the conception of plurals as devices for talking about the many. In this paper, I give an informal semantics of plurals, formulate a formal characterization of truth for the (...) regimented languages that results from augmenting elementary languages with refinements of basic plural constructions of natural languages, and account for the logic of plural constructions by characterizing the logic of those regimented languages. (shrink)

When regimented in a certain natural way, the concepts of explanation and justification manifest a pattern of interrelations connected more or less systematically to their object. Besides its intrinsic interest, this pattern may give us some insight into the nature, source, and limits of the concept of argument.

Our regimentation of Goodman and Myhill’s proof of Excluded Middle revealed among its premises a form of Choice and an instance of Separation.Here we revisit Zermelo’s requirement that the separating property be definite. The instance that Goodman and Myhill used is not constructively warranted. It is that principle, and not Choice alone, that precipitates Excluded Middle.Separation in various axiomatizations of constructive set theory is examined. We conclude that insufficient critical attention has been paid to how those forms of Separation (...) fail, in light of the Goodman–Myhill result, to capture a genuinely constructive notion of set. (shrink)

Regimentation of an intuitively plausible distinction enhances understanding of that distinction. In Carnap’s words, it is an explication. Properly employed, it is, in the case to be considered, and in almost all others, an indispensable aid to good philosophizing.

Russia took the advantage of the contribution of the Armenian armed organizations in order to possess Istanbul, straits around it, Eastern Anatolia, to weaken Turkey, to be strengthen in the Southern Caucasus, organized the rebellion of the Armenians living in Turkey against the government. Russian ruling circles put forward the Armenian matter in order to take advantage of them. Armenians involved in the war to create their own government by obtaining the territory including Van, Bitlis, Tigranakert, Erzurum, Kharberd and Sebastya, (...) as well as Cilicia from Turkey, to solve their Armenian problem. But in fact, Russia, France and England tried to blow to Turkey pretending to try for building an independent Armenian government. The grade of contribution of Armenian military units in the First World War can be characterized as following: 1. Creating the Armenian volunteer units. 2. Establishing the regular battalions and infantry regiments and forming the national corpuses. The organizations of Hnchak and Dashnaksutyun actively participated in creating the Armenian volunteer units. Dashnaks mobilized 40 000 people to destroy the Turkish people. They established tens of khumbas. The Armenian volunteer units were commanded by Andranic Ozanyan, Dro, Amazasp, Keri, Checho, Vardan and others terrorists. Armenian volunteer units which were supposed to move in 4 directions, should act in the directions where the Armenian people were densely populated. These 4 Armenian volunteer units fight against Turks in all important combat operations from Sarigamish to Erzurum. The same time Russian army and Armenians triggered the rebellion of the local population against the Turkish government. 50000 of Armenians were fighting in French, England and USA armies. The Eastern legion of Armenians was established in French army on November 1916. On November 15, 1918, the Eastern Legion was named Armenian legion. The number of the Armenians in the legion riched to 4000. In the beginning of 1916, there was an announcement about subordination of the military detachments to army and establishment of infantry regiments based on that. Establishment of the separate Armenian corpus started at the end of December 1917. In 1917, 8 Armenian shooter regiments were established. From the mentioned 8 regiments two Armenian shooter divisions, the special Armenian division of Andranic, 3 infantry brigades of western Armenians in the Southern Caucasus region, some guerrilla troops in Erevan, Igdir guerrilla infantry and rider regiments, Zeytun regiment in Tbilisi were established. At present, Armenia often raises false claims such as the "Armenian genocide" in the parliaments of the world, trying to confirm this lie. This research proves that Armenians betrayed the Ottoman state during the First World War and also committed Turkish genocides. (shrink)

The elucidations and regimentations of grounding offered in the literature standardly take it to be a necessary connection. In particular, authors often assert, or at least assume, that if some facts ground another fact, then the obtaining of the former necessitates the latter; and moreover, that grounding is an internal relation, in the sense of being necessitated by the existence of the relata. In this article, I challenge the necessitarian orthodoxy about grounding by offering two prima facie counterexamples. First, some (...) physical facts may ground a certain phenomenal fact without necessitating it; and they may co-exist with the latter without grounding it. Second, some instantiations of categorical properties may ground the instantiation of a dispositional one without necessitating it; and they may co-exist without grounding it. After arguing that these may be genuine counterexamples, I ask whether there are modal constraints on grounding that are not threatened by them. I propose two: that grounding supervenes on what facts there are, and that every grounded fact supervenes on what grounds there are. Finally, I attempt to provide a rigorous formulation of the latter supervenience claim and discuss some technical questions that arise if we allow descending grounding chains of transfinite length. (shrink)

Many (all?) languages regiment differences between main and subordinate clauses and between straightforward assertions and other kinds of expressions. There are two main ways of expressing grammatical differences in natural languages: structural and inflectional. Other resources: lexical, intonational, etc.

This paper regiments and responds to an objection to skeptical theism. The conclusion of the objection is that it is not reasonable for skeptical theists to prevent evil, even when it would be easy for them to do so. I call this objection a “Dominance-Reasoning Objection” because it can be regimented utilizing dominance reasoning familiar from decision theory. Nonetheless, I argue, the objection ultimately fails because it neglects a distinction between justifying goods that are necessary for the existence of a (...) good and those that are necessary for God’s permission of the good. (shrink)

Controlled languages are regimented fragments of natural languagedesigned to make the processing of natural language more efficient andreliable. This paper defines a controlled language, E2V, whose principalgrammatical resources include determiners, relative clauses, reflexivesand pronouns. We provide a formal syntax and semantics for E2V, in whichanaphoric ambiguities are resolved in a linguistically natural way. Weshow that the expressive power of E2V is equal to that of thetwo-variable fragment of first-order logic. It follows that the problemof determining the satisfiability of a set (...) of E2V sentences is NEXPTIMEcomplete. We show that E2V can be extended in various ways withoutcompromising these complexity results; however, relaxing our policy onanaphora resolution renders the satisfiability problem for E2Vundecidable. Finally, we argue that our results have a bearing on thebroader philosophical issue of the relationship between natural andformal languages. (shrink)

Midway through How to Do Things With Words, J.L. Austin’s announces a “fresh start” in his efforts to characterize the ways in which speech is action, and introduces a new conceptual framework from the one he has been using up to that point. Against a common reading that portrays this move as simply abandoning the framework so far developed, Marina Sbisà contends that the text takes the argumentative form of a proof by contradiction, such that the initial framework plays an (...) instrumental role as part of a proof in favour of the subsequent one. Despite agreeing with Sbisà’s broad instrumentalist approach, we argue that her regimentation of Austin’s narrative into a proof by contradiction ultimately fails - both as a proof and as an interpretation of Austin. Instead, we suggest that a better way of interpreting the peculiar structure of How to Do Things With Words is as a pedagogical exercise whose point is to bring a concealed alternative into view in a manner that also explains its initial concealment, and that this approach provides richer resources for supporting Sbisà’s own conventionalist understanding of illocution than that afforded by reading the text as a proof by contradiction. (shrink)

Some say that presentism precludes time travel into the past since it implies that the past does not exist, but this is a bad argument. Presentism says that only currently existing entities exist, and that the only properties and relations those entities instantiate are those that they currently instantiate. This does in a sense imply that the past does not exist. But if that precluded time travel into the past, it would also preclude the one-second-per-second “time travel” into the future (...) that is ordinary persistence, for presentism accords the future the same ontological status as the past. Instead of quantifying over past and future objects and events, presentists speak a tensed language, regimented with primitive sentential tense operators. For a presentist, a persisting person is one who did exist, and who will exist. Regimented, these claims become: it was the case that she exists, and it will be the case that she exists. The presentist may then apply the same strategy to time travel proper. Suppose Katy travels back to the time of the dinosaurs. The presentist can say that it was the case two hundred million years ago that Katy exists. This claim, which consists of a present-tense statement “Katy exists” embedded within the past tense operator it was the case two hundred million years ago that, is exactly the sort of statement about time that a presentist is free to accept. This has all been made clear by Simon Keller and Michael Nelson ( ). In addition to rebutting the bad argument against the consistency of presentism and time travel, Keller and Nelson argue positively in favor of consistency by showing how to translate David Lewis’s ( ) account of time travel into the presentist’s tensed language. The appearance of con ict between presentism and time travel, they argue, is due only to the fact that most defenders of time travel (for example Lewis) have tended to phrase their defenses in nonpresentist terms. As much as I applaud their rebuttal of the bad argument, I wish to sound a note of caution.. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

_ Source: _Volume 46, Issue 2, pp 157 - 183 This paper suggests interpreting Husserl’s thesis of the “fictional destruction of the world” in the light of the eidetic method of variation. After having reconstructed Husserl’s argument and shown how it relies on the methodologically regimented joint venture of free fantasy and bounded concepts, the author concludes that the a priori of a world, namely its empirical style, is tantamount to the a priori of a world that can be possibly (...) experienced by some conceivable form of consciousness. If consciousness is a priori bound to transcendence, such transcendence is not necessarily supposed to be the transcendence of a world, for a non-world would be enough to entertain the intentional directedness. This twofold claim allows for a novel interpretation of Husserl’s principle of the asymmetry between world and consciousness. (shrink)

Defenses of pragmatic encroachment commonly rely on two thoughts: first, that the gap between one’s strength of epistemic position on p and perfect strength sometimes makes a difference to what one is justified in doing, and second, that the higher the stakes, the harder it is to know. It is often assumed that these ideas complement each other. This chapter shows that these ideas are far from complementary. Along the way, a variety of strategies for regimenting the somewhat inchoate notion (...) of stakes are indicated, and some troubling cases for pragmatic encroachment raised. (shrink)

A chemical substance is instantiated in the material world by a number of quantities of such substance, placed in different locations. A change of location implies a change in the net of relationships entertained by the QCS with the region wherein it is found. This fact entails changes of the ontological status of the CS, as this is not fully determined by the inherent features of the CS and includes a relevant relational contribution. In order to demonstrate this thesis, we (...) have chosen to analyse the status of quantities of a same CS that are synchronically located in different spacetime regions: a synthetic lab, a lab where the QCS is turned into a material, an industrial plant, the market where the QCS gets a price and a dump waste where the QCS is discarded, respectively: Chemical substance Open image in new window material Open image in new window product Open image in new window goods Open image in new window wasteThe use of first-order predicate logic, mereology and locative logic allows carrying out a regimentation process that highlights the ontological commitments implied by the formal expressions through which each element of the aforementioned series can be described. The presence of relational properties discloses the systemic nature of the CS instantiated within a spacetime region. The implications of such an aspect are discussed. (shrink)

In this paper, I examine whether doxastic voluntarism should be taken seriously within normative doxastic ethics. First, I show that currently the psychological evidence does not positively support doxastic voluntarism, even if I accept recent conclusions by Matthias Steup that the relevant evidence does not decisively undermine voluntarism either. Thus, it would seem that normative doxastic ethics could not justifiedly appeal directly to voluntarist assumptions. Second, I attempt to bring out how doxastic voluntarists may nevertheless hope to stir methodological worries (...) within normative doxastic ethics, should they demonstrate that our typical practices of deontically evaluating doxastic states crucially rely on voluntarist assumptions. I also argue that some of the key arguments thought positively to support voluntarism as a psychological thesis may be put to better effect in the context of this kind of descriptive vindication. However, a closer examination reveals that nothing obviously suggests that voluntarism provides a better regimentation of our ascription practices as compared to rival theses concerning human powers of doxastic control. (shrink)

Philosophy invariably starts with the attempt to spell out ideas and beliefs that we already hold, whether on topics like time or causality, colour or value, consciousness or free will, democracy or justice or freedom. It may go well beyond such pre-philosophical assumptions in its further developments, regimenting them in unexpected ways, revising them on novel lines, even discarding them entirely in favour of other views. But philosophy always begins with the articulation of ordinary ideas and beliefs. This is where (...) its ladder starts. As the name suggests, articulation requires that the ideas and beliefs articulated were already there waiting to be spelled out, and that identifying them is a matter of analysing.. (shrink)

In “Reliabilism Leveled” Jonathan Vogel (2000) provides a strong case against epistemic theories that stress the importance of tracking/sensitivity conditions. A tracking/sensitivity condition is to be understood as some version of the following counterfactual: (T) ~p oÆ ~Bp (T) says that s would not believe p, if p were false. Among other things, tracking is supposed to express the external relation that explains why some justified true beliefs are not knowledge. Champions of the condition include Robert Nozick (1981) and, more (...) recently, Keith DeRose (1995). To my knowledge, the earliest formulation of the counterfactual condition is found in Fred Dretske’s conclusive reasons condition (1971), which says, s would not have had the reason that she does for believing p, if p were false. Vogel contends that any such counterfactual condition on knowledge will render the theory of knowledge too strong. He believes that there is at least some possible reflective knowledge that cannot satisfy the counterfactual--viz., the possible knowledge that one does not believe falsely that p. The alleged impossibility of such reflective knowledge is taken by Vogel to be a decisive objection to the tracking theories advocated by Dretske, Nozick, DeRose1 and others. The criticism finds its roots in Vogel’s earlier work (1987), and recurs in papers by Ernest Sosa (2002, 1996). Sosa suggests that the externalist idea behind tracking is on target, but that Nozick’s counterfactual is a misbegotten regimentation of the idea. In its place Sosa offers his own counterfactual “safety” condition, which he feels properly captures the externalist idea. Sosa’s counterfactual is not the topic of this paper. I mention it only to point out that the criticism that constitutes the subject of my investigation is meant to do a lot of work. In Sosa’s 1 case the criticism is meant to motivate his own counterfactual analysis, and in Vogel’s case the criticism promises to be a silver bullet against a theory that has recently found renewed life in the work of Keith DeRose.. (shrink)

This thesis examines necessary truth and defends a normative, or linguistic, account of it. Roughly, it holds that necessary truths state or follow from conceptual norms (i.e., norms that determine patterns of correct concept use). While the thesis touches upon logical and mathematical truth, its primary focus are those necessary truths typically expressed using natural language. The thesis has three parts. In Part I, I criticise metaphysical accounts of necessity and present and defend a normative account of it. At no (...) point do I give a history of normative accounts, but clearly their roots are to be found in the first half of the twentieth century – in the works of Wittgenstein and Carnap, for example. In Part II, I consider whether language can sustain the normative account. Some argue that the account requires language to be regimented in a way that it is not. I show that while it requires a distinction in kind between empirical and conceptual principles, it nevertheless makes room for indeterminacy regarding whether a given statement is an empirical claim or follows from conceptual norms. Finally, in Part III, I consider the relationship between the world and our conceptual scheme. I argue that denying our concepts answer to the world does not mean that they cannot be justified. The normative account does not say that we have no reasons for categorising things in a certain way, but rather that natural facts, in combination with our interests, are fit to provide them. The purpose of the thesis is to show that normative accounts of necessity can be much more robust than they are often given credit for and needn’t have the malign implications often associated with them. (shrink)

Feminist philosophy has recently become recognised as a self-standing philosophical sub-discipline. Still, metaphysics has remained largely dismissive of feminist insights. Here I make the case for the value of feminist insights in metaphysics: taking them seriously makes a difference to our ontological theory choice and feminist philosophy can provide helpful methodological tools to regiment ontological theories. My examination goes as follows. Contemporary ontology is not done via conceptual analysis, but via quasi-scientific means. This takes different ontological positions to be competing (...) hypotheses about reality’s fundamental structure that are then assessed with a loose battery of criteria for theory choice. Such criteria make up the constitutive values of ontology. These values are distinguished from contextual values of a practice: the political and moral values embedded in the social context of inquiry.. (shrink)

The concept of supervenience and a regimented concept of grounding are often taken to provide rival explications of pre-theoretical concepts of dependence and determination. Friends of grounding typically point out that supervenience claims do not entail corresponding grounding claims. Every fact supervenes on itself, but is not grounded in itself, and the fact that a thing exists supervenes on the fact that its singleton exists, but is not grounded in it. Common lore has it, though, that grounding claims do entail (...) corresponding supervenience claims. In this article, I show that this assumption is problematic. On one way of understanding it, the corresponding supervenience claim is just an entailment claim under a different name. On another way of understanding it, the corresponding claim is a distinctive supervenience claim, but its specification gives rise to what I call the "reference type problem": to associate the classes of facts that are the relata of grounding with the types of facts that are the relata of supervenience. However it is understood, supervenience rules out prima facie possibilities: alien realizers, blockers, heterogeneous realizers, floaters, and heterogeneous blockers. Instead of being rival explications of one and the same pre-theoretical concept, grounding and supervenience may be complementary concepts capturing different aspects of determination and dependence. (shrink)

I defend (metaphysical) ground against recent, unanswered objections aiming to dismiss it from serious philosophical inquiry. Interest in ground stems from its role in the venerable metaphysical project of identifying which facts hold in virtue of others. Recent work on ground focuses on regimenting it. But many reject ground itself, seeing regimentation as yet another misguided attempt to regiment a bad idea (like phlogiston or astrology). I defend ground directly against objections that it is confused, incoherent, or fruitless. This (...) vindicates the very attempt to regiment ground. It also refocuses our attention on the genuine open questions about ground and away from the distracting, unpersuasive reasons for dismissing them. (shrink)