The paper is aimed to show that directly referring terms have to be rigid designators. Since directly referring expressions refer to something on the basis of semantic conventions alone and since the conventions are independent of possible worlds, there cannot be a directly referring expression with shifting reference across possible worlds. Although this claim seems to be indubitable and widely recognized, it was questioned recently. Drawing on D. Lewis’ ontology of counterparts, G. Martí has shown that a directly referring expression (...) is capable to refer to different objects in different possible worlds. A directly referring term designating an object in our world is supposed to designate its counterparts in other possible world. The paper tries to show that the purported directly referring terms assumed by Martí’s argument are not, in fact, directly referring.U ovome članku nastoji se pokazati da izravno referirajući termini moraju biti kruti označitelji. Budući da izravno referirajući izrazi referiraju na nešto samo na osnovi semantičkih konvencija i budući da su konvencije neovisne o mogućim svjetovima, ne može postojati izravno referirajući izraz s referencijom koja se pomiče duž mogućih svjetova. Iako se ta tvrdnja čini neprijepornom i široko prihvaćenom, u novije je vrijeme dovedena u pitanje. Oslanjajući se na Lewisovu ontologiju parnjakâ, G. Martí je pokazala da izravno referirajući izraz može referirati na različite predmete u različitim mogućim svjetovima. Izravno referirajući termin koji označava predmet u našem svijetu trebao bi označavati svoje parnjake u drugome mogućem svijetu. U članku se pokušava pokazati da navodno izravno referirajući termini koji su pretpostavljeni Martínim argumentom zapravo nisu izravno referirajući. (shrink)

