It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

In this paper I’ll explore the relation between ω-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I’ll focus on two very well known inconsistent but non-trivial theories of truth: LP and STTT. Both have the interesting feature of being able to handle semantic and arithmetic concepts, maintaining the standard model. However, it can be easily shown that both theories are ω- inconsistent. Although usually a theory of truth is generally expected to (...) be ω-consistent, all conceptual concerns don’t apply to inconsistent theories. Finally, I’ll explore if it’s possible to have an inconsistent, butω-consistent theory of truth, restricting my analysis to substructural theories. (shrink)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...) predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (shrink)

Berkeley’s ‘master argument’ for idealism has been the subject of extensive criticism. Two of his strongest critics, A.N. Prior and J.L. Mackie, argue that due to various logical confusions on the part of Berkeley, the master argument fails to establish his idealist conclusion. Prior argues that Berkeley’s argument ‘proves too little’ in its conclusion, while Mackie contends that Berkeley confuses two different kinds of self-refutation in his argument. This paper proposes a defence of the master argument based on intuitionistic argument. (...) It begins by giving a brief exposition of the master argument and Prior's and Mackie's criticism. The following section explains why we might read the master argument along intuitionistic lines. The final section demonstrates that, according to intuitionistic logic, Berkeley's argument withstands the criticisms of Prior and Mackie. (shrink)

The Genuine Process Logic described here (abbreviation: GPL) places the object-bound process itself at the center of formalism. It should be suitable for everyday use, i.e. it is not primarily intended for the formalization of computer programs, but instead, as a counter-conception to the classical state logics. The new and central operator of the GPL is an action symbol replacing the classical state symbols, e.g. of equivalence or identity. The complete renunciation of object-language state expressions also results in a completely (...) new metalinguistic framework, both regarding the axioms and the expressive possibilities of this system. A mixture with state logical terms is readily possible. (shrink)

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...) our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...) and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK. (shrink)

Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper discusses one criterion we might use in theory choice when considering nonclassical rivals: the maxim of minimal mutilation.

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

This paper deals with a collection of concerns that, over a period of time, led the author away from the Routley–Meyer semantics, and towards proof- theoretic approaches to relevant logics, and indeed to the weak relevant logic MC of meaning containment.

I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.

1.1 In standard modal logics, the worlds are 2-valued in the following sense: there are 2 values that a sentence may take at a world. Technically, however, there is no reason why this has to be the case. The worlds could be many-valued. This paper presents one simple approach to a major family of many-valued modal logics, together with an illustration of why this family is philosophically interesting.

This paper offers a new and very simple alternative to Bochvar's well known nonsense -- or meaninglessness -- interpretation of Weak Kleene logic. To help orient discussion I begin by reviewing the familiar Strong Kleene logic and its standard interpretation; I then review Weak Kleene logic and the standard interpretation. While I note a common worry about the Bochvar interpretation my aim is only to give an alternative -- and I think very elegant -- interpretation, not necessarily a replacement.

Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems. Second, the systems can be obtained by reformulating a classical system using nonstandard sequent structure and simply removing certain structural rules (relatives of exchange and contraction). I clarify two senses in which these logics count as “substructural.”.

In Paradoxa Stoicorum, the Roman philosopher Cicero defends six important Stoic theses. Since these theses seem counterintuitive, and it is not likely that the average person would agree with them, they were generally called "paradoxes". According to the third paradox, (P3), (all) transgressions (wrong actions) are equal and (all) right actions are equal. According to one interpretation of this principle, which I will call (P3′), it means that if it is forbidden that A and it is forbidden that B, then (...) not-A is as good as not-B; and if it is permitted that A and it is permitted that B, then A is as good as B. In this paper, I show how it is possible to prove this thesis in dyadic deontic logic. I also try to defend (P3′) against some philosophical counterarguments. Furthermore, I address the claim that (P3′) is not a correct interpretation of Cicero’s third paradox and the assertion that it does not matter whether (P3′) is true or not. I argue that it does matter whether (P3′) is true or not, but acknowledge that (P3′) is perhaps a slightly different principle than Cicero’s thesis. The upshot is that (P3′) seems to be a plausible principle, and that at least one part of paradox III in Cicero’s Paradoxa Stoicorum appears to be defensible. (shrink)

Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest’s Logic of Paradox, Dunn’s First-Degree Entailment, Routleys’ Relevant Logics, McCall’s Connexive Logic and Belnap’s four-valued logic. We also present a game theoretical characterisation of a translation between Logic of Paradox/Kleene’s K3 and S5. We underline how non-classical logics require different verification games and prove (...) the correctness theorems of their respective game theoretical semantics. This allows us to observe that paraconsistent logics break the classical bidirectional connection between winning strategies and truth values. (shrink)

