Varieties of Modality, Misc

Mereological universalists, according to whom every plurality of entities has a fusion, usually claim that most quantifications are restricted to ordinary entities. However, there is no evidence that our usual quantifications over ordinary objects are restricted. In this article I explore an alternative way of reconciling Mereological Universalism with our usual quantifications. I resort to a modest form of ontological expansionism and to the so-called interpretational modalities. Quantifications over ordinary objects are the initial stages of the expansion. From these initial (...) stages, expansions can proceed upwards (fusions of entities in the domain of quantification are added), downwards (parts of entities in the domain are added), and sidewards (entities which are mereologically disjoint from the entities in the domain are added). These expansions are driven by a variety of epistemic and pragmatic reasons and raise different kinds of problems. At each stage, a modalized version of Mereological Universalism is true. By contrast, only at some especially rich stages, standard, non-modalized Mereological Universalism is true as well. Among these especially rich stages, there is a final, metaphysically pre-eminent stage of mereological plenitude. In the last part of the article I discuss some problems and limitations of expansionism. (shrink)

Time travel, it has been argued, leads to paradoxes, and in particular to a problem known as the grandfather paradox. Lewis has famously argued for the now standard view that the grandfather paradox is merely apparent. But underlying Lewis's solution is a faulty account of ability statements – one, according to which ability statements express possibility statements. I argue, contrary to Vihvelin and others, that an ameliorated view of ability statements allows for the same treatment of the seeming paradox. Hence, (...) Lewis's take on the grandfather paradox stands despite the failure of the particular view of ability statements it is built upon. (shrink)

The main intent of this thesis is to defend that the laws of nature are better thought as transcendent universals, such as platonic governism suggests, and that they are metaphysically necessary in a strong way, such as the heterodox version of such platonism defends. With this intention, we sustain that physical symmetries are essential consequences of the laws of nature – what solves the challenge of symmetries – thus being metaphysically necessary, without being governist's necessitation laws. First, we will show (...) what laws of nature are and the reasons to reject other metaphysical theories and to accept platonic governism. Soon after, we will present the challenge of symmetries and the reasons to prefer the platonic governist answer over dispositionalist, regularist, aristotelic (governism), counterfatualist and primitivist ones. At last, we will define what is the metaphysical necessity, argue for the strong metaphysical necessity of laws and their consequences, and show why the reasons for the contingency or weak necessity of laws are bad theoretical paths. (shrink)

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

The book_ Fate, Time, and Language: An Essay on Free Will_, published in 2010 by Columbia University Press, presented David Foster Wallace's challenge to Richard Taylor's argument for fatalism. In this anthology, notable philosophers engage directly with that work and assess Wallace's reply to Taylor as well as other aspects of Wallace's thought. With an introduction by Steven M. Cahn and Maureen Eckert, this collection includes essays by William Hasker, Gila Sher, Marcello Oreste Fiocco, Daniel R. Kelly, Nathan Ballantyne, Justin (...) Tosi, and Maureen Eckert. These thinkers explore Wallace's philosophical and literary work, illustrating remarkable ways in which his philosophical views influenced and were influenced by themes developed in his other writings, both fictional and nonfictional. Together with _Fate, Time, and Language_, this critical set unlocks key components of Wallace's work and its traces in modern literature and thought. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted solutions (...) to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

The injection of modality and strict implication into philosophical logic traditionally has invoked a common objection: conceptual gains achieved by introducing modal notions just aren't outweighed by the technical complexities of modality. For example, it is often pointed out that modal notions are introduced to eliminate the paradoxical aspects of material implication only to lead in turn to "paradoxes of strict implication.".

Routledge Encyclopedia entry on Intensionality and Hyperintensionality.

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility (Kripke [1980], Lewis [1986], Rosen [2006, 16], Stalnaker [2005, 203], Williamson [2016, 460]). Indeed, this is arguably its metaphysical significance. Kripke calls metaphysical necessity “necessity in the highest degree” ([1980, 99]). Williamson calls metaphysical possibility the “maximal objective modality” [2016, 459]. Rosen says that “metaphysical possibility is the [most inclusive] sort of real possibility” ([2006, 16]). And Stalnaker writes, “we can agree with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, (...) and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense [2003, 203].” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

This is a book review of Barbara Vetter's Potentiality. -/- Philosophy is most intriguing when it teaches us seeing differently. Barbara Vetter’s book Po- tentiality & Possibility (OUP 2014) offers us precisely that: a new orthodoxy when it comes to our view of dispositions, possibility, and, most of all, potentiality. And it does so commendably well with the clarity of expression and the precision we often miss in the literature on causal powers and the like. -/- Vetter writes on page (...) 228: “This book is meant to be the beginning of a debate, not its end.” It is a pleasure and honour to be part of that beginning. Let us start. -/- A first big part of her book aims to show that the standard semantic and/or metaphysical inter- pretation of dispositional predicates and/or dispositions fails and that it ought to be replaced by her potentiality metaphysics. The first half of this commentary, 1., concerns consequences this view has. -/- A second huge part of Vetter’s project is to analyse possibility in terms of potentiality. This will be the focus of the second part, 2., of this review. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

