Kit Fine

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

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

There is a standard view of relations, held by philosophers and logicians alike, according to which we may meaningfully talk of a relation holding of several objects in a given order. Thus it is supposed that we may meaningfully—indeed, correctly—talk of the relation loves holding of Anthony and Cleopatra or of the relation between holding of New York, Washington, and Boston. But innocuous as this view might appear to be, it cannot be accepted as applying to all relations whatever. For there is an important class of metaphysical and linguistic contexts which call for an alternative conception of relation, one for which the order of the relata plays no role and in which the application of the relation to its relata is achieved by other means.

Mathematics has been the most successful and is the most mature of the sciences. Its first great master work – Euclid's ‘Elements’ – which helped to establish the field and demonstrate the power of its methods, was written about 2400 years ago; and it served as a standard text in the mathematics curriculum well into the twentieth century. By contrast, the first comparable master work of physics – Newton's Principia – was written 300 odd years ago. And the juvenile science of biology only got its first master work – Darwin's ‘On the Origin of Species’ – a mere 150 years ago. The development of the subject has also been extraordinarily fertile, particularly in the last three centuries, and it is perhaps only in the last century that the other sciences have begun to approach mathematics in the steady accumulation of knowledge that it has been able to offer. There has, moreover, been almost universal agreement on its methods and how they are to be applied. What we require is proof; and, in practice, there is very little disagreement over whether or not we have it. The other sciences, by contrast, tend to get mired in controversy over the significance of this or that experimental finding or over whether one theory is to be preferred to another.

This book is collection of the the author’s previously published papers on the philosophy of modality and tense and it also includes three unpublished papers. The author provides an exposition and defence of certain positions for which he is well-known: the intelligibility of modality de re; the primitiveness of the modal; and the primacy of the actual over the possible. He also argues for some less familiar positions: the existence of distinctive forms of natural and normative necessity, not reducible to any form of metaphysical necessity; the need to make a distinction between the worldly and unworldly, analogous to the distinction between the tensed and the tenseless; and the viability of a nonstandard form of realism about tense, which recognizes the tensed character of reality without conceding there is any privileged standpoint from which it is to be viewed.