Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality and Leibniz's (...) concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

It is generally thought that truthmaking has to be an internal relation because if it weren’t, then, as David Armstrong argues, “everything may be a truthmaker for any truth”. Depending on whether we take an internal relation to be one that is necessitated by the mere existence of its terms or one that supervenes on the intrinsic properties of its relata, the truthbearers involved in the truthmaking relation must either have their contents essentially or intrinsically. In this paper, I examine (...) Armstrong’s account, according to which what is made true at the fundamental level are mental state tokens. The conclusion is reached that such tokens have their contents neither essentially nor intrinsically, and so, are simply the wrong kind of entities to be made true internally. (shrink)

I argue that if David Lewis’ modal realism is true, modal realists from different possible worlds can fall in love with each other. I offer a method for uniquely picking out possible people who are in love with us and not with our counterparts. Impossible lovers and trans-world love letters are considered. Anticipating objections, I argue that we can stand in the right kinds of relations to merely possible people to be in love with them and that ending a trans-world (...) relationship to start a relationship with an actual person isn't cruel to one's otherworldly lover. (shrink)

This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox.

This paper aims to introduce Meinongian Abstractionism (MA), i.e. a view on the metaphysics of truthmaking and modality. This approach is based on the notion of objectives—one of the key elements of Alexius Meinong’s Theory of Objects. In the light of it, worlds are interpreted in terms of sets of subsistent and non-subsistent objectives. This—along with Meinong’s characterization of objectives—provides a ground for possible as well as impossible worlds. One of the consequences of Meinongain Abstractionism is a reformulation of the (...) relation of truthmaking in modal terms. Importantly, this reformulation avoids the problem of too-coarse grained analysis of truthmakers. This makes MA a metaphysically–oriented supporter of the so-called ‘hyperintensional revolution.’. (shrink)

The aim of this paper is to point out the limitations of Hybrid Modal Realism as a general theory of modalities, i.e. one that gives an analysis of possibilities as well as impossibilities. To do so we will firstly sketch the goals that theories of impossible worlds should achieve. Secondly we will briefly present the two most popular accounts of impossibilities—Extended Modal Realism and Extended Ersatzism. We will focus on the aspects of both theories which became the motivation for a (...) hybrid view. In the last part of this paper we will analyze Francesco Berto’s Hybrid Modal Realism and present reasons why this account is an insufficient tool for analyzing impossibilities. (shrink)

Formulações da validade dedutiva clássica costumam recorrer explicitamente a modalidades: por exemplo, um argumento é classicamente dedutivamente válido se, e somente se, necessariamente se as premissas forem verdadeiras, a conclusão também é verdadeira. Não é possível abolir completamente esse apelo ao discurso modal, porque a lógica clássica é o domínio das possibilidades. Não obstante, pode-se, por intermédio de uma semântica informacional, evitar que o usuário da lógica clássica tenha de manipular modalidades, ainda que elas estejam, de algum modo, imbricadas nos (...) infons – unidades mínimas de informação. A partir do trabalho pioneiro de Carnap e de Bar-Hillel, apresentarei duas semânticas informacionais: uma delas diretamente relacionada a mundos possíveis, e a outra relacionada aos duais de mundos possíveis. (shrink)

The possibility of Junk is the possibility that something exists and everything is a proper part. Just as we might imagine that there are no simples—that everything has a proper part, all the way down—we might imagine that there are no caps—that everything is a proper part, all the way up. It is not obvious that this apparent possibility can be accommodated within a Lewisian modal framework. For Lewis, every possibility involves the existence of a possible world, and a possible (...) world is just is a maximal sum, and so a cap. But the Lewisian can accommodate Junk, if she wishes, by allowing parts of possible worlds to represent complete possibilities. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...) count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

The paper argues that Lewis’ Genuine Modal Realism, in taking the plurality of worlds to be necessarily the way it is, implies the existence of necessary connections of the sort that contradicts the Humean thesis that Lewis endorses. By endorsing, pace Divers, a non-redundancy interpretation of advanced modalizing, we gain the means to exactly state what these connections amount to.