Philosophers have observed that metaphysical necessity appears to be a true or real or genuine form of necessity while epistemic necessity does not. Similarly, natural necessity appears genuine while deontic necessity does not. But what is it for a form of necessity to be genuine? I defend an account of genuine necessity in explanatory terms. The genuine forms of necessity, I argue, are those that provide what I call necessitarian explanation. I discuss the relationship of necessitarian explanation to ground.

Causal overdetermination occupies an uncomfortable place within all the major theories of causation. A natural solution to the problems it gives rise to would be to resolve overdetermination into preemption or joint causation. However, such a solution would seem to lead to individuate events in a fragile manner. The issue of such modal fragility is addressed and it is argued that events designated as effects are always fragile in a natural way and the putative problems of adopting modal fragility can (...) be resolved. It is also studied whether causal overdetermination could work in a setting where the overdetermining causes occur in different levels of reality. Typically postulated higher-level causes are shown to contradict the definitional features of overdetermination. There is thus no reasonable role for causal overdetermination and the notion should be abandoned. (shrink)

Humeanism about laws of nature — the view that the laws reduce to the Humean mosaic — is a popular view, but currently existing versions face powerful objections. The non-supervenience objection, the non-fundamentality objection and the explanatory circularity objection have all been thought to cause problems for the Humean. However, these objections share a guiding thought — they are all based on the idea that there is a certain kind of divergence between the practice of science and the metaphysical picture (...) suggested by Humeanism. -/- I suggest that the Humean can respond to these objections not by rejecting this divergence, but by arguing that is appropriate. In particular the Humean can, in the spirit of Loewer (2012), distinguish between scientific and metaphysical explanation — this is motivated by differing aims of explanation in science and metaphysics. And they can further leverage this into distinctions between scientific and metaphysical fundamentality and scientific and metaphysical possibility. We can use these distinctions to respond to the objections that the Humean faces. (shrink)

This chapter focuses on the dispute between necessitarians and contingentists, mainly addressing the issue as to whether laws of nature are metaphysically necessary or metaphysically contingent with a weaker kind of necessity, commonly referred to as natural, nomological, or nomic necessity. It is assumed here that all fundamental properties are dispositional or role properties, making the dispute a strictly verbal one. The existence of categorical intrinsic properties as well as dispositional properties is also assumed and the relationship between them examined. (...) Finally, the chapter concludes by returning to the debate between necessitarians and contingentists under the assumption that both dispositional and categorical fundamental properties exist. It is argued here that necessitarian positions can be recast as contingentist, but that there are unequivocally contingentist positions preferred because they are less mysterious despite being ontologically more complex. (shrink)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

This paper attempts to resolve the apparent conflict between Descartes’ commitments to the creation doctrine and the necessity of eternal truths by elaborating different conceptions of necessity in Descartes’ framework. More specifically, I argue that the fact that Descartes concedes the necessity of eternal truths does not compel him to assert the impossibility of their negation. Necessity, for Descartes, rather means immutability. Descartes distinguishes two kinds of immutable truths. While truths about God’s essence are absolutely immutable, truths about the essences (...) of God’s creation are conditionally immutable, i.e., they can change if God’s will changes. Since there are different kinds of eternal truths, they express different kinds of necessity as well, namely conditional and absolute necessity. After I clarify these two kinds of necessity, I explain how Descartes coherently maintains both that eternal truths are necessary and that God could have created eternal truths otherwise without undermining their necessity. (shrink)

Even the most cursory reader of Husserl’s writings must be struck by the frequent references to essences (“Wesen”, “Essenzen”), Ideas (“Idee”), kinds, natures, types and species and to necessities, possibilities, impossi- bilities, necessary possibilities, essential necessities and essential laws. What does Husserl have in mind in talking of essences and modalities? What did he take the relation between essentiality and modality to be? In the absence of answers to these questions it is not clear that a reader of Husserl can (...) be said to understand him. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

