This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

The book is divided into three parts. The first, containing three papers, focuses on the characterization of the central tenets of previii sentism (by Neil McKinnon) and eternalism (by Samuel Baron and Kristie Miller), and on the ‘sceptical stance’ (by Ulrich Meyer), a view to the effect that there is no substantial difference between presentism and eternalism. The second and main section of the book contains three pairs of papers that bring the main problems with presentism to the fore and (...) outlines its defence strategy. Each pair of papers in this section can be read as a discussion between presentists and eternalists, wherein each directly responds to the arguments and objections offered by the other. This is a discussion that is sometimes absent in the literature, or which is at best carried out in a fragmented way. The first two papers of the section deal with the problem of the compatibility of Special Relativity Theory (SRT) and presentism. SRT is often considered to be a theory that contradicts the main tenet of presentism, thereby rendering presentism at odds with one of our most solid scientific theories. Christian Wüthrich’s paper presents arguments for the incompatibility of the two theories (SRT and presentism) within a new framework that includes a discussion of further complications arising from the theory of Qauantum Mechanics. Jonathan Lowe’s paper, by contrast, develops new general arguments against the incompatibility thesis and replies to Wüthrich’s paper. The second pair of papers focuses on the problem that presentists face, in providing grounds for past tensed truths. In the first (by Matthew Davidson), new arguments are provided to defend the idea that the presentist cannot adequately explain how what is now true about the past is grounded, since for the presentist the past is completely devoid of ontological ground. The second paper (by Brian Kierland) takes up the challenge of developing a presentist explanation of past truths, beginning by outlining some existing views in the literature before advancing an original proposal. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.