The crucial feature of obligation sentences to which the puzzles point is that such sentences, and evaluative sentences more generally, are defeasible. They may be warranted, given some information, only to be defeated by further information. A theory that recognizes this no longer needs to see conditional obligation as anything more than a simple combination of unary obligation and the conditional.

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)

I present here a modal extension of T called KTLM which is, by several measures, the simplest modal extension of T yet presented. Its axiom uses only one sentence letter and has a modal depth of 2. Furthermore, KTLM can be realized as the logical union of two logics KM and KTL which each have the finite model property (f.m.p.), and so themselves are complete. Each of these two component logics has independent interest as well.

Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary mathematics in restricted axiomatic theories, and study those theories in constructive or syntactic terms. I will discuss the aspects (...) of forcing that are useful in this respect, and some sample applications. The latter include ways of obtaining conservation results for classical and intuitionistic theories, interpreting classical theories in constructive ones, and constructivizing model-theoretic arguments. (shrink)

The logic of common belief does not always reflect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief that A is not commonly believed. We identify the intersubjective restrictions on individual beliefs that are incorporated in axiom 5 for common belief.

The notion of perfect recall in extensive games was introduced by Kuhn (1953), who interpreted it as "equivalent to the assertion that each player is allowed by the rules of the game to remember everything he knew at previous moves and all of his choices at those moves''. We provide a characterization and axiomatization of perfect recall based on two notions of memory: (1) memory of past knowledge and (2) memory of past actions.

The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer in the first part of the paper a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness results for normal systems without the Barcan Formula (like (...) FOL + K)in terms of neighborhood frames with constant domains. The first order models we present permit the study of many epistemic modalities recently proposed in computer science as well as the development of adequate models for monadic operators of high probability. Models of this type are either difficult of impossible to build in terms of relational Kripkean semantics [40].We conclude by introducing general first order neighborhood frames with constant domains and we offer a general completeness result for the entire family of classical first order modal systems in terms of them, circumventing some well-known problems of propositional and first order neighborhood semantics (mainly the fact that many classical modal logics are incomplete with respect to an unmodified version of either neighborhood or relational frames). We argue that the semantical program that thus arises offers the first complete semantic unification of the family of classical first order modal logics. (shrink)

Since Lewis’s (1969) and Aumann’s (1976) pioneering contributions, the concepts of common knowledge and common belief have been discussed extensively in the literature, both syntactically and semantically1. At the individual level the difference between knowledge and belief is usually identified with the presence or absence of the Truth Axiom ( iA → A), which is interpreted as ”if individual i believes that A, then A is true”. In such a case the individual is often said to know that A (thus (...) it is possible for an individual to believe a false proposition but she cannot know a false proposition). Going to the interpersonal level, the literature then distinguishes between common knowledge and common belief on the basis of whether or not the Truth Axiom is postulated at the individual level. However, while at the individual level the Truth Axiom captures merely a relationship between the individuals’ beliefs and the external world, at the interpersonal level it has very strong implications. For example, the following is a consequence of the Truth Axiom: i jA → iA, that is, if individual i believes that individual j believes that A, then individual i herself believes that A. Thus, in contrast to other axioms, the Truth Axiom does not merely reflect individual agents’ “logic of belief”. (The reason why the Truth Axiom is much stronger in an interpersonal context than appears at first glance is that it amounts to assuming that agreement of any individual’s belief with the truth is common knowledge). Given its logical force, it is not surprising to find that it has strong implications for the logic of common knowledge. In particular, if each individual’s beliefs satisfy the strongest logic of knowledge (namely S5 or KT5), the associated common knowledge operator satisfies this logic too. Such is not the case for belief: bereft of the Truth Axiom, even the strongest logic for individual belief (KD45) is insufficient to ensure the satisfaction of the “Negative Introspection” axiom for common belief: ¬ ∗A → ∗¬ ∗A (where ∗ denotes the common belief operator).. (shrink)

This paper presents the algebraic and Kripke modelsoundness and completeness ofa logic over Boolean monoids. An additional axiom added to thelogic will cause the resulting monoid models to be representable as monoidsof relations. A star operator, interpreted as reflexive, transitiveclosure, is conservatively added to the logic. The star operator isa relative modal operator, i.e., one that is defined in terms ofanother modal operator. A further example, relative possibility,of this type of operator is given. A separate axiom,antilogism, added to the logic (...) causes the Kripke models to support acollection of abstract topological uniformities which become concretewhen the Kripke models are dual to monoids of relations. The machineryfor the star operator is shownto be a recasting of Scott-Montague neighborhood models. An interpretationof the Kripke frames and properties thereof is presented in terms ofcertain CMOS transister networks and some circuit transformation equivalences.The worlds of the Kripke frame are wires and the Kripke relation is a specializedCMOS pass transistor network. (shrink)

