Online research in philosophy

There cannot be a reductive theory of modality constructed from the concepts of sparse particular and sparse universal. These concepts are suffused with modal notions. I seek to establish this conclusion by tracing out the pattern of modal entanglements in which these concepts are involved. In order to appreciate the structure of these entanglements a distinction must be drawn between the lower-order necessary connections in which particulars and universals apparently figure, and higher-order necesary connections. The former type (...) of connection relates specific entities. By contrast, the latter type of connection is unspecific: it relates entities to some others. I argue that whilst there may be techniques that succeed in providing reductive truth conditions for sentences that say particulars and universals figure in lower-order necessary connections, such techniques cannot succeed in providing reductive truth conditions for sentences that say these entities figure in higher-order necessary connections. I conclude that this situation leaves reductionists with a dilemma. If they wish to affirm that there are particulars and universals then the project of reducing modality by positing these entities must be abandoned. Alternatively, they may continue to deploy their usual reductive techniques but then they must abandon the doctrine that there is more than one fundamental category of entity. (shrink)

This book contains a concise introduction to one of the most fundamental branches of philosophy, which deals with reality and its nature. Among the topics discussed are such metaphysical questions as "Are we fundamentally free?", "Does time really pass?", "Are there any abstract objects?", "What is causation?", "What are necessary and possible truths?". The book is aimed at absolute beginners, so it does not presuppose any previous knowledge of philosophy from the reader. For those who would like to pursue the (...) subject a bit deeper, the book comes equipped with an extended list of further reading. (shrink)

This paper examines Descartes' controversial theory of the creation of eternal truths and the views of modality attributed to Descartes in recent interpretations of it. It shows why attempts to make Descartes' view intelligible by distinctions of different kinds of modality fail to do justice to his theory, which is radical indeed without being incoherent or involving universal possibilism or irrationalism. Descartes' opposition to traditional rationalist views of modality, it suggests, can be seen instead as foreshadowing contemporary (...) views prefixed, logical structure of reality or of the divine intellect. (shrink)

Armstrong's combinatorialism, in his own words, is the following project: "My central metaphysical hypothesis is that all there is is the world of space and time. It is this world which is to supply the actual elements for the totality of combinations. So what is proposed is a Naturalistic form of a combinatorial theory."2 Armstrong calls his central hypothesis "Naturalism." He intends his well−known theory of universals to satisfy this thesis. He now attempts to give a naturalistic theory of (...) modality. (shrink)

There has been much discussion of powers or real dispositions in the past decade, but there remains an issue that has been inadequately treated. This concerns the precise modal value that comes with dispositionality. We contend in this paper that dispositionality involves a non-alethic, sui generis, irreducible modality. Dispositions only tend towards their manifestations; they do not necessitate them. Tendency is, of course, a dispositional term itself, so this last statement offers little by way of illumination. But given our (...) thesis on the irreducible nature of dispositionality, we maintain that it cannot be explicated correctly in non-dispositional terms. Nevertheless, we all have experience of dispositionality at work, through the exercise or our own powers and the action of other powers upon us. The notion of dispositionality that we acquire is one that involves a modality stronger than pure contingency but weaker than necessity. The recognition of this distinct modal value for dispositionality is one of the biggest oversights in the growing literature in the area. Yet it is there for all to see in even the most mundane example. (shrink)

