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)

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...) investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

According to logical non-necessitarianism, every inference may fail in some situation. In his defense of logical monism, Graham Priest has put forward an argument against non-necessitarianism based on the meaning of connectives. According to him, as long as the meanings of connectives are fixed, some inferences have to hold in all situations. Hence, in order to accept the non-necessitarianist thesis one would have to dispose arbitrarily of those meanings. I want to show here that non-necessitarianism can stand, without disposing arbitrarily (...) of the meanings of connectives, based on a minimalist view on the meanings of connectives. (shrink)

Logical pluralism is the claim that different accounts of validity can be equally correct. Beall and Restall have recently defended this position. Validity is a matter of truth-preservation over cases, they say: the conclusion should be true in every case in which the premises are true. Each logic specifies a class of cases, but differs over which cases should be considered. I show that this account of logic is incoherent. Validity indeed is truth-preservation, provided this is properly understood. Once understood, (...) there is one true logic, relevance logic. The source of Beall and Restall’s error is a recent habit of using a classical metalanguage to analyse non-classical logics generally, including relevance logic. (shrink)

In this paper, I distinguish different kinds of pluralism about logical consequence. In particular, I distinguish the pluralism about logic arising from Carnap’s Principle of Tolerance from a pluralism which maintains that there are different, equally “good” logical consequence relations on the one language. I will argue that this second form of pluralism does more justice to the contemporary state of logical theory and practice than does Carnap’s more moderate pluralism.

Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) the (...) claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds. (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)

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

Up to now theories of semantic information have implicitly relied on logical monism, or the view that there is one true logic. The latter position has been explicitly challenged by logical pluralists. Adopting an unbiased attitude in the philosophy of information, we take a suggestion from Beall and Restall at heart and exploit logical pluralism to recognise another kind of pluralism. The latter is called informational pluralism, a thesis whose implications for a theory of semantic information we explore.

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)

Why must incompatibility be symmetric? An odd question, but recent work in the semantics of non-classical logic, which appeals to the notion of incompatibility as a primitive and defines negation in terms of it, has brought this question to the fore. Francesco Berto proposes such a semantics for negation argues that, since incompatibility must be symmetric, double negation introduction must be a law of negation. However, he offers no argument for the claim that incompatibility really must be symmetric. Here, I (...) provide such an argument, showing that, insofar as we think of incompatibility in normative pragmatic terms, it can play its basic pragmatic function only if it is symmetric. The upshot is that we can vindicate Berto’s claim about the symmetry of incompatibility but only if we, pace Berto, think about incompatibility, in the first instance, as a pragmatic relation between acts rather than a semantic relation between contents. (shrink)

There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...) this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective. (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we find (...) reason to be worried about the ontology of stratified models. (shrink)

This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...) which satisfy all of Anderson and Belnap’s selection criteria, provided the truth-constant known as the Ackermann constant is available. One of the selection criteria related to expressive strength is having an “enthymematic” conditional for which a deduction theorem holds. I argue that this allows for a new interpretation of Anderson and Belnap’s take on logical consequence, namely as committing them to pluralism about logical consequence. (shrink)

Philosophical work on truth covers two streams of inquiry, one concerning the nature (if any) of truth, the other concerning truth-related paradox, especially the Liar. For the most part these streams have proceeded fairly independently of each other. In his "Deflationary Truth and the Liar" (JPL 28:455-488, 1999) Keith Simmons argues that the two streams bear on one another in an important way; specifically, the Liar poses a greater problem for deflationary conceptions of truth than it does for inflationist conceptions. (...) We agree with Simmons on this point; however, we disagree with his main conclusion. In a nutshell, Simmons' main conclusion is that deflationists can solve the Liar only by compromising deflationism. If Simmons is right, then deflationists cannot solve the Liar paradox. In this paper we argue that, pace Simmons, there is an approach to the Liar that is available to deflationists, namely dialetheism. (shrink)

The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.

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.

The phenomenological movement begins in the Prolegomena to Husserl’s Logical Investigations as a philosophy of logic. Despite this, remarkably little attention has been paid to Husserl’s arguments in the Prolegomena in the contemporary philosophy of logic. In particular, the literature spawned by Gilbert Harman’s work on the normative status of logic is almost silent on Husserl’s contribution to this topic. I begin by raising a worry for Husserl’s conception of ‘pure logic’ similar to Harman’s challenge to explain the connection between (...) logic and reasoning. If logic is the study of the forms of all possible theories, it will include the study of many logical consequence relations; by what criteria, then, should we select one consequence relation as correct? I consider how Husserl might respond to this worry by looking to his late account of the ‘genealogy of logic’ in connection with Gurwitsch’s claim that ‘[i]t is to prepredicative perceptual experience … that one must return for a radical clarification and for the definitive justification of logic’. Drawing also on Sartre and Heidegger, I consider how prepredicative experience might constrain or guide our selection of a logical consequence relation and our understanding of connectives like implication and negation. (shrink)