In this paper I argue that the growing block theory of time has rather surprising, and hitherto unexplored, explanatory benefits when it comes to certain enduring philosophical puzzles concerning death. In particular, I claim the growing block theorist has readily available and convincing answers to the following questions: Why is it an evil to be dead but not an evil to be not yet born? How can death be an evil for the dead if they no longer exist to suffer (...) it? When is death an evil for the one who dies? The ability to give such answers is a significant, but by no means decisive, advantage for the growing block view of time. (shrink)

The problem with model-theoretic modal semantics is that it provides only the formal beginnings of an account of the semantics of modal languages. In the case of non-modal language, we bridge the gap between semantics and mere model theory, by claiming that a sentence is true just in case it is true in an intended model. Truth in a model is given by the model theory, and an intended model is a model which has as domain the actual objects of (...) discourse, and which relates these objects in an appropriate manner. However, the same strategy applied to the modal case seems to require an intended modal model whose domain includes mere possibilia. Building on recent work by Christopher Menzel (Synthese 85 (1990)), I give an account of model-theoretic semantics for modal languages which does not require mere possibilia or intensional entities of any kind. Menzel has offered a representational account of model-theoretic modal semantics that accords with actualist scruples, since it does not require possibilia. However, Menzel's view is in the company of other actualists who seek to eliminate possible worlds, but whose accounts tolerate other sorts of abstract, intensional entities, such as possible states of affairs. Menzel's account crucially depends on the existence of properties and relations in intension. I offer a purely extensional, representational account and prove that it does all the work that Menzel's account does. The result of this endeavor is an account of model theoretic semantics for modal languages requiring nothing but pure sets and the actual objects of discourse. Since ontologically beyond what is prima facie presupposed by the model theory itself. Thus, the result is truly an ontology-free model-theoretic semantics for modal languages. That is to say, getting genuine modal semantics out of the model theory is ontologically cost-free. Since my extensional account is demonstrably no less adequate, and yet is at the same time more ontologically frugal, it is certainly to be preferred. (shrink)

This article is an extended critical study of Robert C. Stalnaker, 'Inquiry' (Cambridge, MA: MIT Press, 1984).

The mere fact that ontological debates are possible requires us to address the question, what is it to claim that a certain entity or kind of entity exists—in other words, what do we do when we make an existence-claim? I develop and defend one candidate answer to this question, namely that to make an existence-claim with regard to Fs is to claim that we can refer to Fs. I show how this theory can fulfil the most important explanatory desiderata for (...) a theory of existence; I also defend it against the charges of illegitimate ‘semantic ascent’ and of making existence counterfactually dependent on human linguistic ability. (shrink)

Drawing upon a conception of the metaphysics of conscious states and of first-person content, we can argue that Descartes's transition ‘Cogito ergo sum’ is both sound and one he is entitled to make. We can nevertheless formulate a version of Lichtenberg's objection that can still be raised after Bernard Williams's discussion. I argue that this form of Lichtenberg's revenge can also be undermined. In doing so it helps to compare the metaphysics of subjects, worlds and times. The arguments also apply (...) to Descartes's ‘second Cogito’, that it is one and the same subject that thinks, wills, imagines. (shrink)

We take seriously the idea that paradoxes come in quantifiable degree by offering an exact measure of paradox. We consider three factors relevant to the degree of paradox, which are a function of the degree of belief in each of the individual propositions in the paradox set and the degree of belief in the set as a whole. We illustrate the proposal with a particular measure, and conclude the discussion with some critical remarks.

This paper attacks the modal ontological argument, as advocated by Plantinga among others. Whereas other criticisms in the literature reject one of its premises, the present line is that the argument is invalid. This becomes apparent once we run the argument assuming fictionalism about possible worlds. Broadly speaking, the problem is that if one defines “x” as something that exists, it does not follow that there is anything satisfying the definition. Yet unlike non-modal ontological arguments, the modal argument commits this (...) “existential fallacy” not in relation to the definition of ‘God’. Rather, it occurs in relation to the modal facts quantified over within a Kripkean modal logic. In brief, we can describe the modal facts by whichever logic we prefer—yet it does not follow that there are genuine modal facts, as opposed to mere facts-according-to-the-fiction. A broader consequence of the discussion is that the existential fallacy is an issue for many projects in “armchair metaphysics.”. (shrink)

