We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

David Lewis (1979) has argued that according to his possible worlds analysis of counterfactuals, “backtracking” counterfactuals of the form “If event A were to happen at tA, then event B would happen at tB” where tB precedes tA, are usually false if B does not actually happen at tB. On the other..

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with (...) its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)

David Lewis has argued that impossible worlds are nonsense: if there were such worlds, one would have to distinguish between the truths about their contradictory goings-on and contradictory falsehoods about them; and this--Lewis argues--is preposterous. In this paper I examine a way of resisting this argument by giving up the assumption that ‘in so-and-so world’ is a restricting modifier which passes through the truth-functional connectives The outcome is a sort of subvaluational semantics which makes a contradiction ‘A & ~A’ false (...) even when both ‘A’ and ‘~A’ are true, just as supervaluational semantics makes a tautology ‘A v ~A’ true even when neither ‘A’ nor ‘~A’ are. Connections with discussive logics and complications of the account are discussed, and some general morals are drawn. (shrink)

The old quantum theory of black body radiation was manifestly logically inconsistent. It required the energies of electric resonators to be both quantized and continuous. To show that this manifest inconsistency was inessential to the theory's recovery of the Planck distribution law, I extract a subtheory free of this manifest inconsistency but from which Planck's law still follows.

A Liar sentence is a sentence that, paradoxically, we cannot evaluate for truth in accordance with classical logic and semantics without arriving at a contradiction. For example, consider L If we assume that L is true, then given that what L says is ‘L is false,’ it follows that L is false. On the other hand, if we assume that L is false, then given that what L says is ‘L is false,’ it follows that L is true. Thus, L (...) is an example of a Liar sentence. Several philosophers have proposed that the Liar paradox, and related paradoxes, can be solved by accepting the contradictions that these paradoxes seem to imply (including Priest 2006, Rescher and Brandom 1980). The theory that there are true .. (shrink)

In spite of alleged differences in purpose, descriptive and computational linguistics share many problems, due to the fact that any precise study on language needs some form of knowledge representation. This constraint is mostly apparent when interpretation of sentences takes into account elements of the so-called “context”. The parametrization of context, i.e. the explicit listing of features relevant to some intepretation task, is difficult because it requires flexible formal structures for understanding or simulating inferential behaviour, as well as a large (...) amount of information about conventional structures in the given language. This paper aims at illustrating major difficulties in these two fields, in relation with the necessity of a contextual approach. It offers a (clearly partial) enumeration of open problems inthe reperesentation of commonsense knowledge and languages-dependent structures, with some attempt to delineate future solutions. (shrink)

Aristotle observes that substances have no contraries. Consider one possible role that the contrary of a substance might play, were it to exist. Just as objects serve as guarantors of the instantiation of properties, contraries of objects could serve as guarantors of the non‐instantiation of properties. By first considering a reframing of deontic logic that takes ‘being permitted’ rather than ‘being forbidden’ as the default state, I develop logical tools that allow the construction of extremal models in which everything is (...) permitted and nothing is forbidden. Transferred to quantified logic, these same tools give us a conception of antiobjects which block property instantiation. The resulting picture of antiobjects is then used as a test case to examine questions about the role of symmetry considerations in philosophical methodology. (shrink)

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

In 1947 Quine wrote one of the most important and influential articles in the twentieth century philosophy - "On What There Is". One of the aims of this article was a critique of Meinong's Theory of Object. The critique was especially focused upon nonactual possibilities, which (according to Meinong) are some kinds of nonexistent objects. In my paper I want to present Neo-Meinongian refutations of Quine's critique. In order to do this I discuss: (i) the main thesis of "On What (...) There Is" ,(ii) premises of Meinongian Theory, (iii) views of proponents and opponents of the idea of nonexistent objects, (iv) Quine's critique aimed at nonactual possibilities, (v) Terence Parsons' theory, based on the distinction between nuclear and extranucler properties, and (vi) noneism, defended by Richard Routley. I also try to give a reply to the most popular critiques aimed at both Neo-Meinongian theories. The main conclusion is that Quine's critique and his arguments against nonactual possibilities aren't dangerous for theories endorsing Meinong's Theory of Object. Contrary to what Gilbert Ryle once claimed (If Meinongianism isn't dead, nothing is), Meinongian theories are still alive and doing well. (shrink)