Based on his Inclosure Schema and the Principle of Uniform Solution (PUS), Priest has argued that Curry’s paradox belongs to a different family of paradoxes than the Liar. Pleitz (2015, The Logica Yearbook 2014, pp. 233–248) argued that Curry’s paradox shares the same structure as the other paradoxes and proposed a scheme of which the Inclosure Schema is a particular case and he criticizes Priest’s position by pointing out that applying the PUS implies the use of a paraconsistent logic that (...) does not validate Contraction, but that this can hardly seen as uniform. In this paper, we will develop some further reasons to defend Pleitz’ thesis that Curry’s paradox belongs to the same family as the rest of the self-referential paradoxes & using the idea that conditionals are generalized negations. However, we will not follow Pleitz in considering doubtful that there is a uniform solution for the paradoxes in a paraconsistent spirit. We will argue that the paraconsistent strategies can be seen as special cases of the strategy of restricting Detachment and that the latter uniformly blocks all the connective-involving self-referential paradoxes, including Curry’s. (shrink)

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)

Graham Solomon, to whom this collection is dedicated, went into hospital for antibiotic treatment of pneumonia in Oc- ber, 2001. Three days later, on Nov. 1, he died of a massive stroke, at the age of 44. Solomon was well liked by those who got the chance to know him—it was a revelation to?nd out, when helping to sort out his a?airs after his death, how many “friends” he had whom he had actually never met, as his email included correspondence (...) with philosophers around the world running sometimes to hundreds of messages. He was well respected in the philosophical community more broadly. He was for several years a member of the editorial board for the Western Ontario Series in Philosophy of Science. While he was employed at Wilfrid Laurier University in Waterloo, Ontario, several of us at the University of Wat- loo always regarded our own department as a sort of second academic home for him. We therefore decided that it would be appropriate to hold a memorial conference in his honour. Thanks to the generous?nancial support of the Humphrey Conference Fund, we were able to do so in May 2003. Many of the papers in this volume were presented at that conf- ence. (shrink)

We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \. We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.

An extension of intuitionism to empirical discourse, a project most seriously taken up by Dummett and Tennant, requires an empirical negation whose strength lies somewhere between classical negation (‘It is unwarranted that. . . ’) and intuitionistic negation (‘It is refutable that. . . ’). I put forward one plausible candidate that compares favorably to some others that have been propounded in the literature. A tableau calculus is presented and shown to be strongly complete.

According to one tradition in realist philosophy, 'truthmaking' amounts to necessitation. That is, an object x is a truthmaker for the claim A if x exists, and the existence of x necessitates the truth of A. I argued in my paper "Truthmakers, Entailment and Necessity" [14], that if we wish to use this account of truthmaking, we ought understand the entailment connective "=>" in such a claim as a relevant entailment, in the tradition of Anderson and Belnap and their co-workers (...) [1, 2, 8, 11]. Furthermore, I proposed a number of theses about truthmaking as necessitation. The most controversial of these is the disjunction thesis: x makes a disjunction A v B true if and only if it makes one of the disjuncts (A or B) true. That paper left one important task unfinished. I did not explain how the theses about truthmaking could be true together. In this paper I give a consistency proof, by providing a model for the theses of truthmaking in my earlier paper. This result does two things. First, it shows that the theses of truthmaking are jointly consistent. Second, it provides an independently philosophically motivated formal model for relevant logics in the 'possible worlds' tradition of Routley and Meyer [8, 16, 17]. (shrink)

We are pluralists about logical consequence [1]. We hold that there is more than one sense in which arguments may be deductively valid, that these senses are equally good, and equally deserving of the name deductive validity. Our pluralism starts with our analysis of consequence. This analysis of consequence is not idiosyncratic. We agree with Richard Jeffrey, and with many other philosophers of logic about how logical consequence is to be defined. To quote Jeffrey.

Several authors maintain that we are capable of having inconsistent intentional states, either in cases of illusion, in certain cases of imagination, or because the observable world is (partly) inconsistent and we perceive it as such. These views are all premised on the assumption that inconsistent intentional states—even if acknowledged—are peculiar and have nothing essential to do with our perceptual capacities. In the present article, I would like to present, and argue for, a much stronger thesis: that inconsistent intentional states (...) underlie the possibility of having intentional content in mind. I argue for this thesis based on a Husserlian phenomenological analysis of our grasp of objects, which I formulate in terms of incompatibility semantics. (shrink)

Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by the proposed motivation. Among these, we’ll show how to adapt some recent work to show that the extensions of relevant logics by the extensional truth constants \ are complete with respect to a natural class of ternary (...) relation models to show a similar result for the constant-free versions of the logic. In addition, we prove that the logics in question satisfy the variable sharing property, vindicating the claim that they really are relevant logics. (shrink)