Anselm's argument for the existence of God in Proslogion Chap.II starts from the contention that `lq when a Fool hears `something-than-which-nothing-greater-can-be-thought', he understands what he hears, and what he understands is in his mind. This is a special feature of the Pros.II argument which distinguishes the argument from other ontological arguments set up by, for example, Descartes and Leibniz. This is also the context which makes semantics necessary for evaluation of the argument. It is quite natural to ask `lq What (...) is understood by the Fool, and what is in his mind? It is essential for a proper consideration of the argument to identify the object which is understood by the Fool, and so, is in his mind. A semantics gives answers to the questions of `lq What the Fool understands? and `lq What is in the Fool's mind? If we choose a semantics as a meta-theory to interpret the Pros.II argument, it makes an effective guide to identify the object. It is a necessary condition for a proper evaluation of the Pros.II argument to fix our universe of discourse, especially since, in the argument, we are involved in such talk about existing objects as Anselm's contention that `when a Fool hears `something-than-which-nothing-greater-can-be-thought', he understands what he hears, and what he understands is in his mind. The ontology to which a semantic theory commits us will be accepted as our scope of objects when we introduce our semantic theory to interpret the Pros.II argument, and this ontological boundary constrains us to identify the object in a certain way. Consistent application of an ontology, most of all, is needed for the evaluation of the logical validity of an argument. If we take Frege's three-level semantics, we are ontologically committed to intensional entities, like meaning, as well as extensional entities. Sluga contends that Frege's anti-psychologism for meanings should not be interpreted as vindicating reification of intensional entities in relation to Frege's contextualism, that Frege's anti-psychologism with his contextualism is nothing but a linguistic version of Kantian philosophy for the transcendental unity of a judgement. There is, however, another possible interpretation of Frege's contextualism. According to Dummett, the significance of Frege's contextualism must be understood as a way of explanation for a word's having meaning. If Dummett's view is cogent, we could say that Frege's contextualism does not prevent our interpreting his semantics as being committed to intensional entities. We need not worry that Frege's over all semantics, especially with his contextualism, would internally deny the ontological interpretation of his theory. We see Anselm's argument for the existence of God in Pros.II is an invalid argument if we introduce Frege's three-level semantics, i.e. if we acknowledge meanings of words as entities in our universe of discourse. We can also employ extensional semantics for the interpretation of the Pros.II argument. According to extensionalists, like Quine and Kripke, we need not assume intensional entities, like meaning, to be part of our ontological domain. They argue that we can employ our language well enough without assuming intensional entities. If we choose extensional semantics as a meta-theory to interpret the Pros.II argument, it commits us only to extensional entities as objects in the Universe of our interpretation. In Sections 1.4 and 1.5, I show that extensional semantics makes the Pros.II argument a valid argument for the existence of God. `lq Necessary existence is the central concept of Anselm's argument for the existence of God in Proslogion Chap.III. It has been said that, even if the argument is formally valid, it cannot stand as a valid argument for the existence of God, since `lq necessary existence is an absurd concept like `lq round square. And further that even if there is a meaningful combination of concepts for `lq necessary existence, it cannot quality as a subject of an a priori argument. As objections to the interpretations which make the Pros.III argument valid, it has been argued that even if there is a concept of `lq necessary existence which is meaningful and there is another concept of `lq necessary existence which is suitable as a subject of an a priori argument, there is no concept of `lq necessary existence which is meaningful and at the same time suitable as a subject of an a priori argument. In Chap.2 and Chap.3, I try to show that there can be concepts of `lq necessary existence which are proof against these objections. Anselm's arguments for the existence of God in Proslogian Chap.II and Chap.III are logically valid arguments on some logical principles. Some fideists, K. Barth, for example, argue that Anselm's arguments for the existence of God in Proslogion are not proofs for the existence of God even if they are logically valid arguments. I raise the question how this attitude could be possible, in Chap.4 and Chap.5. Barth's fideistic interpretation of Anselm's Proslogion arguments does not find any flaw in the validity of the arguments, and it accepts the meaningfulness and truth of the premises even to the fool in Proslogion. If this is the case, i.e. if Barth's interpretation accepts the validity of the arguments and the truth of the premises, I raise the question, how can the arguments not be interpreted as proofs for the existence of God? How is it possible that the function of the arguments is not that of proving the existence of God? According to Wittgensteinian fideism, premises in the arguments should not be intelligible to those who do not believe in God's existence already, and so the real function of the arguments is the elucidation, the understanding of believer's belief, rather than proving articles of belief to unbelievers. Barth's fideistic interpretation of the arguments, however, fully recognizes the meaningfulness and truth of the premises in the arguments as well as the validity of the arguments. I argue that there could be a justification for the Barthian fideism. As Malcolm notices, there are still atheists who understand Anselm's arguments as valid, but the only possibility for the people who recognize the validity of Anselm's arguments still to remain atheists has been thought to be to challenge the truth of premises employed in the arguments. Now, of the atheistic possibility, we can change the direction of our attention, that is, to the question about the function of a logically valid argument itself. What has not been thought of in relation to Anselm's arguments is the significance of logical truth or the logical validity of an argument. We have not asked such questions as `lq What does a logical truth say? and `lq What does a logically valid argument guarantee with true premises? Let us assume that even the premises are accepted by atheists. Do they all convert to theism? If that were so, the disagreement between atheist and believer over the ontological arguments should turn only on the truth of premises. If that is not so, there is some point in raising this other question. If there are people who, recognizing the premises and validity of an argument, are still reluctant to accept the conclusion, we have reason to question the function of a valid argument. I argue that there is a way of being consistently reasonable while accepting the premises and the validity of the ontological arguments and yet remaining an atheist or an agnostic. (shrink)

Whether there exist causal relations between guns firing and people dying, between pedals pressed and cars accelerating, or between carbon dioxide emissions and global warming, is typically taken to be a mind-independent, objective, matter of fact. However, recent contributions to the literature on causation, in particular theories of contrastive causation and causal modelling, have undermined this central causal platitude by relativising causal facts to models or to interests. This thesis flies against the prevailing wind by arguing that we must pay (...) greater attention to which elements of our causal talk vary with context and which elements track genuine features of the world around us. I will argue that once these elements are teased apart we will be in a position to better understand some of the most persistent problems in the philosophy of causation: pre-emption cases, absence causation, failures of transitivity and overdetermination. The result is a naturalist account of causation, concordant with the contextual variability we find in our ordinary causal talk, and parsimonious with respect to the theoretical entities posited. (shrink)

We present a class of first-order modal logics, called transformational logics, which are designed for working with sentences that hold up to a certain type of transformation. An inference system is given, and com- pleteness for the basic transformational logic HOS is proved. In order to capture ‘up to isomorphism’, we express a very weak version of higher category theory in terms of first-order models, which makes tranforma- tional logics applicable to category theory. A category-theoretical concept of isomorphism is used (...) to arrive at a modal operator nisoφ expressing ‘up to isomorphism, φ’, which is such that category equivalence comes out as literally isomorphism up to isomorphism. In the final part of the paper, we explore the possibility of using trans- formational logics to define weak higher categories. We end with two informal comparisons: one between HOS and counterpart semantics, and one between isomorphism logic, as a transformational logic, and Homo- topy Type Theory. (shrink)

