This paper outlines a defense of hybrid contingentism: that it is contingent which individuals there are, but not contingent what properties there are. Critics pursue two main lines of complaint. First, that the hybrid contingentist’s treatment of haecceitistic properties is metaphysically mysterious, and second, that hybrid contingentism involves an unjustified asymmetry in the associated modal logic. I suggest that these complaints may be too quick, at least in the setting of higher-order metaphysics. It is not at all obvious whether and to what extent we should expect particular “symmetries” across the orders, and so whether (as Williamson (2013) argues) “the default preference is for a uniform metaphysics, on which being is contingent at all orders or none.”
Metaphysics as modeling: the handmaiden’s tale
Critics of contemporary metaphysics argue that it attempts to do the hard work of science from the ease of the armchair. Physics, not metaphysics, tells us about the fundamental facts of the world, and empirical psychology is best placed to reveal the content of our concepts about the world. Exploring and understanding the world through metaphysical reflection is obsolete. In this paper, I will show why this critique of metaphysics fails, arguing that metaphysical methods used to make claims about the world are similar to scientific methods used to make claims about the world, but that the subjects of metaphysics are not the subjects of science. Those who argue that metaphysics uses a problematic methodology to make claims about subjects better covered by natural science get the situation exactly the wrong way around: metaphysics has a distinctive subject matter, not a distinctive methodology. The questions metaphysicians address are different from those of scientists, but the methods employed to develop and select theories are similar. In the first section of the paper, I will describe the sort of subject matter that metaphysics tends to engage with. In the second section of the paper, I will show how metaphysical theories are classes of models and discuss the roles of experience, common sense and thought experiments in the construction and evaluation of such models. Finally, in the last section I will discuss the way these methodological points help us to understand the metaphysical project. Getting the right account of the metaphysical method allows us to better understand the relationship between science and metaphysics, to explain why doing metaphysics successfully involves having a range of different theories, to understand the role of thought experiments involving fictional worlds, and to situate metaphysical realism in a scientifically realist context.
Truth
The concept of truth serves in logic not only as an instrument but also as an object of study. Eubulides of Miletus (fl. fourth century BCE), a Megarian logician, discovered the paradox known as ‘the Liar,’ and, ever since his discovery, logicians down the ages – Aristotle and Chrysippus, John Buridan and William Heytesbury, and Alfred Tarski and Saul Kripke, to mention just a few – have tried to understand the puzzling behavior of the concept of truth.
A Recipe for Paradox
In this paper, we provide a recipe that not only captures the common structure of semantic paradoxes but also captures our intuitions regarding the relations between these paradoxes. Before we unveil our recipe, we first discuss a well-known schema introduced by Graham Priest, namely,the Inclosure Schema. Without rehashing previous arguments against the Inclosure Schema, we contribute different arguments for the same concern that the Inclosure Schema bundles together the wrong paradoxes. That is, we will provide further arguments on why the Inclosure Schema is both too narrow and too broad. We then spell out our recipe. The recipe shows that all of the following paradoxes share the same structure: The Liar, Curry’s paradox, Validity Curry, Provability Liar, Provability Curry, Knower’s paradox, Knower’s Curry, Grelling-Nelson’s paradox, Russell’s paradox in terms of extensions, alternative Liar and alternative Curry, and hitherto unexplored paradoxes.We conclude the paper by stating the lessons that we can learn from the recipe, and what kind of solutions the recipe suggests if we want to adhere to the Principle of Uniform Solution.
The Semantics of First Degree Entailment
From the introduction: “we argue that the semantics of the first degree paradox-free implication system FD supports the claim it is superior to strict implication as an analysis of entailment at the first degree level. The semantics also reveals that Disjunctive Syllogism, […] far from being a paradigmatic entailment, is invalid, and allows the illegitimate suppression of tautologies”
The Politics of Reason: Towards a Feminist Logic
The author argues that there is a strong connection between the dualisms that have strengthened and naturalized systematic oppression across history (man/woman, reason/emotion, etc.), and “classical” logic. It is suggested that feminism’s response should not be to abandon logic altogether, but rather to focus on the development of alternative, less oppressive forms of rationality, of which relevant logics provide an example.
Inner and Outer Truth
Kit Fine and Robert Adams have independently introduced a distinction between two ways in which a proposition might be true with respect to a world. A proposition is true at a world if it correctly represents the world. A proposition is true in a world, if it exists in that world and correctly represents it. In this paper, I clarify this distinction between outer and inner truth, defend it against recent charges of unintelligibly and argue that outer truth tracks counterfactual possibility while inner truth tracks counter-actual possibility. This connection allows us to clarify the relationship between possibility, possible actuality and the thesis of serious actualism, which is the thesis that nothing could have had a property without existing. I show that this undermines serious actualists’ scruples against reading sentences like `Even if Socrates had not existed, he might have’ as expressing true and genuinely de re propositions about Socrates. More generally, the connection I draw provides the serious actualist with a justification for treating actually existing but contingent objects differently from how he treats merely possible objects
The Methodological is Political: What’s the Matter with ‘Analytic Feminism’?
A core insight of some important second wave feminist writings is that, in order to qualify as truly ‘feminist’, a movement has to be politically radical. For example, there is a powerful articulation of this theme, to mention one noteworthy site, in the work of bell hooks. A guiding preoccupation of hooks’ thought, as far back as the early eighties, is to underline the pernicious and intellectually flawed character of the supposedly ‘feminist’ postures of ‘bourgeois white women’ in the U.S. whose efforts are directed toward the politically superficial goal of claiming the social privileges of bourgeois white men. hooks shows that there is no way to ‘overcome barriers that separate women from one another’ without ‘confronting the reality of racism’. She describes how the forms of gender-based subordination experienced by privileged white women are inextricable from racist and classist social mechanisms that elevate these women above women who are non-white and poor, and how the sexist obstacles that poor and non-white women encounter are in turn permeated by racism and classism. hooks concludes that if ‘feminism’ is to be dedicated to identifying and resisting sexist oppression, it needs to – in her words – ‘direct our attention to systems of domination and the interrelatedness of sex, race and class oppression.
Digital Natives’: How Medical and Indigenous Histories Matter for Big Data
This case considers the politics of reuse in the realm of “Big Data.” It focuses on the history of a particular collection of data, extracted and digitized from patient records made in the course of a longitudinal epidemiological study involving Indigenous members of the Gila River Indian Community Reservation in the American Southwest. The creation and circulation of the Pima Indian Diabetes Dataset (PIDD) demonstrates the value of medical and Indigenous histories to the study of Big Data. By adapting the concept of the “digital native” itself for reuse, I argue that the history of the PIDD reveals how data becomes alienated from persons even as it reproduces complex social realities of the circumstances of its origin. In doing so, this history highlights otherwise obscured matters of ethics and politics that are relevant to communities who identify as Indigenous as well as those who do not.