The aim of this paper is to present and discuss a probabilistic framework that is adequate for the formulation of quantum theory and faithful to its applications. Contrary to claims, which are examined and rebutted, that quantum theory employs a nonclassical probability theory based on a nonclassical "logic," the probabilistic framework set out here is entirely classical and the "logic" used is Boolean. The framework consists of a set of states and a set of quantities that are interrelated in a (...) specified manner. Each state induces a classical probability space on the values of each quantity. The quantities, so considered, become statistical variables (not random variables). Such variables need not have a "joint distribution." For the quantum theoretic application, there is a uniform procedure that defines and determines the existence of such "joint distributions" for statistical variables. A general rule is provided and it is shown to lead to the usual compatibility-commutivity requirements of quantum theory. The paper concludes with a brief discussion of interference and the misunderstandings that are involved in the false move from interference to nonclassical probability. (shrink)

I attempt to meet some criticisms that Williamson makes of my attempt to carry out Prior's project of reducing possibility discourse to actualist discourse.

I develop a basic theory of content within the framework of truthmaker semantics and, in the second part, consider some of the applications to subject matter, common content, logical subtraction and ground.

I respond to some objections Andreas Ditter makes to the logico-global account of vagueness developed in Fine ([2008], [2017], [2020]).

A number of philosophers have recently become receptive to the idea that, in addition to scientific or causal explanation, there may be a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some sort of causal mechanism, but through some constitutive form of determination. I myself have long been sympathetic to this idea of constitutive determination or ‘ontological ground’; and it is the aim of the present paper to help put the idea on a firmer (...) footing - to explain how it is to be understood, how it relates to other ideas, and how it might be of use in philosophy. (shrink)

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

I consider, in the light of Horsten’s and Ito’s paper, how the theory of arbitrary objects might help to make sense of Russell’s views on the nature of variables.

I lay down a system of structural rules for various notions of ground and establish soundness and completeness.

I describe some paradoxes of ground and relate them to the semantic paradoxes.

I discuss Yablo’s approach to truthmaker semantics and compare it with my own, with special focus on the idea of a proposition being true of or being restricted to some subject-matter, the idea of propositional containment, and the development of an ‘incremental’ semantics for the conditional. I conclude with some remarks on the relationship between truth-maker approach and the standard possible worlds approach to semantics.

I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.

I provide a truthmaker semantics for Angell’s system of analytic implication and establish completeness.

I outline a truthmaker semantics for relevanced logic.

I apply the theory of embodiment to various questions concerning the identity of social groups.

There is a common form of problem, to be found in many areas of philosophy, concerning the relationship between our perspective on reality and reality itself. We make statements (or form judgements) about how things are from a given standpoint or perspective. We make the statement ‘it is raining’ from the standpoint of the present time, for example, or the statement‘it is here’ from the standpoint of where we are, or the statement ‘I am glad’ from the standpoint of a (...) subject. In each of these cases, the statement has a certain ‘aspect’ or perspectival character in virtue of which its truth is capable of varying from one standpoint to another. Thus the statement ‘it is raining’ is tensed, the statement ‘it is here’ is ‘spatiocentric’ and the statement ‘I am glad’ is first-personal. The problem we then face is to determine whether this aspect is a feature of the reality which is described or merely a feature of the statement by which it is described. Is reality itself somehow tensed or spatiocentric or firstpersonal or is it merely that we describe a tenseless or spatially uncentered or impersonal reality from a tensed or spatiocentric or first-personal point of view? (shrink)

There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable consequences for (...) the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

How can a statue and a piece of alloy be coincident at any time at which they exist and yet differ in their modal properties? I argue that this question demands an answer and that the only plausible answer is one that posits a difference in the form of the two objects.

I present a puzzle concerning counterfactual reasoning and argue that it should be solved by giving up the principle of substitution for logical equivalents.

I argue for a version of tense-logical realism that privileges tensed facts without privileging any particular temporal standpoint from which they obtain.

