Graham Oppy has emerged as one of the kalam cosmological argument’s most formidable opponents. He rejects all four of the arguments drawn from metaphysics and physics for the second premiss that the universe began to exist. He also thinks that we have no good reason to accept the first premiss that everything that begins to exist has a cause. In this response, I hope to show that the kalam cosmological argument is, in fact, considerably stronger than Oppy claims, surviving even (...) his trenchant critique. (shrink)

In his metaphysical summa of 1986, The Plurality of Worlds, David Lewis famously defends a doctrine he calls ‘modal realism’, the idea that to account for the fact that some things are possible and some things are necessary we must postulate an infinity possible worlds, concrete entities like our own universe, but cut off from us in space and time. Possible worlds are required to account for the facts of modality without assuming that modality is primitive – that there are (...) irreducibly modal facts. We argue that on one reading, Lewis’s theory licenses us to assume maverick possible worlds which spread through logical space gobbling up all the rest. Because they exclude alternatives, these worlds result in contradictions, since different spread worlds are incompatible with one another. Plainly Lewis’s theory must be amended to exclude these excluders. But, we maintain, this cannot be done without bringing in modal primitives. And once we admit modal primitives, bang goes the rationale for Lewis’s modal realism. (shrink)

A Leibnizian semantics proposed by Becker in 1952 for the modal operators has recently been reviewed in Copeland’s paper The Genesis of Possible World Semantics (Copeland in J Philos Logic 31:99–137, 2002 ), with a remark that “neither the binary relation nor the idea of proving completeness was present in Becker’s work”. In light of Frege’s celebrated Sense-Determines-Reference principle, we find, however, that it is Becker’s semantics, rather than Kripke’s semantics, that has captured the true spirit of Frege’s semantic program. (...) Furthermore, for Kripke’s possible world semantics to fit in Frege’s framework of senses , worlds and referents , it will have to be thoroughly reformulated. By introducing the notion of a hi-world into the picture, we manage to keep the key ingredients of Becker’s semantics intact, while at the same time solve a fatal problem that used to shadow Becker’s original semantics—it had not been able to make sense of inhomogeneous modality. The resulting generalized Beckerian semantics provides, in effect, a Beckerian analysis of the Kripkean possible worlds. It reveals the subtle hierarchical internal structure of a Kripkean world that has not been discovered before. (shrink)

A major criticism of David Lewis’ counterfactual theory of causation is that it allows too many things to count as causes, especially since Lewis allows, in addition to events, absences to be causes as well. Peter Menzies has advanced this concern under the title “the problem of profligate causation.” In this paper, I argue that the problem of profligate causation provides resources for exposing a tension between Lewis’ acceptance of absence causation and his modal realism. The result is a different (...) problem of profligate causation—one that attacks the internal consistency of Lewisian metaphysics rather than employing common sense judgments or intuitions that conflict with Lewis’ extensive list of causes. (shrink)

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)

I have three main objectives in this essay. First, in chapter 2, I shall put forward and justify what I call worldlessness, by which I mean the following: All truths (as well as falsehoods) are wholly independent of any circumstances, not only time and place but also possible worlds. It follows from this view that whatever is actually true must be taken as true with respect to every possible world, which means that all truths are (in a sense) necessary. However, (...) the account I shall propound is different from what is known in the trade as necessitarianism, i.e. the view that there is only one possible world, viz. the actual one, for the doctrine of the worldlessness of truth values, despite its commitment to the necessity of truths and falsehoods, is quite compatible with the idea of there being other possible worlds. Another important issue in chapter 2, explored in particular in section 2.12, is the claim that there is no real change in the world. Secondly, in chapter 3 I consider the eminent traditional argument for determinism, deriving from Aristotle, namely, logical determinism, i.e. determinism justified by an appeal to the logical principle of bivalence (that all proper statements, including those concerning the future, are either true or false). In this connection I try to show that, (i), the formulation of the conclusion of this argument as "Whatever will happen will happen of necessity" is implausible, at least from the modern point of view, (ii), the formulation as "Whatever will happen will happen inevitably" is more to the point, and (iii), on the basis of the worldless and timeless aspect advocated in chapter 2, this latter formulation is quite harmless, essentially amounting to the trivial statement, "Whatever will happen will happen". Thirdly, in chapter 4 I study theological determinism, or determinism that arises from God's supposed providential control over everything that happens. In this connection, I shall survey some historical accounts of the relation between human free will and determinism (not only theological but also causal determinism); the philosophers the views of whom I shall attend to include Chrysippus, St. Augustine, Boethius and Aquinas. I shall in particular consider G.W. Leibniz' theodicean aspirations, viz. his solution to the problem of evil and, especially, his compatibilist attempts to reconcile human free will with the strictly deterministic flow of actual events. I think it is important to try to explicate Leibniz' ingenious account of these matters, since it seems that it has not been fully appreciated in the literature, not even by contemporary Leibniz scholars (such as B. Mates, R.C. Sleigh, C. Wilson, R.M. Adams and D. Rutherford). In providing the Leibnizian compatibilist solution of the problem of determinism and freedom in chapter 4, I shall utilize the approach of chapter 2. (shrink)

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