The principal aim of this essay is to discuss some logical features of the so-called Classical model of cognitive architecture as it is advocated by J. Fodor and Z. Pylyshyn in their much discussed article 'Connectionism and Cognitive Architecture: A Critical Analysis'. It is pointed out that their structural assumptions have consequences of a logical kind which call into question the view that the Classical architecture (in their sense) can be employed to model human cognition. It seems that the consequences (...) have escaped Fodor and Pylyshyn's notice, or else they have failed to appreciate them, since some of their claims evidently conflict with them. It is also investigated whether the human mind can be characterized as being logical in some weaker sense of logic. Furthermore, it is argued that J. H. Fetzer's view that it is a semiotic system is more realistic than the Classical model, but the distinction he suggests between human cognition and other kinds may be problematic. (shrink)

Monoidal logics were introduced as a foundational framework to analyse the proof theory of deontic logic. Building on Lambek’s work in categorical logic, logical systems are defined as deductive systems, that is, as collections of equivalence classes of proofs satisfying specific rules and axiom schemata. This approach enables the classification of deductive systems with respect to their categorical structure. When looking at their proof theory, however, one can see that there are similarities between monoidal and substructural logics. The purpose of (...) the present paper is to address this issue and highlight the differences between these two approaches. We argue that monoidal logics provide a more flexible foundational framework that enables a finer analysis of the relationship between negation and other logical connectives. We show that the elimination of double negation is independent from the de Morgan dualities, that monoidal deductive systems are not necessarily weakly distributive and that deduc... (shrink)

We define a family of intuitionistic non-normal modal logics; they can be seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only Necessity or Possibility. We then consider the more important case of bimodal logics, which contain both modal operators. In this case we define several interactions between Necessity and Possibility of increasing strength, although weaker than duality. We thereby obtain a lattice of 24 distinct bimodal logics. For all logics we provide both a Hilbert (...) axiomatisation and a cut-free sequent calculus, on its basis we also prove their decidability. We then define a semantic characterisation of our logics in terms of neighbourhood models containing two distinct neighbourhood functions corresponding to the two modalities. Our semantic framework captures modularly not only our systems but also already known intuitionistic non-normal modal logics such as Constructive K and the propositional fragment of Wijesekera’s Constructive Concurrent Dynamic Logic. (shrink)

Hamblin’s Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...) tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin’s key concepts: strategies, partial strategies and wholehearted satisfaction. (shrink)

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45ni-j, is a stronger version of KD, the system often referred to as Standard Deontic (...) Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work. (shrink)

We are concerned with formal models of reasoning under uncertainty. Many approaches to this problem are known in the literature e.g. Dempster-Shafer theory [29], [42], bayesian-based reasoning [21], [29], belief networks [29], many-valued logics and fuzzy logics [6], non-monotonic logics [29], neural network logics [14]. We propose rough mereology developed by the last two authors [22-25] as a foundation for approximate reasoning about complex objects. Our notion of a complex object includes, among others, proofs understood as schemes constructed in order (...) to support within our knowledge assertions/hypotheses about reality described by our knowledge incompletely. (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)

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)

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.

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)

We prove some embedding theorems for classical conditional logic, covering 'finitely cumulative' logics, 'preferential' logics and what we call 'semi-monotonic' logics. Technical tools called 'partial frames' and 'frame morphisms' in the context of neighborhood semantics are used in the proof.

Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical ability to discriminate between different types of individuals, and another that concerns constitutive norms for reasoning as such. This essay embraces the former, permutation-invariance conception of logic and rejects the latter, Fregean conception of logic. The question of how to apply logic under this pure invariantist view is addressed, and a methodology (...) is given. The pure invariantist view is contrasted with logical pluralism, and a methodology for applied logic is demonstrated in remarks on a variety of issues concerning non-monotonic logic and non-monotonic inference, including Charles Morgan’s impossibility results for non-monotonic logic, David Makinson’s normative constraints for non-monotonic inference, and Igor Douven and Timothy Williamson’s proposed formal constraints on rational acceptance. (shrink)

The object of this paper is to examine two approaches to giving non-vacuous truth conditions for counterpossibles, counterfactuals with impossible antecedents. I first develop modifications of a Lewis-style sphere semantics with impossible worlds. I argue that this approach sanctions intuitively invalid inferences and is supported by philosophically problematic foundations. I then develop modifications of certain ceteris paribus conditional logics with impossible worlds. Tableaux are given for each of these in an appendix and soundness and completeness results are proved. While certain (...) of the latter systems are shown to have similar problems to logics from the first approach, at least one relatively weak system appears to offer an adequate uniform semantics for counterpossibles and counterfactuals. (shrink)