David Lewis famously argued against structural universals since they allegedly required what he called a composition “sui generis” that differed from standard mereological com¬position. In this paper it is shown that, although traditional Boolean mereology does not describe parthood and composition in its full generality, a better and more comprehensive theory is provided by the foundational theory of categories. In this category-theoretical framework a theory of structural universals can be formulated that overcomes the conceptual difficulties that Lewis and (...) his followers regarded as unsurmountable. As a concrete example of structural universals groups are considered in some detail. (shrink)

Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in (...) undoing it as a source of knowledge of God's existence (in the critical period). Along the way I examine Kant's version of the now-popular “actualist” thesis that facts about what is possible must be explained by facts about what is actual. I conclude by discussing why the critical Kant claims both that there are rational grounds for accepting the conclusion of his theistic proof, and that such acceptance can not count as knowledge. This is important, I argue, because the same considerations ultimately motivate his prohibition on knowledge of things-in-themselves generally. -/- . (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility (Salmon) and modal monism (Fine); we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic(s) and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone (1977) and Davies and Humberstone (1979); our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic(s). (shrink)

In this paper I consider Saul Kripke’s famous Humphrey objection to David Lewis’s views on de re modality and argue that responses to this objection currently on the market fail to mitigate its force in any significant way.

One type of deflationism about metaphysical modality suggests that it can be analysed strictly in terms of linguistic or conceptual content and that there is nothing particularly metaphysical about modality. Scott Soames is explicitly opposed to this trend. However, a detailed study of Soames’s own account of modality reveals that it has striking similarities with the deflationary account. In this paper I will compare Soames’s account of a posteriori necessities concerning natural kinds with the deflationary one, specifically (...) Alan Sidelle’s account, and suggest that Soames’s account is vulnerable to the deflatonist’s critique. Furthermore, I conjecture that both the deflationary account and Soames’s account fail to fully explicate the metaphysical content of a posteriori necessities. Although I will focus on Soames, my argument may have more general implications towards the prospects of providing a meaning-based account of metaphysical modality. (shrink)

It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of (...) compossibility can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (shrink)

The paper provides an explanation of our knowledge of metaphysical modality, or modal knowledge, from our ability to evaluate counterfactual conditionals. The latter ability lends itself to an evolutionary explanation since it enables us to learn from mistakes. Different logical principles linking counterfactuals to metaphysical modality can be employed to extend this explanation to the epistemology of modality. While the epistemological use of some of these principles is either philosophically implausible or empirically inadequate, the equivalence of ‘Necessarily (...) p’ with ‘For all q, if q were the case, p would be the case’ is a suitable starting-point for an explanation of modal knowledge. (shrink)

The eleven new papers in this volume address fundamental and interrelated philosophical issues concerning modality and identity, issues that were pivotal to the development of analytic philosophy in the twentieth century, and remain a key focus of debate in the twenty-first. Identity and Modality brings together leading researchers in metaphysics, the philosophy of mind, the philosophy of science, and the philosophy of mathematics.

The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of (...) modal knowledge, modal logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)

Attention to the conversational role of alethic terms seems to dominate, and even sometimes exhaust, many contemporary analyses of the nature of truth. Yet, because truth plays a role in judgment and assertion regardless of whether alethic terms are expressly used, such analyses cannot be comprehensive or fully adequate. A more general analysis of the nature of truth is therefore required – one which continues to explain the significance of truth independently of the role alethic terms play in discourse. We (...) undertake such an analysis in this paper; in particular, we start with certain elements from Kant and Frege, and develop a construct of truth as a normative modality of cognitive acts (e.g., thought, judgment, assertion). Using the various biconditional T-schemas to sanction the general passage from assertions to (equivalent) assertions of truth, we then suggest that an illocutionary analysis of truth can contribute to its locutionary analysis as well, including the analysis of diverse constructions involving alethic terms that have been largely overlooked in the philosophical literature. Finally, we briefly indicate the importance of distinguishing between alethic and epistemic modalities. (shrink)

This collection of articles and review essays, including many hard to find pieces, comprises the most important and fundamental studies of Indian logic and linguistics ever undertaken. Frits Staal is concerned with four basic questions: Are there universals of logic that transcend culture and time? Are there universals of language and linguistics? What is the nature of Indian logic? And what is the nature of Indian linguistics? By addressing these questions, Staal demonstrates that, contrary to the general assumption (...) among Western philosophers, the classical philosophers of India were rationalists, attentive to arguments. They were in this respect unlike contemporary Western thinkers inspired by existentialism or hermeneutics, and like the ancient Chinese, Greeks, and many medieval European schoolmen, only--as Staal says--more so. Universals establishes that Asia's contributions are not only compatible with what has been produced in the West, but a necessary ingredient and an essential component of any future human science. (shrink)