This dissertation shows how initial conditions play a special role in the explanation of contingent and irregular outcomes, including, in the form of geographic context, the special case of uneven development in the social sciences. The dissertation develops a general theory of this role, recognizes its empirical limitations in the social sciences, and considers how it might be applied to the question of uneven development. The primary purpose of the dissertation is to identify and correct theoretical problems in the study (...) of uneven development; it is not intended to be an empirical study. Chapter 1 introduces the basic problem, and discusses why it has become especially salient in debates concerning uneven development. Chapter 2 develops an argument for the importance of initial conditions in the philosophy of science, developed specifically in the context of the Bhaskar/Cartwright ‘open systems’ (and by extension, ‘exogenous factor’) emphasis on the ubiquity of contingency in the universe and rejection of explanation based on laws of nature (regularity accounts) of causation. Chapter 3 makes three claims concerning the concept of contingency, especially as related to the study of society: 1) that there are eight distinct uses of the word contingency, and its many meanings are detrimental to clarity of discussion and thought in history and the social sciences; 2) that it is possible to impose some order on these different uses through developing a classification of contingency into three types based on assumptions concerning possible worlds and determinism; 3) that one of the classes is a special use of the word without relevance to the social sciences, while the two remaining classes are nothing more than a variety of the ‘no hidden factors’ argument in the debate on indeterminism and determinism (and thus related to the concept of spacetime trajectories caused by initial conditions and the interference of these in the form of ‘exogenous factors’ with ‘open systems’). Chapter 4 The concept of explanation based on initial conditions together with laws of nature is widely associated with determinism. In the social sciences determinism has frequently been rejected due to the moral dilemmas it is perceived as presenting. Chapter 4 considers problems with this view. Chapter 5 considers attitudes among geographers, economists, and historians towards using geographic factors as initial conditions in explanation and how they might acceptably be used, in particular their role in ‘anchoring’ aspatial theories of social processes to real-world distributions. Chapter 6 considers the relationship of the statistical methods common in development studies with the trend towards integrating geographical factors into econometric development studies. It introduces the statistical argument on ‘apparent populations’ that arrives at conclusions concerning determinism consistent with Chapters 2 and 3 of the dissertation. The need for the visual interpretation of data with descriptive statistics and maps and their utility in the study of uneven development is discussed with a number of examples. Chapter 7 applies these concepts to the ‘institutions versus geography’ debate in development studies, using Acemoglu, Johnson and Robinson’s 2002 ‘reversal of fortune’ argument as a primary example. Chapter 8 considers possible directions for future work, both theoretical and empirical. Chapter 9 concludes with a discussion of additional possible objections to the use of initial conditions as exogenous factors in explanation. (shrink)

Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an impossible world, given Lewis’ reductive theoretical framework? Since (...) the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

This is an introduction to the topic of modality in philosophy. Theories of modality seek to explain possibility and necessity in the various ways they come up in our ordinary understanding of the world and in our systematic theorising. Topics covered include distinguishing types of necessity and possibility; possible worlds and their use; de re possibility and necessity; and how we discover modal truths.

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