Conditional logics have traditionally been intended to formalize various intuitively correct modes of reasoning involving conditional expressions in natural language. Although conditional logics have by now been thoroughly studied in a classical context, they have yet to be systematically examined in an intuitionistic context, despite compelling philosophical and technical reasons to do so. This paper addresses this gap by thoroughly examining the basic intuitionistic conditional logic ICK, the intuitionistic counterpart of Chellas’ important classical system CK. I give ICK both worlds (...) semantics and algebraic semantics, and prove that these are equivalent. I give a Gödel-type embedding of ICK into CK and a Glivenko-type embedding of CK into ICK. I axiomatize ICK and prove soundness, completeness, and decidability results. Finally, I discuss extending ICK. (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)

We study a logic for deontic necessity and sufficiency, as originally proposed in van Benthem :36–41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some standard extensions, and study other important properties. After that, we compare this logic to the logic of “obligation as weakest permission” from Anglberger et al. :807–827, 2015).

We establish completeness and the finite model property for logics featuring the pooling modalities that were introduced in Van De Putte and Klein. The definition of our canonical models combines standard techniques with a so-called “puzzle piece construction”, which we first illustrate informally. After that, we apply it to the weakest classical logics with pooling modalities and investigate the technique’s potential for the axiomatization of stronger logics, obtained by imposing well-known frame conditions on the models.

We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics, establish key properties concerning their expressive power, discuss dynamic extensions of these logics and provide reduction axioms for the latter.

We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove soundness and (...) completeness results for these systems. (shrink)

I explore some issues in the logics and dialectics of practical modalities connected with the Consequence Argument (CA) considered as the best argument for the incompatibility of free will and determinism. According to Lewis (1981) in one of the possible senses of (in)ability, the argument is not valid; however, understood in the other of its possible senses, the argument is not sound. This verdict is based on the assessment of the modal version of the argument, where the crucial notion is (...) power necessity (“no choice” operator), while Lewis analyses the version where the central notion is the locution “cannot render false.”Lewis accepts closure of the relevant (in)ability operator under entailment but not closure under implication. His strategy has a seemingly strange corollary: a free predetermined agent is able (in a strong, causal sense) to falsity the conjunction of history and law. I compare a Moorean position with respect to radical skepticism and knowledge closure with ability closure and propose to explain Lewis’s strategy in the framework of his Moorean stance. (shrink)

If the words in Spinoza’s Ethics are considered as symbols, then certain words in the definitions of the Ethics can be replaced with symbols from set theory and we can reexamine Spinoza’s first definitions within a logical–mathematical frame. The authors believe that, some aspects of Spinoza’s work can be explained and illustrated through mathematics. A semantic relation between the definitions of the philosopher and set theory is presented. It is explained each chosen symbol. The ontological argument is developed through modal (...) logic. And finally, we present some conclusions drawn from this work. (shrink)

Information about the powers and abilities of acting entities is used to coordinate their actions in societies, either physical or digital. Yet, the commonsensical meaning of an acting entity being deemed able to do something is still missing from the existing specification languages for the web or for multi-agent systems. We advance a general purpose abstract logical account of evidence-based ability. A basic model can be thought of as the ongoing trace of a multi-agent system. Every state records systemic confirmations (...) and disconfirmations of whether an acting entity is able to bring about something. Qualitative inductive reasoning is then used in order to infer what acting entities are deemed able to bring about in the multi-agent system. A temporalised modal language is used to talk about deemed ability, actual agency, and confirmation and disconfirmation of deemed ability. What constitutes a confirmation and a disconfirmation is left to the modeller as in general it depends on the application at hand. So to illustrate the methodology we propose two extended examples, one in practical philosophy, the other in system engineering. We first use a logic of agency and ability to obtain a version of Mele’s general practical abilities. Then, we look at the management of abilities in a supervised system. (shrink)

In this paper, we present a new semantic challenge to the moral error theory. Its first component calls upon moral error theorists to deliver a deontic semantics that is consistent with the error-theoretic denial of moral truths by returning the truth-value false to all moral deontic sentences. We call this the ‘consistency challenge’ to the moral error theory. Its second component demands that error theorists explain in which way moral deontic assertions can be seen to differ in meaning despite necessarily (...) sharing the same intension. We call this the ‘triviality challenge’ to the moral error theory. Error theorists can either meet the consistency challenge or the triviality challenge, we argue, but are hard pressed to meet both. (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)