The broad aim of this thesis is to explore fruitful connections between ideology theory and the philosophy of possible worlds. Ideologies are full of modal concepts, such as possibility, potential, necessity, essence, contingency and accident. Typically, PWs are articulated for the analysis and illumination of modal concepts. That naturally suggests a method for theorising ideological modality, utilising PW theory. The specific conclusions of the thesis proffer a number of original contributions to knowledge: 1) PWs should only be used for explication (...) and not as evidence or criteria of assessment in ideology theory. The estimation of utopian possibilities, human essences and freedoms must be determined by extrinsic criteria. PWs can serve only as a window or means of expression but not as a set of evaluative premises. 2) For this purpose, a modified version of Lewisian genuine realism, with its device of counterpart theory, is the best approach; the alternative theories risk constricting possibilities or smuggling in assumptions that ought to be objects of analysis in ideology theory. This is instructive, since ideology theorists are prone to pick and choose favoured aspects of modal philosophy without further argument. 3) Conclusions and suggest the adoption of GR or fictionalist GR. Overall, the actualist options are less adequate. Fictionalism, by contrast, is a worthwhile contender, but it too presents comparative weaknesses which reinforce GR’s standing as a potent challenger to the modal metaphysician. Therefore, this thesis presents additional reasons to think GR true. The conclusions are not knockdown, and I draw out incentives and consequences for adopting alternative stances. The various chapters also provide specific details for comprehending and debating ideological modals. (shrink)

§1. Introduction. By means of what semantic features is a proper name tied to its bearer? This is a puzzling question indeed: proper names — like “Aristotle” or “Paris” — are syntactically simple, and it therefore does not seem possible to reduce their meanings, by means of a principle of compositionality, to the meanings of more basic, and hence perhaps more tractable, linguistic elements.

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