This dissertation explores the concepts of naturalness, intrinsicality, and duplication. An intrinsic property is had by an object purely in virtue of the way that object is considered in itself. Duplicate objects are exactly similar, considered as they are in themselves. The perfectly natural properties are the most fundamental properties of the world, upon which the nature of the world depends. In this dissertation I develop a theory of intrinsicality, naturalness, and duplication and explore their philosophical applications. Chapter 1 introduces (...) the notions, gives a preliminary survey of some proposed conceptual connections between the notions, and sketches some of their proposed applications. Chapter 2 gives my background assumptions and introduces notational conventions. In chapter 3 I present a theory of naturalness. Although I take ‘natural’ as a primitive, I clarify this notion by distinguishing and explicating various conceptions of naturalness. In chapter 4 I give a theory of various notions related to naturalness, especially intrinsicality and duplication. I show that ‘intrinsic’ and ‘duplicate’ are interde nable, and then give analyses of these and other notions in terms of naturalness. If, as I think likely, naturalness cannot be analyzed, then what is the proper response? David Lewis suggests: accept naturalness as a primitive. I am sympathetic to this proposal, but not to the form Lewis gives it: chapter 5 contains an argument against Lewis’s theory of naturalness. In chapter 6 I reject the idea that naturalness is analyzable in terms of immanent universals. I focus on the work of D. M. Armstrong. I also criticize Armstrong’s arguments against transcendent universals. (shrink)

In his "Two concepts of possible worlds", Peter Van Inwagen explores two kinds of views about the nature of possible worlds : abstractionism and concretism. The latter is the view defended by David Lewis who claims that possible worlds are concrete spatio-temporal universes, very much like our own, causally and spatio-temporally disconnected from each other. The former is the view of the majority who claims that possible worlds are some kind of abstract objects – such as propositions, properties, states of (...) affairs, or sets of numbers. In this paper, I will develop this view in an 'extreme abstractionist' way, appealing to a 'modal bundle theory', and I will try to show that it is preferable to the standard abstractionist ones. Finally, I will compare this kind of abstractionism to concretism, only to find that the difference between the two is minimal. (shrink)

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...) between them. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

David Lewis's book 'On the Plurality of Worlds' mounts an extended defense of the thesis of modal realism, that the world we inhabit the entire cosmos of which we are a part is but one of a vast plurality of worlds, or cosmoi, all causally and spatiotemporally isolated from one another. The purpose of this article is to provide an accessible summary of the main positions and arguments in Lewis's book.

There are numerous contexts in which philosophers and others use model-theoretic methods in assessing the validity of ordinary arguments; consider, for example, the use of models built upon 'possible worlds' in examinations of modal arguments. But the relevant uses of model-theoretic techniques may seem to assume controversial semantic or metaphysical accounts of ordinary concepts. So, numerous philosophers have suggested that standard uses of model-theoretic methods in assessing the validity of modal arguments commit one to accepting that modal claims are to (...) be analysed in terms of possible worlds. The paper provides a very general account of how uses of model-theoretic methods in demonstrating facts about validity and invalidity may in fact often be uncoupled from controversial semantic or metaphysical theses, applying the resulting techniques to some modal cases in particular. (shrink)

If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence of a plurality (...) of possible worlds. Or at least that is so if the applied theory is adequate. For an applied possible-worlds semantic theory that is constrained to contain only one-world models is bound to deliver results on validity, soundness and completeness that are apt to seem disastrous. I attempt to steer a course between commitment to the existence of a plurality of possible worlds and commitment to such a disastrous applied possible-worlds semantics by noting, and developing, the position of one who asserts such a theory at face-value but who remains agnostic about the existence of other (non-actualized) possible worlds. Thus, a novel interpretation of applied possible-worlds semantics is offered on which we may lay claim to whatever benefits such a theory offers while avoiding realism about (other) possible worlds. Thereby, the contention that applied possible-worlds semantics gives us reason to be realists about possible worlds is (further) undermined. (shrink)

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...) on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

An argument for realism (i.E., The ontological thesis that there exist universals) has emerged in the writings of david armstrong, Fred dretske, And michael tooley. These authors have persuasively argued against traditional reductive accounts of laws and nature. The failure of traditional reductive accounts leads all three authors to opt for a non-Traditional reductive account of laws which requires the existence of universals. In other words, These authors have opted for accounts of laws which (together with the fact that there (...) are laws) entail that realism is true. This argument for realism which emerges from the work of armstrong, Dretske, And tooley is discussed and criticized. Conclusions from the discussion question the tenability of all reductive accounts of laws. (shrink)