Externalism holds that the content of our utterances and thoughts are determined partly by the environment. Here, I offer an argument which suggests that externalism is incompatible with a natural view about ontological commitment--namely, the Quinean view that such commitments are fixed by the range of the variables in your theory. The idea in brief is that if Oscar mistakenly believes that water = XYZ, the externalist ontologically commits Oscar to two waterish kinds, whereas the Quinean commits him to one (...) such kind (albeit a metaphysically impossible kind). The penultimate section addresses a variety of objections to the argument. (shrink)

This intuition may be contrasted with the incompatible intuitions that might support, say, average utilitarianism. According to average utilitarianism we should bring about that outcome which has the highest average utility. That someone would have a higher than average level of utility is, therefore, ceteris paribus a reason to act so that that person exists. Because of this, the basic intuition is a reason for rejecting average utilitarianism.

The question of what truths are necessary in the broadest possible sense is a difficult one to answer, as is the question of what the limits are to what is possible. (Most people would see these two questions as different sides of the same coin, of course, since many think the question of what is possible is just the question of what is not necessarily ruled out). We have three general sorts of strategies for determining whether something is necessary (or (...) possible). We can identify it in a class that we were previously sure was a class of things that are necessary – we might show it is a theorem of a logical system that we have confidence in, or that the sentence appears to be true simply in virtue of the meanings of the words, or that it is a true statement involving names or about natural kinds of the “necessary a posteriori” sort discussed by Kripke and Putnam, and there are perhaps other classes of claims which we are prepared to accept are necessary if true.1 Likewise, we might establish the possibility of something occurring by reference to a class of well-established or uncontroversial possibilities: e.g. we are inclined to think that it is possible (in the broadest sense) for an event to occur in the future if one of the same kind has occurred in the past. (shrink)

Jack Spencer has recently argued for the striking thesis that, possibly, an agent is able to do the impossible—that is, perform an action that is metaphysically impossible for that person to perform. Spencer bases his argument on (Simple G), a case in which it is impossible for an agent G to perform some action but, according to Spencer, G is still intuitively able to perform that action. I reply that we would have to give up at least four action-theoretical principles (...) if we accept that G is able to do the impossible. We may be best off retaining the principles and thus rejecting Spencer's intuition that G is able to do the impossible. I then consider an argument for the claim that G is able to do the impossible that goes through the Snapshot Principle. I, however, deny that any true variant of the Snapshot Principle shows that G is able to do the impossible. Moreover, the counterexample to the Snapshot Principle that I develop also suggests that G is unable to do the impossible in (Simple G). The most natural explanation for why an agent is unable to perform some action in this counterexample extends to (Simple G). Next, I develop three error theories for why we might initially share Spencer's intuition that G is able to do the impossible in (Simple G). Finally, I consider a couple other "G-cases" of Spencer's and find them all wanting. Perhaps we are unable to do the impossible. (shrink)

The article deals with the charge of irrelevance levelled against D. Lewis’s modal realism, notably known as a reductionist account of modality. The charge of irrelevance is apparently one of the most popular objections to modal realism though it often seems that the debate surrounding this charge is not very fruitful since in this context it is common to appeal, implicitly or explicitly, to different criteria for theory choice. As a result, the article deals with the problem in a slightly (...) different manner. The article addresses arguments aimed to show that, contrary to what is often stated, modal realism does not violate our pre-theoretical intuitions, as well as arguments aimed to respond to the charge of irrelevance without appealing to criteria for theory choice at all but providing different reasons instead. However, the aim of this article is to show that all these arguments are rather unconvincing. (shrink)

This paper presents an argument against the A-Theory of time. Briefly, I shall contend that the A-Theorist has no explanation for why the present moment in particular has the metaphysical privilege she accords it, and that this puts the theory at a disadvantage. In what follows, I shall begin by presenting this argument. I will follow that with some potential explanations for why the present moment is privileged and reasons militating against them, in addition to some other possible objections to (...) my argument and my responses to them. The conclusion will be that the A-Theorist fails to provide either an obvious or a theoretical explanation of the present time’s privileged status and is thereby at a theoretical disadvantage to theories that do not posit a metaphysically privileged present time. Topics covered include the purported analogy between times and worlds, the possibility that times are individuated by what is true at them, and the semantic status of titles for date-times. (shrink)