Then, adopting the view of Armstrong and others that causation is grounded in a second-order relation between universals, he explores a range of topics for ...

Many contemporary philosophers accept Hume's Dictum (HD), according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Tacit in Lewis's work is a potential motivation for HD, according to which one should accept HD as presupposed by the best account of the range of metaphysical possibilities---namely, a combinatorial account, applied to spatiotemporal fundamentalia. Here I elucidate and assess this Ludovician motivation for HD. After refining HD and surveying its key, recurrent role in Lewis’s work, I present (...) Lewis’s appeal to HD as providing a broadly axiomatic generating basis for the space of metaphysical modality, and canvas the prima facie advantages of the resulting combinatorial principle---HD (L-combinatorialism)---as being principled, extensionally adequate and modally reductive. Most criticisms of Lewis's combinatorialism have targeted seeming ways in which the theory overgenerates the desired space; I rather argue that HD (L-combinatorialism) seriously undergenerates the desired space in three different ways. For each way I argue that available means of overcoming the undergeneration either fail to close the gap, undermine the claim that HD (L-combinatorialism) is a principled generator of metaphysical modal space, undermine the reductive status of Lewis's combinatorialism, or call into question the truth of HD. (shrink)

Universals are a class of mind independent entities, usually contrasted with individuals, postulated to ground and explain relations of qualitative identity and resemblance among individuals. Individuals are said to be similar in virtue of sharing universals. An apple and a ruby are both red, and their common redness results from sharing a universal. If they are both red at the same time, the universal, red, must be in two places at once. This makes universals quite different from (...) individuals, and controversial. Whether universals are in fact required to explain relations of qualitative identity and resemblance among individuals has engaged metaphysicians for two thousand years. Disputants fall into one of three broad camps. Realists endorse universals. Conceptualists and Nominalists, on the other hand, refuse to accept universals and deny that they are needed. Conceptualists explain similarity among individuals by appealing to general concepts or ideas, things that exist only in minds. Nominalists, in contrast, are content to leave relations of qualitative resemblance brute and ungrounded. Numerous versions of Nominalism have been proposed, some with a great deal of sophistication. Contemporary philosophy has seen the rise of a new form of Nominalism, one that makes use of a special class of individuals, known as tropes. Familiar individuals have many properties, but tropes are single property instances. Whether Trope Nominalism improves on earlier Nominalist theories is the subject of much recent debate. In general, questions surrounding universals touch upon some of the oldest, deepest, and most abstract of philosophical issues. (shrink)

Conceptual primitives and semantic universals are the cornerstones of a semantic theory which Anna Wierzbicka has been developing for many years. Semantics: Primes and Universals is a major synthesis of her work, presenting a full and systematic exposition of that theory in a non-technical and readable way. It delineates a full set of universal concepts, as they have emerged from large-scale investigations across a wide range of languages undertaken by the author and her colleagues. On the basis of (...) empirical cross-linguistic studies it vindicates the old notion of the "psychic unity of mankind", while at the same time offering a framework for the rigorous description of different languages and cultures. (shrink)

Perhaps no one has done more in the last 30 years to advance thinking in the metaphysics of modality than has Alvin Plantinga. Collected here are some of his most important essays on this influential subject. Dating back from the late 1960's to the present, they chronicle the development of Plantinga's thoughts about some of the most fundamental issues in metaphysics: what is the nature of abstract objects like possible worlds, properties, propositions, and such phenomena? Are there possible but (...) non-actual objects? Can objects that do not exist exemplify properties? Plantinga gives thorough and penetrating to all of these questions and many others. This volume contains some of the best work in metaphysics from the past 30 years, and will remain a source of critical contention and keen interest among philosophers of metaphysics and philosophical logic for years to come. (shrink)