The notion of conceivability has traditionally been regarded as crucial to an account of modal knowledge. Despite its importance to modal epistemology, there is no received explication of conceivability. In recent discussions, some have attempted to explicate the notion in terms of epistemic possibility. There are, however, two notions of epistemic possibility, a more familiar one and a novel one. I argue that these two notions are independent of one another. Both are irrelevant to an account of modal knowledge on (...) the predominant view of modal reality. Only the novel notion is relevant and apt on the competing view of modal reality; but this latter view is problematic in light of compelling counterexamples. Insufficient care regarding the independent notions of epistemic possibility can lead to two problems: a gross problem of conflation and a more subtle problem of obscuring a crucial fact of modal epistemology. Either problem needlessly hampers efforts to develop an adequate account of modal knowledge. I conclude that the familiar notion of epistemic possibility should be eschewed in the context of modal epistemology. (shrink)

Nonreductive materialism is the dominant position in the philosophy of mind. The global supervenience of the mental on the physical has been thought by some to capture the central idea of nonreductive materialism: that mental properties are ultimately dependent on, but irreducible to, physical properties. But Jaegwon Kim has argued that global psychophysical supervenience does not provide the materialist with the desired dependence of the mental on the physical, and in general that global supervenience is too weak to be an (...) interesting dependence relation. We argue that these arguments are unsound. Along the way, we clarify the relationship between global and strong supervenience, and show clearly what sort of dependence global supervenience provides. (shrink)

The existence and importance of supervenience principles for identity across times and worlds have been noted, but insufficient attention has been paid to their precise nature. Such attention is repaid with philosophical dividends. The issues in the formulation of the supervenience principles are two. The first involves the relevant variety of supervenience: that variety is global, but there are in fact two versions of global supervenience that must be distinguished. The second involves the subject matter: the names “identity over time” (...) and “identity across worlds” are misnomers, for in neither case is identity at issue. The philosophical dividends then follow. Nathan Salmon’s argument that identity over time needs no “grounds” in matters of qualitative fact can be answered, as can an argument offered by many, that coincident objects would require objectionably ungrounded differences in identities across times and worlds. (shrink)

Some claim that Composition as Identity (CI) entails Mereological Essentialism (ME). If this is right, then we have an effective modus tollens against CI: ME is clearly false, so CI is, too. Rather than deny the conditional, I will argue that a CI theorist should embrace ME. I endorse a theory of modal parts such that ordinary objects are spatially, temporally, and modally extended. Accepting modal parts is certainly beneficial to CI theorists, but it also provides elegant solutions to the (...) traditional puzzles of constitution, making it a competitive move in its own right. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

In this paper I reconstruct David Foster Wallace’s argument against fatalism in his undergraduate honors thesis, “Richard Taylor’s ‘Fatalism’ and the Semantics of Physical Modality”. My goal is to present the argument in a clear and concise way, so that it is easy to see its main line of reasoning and potential power. A secondary goal is to offer clarificatory and critical notes on some of the issues at stake. The reconstruction reveals interesting connections between Wallace’s argument and John MacFarlane’s (...) recent work on relative truth. (shrink)

MEANING POSTULATES REINSTATED If I am right in agreeing with Cresswell that the "logicarrlexicaT distinction is one of degree rather than one of kind, that in turn impugns the distinction between the official truth-rules that define logical ...

This is a symposium on my book, Writing the Book of the World, containing a precis from me, criticisms from Dorr, Fine, and Hirsch, and replies by me.

I introduce and defend the semantic notion of counterfactual identity, distinguishing it from the metaphysical notion of transworld identity. After showing that Lewis's counterpart theory misconstrues counterfactual identity facts, I outline and motivate a ‘Leibnizian counterpart theory’ where the notion of counterfactual identity is adequately modelled. Finally, I show that counterfactual identity can be characterized without relying on some implausible features of Lewis's theory of conditionals.

I defend counterpart theory against post-Kripkean objections. Trenton Merricks objects that no construction of ersatz counterparts is uniquely and intrinsically suitable; I reply that metaphysical constructions need not have these features. Sarah Moss refutes my solution (from "All the world's a stage") to the problem of timeless counting for temporal counterpart theory; I offer a new solution. Hazen, Fara, Williamson, and others have objected that counterpart theory generates an unacceptable logic for an actuality operator; I attempt to give a better (...) semantics. (shrink)