In this paper I shall present some of the results I have obtained on modal theories which contain quantifiers for propositions. The paper is in two parts: in the first part I consider theories whose non-quantificational part is S5; in the second part I consider theories whose non-quantificational part is weaker than or not contained in S5. Unless otherwise stated, each theory has the same language L. This consists of a countable set V of propositional variables pl, pa, ... , (...) the operators v (or), ~ (not) and □ (necessarily), the universal quantifier (p), p a propositional variable, and brackets ( and ). The formulas of L are then defined in the usual way. (shrink)

I propose formulating identity criteria as generic statements of ground, thereby avoiding objections that have been made to the more usual formulations.

Faced with realist-resistant sciences and the no-nonsense attitude of the times realism has moved away from the rather grandiose program that had traditionally been characteristic of its school. The objective of the shift seems to be to protect some doctrine still worthy of the "realist" name. The strategy is to relocate the school to where conditions seem optimal for its defense, and then to insinuate that the case for such a " piecemeal realism" could be made elsewhere too, were there (...) but world enough and time. The burden of this paper is to examine this piecemeal approach and to show why, despite the relocation, it cannot escape the difficulties of its grander cousins. For that purpose I begin with some brief historical reminders, and with a quick review of the state of the argument before realism went to pieces. This will help us see what has been abandoned in realism's flight, and what baggage still remains. (shrink)

The realist programme has degenerated by now to the point where it is quite beyond salvage. A token of this degeneration is that there are altogether too many realisms. It is as though by splitting into a confusing array of types and kinds, realism has hoped that some one variety might yet escape extinct. I shall survey the debate, and some of these realisms, below. Here I would just point out the obvious; that in so far as the successes of (...) science mount while realism continues to decline we must conclude that scientific success lends no support to realism. Since it is unlikely to support anti-realism, we have some reason to suspect that the philosophical debate over realism does not concern issues that can be settled by developments in the sciences, no matter how successful science may be. Further, since that success grounds a culture of acceptance for science and its entities, we have reason to believe that the existence of those entities is also not actually the issue that concerns realism. Afortiori, it is not the issue that concerns anti-realism either; nor, I might add, is anti-realism the winner in the philosophical debate that realism has lost. (shrink)

This paper is an attempt to apply the truthmaker approach, recently developed by a number of authors, to the problem of providing an adequate formulation of the is–ought gap. I begin by setting up the problem and criticizing some other accounts of how the problem should be stated; I then introduce the basic apparatus of truth-making and show how it may be extended to include both descriptive and normative truth-makers; I next consider how the gap principle should be formulated, attempting (...) to deal as systematically as possible with the ‘harmless’ counter-examples; I also consider the relationship between the gap principle and various other doctrines concerning the separation between the normative and descriptive realms; and I conclude this part of the paper with some general remarks in favor of adopting the truth-maker approach over some of the alternative approaches. The paper concludes with a formal appendix, which gives precise expression to some of claims made in the previous informal part of the paper. (shrink)

I extend the previously given truth-maker semantics and logic for imperatives to deontic statements.

I present a novel account of unconditional obligation and of its relationship to conditional obligation and bring this account to bear upon Chisholm's puzzle concerning contrary-to duty obligation.

I present a new approach to the logic and semantics of vagueness.

I provide and defend a hyper-intensional account of verisimilitude within the truthmaker framework.

I attempt to argue that if statements of permission are to serve as a guide to action then no possible worlds account of their truth-conditions can be correct.

I discuss the question of when knowledge of higher order ignorance is possible and show in particular that, under quite plausible assumptions, knowledge of second order ignorance is impossible.

For many years, some urban architecture has aimed to exclude unwanted groups of people from some locations. This type of architecture is called “defensive” or “hostile” architecture and includes benches that cannot be slept on, spikes in the ground that cannot be stood on, and pieces of metal that hinder one’s ability to skateboard. These defensive measures have sparked public outrage, with many thinking such measures lead to suffering, are disrespectful, and violate people’s rights. In this paper, it is argued (...) that these views are difficult to defend and that much more empirical research on the topic is needed. (shrink)