Modality, morality and belief are among the most controversial topics in philosophy today, and few philosophers have shaped these debates as deeply as Ruth Barcan Marcus. Inspired by her work, a distinguished group of philosophers explore these issues, refine and sharpen arguments and develop new positions on such topics as possible worlds, moral dilemmas, essentialism, and the explanation of actions by beliefs. This 'state of the art' collection honours one of the most rigorous and iconoclastic of philosophical pioneers.

In this discussion of Colin McGinn's book, 'Logical Properties', I comment first on the chapter "Existence", then on the chapter "Modality." With respect to existence, I argue that McGinn's view that existence is a property that some objects have and other objects lack requires the property of existence to be fundamentally unlike ordinary qualitative properties. Moreover, it opens up a challenging skeptical problem: how do I know that I exist? With respect to modality, I argue that McGinn's argument (...) that quantificational analyses of modality in terms of possible worlds are inevitably circular does not apply to modal theorists who hold that the notion of an impossible world is incoherent. (shrink)

Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that every (...) temporal construction has an exact parallel that requires a language that can refer to worlds, and vice versa. They make precise, in a way which can be articulated and tested, the claim that the parallel is at work behind even ordinary talk about time and modality. The book gives metaphysicians a sturdy framework for the investigation of time and modality - one that does not presuppose any particular metaphysical view. (shrink)

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

Abstract This paper contrasts the scholastic realisms of David Armstrong and Charles Peirce. It is argued that the so-called ?problem of universals? is not a problem in pure ontology (concerning whether universals exist) as Armstrong construes it to be. Rather, it extends to issues concerning which predicates should be applied where, issues which Armstrong sets aside under the label of ?semantics?, and which from a Peircean perspective encompass even the fundamentals of scientific methodology. It is argued that Peirce's (...) scholastic realism not only presents a more nuanced ontology (distinguishing the existent from the real) but also provides more of a sense of why realism should be a position worth fighting for. (shrink)

Dietmar Zaefferer Institutfiir Deutsche Philologie Universitdt Munchen Schellingstr. 3 D-8000 Munchen 40 Semantic universals are the properties the ...

This book was originally published in 1981 and the theme of universals attracted a great deal of attention in the decade preceding publication.

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical (...) worries which underlie modal anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

There has been much discussion of late on what exactly the Problem of Universals is and is not. Of course answers to these questions and many more like it depend on what is supposed to be explained by a solution to the Problem of Universals. In this paper, I seek to establish two claims: first, that when the facts (explanada) to be explained and the kind of explanation needed are elucidated, it will be shown that the Problem of (...) Universals is a real metaphysical problem, not a pseudo problem; secondly, the facts whose explanation posed the problem in the Problem of Universals still provide reason to think realism regarding universals is true, even if God exists. (shrink)

Persuasive and perceptive, Rhetoric, Modality, Modernity is a novel rewriting of the history of rhetoric and a heady examination of the motives, issues, and ...

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as (...) the most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

1. Reference and modality by W. V. O. Quine.--2. Modality and description by A. F. Smullyan.--3. Extensionality by R. B. Marcus.--4. Quantification into causal contexts by D. Føllesdal.--5. Semantical considerations on modal logic by S. A. Kripke.--6. Essentialism and quantified modal logic by T. Parsons.--7. Reference, essentialism, and modality by L. Linsky.--8. Quantifiers and propositional attitudes by W. V. O. Quine.--9. Quantifying in by D. Kaplan.--10. Semantics for propositional attitudes by J. Hintikka.--11. On Carnap's analysis of statements (...) of assertion and belief by A. Church.--Bibliography (p. [173]-175). (shrink)

v. 1. Nominalism and realism.--v. 2. A theory of universals.

This is a general introduction to the metaphysics o universals.