The aim of this paper is to show that topology has a bearing on<br><br>combinatorial theories of possibility. The approach developed in this article is “mapping account” considering combinatorial worlds as mappings from individuals to properties. Topological structures are used to define constraints on the mappings thereby characterizing the “really possible” combinations. The mapping approach avoids the well-known incompatibility problems. Moreover, it is compatible with atomistic as well as with non-atomistic ontologies.It helps to elucidate the positions of logical atomism and monism (...) with theaid of topological separation axioms. (shrink)

If time travel is possible, presumably so is my shooting my younger self ; then apparently I can kill him – I can commit retrosuicide. But if I were to kill him I would not exist to shoot him, so how can I kill him? The standard solution to this paradox understands ability as compossibility with the relevant facts and points to an equivocation about which facts are relevant: my killing YS is compossible with his proximity but not with his (...) survival, so I can kill him if facts like his survival are irrelevant but I cannot if they are relevant. I identify a lacuna in this solution, namely its reliance without argument on the hidden assumption that my killing YS is possible: if it is impossible, it is not compossible with anything. I argue that this lacuna is important, and I sketch a different solution to the paradox. (shrink)

The notion of conceivability has traditionally been regarded as crucial to an account of modal knowledge. Despite its importance to modal epistemology, there is no received explication of conceivability. One purpose of this paper is to argue that the notion is not fruitfully explicated in terms of the imagination. The most natural way of presenting a notion of conceivability qua imaginability is open to cogent criticism. In order to avoid such criticism, an advocate of the modal insightfulness of the imagination (...) must broaden the idea of what it is to be imaginable. I argue that this required broadening renders the imagination idle . Consequently, I distinguish two different accounts of the evidential basis of modal knowledge and present a more general argument that concludes that the very notion of conceivability should be eschewed in modal epistemology. (shrink)

This paper sets out a new framework for discussing a long-standing problem in the philosophy of mathematics, namely the connection between the physical world and a mathematical domain when the mathematics is applied in science. I argue that considering counterfactual situations raises some interesting challenges for some approaches to applications, and consider an approach that avoids these challenges.

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

Holmes exists is false. How can this be, when there is no one for the sentence to misdescribe? Part of the answer is that a sentence’s topic depends on context. The king of France is bald, normally unevaluable, is false qua description of the bald people. Likewise Holmes exists is false qua description of the things that exist; it misdescribes those things as having Holmes among them. This does not explain, though, how Holmes does not exist differs in cognitive content (...) from, say, Vulcan does not exist. Our answer builds on an observation of Kripke’s: even if Holmes exists, he is not in this room, for we were all born too late. (shrink)

Tomando en cuenta las críticas más importantes a la teoría de los individuos transmundanos, así como algunos argumentos en relación con el esencialismo de origen, este artículo trata el problema de la identidad de aquellos individuos a través de mundos posibles. Proponemos la noción de mundo admisible como un tipo especial de modelo en Lógica Intensional, que, dentro de otro modelo, permite el mapeo de la historia e identidad de los individuos en diferentes mundos posibles. Esta propuesta sugiere una solución (...) plausible para determinar propiedades esenciales empíricamente relevantes ostentadas por los individuos transmundanos, un método eficaz para evaluar su identidad y, finalmente, una nueva perspectiva desde la cual reexaminar el clásico debate entre realismo y antirrealismo en la Filosofía del Lenguaje. (shrink)

In the 1680s, Gottfried Leibniz and Antoine Arnauld engaged in a philosophically rich correspondence. One issue they discuss is modal metaphysics – questions concerning necessity, possibility, and essence. While Arnauld's contributions to the correspondence are considered generally astute, his contributions on this issue have not always received a warm treatment. I argue that Arnauld's criticisms of Leibniz are sophisticated and that Arnauld offers his own Cartesian account in its place. In particular, I argue that Arnauld offers an account of possibility (...) that is actualist, modal actualist and essence-based. (shrink)

I defend the compatibility of the classical theistic doctrine of divine providence, which includes infallible foreknowledge of all future events, with a libertarian understanding of creaturely free will. After setting out the argument for theological determinism, which purports to show the inconsistency of foreknowledge and freedom, I reject several responses as inadequate and then defend the ‚Ockhamist‛ response as successful. I further argue that the theory of middle knowledge or ‚Molinism‛ is crucial to the viability of the Ockhamist response, and (...) proceed to defend Molinism against the most pressing objections. Finally, I argue that a proper understanding of the Creator-creature relationship accounts for why no explanation can be given for how God’s middle knowledge comes about. (shrink)