This article discusses the argument we cannot have knowledge of abstract entities because they are not part of the causal order. The claim of this article is that the argument fails because of equivocation. Assume that the “causal order” is concerned with contingent facts involving time and space. Even if the existence of abstract entities is not contingent and does not involve time or space it does not follow that no truths about abstract entities are contingent or involve time or (...) space. I argue that it is the latter which is required to obtain the desired conclusion. (shrink)

Some theories of time entail that the present can change before or after it has happened. Examples include views on which time-travelers can change the past, the glowing block theory, Peter Geach’s mutable future view, and the moving spotlight theory. This paper argues that such ante factum or posthumous change requires a heterodox “split time” view on which earlier-than is not the converse of later-than.

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small (...) models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal. (shrink)

If _presentism_ is true, then no wholly non-present events exist. If _absence orthodoxy_ is true, then no absences exist. I discuss a well-known causal argument against presentism, and develop a very similar argument against absence orthodoxy. I argue that solutions to the argument against absence orthodoxy can be adopted by the presentist as solutions to the argument against presentism. The upshot is that if the argument against absence orthodoxy fails, then so does the argument against presentism.

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)

In this paper, it is argued that metaphysics, conceived as an inquiry into the ultimate nature of mind-independent reality, is a rationally indispensable intellectual discipline, with the a priori science of formal ontology at its heart. It is maintained that formal ontology, properly understood, is not a mere exercise in conceptual analysis, because its primary objective is a normative one, being nothing less than the attempt to grasp adequately the essences of things, both actual and possible, with a view to (...) understanding as far as we can the fundamental structure of reality as a whole. Accordingly, it is urged, the deliverances of formal ontology have a modal and epistemic status akin to those of other a priori sciences, such as mathematics and logic, rather than constituting rivals to the claims of the empirical sciences, such as physics. (shrink)

This paper addresses D. C. Williams’s question, “How can Leibniz know that he is a member of the actual world and not merely a possible monad on the shelf of essence?” A variety of answers are considered. Ultimately, it is argued that no particular perception of a state of affairs in the world can warrant knowledge of one’s actuality, nor can the awareness of any property within oneself; rather, it is the nature of experience itself, with the flow of perceptions, (...) that guarantees our actuality. A consequence of this view is that no non-actual individuals can truly be said to experience their worlds, nor can they ask the question if they are actual or not. (shrink)

This paper addresses D. C. Williams’s question, “How can Leibniz know that he is a member of the actual world and not merely a possible monad on the shelf of essence?” A variety of answers are considered. Ultimately, it is argued that no particular perception of a state of affairs in the world can warrant knowledge of one’s actuality, nor can the awareness of any property within oneself; rather, it is the nature of experience itself, with the flow of perceptions, (...) that guarantees our actuality. A consequence of this view is that no non-actual individuals can truly be said to experience their worlds, nor can they ask the question if they are actual or not. (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)

_ Source: _Page Count 19 The theory of possible worlds has been minimally employed in the field of theory and philosophy of history, even though it has found a place as a tool in other areas of philosophy. Discussion has mostly focused on arguments concerning counterfactual history’s status as either useful or harmful. The theory of possible worlds can, however be used also to analyze historical writing. The concept of textual possible worlds offers an interesting framework to work with for (...) analyzing a historical text’s characteristics and features. However, one of the challenges is that the literary theory’s notion of possible worlds is that they are metaphorical in nature. This in itself is not problematic but while discussing about history, which arguably deals with the real world, the terminology can become muddled. The latest attempt to combine the literary and philosophical notions of possible worlds and apply it to historiography came from Lubomír Doležel in his _Possible Worlds of Fiction and History: The Postmodern Stage_. I offer some criticism to his usage of possible worlds to separate history and fiction, and argue that when historiography is under discussion a more philosophical notion of possible worlds should be prioritized over the metaphorical interpretation of possible worlds. (shrink)