In this paper we analyze the propositional extensions of the minimal classical modal logic system E, which form a lattice denoted as CExtE. Our method of analysis uses algebraic calculations with canonical forms, which are a generalization of the normal forms applicable to normal modal logics. As an application, we identify a group of automorphisms of CExtE that is isomorphic to the symmetric group S4.

The Direct Argument for the incompatibility of moral responsibility and determinism is designed to side-step complaints given by compatibilist critiques of the so-called Transfer Argument. I argue that while it represents an improvement over the Transfer Argument, it loses some of its plausibility when we reflect on some metalogical issues about normal modal modeling and the semantics of natural language. More specifically, the crucial principle on which the Direct Argument depends appears doubtful where context plays a role in evaluation of (...) normative claims. (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.

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.

This chapter contains sections titled: Introduction Modal propositional Logics (MPLs) Modal Quantificational Logics(QMLs).

I will apply a technique employed by Giovanni Girolamo Saccheri in Logica demonstrative to concisely prove the invalidity of moods of the First Figure of the Theory of the Assertoric Syllogism without appealing to facts outside logic.

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)

Augment the propositional language with two modal operators: □ and ■. Define ⧫ to be the dual of ■, i.e. ⧫=¬■¬. Whenever (X) is of the form φ → ψ, let (X⧫) be φ→⧫ψ . (X⧫) can be thought of as the modally qualified counterpart of (X)—for instance, under the metaphysical interpretation of ⧫, where (X) says φ implies ψ, (X⧫) says φ implies possibly ψ. This paper shows that for various interesting instances of (X), fairly weak assumptions suffice for (...) (X⧫) to imply (X)—so, the modally qualified principle is as strong as its unqualified counterpart. These results have surprising and interesting implications for issues spanning many areas of philosophy. (shrink)

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)

The aim of this text is to reply to criticisms of the logics of evidence and truth and the epistemic approach to paraconsistency advanced by Barrio [2018], and Lo Guercio and Szmuc [2018]. We also clarify the notion of evidence that underlies the intended interpretation of these logics and is a central point of Barrio’s and Lo Guercio & Szmuc’s criticisms.

In this paper, I will develop a new theory of the nature of happiness, or “perfect happiness.” I will examine what perfect happiness is and what it is not and I will try to answer some fundamental questions about this property. According to the theory, which I shall call “the fulfillment theory,” perfect happiness is perfect fulfillment. The analysis of happiness in this paper is a development of the old idea that happiness is getting what you want and can be (...) classified as a kind of desire-satisfaction theory. According to the fulfillment theory of happiness, it is necessarily the case that an individual x is perfectly happy if and only if all x’s wants are fulfilled. The interpretation of this basic definition is important, since the consequences of the particular version defended in this essay are radically different from the consequences of many other popular theories of happiness. The fulfillment theory is also quite different from most other desire-satisfaction theories of happiness. We will see that it has many interesting consequences and that it can be defended against some potentially serious counterarguments. The upshot is that the analysis of (perfect) happiness developed in the present paper is quite attractive. (shrink)

This paper discusses a new aporia, the aporia of future directed beliefs. This aporia contains three propositions: (1) It is possible that there is someone who is infallible that believes something about the future that is not historically settled, (2) it is necessary that someone is infallible if and only if it is necessary that everything she believes is true, and (3) it is necessary that all our beliefs are historically settled. Every claim in this set is intuitively plausible, and (...) there are interesting arguments for or against each of them. Nevertheless, {(1), (2), (3)} entails a contradiction. Consequently, at least one of the sentences in this set must be false. I consider some possible solutions to the problem and discuss some arguments for and against these solutions. Five solutions, in particular, stand out. Three solutions reject (1), one solution rejects (2), and one solution rejects (3). No solution is without problems, and it is not obvious which one we should choose. Yet, we have to give up at least one sentence in {(1), (2), (3)}. This is the nature of an aporia. (shrink)

The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without any (...) propositional quantifiers. Then, I will show how these systems can be extended by a couple of propositional quantifiers. I will use a kind of TxW semantics to describe the systems semantically and semantic tableaux to describe them syntactically. Every system will include a constant · that stands for The Good. ‘·’ is read as ‘The Good is realised’. All systems that contain the propositional quantifiers will also include a constant '*' that stands for The Moral Law. '*' is read as ‘The Moral Law is fulfilled’. I will prove that all systems (without the propositional quantifiers) are sound and complete with respect to their semantics and that all systems (including the extended systems) are sound with respect to their semantics. It is left as an open question whether or not the extended systems are complete. (shrink)