The author gives a critical and comprehensive study of the fundamental problem of universals in Indian Philosophy.

Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, substances, (...) and events, based on the doctrine that identity facts must be intrinsically grounded, and analyzes and rejects apparent counterexamples to this doctrine. (shrink)

On the relations of universals and particulars, by B. Russell.--Universals and resemblances, by H. H. Price.--On concept and object, by G. Frege.--Frege's hidden nominalism, by G. Bergmann.--Universals, by F. P. Ramsey.--Universals and metaphysical realism, by A. Donagan.--Universals and family resemblances, by R. Bambrough.--Particular and general, by P. F. Strawson.--The nature of universals and propositions, by G. F. Stout.--Are characteristics of particular things universal or particular? By G. E. Moore and G. F. Stout.--The relation of (...) resemblance, by P. Butchvarov.--Qualities, by N. Wolterstroff.--On what there is, by W. V. Quine.--Empiricism, semantics, and ontology, by R. Carnap.--The languages of realism and nominalism, by R. B. Brandt.--Grammar and existence: a preface to ontology, by W. Sellars.--A world of individuals, by N. Goodman.--Bibliographical notes (p. [307]-308). (shrink)

Universals: Loux, M. J. The existence of universals. Russell, B. The world of universals. Quine, W. V. O. On what there is. Pears, D. F. Universals. Strawson, P. F. Particular and general. Wolterstorff, N. Qualities. Bambrough, R. Universals and family resemblances. Donagan, A. Universals and metaphysical realism. Sellars, W. Abstract entities. Wolterstorff, N. On the nature of universals.--Particulars: Loux, M. J. Particulars and their individuation. Black. M. The identity of indiscernibles. Ayer, A. J. (...) The identity of indiscernibles. O'Connor, D. J. The identity of indiscernibles. Allaire, E. B. Bare particulars. Chappell, V. C. Particulars re-clothed. Allaire, E. B. Another look at bare particulars. Meiland, J. W. Do relations individuate? Long, D. C. Particulars and their qualities. Copi, I. Essence and accident. Chandler, H. S. Essence and accident. Plantinga, A. World and essence. (shrink)

My goal in this paper is to defend the plausibility of a particular version of collectivism – understood as the evolutionary claim that individual-level cognition is systematically biased in favor of aggregate-level regularities – in the domain of language. Chomsky's (1986) methodological promotion of I-language (speaker-internal knowledge) and the corresponding demotion of E-language (aggregate output of a population of speakers) has led mainstream cognitive science to view language essentially as a property of individual minds/brains whose evolution is best explained as (...) a result of the natural selection of an innate language faculty (Pinker 1994). Such a framework is largely oblivious to the linguistic dynamics arising from iterated learning, i.e. the fact that linguistic information must be periodically mapped from its I-linguistic into its E-linguistic medium and back in order to persist over time. Recent expression/induction models of language evolution, which are heavily inspired by the simulation-based methodology of Artificial Life, suggest that linguistic universals, such as compositional and recursive structure, can emerge from cultural selection alone (Brighton et al. 2005). I will conclude that there is both a biological and a cultural route towards collectivism. (shrink)

Scotus recidivus? -- On the structure of material substance in Scotus' metaphysics -- Substantial natures : neither singular nor universal, but common -- On individuation by the haecceity -- Numerical singular created natures and supposita.

Do mereological fusions have their parts necessarily? None of the axioms of non-modal formulations of classical mereology appear to speak directly to this question. And yet a great many philosophers who take the part-whole relation to be governed by classical mereology seem to assume that they do. In addition to this, many philosophers who make allowance for the part-whole relation to obtain merely contingently between a part and a mereological fusion tend to depart from non-modal formulations of classical mereology at (...) least when it comes to the axiom of Unique Fusion, which states that no two different mereological fusions ever fuse exactly the same objects. This is no coincidence. There are reasons of principle why one’s adherence to classical mereology should exert some pull towards the view that mereological fusions have their parts necessarily. There is, however, no direct route from the combination of classical mereology and propositional modal logic to the hypothesis that the part-whole relation obtains necessarily between a part and a mereological fusion. In order to bridge between a modal formulation of classical mereology and the hypothesis that fusions have their parts necessarily, one needs to strengthen the axiom of Unrestricted Fusion in a way that is agreeable to many philosophers on both sides of the debate. (shrink)

