This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

Some people commonly know a proposition just in case they all know it, they all know that they all know it, they all know that they all know that they all know it, and so on. They commonly believe a proposition just in case they all believe it, they all believe that they all believe it, they all believe that they all believe that they all believe it, and so on. A long tradition in economic theory, theoretical computer science, linguistics (...) and philosophy has held that people have some approximation of common knowledge or common belief in a range of circumstances, for example, when they are looking at an object together, or when they have just discussed something explicitly in conversation. In this paper, I argue that people do not have any approximation of common knowledge or common belief in these circumstances. The argument suggests that people never have any approximation of common knowledge or common belief. (shrink)

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models and other model-theoretic (...) constructions; comparisons with other semantics for modal logic ; neighborhood semantics for first-order modal logic, applications in game theory ; applications in epistemic logic ; and non-normal modal logics with dynamic modalities. The book can be used as the primary text for seminars on philosophical logic focused on non-normal modal logics; as a supplemental text for courses on modal logic, logic in AI, or philosophical logic ; or as the primary source for researchers interested in learning about the uses of neighborhood semantics in philosophical logic and game theory. (shrink)

We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea we (...) exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature. (shrink)

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

Overview of fundamental work in deontic logic.

In her recent book, Russell (2023) examines various so-called “barriers to entailment,” including Hume’s law, roughly the thesis that an ‘ought’ cannot be derived from an ‘is.’ Hume’s law bears an obvious resemblance to the proscription on fallacies of modality in relevance logic, which has traditionally formally been captured by the so-called Ackermann property. In the context of relevant modal logic, this property might be articulated thus: no conditional whose antecedent is box-free and whose consequent is box-prefixed is valid (for (...) the connection, interpret box deontically). While the deontic significance of Ackermann-like properties has been observed before, Russell’s new book suggests a more broad-scoped formal investigation of the relationship between barrier theses of various kinds and corresponding Ackermann-like properties. In this paper, I undertake such an investigation by elaborating a general relevant bimodal logical framework in which several of the barriers Russell examines can be given formal expression. I then consider various Ackermann-like properties corresponding to these barriers and prove that certain systems satisfy them. Finally, I respond to some objections Russell makes against the use of relevance logic to formulate Hume’s law and related barriers. (shrink)

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)

This paper develops a formal theory of non-monotonic consequence which differs from most extant theories in that it assumes Contraposition as a basic principle of defeasible reasoning. We define a minimal logic that combines Contraposition with three uncontroversial inference rules, and we prove some key results that characterize this logic and its possible extensions.

The received view says that possibility is the dual of necessity: a proposition is (metaphysically, logically, epistemically etc.) possible iff it is not the case that its negation is (metaphysically, logically, epistemically etc., respectively) necessary. This reading is usually taken for granted by modal logicians and indeed seems plausible when dealing with logical or metaphysical possibility. But what about epistemic possibility? We argue that the dual definition of epistemic possibility in terms of epistemic necessity generates tension when reasoning about non-idealized (...) agents and is a problem of concern for most hyperintensional epistemic logics that alleviate the problem of logical omniscience. The tension is particularly evident when knowledge is taken as a primitive to define other epistemic concepts, such as justification and belief, as done in the knowledge-first tradition. We propose a non-dual interpretation of epistemic possibility, employing a hyperintensionality filter similar to the one that makes the corresponding epistemic necessity operator hyperintensional. We employ the proposed semantics to model Stalnaker's belief as epistemic possibility of knowledge and provide a sound and complete axiomatization for a hyperintensional version of his bimodal logic of knowledge and belief. (shrink)

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...) semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents do (...) not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations rely heavily on the use of bitstrings, which are compact combinatorial representations of formulas that allow us to quickly determine their Aristotelian relations. However, because of their general nature, bitstrings can be applied to a wide variety of topics in philosophical logic beyond those of logical geometry. Hence, the main aim of this paper is to present a systematic technique for assigning bitstrings (...) to arbitrary finite fragments of formulas in arbitrary logical systems, and to study the logical and combinatorial properties of this technique. It is based on the partition of logical space that is induced by a given fragment, and sheds new light on a number of interesting issues, such as the logic-dependence of the Aristotelian relations and the subtle interplay between the Aristotelian and Boolean structure of logical fragments. Finally, the bitstring technique also allows us to systematically analyze fragments from contemporary logical systems, such as public announcement logic, which could not be done before. (shrink)