Various four- and three-valued modal propositional logics are studied. The basic systems are modal extensions BK and BS4 of Belnap and Dunn's four-valued logic of firstdegree entailment. Three-valued extensions of BK and BS4 are considered as well. These logics are introduced semantically by means of relational models with two distinct evaluation relations, one for verification and the other for falsification. Axiom systems are defined and shown to be sound and complete with respect to the relational semantics and with respect to (...) twist structures over modal algebras. Sound and complete tableau calculi are presented as well. Moreover, a number of constructive non-modal logics with strong negation are faithfully embedded into BS4, into its three-valued extension B3S4, or into temporal BS4, BtS4. These logics include David Nelson's three-valued logic N3, the four-valued logic N4 bottom, the connexive logic C, and several extensions of bi-intuitionistic logic by strong negation. (shrink)

Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...) philosophical questions around logic. -/- Logic: the Basics is essential reading for first-year undergraduate philosophy students on standard introductory logic courses. (shrink)

In An Introduction to Non-Classical Logic: From If to Is Graham Priest presents branching rules in Free Logic, Variable Domain Modal Logic, and Intuitionist Logic. I propose a simpler, non-branching rule to replace Priest's rule for universal instantiation in Free Logic, a second, slightly modified version of this rule to replace Priest's rule for universal instantiation in Variable Domain Modal Logic, and third and fourth rules, further modifying the second rule, to replace Priest's branching universal and particular instantiation rules in (...) Intuitionist Logic. In each of these logics the proposed rule leads to tableaux with fewer branches. In Intuitionist logic, the proposed rules allow for the resolution of a particular problem Priest is grappling with throughout the chapter. In this paper, I demonstrate that the proposed rules can greatly simplify tableaux and argue that they should be used in place of the rules given by Priest. (shrink)

Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent and their (...) conditionals are quite strong. The difference is the following: while Łukasiewicz logic is \-inconsistent, the non-deterministic theories might turn out to be \-consistent. (shrink)

Philosophical applications of familiar paracomplete and paraconsistent logics often rely on an idea of . With respect to the paraconsistent logic LP (the dual of Strong Kleene or K3), such is standardly cashed out via an LP-based nonmonotonic logic due to Priest (1991, 2006a). In this paper, I offer an alternative approach via a monotonic multiple-conclusion version of LP.

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...) a general conception of conditionality that may unify the three given conceptions. (shrink)

Supervaluationism is a well known theory of vagueness. Subvaluationism is a less well known theory of vagueness. But these theories cannot be taken apart, for they are in a relation of duality that can be made precise. This paper provides an introduction to the subvaluationist theory of vagueness in connection to its dual, supervaluationism. A survey on the supervaluationist theory can be found in the Compass paper of Keefe (2008); our presentation of the theory in this paper will be short (...) to get rapidly into the logical issues. This paper is relatively self-contained. A modest background on propositional modal logic is, though not strictly necessary, advisable. The reader might find useful the Compass papers Kracht (2011) and Negri (2011) (though these papers cover issues of more complexity than what is demanded to follow this paper). (shrink)

This paper sets out a semantics for C.I. Lewis's logic S2 based on the ontology of his 1923 paper ‘Facts, Systems, and the Unity of the World’. In that article, worlds are taken to be maximal consistent systems. A system, moreover, is a collection of facts that is closed under logical entailment and conjunction. In this paper, instead of defining systems in terms of logical entailment, I use certain ideas in Lewis's epistemology and philosophy of logic to define a class (...) of models in which systems are taken to be primitive elements but bear certain relations to one another. I prove soundness and completeness for S2 over this class of models and argue that this semantics makes sense of at least a substantial fragment of Lewis's logical theory. (shrink)