In this paper, the author develops a theory of concepts and shows that it captures many of the ideas about concepts that Leibniz expressed in his work. Concepts are first analyzed in terms of a precise background theory of abstract objects, and once concept summation and concept containment are defined, the axioms and theorems of Leibniz's calculus of concepts (in his logical papers) are derived. This analysis of concepts is then seamlessly connected with Leibniz's modal metaphysics of complete individual concepts. (...) The fundamental theorem of Leibniz's modal metaphysics of concepts is proved, namely, whenever an object x has F contingently, then (i) the individual concept of x contains the concept F and (ii) there is a (counterpart) complete individual concept y which doesn't contain the concept F and which `appears' at some other possible world. Finally, the author shows how the concept containment theory of truth can be made precise and made consistent with a modern conception of truth. (shrink)

In this dissertation, I develop an interpretation of Leibniz on modality and free will. I do so for two reasons: first, I am attempting to revitalize the notion that Leibniz is the predecessor of contemporary modal semantics; second, I am using Leibniz's philosophical system to motivate responses to contemporary philosophical issues in modality and free will. In Chapter One, I argue that Leibniz's basic principles are plausible theoretical tools that ought to be used by contemporary philosophers in developing their philosophical (...) systems. In Chapter Two, I develop Leibniz's views on the nature of individuals. I argue that possible individuals are actually of the same sort as individuals in the actual world--possible individuals and actual individuals are complete creatures that do not differ ontologically from each other. In Chapter Three, I argue that Leibniz's views on possible individuals make him a modal realist and compare his view with contemporary modal realism in order to support this claim. I also argue that counterparts avoid many of the problems set for them by contemporary thinkers; I end with the ways that Leibniz's view differs from contemporary accounts. In Chapter Four, I argue that Leibniz provides two different analyses of modality. The first is an infinite analysis account; the second is a possible worlds account. I argue that these two accounts are compatible and amount to two different descriptions of the same theory of modality. I address objections to each account in order to show this. In Chapter Five, I argue that Leibniz is a compatibilist about free will. Importantly, I argue that it is precisely Leibniz's account of modality that allows for this compatibilism, as against a necessitarian like Spinoza. I then use Leibniz's account to challenge contemporary libertarians about free will on the basis of the principle of sufficient reason. I also show how Leibniz can help semicompatibilism avoid a worry concerning necessitarianism. At the end of the day, I claim that adopting elements of Leibniz's system can help us better understand modality and the freedom of the will and can be an aid in furthering contemporary philosophical theory. (shrink)

In Re realism is the two-pronged view that, first, when this and that have the same color, this color and that color are identical. There is just one color, the universal. Second, on the view, this color exists just in case something has it. Say my cat has the same color as the dog I owned when I was a child. Since the dog existed before the cat, and precedence being irreflexive, it seems plausible to infer that the dog and (...) the cat are distinct. Now take the colors. Since the colors are allegedly in re, and thus perhaps somehow elements of the cat and dog, it seems plausible to infer that the dog's color also preceded the cat's color. And therefore that the cat's color cannot be identical with the dog's. Finally, since the in re realist understands the sameness of properties in terms of identity, it follows that the cat's color cannot be the same as the dog's. The problem generalizes: What is the relationship between universals and time? Ignoring the temporality of that which constitutes time, to be temporal is to have a temporal "feature." These "features" are of three kinds: precedence, times, and being present, past, etc. The fundamental question in each case is whether universals have the feature. Do universals precede? Are they at times? Are they present? Time, I argue, is essentially the field in which things happen. To happen, I argue, is for one thing to do something. For one thing to do something is for the thing to exemplify a property. Such exemplifications of properties by objects I call "states of affairs." Only states of affairs precede, are at times, or are present. Universals, not being states of affairs, are not temporal. But, by the same argument which shows that running is not temporal it can be shown that Jack is not, even though Jack's running obviously is. So far I have defined what it is to be temporal; primitive temporality. But since Jack is a constituent of something temporal, he may be justly thought of as derivatively temporal. (shrink)

Modal realists face a puzzle. For modal realism to be justified, modal realists need to be able to give a successful reduction of modality. A simple argument, however, appears to show that the reduction they propose fails. In order to defend the claim that modal realism is justified, modal realists therefore need to either show that this argument fails, or show that modal realists can give another reduction of modality that is successful. I argue that modal realists cannot do either (...) of these things and that, as a result, modal realism is unjustified and should be rejected. (shrink)

So selbstverständlich es klingt, vom Geist, der Psyche oder auch der Seele eines Menschen zu reden, und so vertraut uns wissenschaftliche Disziplinen sind, die sich philosophisch oder empirisch damit beschäftigen, so schwer fällt es, ein einheitliches Merkmale dafür anzugeben, wann etwas ein psychisches Phänomen ist. Viele der potentiellen Merkmale decken eben nur einen Teil des Spektrums dessen ab, was wir gewöhnlich als psychisch bezeichnen würden, und sind damit bestenfalls hinreichende, aber sicher keine notwendigen Bedingungen des Psychischen. Im Mittelpunkt des folgenden (...) Artikels wird dagegen ein Merkmal stehen, von dem feststeht, daß es nicht hinreichend ist, von dem man aber vermuten kann, es sei zumindest notwendig: die Individualität psychischer Phänomene. Die Frage, mit der ich mich beschäftigen werde, ist, ob sich diese Vermutung mit Bezug auf eine Grnppe paradigmatisch psychischer Phänomene aufrecht erhalten läßt, die intentionalen Einstellungen. (shrink)

The standard view of metaphysical necessity is that it is truth in all possible worlds, and therefore that the correct modal logic for metaphysical necessity is S5, in models of which all worlds are accessible from each other. I argue that S5 cannot be the correct logic for metaphysical necessity because accessibility is not symmetric: there are possible worlds that are accessible from ours but from which our world is not accessible. There are (or could be) some individuals who, if (...) they had not existed, could not have existed. Once the possibility of such individuals is lost, it is gone forever. (shrink)

I develop a device for simulating quantification over merely possible objects from the perspective of a modal actualist ---someone who thinks that everything that exists actually exists.

We carry out the Karttunen-Stalnaker pragmatic account of presupposition projection within a state-of-the art version of dynamic epistemic logic. It turns out that the basic projection facts can all be derived from a Gricean maxim ‘be informative’. This sheds light on a recent controversy on the appropriateness of dynamic semantics as a tool for analysing presupposition.