The coordinated attack scenario and the electronic mail game are two paradoxes of common knowledge. In simple mathematical models of these scenarios, the agents represented by the models can coordinate only if they have common knowledge that they will. As a result, the models predict that the agents will not coordinate in situations where it would be rational to coordinate. I argue that we should resolve this conflict between the models and facts about what it would be rational to do (...) by rejecting common knowledge assumptions implicit in the models. I focus on the assumption that the agents have common knowledge that they are rational, and provide models to show that denying this assumption suffices for a resolution of the paradoxes. I describe how my resolution of the paradoxes fits into a general story about the relationship between rationality in situations involving a single agent and rationality in situations involving many agents. (shrink)

According to a simple form of consequentialism, we should base decisions on our judgments about their consequences for achieving our goals. Our goals give us reason to endorse consequentialism as a standard of decision making. Alternative standards invariably lead to consequences that are less good in this sense. Yet some people knowingly follow decision rules that violate consequentialism. For example, they prefer harmful omissions to less harmful acts, they favor the status quo over alternatives they would otherwise judge to be (...) belter, they provide third-party compensation on the basis of the cause of an injury rather than the benefit from the compensation, they ignore deterrent effects in decisions about punishment, and they resist coercive reforms they judge to be beneficial. I suggest that nonconsequentialist principles arise from overgeneralizing rules that are consistent with consequentialism in a limited set of cases. Commitment to such rules is detached from their original purposes. The existence of such nonconsequentialist decision biases has implications for philosophical and experimental methodology, the relation between psychology and public policy, and education. (shrink)

This paper presents a formal account of how to determine the discourse relations between propositions introduced in a text, and the relations between the events they describe. The distinct natural interpretations of texts with similar syntax are explained in terms of defeasible rules. These characterise the effects of causal knowledge and knowledge of language use on interpretation. Patterns of defeasible entailment that are supported by the logic in which the theory is expressed are shown to underly temporal interpretation.

Let us say that a normative conflict is a situation in which an agent ought to perform an action A, and also ought to perform an action B, but in which it is impossible for the agent to perform both A and B. Not all normative conflicts are moral conflicts, of course. It may be that the agent ought to perform the action A for reasons of personal generosity, but ought to perform the action B for reasons of prudence: perhaps (...) A involves buying a lavish gift for a friend, while B involves depositing a certain amount of money in the bank. In general, our practical deliberation is shaped by a concern with a variety of morally neutral goods—not just generosity and prudence, but any number of others, such as etiquette, aesthetics, fun—many of which are capable of providing conflicting reasons for action. I mention these ancillary values in the present setting, however, only to put them aside. We will be concerned here, not with normative conflicts more generally, but precisely with moral conflicts—situations in which, even when our attention is restricted entirely to moral reasons for action, it is nevertheless true that an agent ought to do A and ought to do B, where it is impossible to do both. (shrink)

Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal systems. It is shown here that the apparent problem arises from an objectionable notion of derivability from assumptions in an axiomatic system. When a traditional Hilbert-type system of axiomatic logic is generalized into a system for derivations from assumptions, the necessitation rule has to be modified in a way that (...) restricts its use to cases in which the premiss does not depend on assumptions. This restriction is entirely analogous to the restriction of the rule of universal generalization of first-order logic. A necessitation rule with this restriction permits a proof of the deduction theorem in its usual formulation. Other suggestions presented in the literature to deal with the problem are reviewed, and the present solution is argued to be preferable to the other alternatives. A contraction-and cut-free sequent calculus equivalent to the Hubert system for basic modal logic shows the standard failure argument untenable by proving the underivability of DA from A. (shrink)