This book gathers together thirteen of Peter van Inwagen's essays on metaphysics, several of which have acquired the status of modern classics in their field. They range widely across such topics as Quine's philosophy of quantification, the ontology of fiction, the part-whole relation, the theory of 'temporal parts', and human knowledge of modal truths. In addition, van Inwagen considers the question as to whether the psychological continuity theory of personal identity is compatible with materialism, and defends the thesis that possible (...) states of affairs are abstract objects, in opposition to David Lewis's 'extreme modal realism'. A specially-written introduction completes the collection, which will be an invaluable resource for anyone interested in metaphysics. (shrink)

It is commonly assumed that all propositions have modal profiles and therefore bear their truth-values either contingently or necessarily. I argue against this commonly assumed view and in defence of amodalism, according to which certain true propositions are neither necessarily nor contingently true, but only true simpliciter. I consider three arguments against ‘possible-worlds theories’, which hold that modal concepts are to be analysed in terms of possible worlds. Although each of these arguments targets a different version of possible-worlds theory, these (...) versions jointly exhaust the entire range of possible-worlds theories. After showing that each argument is naturally addressed by adopting amodalism, I argue that all defenders of possible-worlds theory ought to accept amodalism. (shrink)

It is argued that miracles are best understood as natural events with supernatural causes and that such causal interaction is logically possible. Such miracles may, or may not, involve violations of natural laws. If violations of laws are possible, Humean supervenience views of laws are best avoided. Where miracles violate laws, it shows that what is naturally impossible may be actual and what is naturally necessary may not be actual. Whether or not miracles actually occur, this demonstrates that the nomic (...) modalities differ from the logical. The theory contrasts favourably with competitors and allows, contrary to an interpretation of Aquinas, that Creation would have been a miracle. (shrink)

Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of Constitutive Principles. Regarding (...) their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)

Materialists who do not deny the existence of mental phenomena usually claim that the mental supervenes on the physical, i.e. that there cannot be a change in the mental life of a man without there being a change in the man's body. This modal claim is usually understood in terms of logical necessity. I argue that this is a mistake, resulting from assumptions inherited from logical empiricism, and that it should be understood in terms of synthetic necessity.

According to the thesis of modal supervenience it is impossible that two objects be alike in their actual properties but differ in their modal properties. Some have argued that the concept of supervenience is inapplicable to the modal-actual case. Some have argued that the thesis of modal supervenience is trivially true. These arguments are refuted; a thesis of the supervenience of the modal on the actual is meaningful and nontrivial. The significance of the thesis is nevertheless limited by the problem (...) of finding a nonmodal specification for the purported subvenient properties. (shrink)

Consider two standard quantified modal languages and whose vocabularies comprise the identity predicate and the existence predicate, each endowed with a standard S5 Kripke semantics where the models have a distinguished actual world, which differ only in that the quantifiers of are actualist while those of are possibilist. Is it possible to enrich these languages in the same manner, in a non-trivial way, so that the two resulting languages are equally expressive—i.e., so that for each sentence of one language there (...) is a sentence of the other language such that given any model, the former sentence is true at the actual world of the model iff the latter is? Forbes (1989) shows that this can be done by adding to both languages a pair of sentential operators called Vlach-operators, and imposing a syntactic restriction on their occurrences in formulas. As Forbes himself recognizes, this restriction is somewhat artificial. The first result I establish in this paper is that one gets sameness of expressivity by introducing infinitely many distinct pairs of indexed Vlach-operators. I then study the effect of adding to our enriched modal languages a rigid actuality operator. Finally, I discuss another means of enriching both languages which makes them expressively equivalent, one that exploits devices introduced in Peacocke (1978). Forbes himself mentions that option but does not prove that the resulting languages are equally expressive. I do, and I also compare the Peacockian and the Vlachian methods. In due course, I introduce an alternative notion of expressivity and I compare the Peacockian and the Vlachian languages in terms of that other notion. (shrink)