In this article I flesh out support for observations that scientific accounts of social groups can influence the very groups and mental phenomena under investigation. The controversial hypothesis that there are hardwired differences between the brains of males and females that contribute to sex differences in gender-typed behaviour is common in both the scientific and popular media. Here I present evidence that such claims, quite independently of their scientific validity, have scope to sustain the very sex differences they seek to (...) explain. I argue that, while further research is required, such claims can have self-fulfilling effects via their influence on social perception, behaviour and attitudes. The real effects of the products of scientists’ research on our minds and society, together with the fact that all scientific hypotheses are subject to dispute and disconfirmation, point to a need for scientists to consider the ethical implications of their work. (shrink)

I am grateful to Nathan Salmon [in Salmon (2012)] for being willing to spill so much ink over my monograph on semantic relationism (2007), even if what he has to say is not altogether complimentary. There is a great deal in his criticisms to which I take exception but I wish to focus on one point, what he calls my ‘formal disproof’ of standard Millianism. He believes that ‘the alleged hard result is nearly demonstrably false’ (p. 420) and that the (...) disproof contains a ‘serious error’ (p. 407). Neither claim is correct; and it is the aim of this short note to explain why.First some background. In some cases, we are justified (from an internalist standpoint) in inferring the singular proposition F&G(x) from F(x) and G(x) (as when I learn more and more about Obama, for example); and in other cases, we are not so justified (as when Peter, in Kripke’s puzzle case, knows that Paderewski is a pianist and that Paderewski is a politician but does not know that anyone is both a pianist and a poli. (shrink)

Sociology requires a robust theory of how local circumstances create social order. When we analyze social structures not recognizing that they depend on groups with collective pasts and futures that are spatially situated and that are based on personal relations, we avoid a core sociological dimension: the importance of local context in constituting social worlds. Too often this has been the sociological stance, both in micro-sociological studies that examine interaction as untethered from local traditions and in research that treats culture (...) as autonomous from action and choice. Building on theories of action, group dynamics, and micro-cultures, I argue that a sociology of the local solves critical theoretical problems. The local is a stage on which social order gets produced and a lens for understanding how particular forms of action are selected. Treating ethnographic studies as readings of ongoing cultures, I examine how the continuing and referential features of group life (spatial arenas, relations, shared pasts) generate action and argue that local practices provide the basis for cultural extension, influencing societal expectations through the linkages among groups. (shrink)

Are there, in addition to the various actual objects that make up the world, various possible objects? Are there merely possible people, for example, or merely possible electrons, or even merely possible kinds? We certainly talk as if there were such things. Given a particular sperm and egg, I may wonder whether that particular child which would result from their union would have blue eyes. But if the sperm and egg are never in fact brought together, then there is no (...) actual object that my thought is about. Or again, in the semantics for modal logic we presuppose an ontology of possibilia twice over. For first, we countenance various possible worlds, in addition to the actual world; and second, each of these worlds is taken to be endowed with its own domain of objects. These will be the actual objects of the world in question, but they need not be actual simpliciter, i.e., actual objects of our world. What are we to make of such discourse? There are four options: (i) the discourse is taken to be unintelligible; (ii) it is taken to be intelligible but nonfactual, i.e. as not in the business of stating facts; (iii) it is taken to be factual but reducible to discourse involving no reference to possibilia; (iv) it is taken to be both factual and irreducible. These options range from a full-blooded form of actualism at one extreme to a full-blooded form of possibilism at the other. The two intermediate positions are possibilist in that they accept the intelligibility of possibilist discourse but actualist in that they attempt to dispense with its prima facie commitment to possibilia. All four positions have found advocates in the literature. Quine, in his less irenic moments, favours option (i); Forbes advocates option (ii), at least for certain parts of possibilist discourse; many philosophers, including Adams and myself, opt for (iii); while Lewis and Stalnaker have endorsed versions of (iv), that differ in how full-blooded they take the possible objects to be.. (shrink)

I defend my paper ‘The Non-identity of a Material Thing and Its Matter’ against objections from Bryan Frances and Jeffrey King.