This article addresses the relationship of contingency to necessity as developed by Quentin Meillassoux and G.W.F. Hegel. Meillassoux criticizes the restriction of possibility by modern philosophy to the conditions of the transcendental subject, which he calls ‘correlationism’, and opposes to this correlationism, mathematics as an absolute form of thought. The arch-figure of a metaphysical version of correlationism for Meillassoux is Hegel. This article argues that, while Meillassoux is right to criticize a version of correlationism for restricting the range of contingency, (...) he overlooks Hegel’s unique contribution to this issue. Hegel provides us a version of necessity modeled on the mathematical proof which answers Meillassoux’s concerns about correlationist versions of necessity but does not altogether jettison the concept of the subject. Instead, the subject in Hegel is a contingent interruption which emerges from the breaks in the kinds of necessity we posit about the world. Hegel offers us a way of tying these two concepts together in what I call ‘contingent necessity’. (shrink)

This brief note critically assesses the central arguments in Morato’s recent contribution to the growing literature on Blackburn’s dilemma about necessity. In particular, I demonstrate that neither of Morato’s two novel reconstructions of the dilemma’s contingency horn succeed, since both turn on false premises; and, Morato fails to adequately motivate his own response to these reconstructions. The upshot is that Morato has set himself a pair of flawed problems, then offered a flawed solution.

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications of scientific theories involves an objective (...) modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)

[EN]Most theories of causation assume that it must involve some kind of necessity, or that the cause must be entirely sufficient for the effect. Others have already suggested that it should be possible to get a theory of causation from a theory of powers or dispositions. Such a project is far from complete but even here we find that the key point in a dispositional theory of causation has been lacking. This paper attempts to establish some of the most important (...) principles of such a theory and in so doing turn the existing discussion in a new direction. [ES]La mayoría de las teorías de causación asumen que debe envolverse algún tipo de necesidad, o que la causa debe ser enteramente suficiente para el efecto. Otros ya han sugerido que debería de ser posible obtener una teoría de causación a partir de una teoría de poderes o disposiciones. Un proyecto tal está muy lejos de estar completo, pero incluso aquí encontramos que ha faltado el punto clave en una teoría dispositiva de causación. Este escrito intenta establecer algunos de los principios más importantes de una teoría tal, y al hacerlo inclina la discusión existente en una nueva dirección. (shrink)

I defend a version of Kripke's claim that the metaphysically necessary and the knowable a priori are independent. On my version, there are two independent families of modal notions, metaphysical and epistemic, neither stronger than the other. Metaphysical possibility is constrained by the laws of nature. Logical validity, I suggest, is best understood in terms of epistemic necessity.

I defend a version of Kripke's claim that the metaphysically necessary and the knowable a priori are independent. On my version, there are two independent families of modal notions, metaphysical and epistemic, neither stronger than the other. Metaphysical possibility is constrained by the laws of nature. Logical validity, I suggest, is best understood in terms of epistemic necessity.

SummaryPhilosophically speaking, invention is the mother of necessity. This means that Hume's analysis of the idea of necessity utilizing the notion of power, when properly qualified, is essentially sound and not at all a discouraging prospect. The task of the paper, then, is to specify in what respect it is possible to claim, for the various important senses of ‘necessary’, that such a notion is applicable whenever successful control has been exercised.RésuméDu point de vue philosophique, I'invention est la mère de (...) la nécessité. En effet, l'analyse qu'a faite Hume de l'idée de nécessité en recourant à la notion de pouvoir est, lorsqu'elle est con‐venablement nuancée, essentiellement correcte et ne constitue pas du tout une perspective décourageante. Le but de cet article est done de montrer que la notion de »ntcessaire«, prise dans les divers sens importants du mot, est applicable partout ou un contrôle efficace a été obtenu.ZusammenfassungPhilosophisch betrachtet ist die Erfindung der Ursprung der Notwendigkeit. Das bedeutet, dass Humes Analyse der Vorstellung der Notwendigkeit auf Grund des Begriffes der Kraft im Wesentlichen richtig und vielversprechend ist, sofern sie korrekt formuliert wird. In der vorliegenden Arbeit wird gezeigt, in welcher Beziehung es für die verschiedenen wichtigen Bedeutungen von »notwendig« möglich ist, die Anwendung eines derartigen Begriffes tiberall dort zu garantieren, wo eine erfolgreiche Kontrolle durchgeführt worden ist. (shrink)

The problem of necessity remains one of the central issues in modern philosophy. The authors of this volume, originally published in 1985, developed a new approach to the problem, which focusses on the logical grammar of necessary propositions. This volume gathers their seminal essays on the problem of necessity, together with new material at the original time publication.

'There is much food for thought in McGinn's discussions and each chapter is rich with a series of considerations for thinking that the currently received views on the various topics have some serious difficulties that need confronting... For those interested in metaphysics and the philosophy of logic, this book will stimulate much further thought' -Mind 'The sweep of the book is broad and the pace is brisk... There is much material here to provide the basis for many a deep philosophical (...) discussion' -Mind 'Lucid and provocative little book... clear, direct and well argued' -Times Higher Education SupplementIdentity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic. (shrink)