In this paper I discuss the kinds of idealisations invoked in normative theories—logic, epistemology, and decision theory. I argue that very often the so-called norms of rationality are in fact mere idealisations invoked to make life easier. As such, these idealisations are not too different from various idealisations employed in scientific modelling. Examples of the latter include: fluids are incompressible (in fluid mechanics), growth rates are constant (in population ecology), and the gravitational influence of distant bodies can be ignored (in (...) celestial mechanics). Thinking of logic, epistemology, and decision theory as normative models employing various idealisations of these kinds, changes the way we approach the justification of the models in question. (shrink)

Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK -lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK -lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK . Finally, we describe invariants determining a twist-structure over a (...) modal algebra. (shrink)

We argue that standard definitions of ‘vagueness’ prejudice the question of how best to deal with the phenomenon of vagueness. In particular, the usual understanding of ‘vagueness’ in terms of borderline cases, where the latter are thought of as truth-value gaps, begs the question against the subvaluational approach. According to this latter approach, borderline cases are inconsistent (i.e., glutty not gappy). We suggest that a definition of ‘vagueness’ should be general enough to accommodate any genuine contender in the debate over (...) how to best deal with the sorites paradox. Moreover, a definition of ‘vagueness’ must be able to accommodate the variety of forms sorites arguments can take. These include numerical, total-ordered sorites arguments, discrete versions, continuous versions, as well as others without any obvious metric structure at all. After considering the shortcomings of various definitions of ‘vagueness’, we propose a very general non-question-begging definition. (shrink)

It is not uncommon in the history of science and philosophy to encounter crucial experiments or crucial objections the truth-value of which we are ignorant, that is, about which we suspend judgment. Should we ignore such objections? Contrary to widespread practice, I show that in and only in some circumstances they should not be ignored, for the epistemically rational doxastic attitude is to suspend judgment also about the hypothesis that the objection targets. In other words, suspension of judgment “propagates” from (...) the crucial objection to the hypothesis. In this paper I study under which conditions this phenomenon occurs, and discuss its significance for the topics of skepticism, scientific realism, and peer disagreement. (shrink)

Priest argued in Fusion and Confusion (Priest in Topoi 34(1):55–61, 2015a) for a new concept of logical consequence over the relevant logic B, one where premises my be “confused” together. This paper develops Priest’s idea. Whereas Priest uses a substructural proof calculus, this paper provides a Hilbert proof calculus for it. Using this it is shown that Priest’s consequence relation is weaker than the standard Hilbert consequence relation for B, but strictly stronger than Anderson and Belnap’s original relevant notion of (...) consequence. Unlike the latter, however, Priest’s consequence relation does not satisfy a variant of the variable sharing property. This paper shows that how it can be modified so as to do so. Priest’s consequence relation turns out to be surprisingly weak in some respects. The prospects of strengthening it is raised and discussed in a broader philosophical context. (shrink)

This paper explores the idea that Descartes’ cogito is a kind of diagonal argument. Using tools from modal logic, it reviews some historical antecedents of this idea from Slezak and Boos and culminates in an orginal result classifying the exact structure of belief frames capable of supporting diagonal arguments and our reconstruction of the cogito.

Per il dialeteismo ci sono contraddizioni vere. Questa concezione filosofica ha assunto una forma chiara e definita a partire dal lavoro del filosofo e logico Graham Priest – uno dei suoi padri fondatori, nonché uno dei suoi più strenui difensori. Questo libro intende portare il dialeteismo all’attenzione di un ampio pubblico, che non sia solo quello degli addetti ai lavori. Il volume è suddiviso in due parti. La prima include le cinque lezioni su "Dialeteismo e storia della filosofia" tenute da (...) Priest e Filippo Casati a Padova nel 2016, in occasione del Corso di Eccellenza per il dottorato in filosofia dell’Università di Padova. La seconda contiene quattro contributi sul dialeteismo di autori italiani. (shrink)