An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negation-inconsistent yet non-overcomplete; paracomplete logics are negation-incomplete yet non-overcomplete. A paranormal logic (...) is simply a logic that is both paraconsistent and paracomplete. -/- Despite being perfectly consistent and complete with respect to classical negation, nearly every normal modal logic, in its ordinary language and interpretation, admits to some latent paranormality: It is paracomplete with respect to a negation defined as an impossibility operator, and paraconsistent with respect to a negation defined as non-necessity. In fact, as it will be shown here, even in languages without a primitive classical negation, normal modal logics can often be alternatively characterized directly by way of their paranormal negations and related operators. So, instead of talking about ‘necessity’, ‘possibility’, and so on, modal logics could be seen just as devices tailored for the study of (modal) negation. This paper shows how and to what extent this alternative characterization of modal logics can be realized. (shrink)

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising the target (...) semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s. Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained. (shrink)

We give a set of postulates for the minimal normal modal logicK + without negation or any kind of implication. The connectives are simply , , , . The postulates (and theorems) are all deducibility statements . The only postulates that might not be obvious are.

In this paper I urge friends of truth-value gaps and truth-value gluts – proponents of paracomplete and paraconsistent logics – to consider theories not merely as sets of sentences, but as pairs of sets of sentences, or what I call ‘bitheories,’ which keep track not only of what holds according to the theory, but also what fails to hold according to the theory. I explain the connection between bitheories, sequents, and the speech acts of assertion and denial. I illustrate the (...) usefulness of bitheories by showing how they make available a technique for characterising different theories while abstracting away from logical vocabulary such as connectives or quanti- fiers, thereby making theoretical commitments independent of the choice of this or that particular non-classical logic. (shrink)

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

The deontic modal must has two surprising properties: an assertion of must p does not permit a denial of p, and must does not take past tense complements. I first consider an explanation of these phenomena that stays within Angelika Kratzer’s semantic framework for modals, and then offer some reasons for rejecting that explanation. I then propose an alternative account, according to which simple must sentences have the force of an imperative.

We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We propose a semantic framework based on the idea that primary and CTD obligations are obligations of different kinds: a CTD obligation pertains to, or (...) pre-supposes, a certain context in which a primary obligation is already violated. This framework is presented initially as an extension of Standard Deontic Logic (SDL), a normal modal logic of type KD, and is illustrated by application to a series of examples. The concluding section is concerned with some resemblances between CTD and defeasible reasoning. We show first that the SDL-based framework contains a flaw and must be adjusted. A discussion of possible adjustments, including an alternative treatment in terms of a preference-based semantics, reveals difficulties that are reminiscent of problems in defeasible reasoning and intensional accounts of defeasible conditionals. (shrink)

Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values (...) under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as negative or downward entailing. In this paper I propose an analysis of affective contexts as nonveridical and treat negative polarity as a manifestation of the more general phenomenon of sensitivity to (non)veridicality (which is, I argue, what affective dependencies boil down to). Empirical support for this analysis will be provided by a detailed examination of affective dependencies in Greek, (...) but the distribution of any will also be shown to follow from (non)veridicality. (shrink)

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

The thesis defended in this article is that by uttering or publishing a great many declarative sentences in assertoric mode, one does not actually assert that their conjunction is true – one rather asserts that the vast majority of these sentences are true. Accordingly, the belief that is expressed thereby is the belief that the vast majority of these sentences are true. In the article, we make this proposal precise, we explain the context-dependency of belief that corresponds to it, we (...) point out why our everyday oral practice of single assertions is not affected by it, and we argue that the proposal leads to a way out of the Paradox of the Preface. (shrink)

Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given for analogues of the modal systemK based on Heyting's prepositional logic. It is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddings in modal systems with several modal operators, based on classical propositional logic, are also considered. This paper lays the ground for (...) an investigation of intuitionistic analogues of systems stronger thanK. A brief survey is given of the existing literature on intuitionistic modal logic. (shrink)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result is (...) in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