Its significance for metaphysics is perhaps attributable to two main sources. In the first place, the concept may be used to characterize what the subject, or at least part of it, is about. For one of the central concerns of metaphysics is with the identity of things, with what they are. But the metaphysician is not interested in every property of the objects under consideration. In asking 'What is a person?', for example, he does not want to be told that (...) every person has a deep desire to be loved, even if this is in fact the case. (shrink)

This appeared in Philosophy and Phenomenological Research 59:473-93, as a response to four papers in a symposium on my book The Conscious Mind . Most of it should be comprehensible without having read the papers in question. This paper is for an audience of philosophers and so is relatively technical. It will probably also help to have read some of the book. (There is a corresponding precis of the book, written for the symposium.) The papers I'm responding to are: Chris (...) Hill & Brian McLaughlin, There are fewer things in reality than are dreamt of in Chalmers' philosophy Brian Loar, David Chalmers' The Conscious Mind Sydney Shoemaker, On David Chalmers' The Conscious Mind Stephen Yablo, Concepts and consciousness Contents. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation-test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism (the doctrine that universals are ontologically dependent upon the existence of (...) instances). So if the argument is successful, it serves as a defense of full ante rem realism (the doctrine that universals exist independently of the existence of instances). The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

This is his eagerly-awaited first book in the area.

Preface In these days, an anthology on the topic of possible worlds hardly needs justification. No issue has given rise to as much literature in the past ...

It would surely be strange if we had several senses sitting in us, as if in a wooden horse, and it wasn’t the case that all those things converged on some one kind of thing, a mind or whatever one ought to call it: something with which we perceive all the perceived things by means of the senses, as if by means of instruments (Plato, _Theaetetus_ 184d1–5).

Gonzalo Rodriguez-Pereyra offers a fresh philosophical account of properties. How is it that two different things (such as two red roses) can share the same property (redness)? According to resemblance nominalism, things have their properties in virtue of resembling other things. This unfashionable view is championed with clarity and rigor.

Proponents of evolutionary psychology take the existence of humanuniversals to constitute decisive evidence in favor of their view. Ifthe same social norms are found in culture after culture, we have goodreason to believe that they are innate, they argue. In this paper Ipropose an alternative explanation for the existence of humanuniversals, which does not depend on them being the product of inbuiltpsychological adaptations. Following the work of Brian Skyrms, I suggestthat if a particular convention possesses even a very small advantageover (...) competitors, whatever the reason for that advantage, we shouldexpect it to become the norm almost everywhere. Tiny advantages aretranslated into very large basins of attraction, in the language of gametheory. If this is so, universal norms are not evidence for innatepsychological adaptations at all. Having shown that the existence ofuniversals is consistent with the so-called Standard Social ScienceModel, I turn to a consideration of the evidence, to show that thisstyle of explanation is preferable to the evolutionary explanation, atleast with regard to patterns of gender inequality. (shrink)

This is a book about the concept of a physical thing and about how the names of things relate to the things they name. It questions the prevalent view that names 'refer to' or 'denote' the things they name. Instead it presents a new theory of proper names, according to which names express certain special properties that the things they name exhibit. This theory leads to some important conclusions about whether things have any of their properties as a matter of (...) necessity. This will be an important book for philosophers in metaphysics and the philosophy of language, though it will also interest linguists concerned with the semantics of natural language. (shrink)

The ten new essays in this volume explore various answers to these questions, including those offered by contextualism, relativism, and expressivism.