According to Stewart Candlish, Russell and Moore had misunderstood F. H. Bradley’s monism. According to Jonathan Schaffer, they had misunderstood monism more generally. A key thread of the creation narrative of analytic philosophy, according to which Russell and Moore successfully undermined monism to give rise to a new movement is, therefore, in doubt. In this paper, I defend the standard narrative against those who seek to revise it.

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

Modal realism is an ontological position made familiar by David Lewis, according to which there exist possible worlds other than the actual world that we inhabit. It is hard to uphold modal realism, and indeed modal realism has only a few advocates. However, as most contemporary metaphysicians agree, this does not mean that it is easy to refute modal realism. In this paper, I argue against modal realism from a metaontological point of view. First, I provide a precise formulation of (...) modal realism based on Lewis’ discussion of modal realism. Second, I argue that modal realism is undermined unless it incorporates a view of metaontology known as ontological realism. Third, I point out that if modal realism incorporates ontological realism, it comes into conflict with its own formulation. (shrink)

Dispositions (powers, potentialities) have become popular in metaphysics in recent years, and some of their proponents are advertising them as the best metaphysical grounds for modality. This project has a logical as well as an ontological side: dispositionalists offer modal and counterfactual semantics that make no use of possible worlds. I argue that, as a result of their counterfactual semantics, dispositionalists are in fact committed to entities that play the same theoretical role as possible worlds. Roughly, the claim is that (...) certain counterfactuals (ones that concern 'very large' states) force the dispositionalist to posit world-sized states that play the theoretical role of worlds. As a result, dispositionalists can (and perhaps should) make use of the mainstream framework (Kripke frames and the Lewis–Stalnaker counterfactual semantics) even if they ground all modal facts in dispositions. (shrink)

Open future is incompatible with realism about possible worlds. Since realistically conceived (concrete or abstract) possible worlds are maximal in the sense that they contain/represent the full history of a possible spacetime, past and future included, if such a world is actual now, the future is fully settled now, which rules out openness. The kind of metaphysical indeterminacy required for open future is incompatible with the kind of maximality which is built into the concept of possible worlds. The paper discusses (...) various modal realist responses and argues that they provide ersatz openness only, or they lead to incoherence, or they render the resulting theory inadequate as a theory of modality. The paper also considers various accounts of the open future, including rejection of bivalence, supervaluationism, and the ‘thin red line’ view (TRL), and claims that a version of (TRL) can avoid the incompatibility problem, but only at the cost of deflating the notion of openness. (shrink)

Robert Stalnaker is an actualist who holds that merely possible worlds are uninstantiated properties that might have been instantiated. Stalnaker also holds that there are no metaphysically impossible worlds: uninstantiated properties that couldn't have been instantiated. These views motivate Stalnaker's "two dimensional" account of the necessary a posteriori on which there is no single proposition that is both necessary and a posteriori. For a (metaphysically) necessary proposition is true in all (metaphysically) possible worlds. If there were necessary a posteriori propositions, (...) that would mean that there were propositions true in all possible worlds but which could only be known to be true by acquiring empirical evidence. Consider such a purported proposition P. The role of empirical evidence for establishing P's truth would have to be to rule out worlds in which P is false. If there were no such worlds to be ruled out, we would not require evidence for P. But by hypothesis, P is necessary and so true in all metaphysically possible worlds. And on Stalnaker's view, the metaphysically possible worlds are all the worlds there are. So there can be no proposition that is true in all possible worlds, but that we require evidence to know. In this way, the motivation for Stalnaker's two dimensional account of the necessary a posteriori rests on his denying that there are metaphysically impossible Worlds. I argue that given his view of what possible worlds are, Stalnaker has no principled reason for denying that there are metaphysically impossible worlds. If I am right, this undercuts Stalnaker's motivation for his two dimensional account of the necessary a posteriori. (shrink)

The Reduction of the Possible to the Real. Modern philosophy cannot avoid dealing with possible worlds - neither in the field of intensional logic nor in other fields not directly connected with logical investigations. This paper attempts to develop a method to substitute possible worlds by the real world, referring to the works of Stig Kanger and Nino B. Cocchiarella. This is done by investigating the metaphorical and dynamical functions of natural languages. It is proved that this new technique is (...) adequate for use in the semantics of intensional languages. As an example a language is constructed, which is based on the aristotelian view of universal concepts. (shrink)