We propose a logic of imagination, based on simulated belief revision, that intends to uncover the logical patterns governing the development of imagination in pretense. Our system complements the currently prominent logics of imagination in that ours in particular formalises (1) the algorithm that specifies what goes on in between receiving a certain input for an imaginative episode and what is imagined in the resulting imagination, as well as (2) the goal-orientedness of imagination, by allowing the context to determine, what (...) we call, the overall topic of the imaginative episode. To achieve this, we employ well-developed tools and techniques from dynamic epistemic logic and belief revision theory, enriched with a topicality component which has been exploited in the recent literature. As a result, our logic models a great number of cognitive theories of pretense and imagination [cf. Currie and Ravenscroft (Recreative minds, Oxford University Press, Oxford, 2002); Nichols and Stich (Mindreading: an integrated account of pretence, self-awareness, and understanding other minds, Oxford University Press, Oxford, 2003); Byrne (The rational imagination, The MIT Press, London, 2005); Williamson (The philosophy of philosophy, Blackwell Publishing, Oxford, 2007); Langland-Hassan (Philos Stud 159:155–179, 2012, in: Kind and Kung (eds) Knowledge through imaginaion, Oxford University Press, Oxford, 2016]. (shrink)

The paper explains how Gettier’s conclusion can be reached on general theoretical grounds within the framework of epistemic logic, without reliance on thought experiments. It extends the argument to permissive conceptions of justification that invalidate principles of multi-premise closure and require neighbourhood semantics rather than semantics of a more standard type. The paper concludes by recommending a robust methodology that aims at convergence in results between thought experimentation and more formal methods. It also warns against conjunctive definitions as sharing several (...) of the drawbacks of disjunctive definitions. (shrink)

This paper discusses the general problem of translation functions between logics, given in axiomatic form, and in particular, the problem of determining when two such logics are "synonymous" or "translationally equivalent." We discuss a proposed formal definition of translational equivalence, show why it is reasonable, and also discuss its relation to earlier definitions in the literature. We also give a simple criterion for showing that two modal logics are not translationally equivalent, and apply this to well-known examples. Some philosophical morals (...) are drawn concerning the possibility of having two logical systems that are "empirically distinct" but are both translationally equivalent to a common logic. (shrink)

One of the popular albeit controversial ideas in the last century of moral philosophy is that what we ought to do is explained by our reasons. And one of the central features of reasons that accounts for their popularity among normative theorists is that they can conflict. But I argue that the fact that reasons conflict actually also poses two closely related problems for this popular idea in moral philosophy. The first problem is a generalization of a problem in deontic (...) logic concerning the existence of conflicting obligations. The second problem arises from a tension between the fact that reasons can conflict and a model of how reasons explain ‘ought’s that has been widely accepted. Having presented each of these problems, I develop a unified solution to them that is informed by results in both ethics and deontic logic. An important implication of this solution is that we must distinguish between derivative and nonderivative reasons and revise our conception how it is that reasons explain ‘ought’s. (shrink)

We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.

Paulina Sliwa (2015) argues that knowing why p is necessary and sufficient for understanding why p. She tries to rebut recent attacks against the necessity and sufficiency claims, and explains the gradability of understanding why in terms of knowledge. I argue that her attempts do not succeed, but I indicate more promising ways to defend reductionism about understanding why throughout the discussion.

Accounts of logical independence which coincide when applied in the case of classical logic diverge elsewhere, raising the question of what a satisfactory all-purpose account of logical independence might look like. ‘All-purpose’ here means: working satisfactorily as applied across different logics, taken as consequence relations. Principal candidate characterizations of independence relative to a consequence relation are that there the consequence relation concerned is determined by only by classes of valuations providing for all possible truth-value combinations for the formulas whose independence (...) is at issue, and that the consequence relation ‘says’ nothing special about how those formulas are related that it does not say about arbitrary formulas. Each of these proposals returns counterintuitive verdicts in certain cases—the truth-value inspired approach classifying certain cases one would like to describe as involving failures of independence as being cases of independence, and the de Jongh approach counting some intuitively independent pairs of formulas as not being independent after all. In final section, a modification of the latter approach is tentatively sketched to correct for these misclassifications. The attention is on conceptual clarification throughout, rather than the provision of technical results. Proofs, as well as further elaborations, are lodged in the ‘longer notes’ in a final Appendix. (shrink)