The notion of that information is relative to a context is important in many different ways. The idea that the context is small — that is, not necessarily a consistent and complete possible world — plays a role not only in situation theory, but it is also an enlightening perspective from which to view other areas, such as modal logics, relevant logics, categorial grammar and much more. In this article we will consider these areas, and focus then on one further (...) question: How can we account for information about one thing giving us information about something else? This is a question addressed by channel theory. We will look at channel theory and then see how the issues of information flow and conditionality play a role in each of the different domains we have examined. (shrink)

The is an old question over whether there is a substantial disagreement between advocates of different logics, as they simply attach different meanings to the crucial logical terminology. The purpose of this article is to revisit this old question in light a pluralism/relativism that regards the various logics as equally legitimate, in their own contexts. We thereby address the vexed notion of translation, as it occurs between mathematical theories. We articulate and defend a thesis that the notion of “same meaning” (...) is itself context-sensitive, depending on the purposes of a given conversation. (shrink)

The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics with distributive substructural logics. Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point set. The main technical result is a general completeness theorem. Axiomatisations are provided by means of two-sorted Hilbert-style calculi. It is also shown that the framework presents a natural solution to the problem of logical omniscience.

Beall and Restall’s Logical Pluralism (2006) characterises pluralism about logical consequence in terms of the different ways cases can be selected in the analysis of logical consequence as preservation of truth over a class of cases. This is not the only way to understand or to motivate pluralism about logical consequence. Here, I will examine pluralism about logical consequence in terms of different standards of proof. We will focus on sequent derivations for classical logic, imposing two different restrictions on classical (...) derivations to produce derivations for intuitionistic logic and for dual intuitionistic logic. The result is another way to understand the manner in which we can have different consequence relations in the same language. Furthermore, the proof-theoretic perspective gives us a different explanation of how the one concept of negation can have three different truth conditions, those in classical, intuitionistic and dual-intuitionistic models. (shrink)

The paper investigates interpretations of propositional and firstorder logic in which validity is defined in terms of partial indices; sometimes called possibilities but here understood as non-empty subsets of a set W of possible worlds. Truth at a set of worlds is understood to be truth at every world in the set. If all subsets of W are permitted the logic so determined is classical first-order predicate logic. Restricting allowable subsets and then imposing certain closure conditions provides a modelling for (...) intuitionistic predicate logic. The same semantic interpretation rules are used in both logics for all the operators. (shrink)

In previous work we gave a new proof-theoretical method for establishing upper-bounds on the space complexity of the provability problem of modal and other propositional non-classical logics. Here we extend and refine these results to give an O -space decision procedure for the basic positive relevance logic B+. We compute this upper-bound by first giving a sound and complete, cut-free, labelled sequent system for B+, and then establishing bounds on the application of the rules of this system.

Frame semantics for negation on the Australian Plan accommodates many different negations, but it falls short on accommodating subminimal negation when the language contains conjunction and disjunction. In this paper, I will present a multi-relational frame semantics –multi-incompatibility frame semantics– that can accommodate subminimal negation. I will first argue that multi-incompatibility frames are in accordance with the philosophical motivations behind negation on the Australian Plan, namely its modal and exclusion-expressing nature. Then, I will prove the soundness and completeness results of (...) a subminimal logic that consists of the multi-incompatibility semantics and a proof system with operational rules that characterize subminimal negation, conjunction and disjunction. Lastly, I will prove some key correspondence theorems that relate frame conditions to certain principles that are associated with stronger negations, which will give rise to a new kite of negations that includes subminimal negation. (shrink)

Negation is widely thought to be uniquely captured by the usual extensional Boolean connective in the setting of classical logic. However, there has been recent interest in a modal approach to negation. This essay examines the problem of modal negation with an Husserlian phenomenological lens. I argue that the Husserlian approach to negation contains an ambiguity which points to a pluralism about negation. On this view, negation begins its life as a modal notion with nonclassical properties, and the question of (...) classical negation is a question of its demodalization. I reconstruct a phenomenological legitimation of the demodalization, but I remain skeptical about its wider prospects. Nevertheless, the phenomenological-modal approach to negation answers the skepticism about the very possibility of debates about negation and gives valuable insight into the fundamental nature of the problem. The argument should be of interest both to those who are specifically interested in Husserl's logic and the relationship of phenomenology to intuitionistic (and other nonclassical) logics, as well as to philosophers of logic more generally interested in obtaining different angles on the problem of negation from a systematic perspective. (shrink)

We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...) class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality. (shrink)

It is widely accepted by formal and informal logicians alike that a formal logic which, by the lights of English, gets the connectives wrong, nevertheless conspires to get entailment right—right that is, modulo English. There is a vexing problem occasioned by this semantic alienation of formal logic. It is next to impossible for formal logic to meet the expectations of realism. What, then, of informal logic?