Eleven distinguished philosophers have contributed specially written essays on a set of topics much debated in recent years, including physicalism, qualia, semantic competence, conditionals, presuppositions, two-dimensional semantics, and the relation between logic and metaphysics. All these topics are prominent in the work of Robert Stalnaker, a major presence in contemporary philosophy, in honor of whom the volume is published. It also contains a substantial new essay in which Stalnaker replies to his critics, and sets out his current views on the (...) topics discussed. (shrink)

The Theme A substance is a composite particular. If it is composed of further particulars, will the substance itself be one or many? ...

For the past 30 years, Alvin Plantinga's work in the metaphysics of modality has been both insightful and innovative; it is high time that his papers in this area be collected together in a single volume. This book contains 11 pieces of Plantinga's work in modal metaphysics, arranged in chronological order so one can trace the development of his thought on matters modal. In what follows I will lay out the principal concepts and arguments in these papers.

A study of various central and connected topics in philosophical logic and the theory of meaning. There are important sections on the relation between linguistic and abstract entities, on necessity and convention, on meaning, sense and reference, and on entailment. Dr Lewy proposes a number of original solutions to problems which have been widely discussed in literature, and there is in particular a sharp and sustained criticism of conventionalism and reductionism. These are among the most difficult and intricate issues in (...) contemporary philosophy, but Dr Lewy writes with great clarity and a minimum of technicality. Where his views are controversial they are explained and supported in a detail which makes it both possible and necessary for potential critics to state their disagreement precisely. The book should therefore be of value as an advanced textbook as well as an original contribution to philosophical logic. (shrink)

Gonzalo Rodriguez-Pereyra offers a fresh philosophical account of properties. How is it that two different things (such as two red roses) can share the same property (redness)? According to resemblance nominalism, things have their properties in virtue of resembling other things. This unfashionable view is championed with clarity and rigor.

Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to the (...) general problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by (...) normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics. (shrink)

We investigate an enrichment of the propositional modal language with a universal modality having semanticsx iff y(y ), and a countable set of names — a special kind of propositional variables ranging over singleton sets of worlds. The obtained language c proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment () of, where is an additional modality with the semanticsx iff y(y x y ). Model-theoretic characterizations of modal definability (...) in these languages are obtained. Further we consider deductive systems in c. Strong completeness of the normal c-logics is proved with respect to models in which all worlds are named. Every c-logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from to c are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

For a Euclidean space , let L n denote the modal logic of chequered subsets of . For every n 1, we characterize L n using the more familiar Kripke semantics, thus implying that each L n is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics L n form a decreasing chain converging to the logic L of chequered subsets of . As a result, we obtain that L is also a logic (...) over Grz, and that L has the finite model property. We conclude the paper by extending our results to the modal language enriched with the universal modality. (shrink)

For a Euclidean space ${\Bbb R}^{n}$ , let $L_{n}$ denote the modal logic of chequered subsets of ${\Bbb R}^{n}$ . For every n ≥ 1, we characterize $L_{n}$ using the more familiar Kripke semantics thus implying that each $L_{n}$ is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics $L_{n}$ form a decreasing chain converging to the logic $L_{\infty}$ of chequered subsets of ${\Bbb R}^{\infty}$ . As a result, we obtain that $L_{\infty}$ is (...) also a logic over Grz, and that $L_{\infty}$ has the finite model property. We conclude the paper by extending our results to the modal language enriched with the universal modality. (shrink)

There are several known Lindström-style characterization results for basic modal logic. This paper proves a generic Lindström theorem that covers any normal modal logic corresponding to a class of Kripke frames definable by a set of formulas called strict universal Horn formulas. The result is a generalization of a recent characterization of modal logic with the global modality. A negative result is also proved in an appendix showing that the result cannot be strengthened to cover every first-order elementary class (...) of frames. This is shown by constructing an explicit counterexample. (shrink)