In 1978, Gareth Evans published a short and somewhat cryptic article purporting to establish that there are no vague objects. This paper is a commentary on this. Prima facie, the claim that there are no vague objects is clearly false. Mt Everest, for example, has no precise boundaries. And if this is so, there must be something wrong with Evans' argument. In the paper, I discuss what this is, giving a model of vague objects in the process.

Entailment is an interesting sigmatoid: It should mean one thing, but it means another, just for starters. When used in Mathematics, it is usually with the sense of saying that something is definitely true. That would be the use in Classical Logic then. When used in Logic, it became something else. Now it was about how the logical system, which can be any nonclassical one, could be making a proposition become true or false. The major issue we found in 2000, (...) when learning from the own nonclassicists what they do, was that they talk about Nonclassical Logic, therefore a way of thinking that is not Cartesian, yet they stick to the notion of entailment we use in Mathematics, and therefore to the Classical Logic ways. We here discuss exactly this. (shrink)

The first degree entailment (FDE) family is a group of logics, a many-valued semantics for each system of which is obtained from classical logic by adding to the classical truth-values true and false any subset of {both, neither, indeterminate}, where indeterminate is an infectious value (any formula containing a subformula with the value indeterminate itself has the value indeterminate). In this paper, we see how to extend a version of star semantics for the logics whose many-valued semantics lack indeterminate to (...) star semantics for logics whose many-valued semantics include indeterminate. The equivalence of the many-valued semantics and star semantics is established by way of a soundness and completeness proof. The upshot of the novel semantics in terms of the applied semantics of these logics, and specifically infectiousness, is explored, settling on the idea that infectiousness concerns ineffability. (shrink)

Here, we outline UPJA’s recent developments and the contents of Volume 2, Issue 2.

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

There is at present a certain dispute about counterfactuals taking place. What is at issue is whether counterfactuals with necessarily false antecedents are all true. Some hold that such counterfactuals are vacuously true, appearances notwithstanding. Let us call such people vacuists. Others hold that some counterfactuals with necessarily false antecedents are true; some are false: it just depends on their contents. Let us call such people non-vacuists. As a notable representative of the vacuists, I will take Tim Williamson. On the (...) other side, I will take the position defended by Berto, French, Priest, and Ripley. I will argue (unsurprisingly) that the better choice is Non-Vacuism. That, however, is a subsidiary aim of this paper. The main point is to illustrate the method of theory-choice. (shrink)

Quasi-truth (a.k.a. pragmatic truth or partial truth) is typically advanced as a framework accounting for incompleteness and uncertainty in the actual practices of science. Also, it is said to be useful for accommodating cases of inconsistency in science without leading to triviality. In this paper, we argue that the formalism available does not deliver all that is promised. We examine the standard account of quasi-truth in the literature, advanced by da Costa and collaborators in many places, and argue that it (...) cannot legitimately account for incompleteness in science. We shall claim that it conflates paraconsistency and paracompleteness. It also cannot properly account for inconsistencies, because no direct contradiction of the form S ∧ ¬S can be quasi-true according to the framework; contradictions simply have no place in the formalism. Finally, we advance an alternative interpretation of the formalism in terms of dealing with distinct contexts where incompatible information is dealt with. This does not save the original program, but seems to make better sense of the apparatus. (shrink)

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)

When we forgive, we do so for reasons. One challenge for forgiveness theorists is to explain which reasons are reasons to forgive and which are not. This paper argues that we forgive in response to a perceived change of heart on the part of the offender. The argument proceeds in four steps. First, I show that we forgive for reasons. Second, I argue that forgiveness requires the right kind of reason. Third, I show that these two points explain a common (...) distinction between forgiving and letting go and, in doing so, solve a problem facing many accounts of forgiveness. Finally, I consider candidate reasons to forgive and argue that all of them are either the wrong kind of reason or are instances of a more general reason of the right kind, namely, a perceived change of heart. (shrink)