The Relevant Equivalence Property

The pure implicational and the multiplicative fragments of arange of propositional relevant (and other) logics are shownto have the property that any two formulas equivalent in sucha logic are constructed from exactly the same propositionalvariables – as opposed to merely having (as the definitionof relevance itself would require) some propositional variablein common.     

Inexact Knowledge with Introspection

Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidean. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We present a new semantics for modal logic which is shown to be complete for K45, without constraining the accessibility relation to be transitive or euclidean. The semantics corresponds to a system of modular knowledge, in which iterated modalities and simple modalities are not on a par. We show how the semantics helps to solve Williamson’s luminosity paradox, and argue that it corresponds to an integrated model of perceptual and introspective knowledge that is psychologically more plausible than the one defended by Williamson. We formulate a generalized version of the semantics, called token semantics, in which modalities are iteration-sensitive up to degree n and insensitive beyond n. The multi-agent version of the semantics yields a resource-sensitive logic with implications for the representation of common knowledge in situations of bounded rationality.     

On Vagueness,Truth Values and Fuzzy Logics

Some aspects of vagueness as presented in Shapiro’s book Vagueness in Context [23] are analyzed from the point of fuzzy logic. Presented are some generalizations of Shapiro’s formal apparatus. Presented by Daniele Mundici     

Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity

Two classes of π are studied whose properties are similar to those of the protoalgebraic deductive systems of Blok and Pigozzi. The first is the class of N-protoalgebraic π-institutions and the second is the wider class of N-prealgebraic π-institutions. Several characterizations are provided. For instance, N-prealgebraic π-institutions are exactly those π-institutions that satisfy monotonicity of the N-Leibniz operator on theory systems and N-protoalgebraic π-institutions those that satisfy monotonicity of the N-Leibniz operator on theory families. Analogs of the correspondence property of Blok and Pigozzi for π-institutions are also introduced and their connections with preand protoalgebraicity are explored. Finally, relations of these two classes with the (, N)-algebraic systems, introduced previously by the author as an analog of the -algebras of Font and Jansana, and with an analog of the Suszko operator of Czelakowski for π-institutions are also investigated. Presented by Josep Maria Font     

Combinatory Logic and the Semantics of Substructural Logics

The results of this paper extend some of the intimate relations that are known to obtain between combinatory logic and certain substructural logics to establish a general characterization theorem that applies to a very broad family of such logics. In particular, I demonstrate that, for every combinator X, if LX is the logic that results by adding the set of types assigned to X (in an appropriate type assignment system, TAS) as axioms to the basic positive relevant logic B∘T, then LX is sound and complete with respect to the class of frames in the Routley-Meyer relational semantics for relevant and substructural logics that meet a first-order condition that corresponds in a very direct way to the structure of the combinator X itself. Presented by Rob Goldblatt     

Two for the show: Anti-luck and virtue epistemologies in consonance

This essay extends my side of a discussion begun earlier with Duncan Pritchard, the recent author of Epistemic Luck.Pritchard’s work contributes significantly to improving the “diagnostic appeal” of a neo-Moorean philosophical response to radical scepticism. While agreeing with Pritchard in many respects, the paper questions the need for his concession to the sceptic that the neo-Moorean is capable at best of recovering “‘brute’ externalist knowledge”. The paper discusses and directly responds to a dilemma that Pritchard poses for virtue epistemologies (VE). It also takes issue with Pritchard’s “merely safety-based” alternative. Ultimately, however, the criticisms made here of Pritchard’s dilemma and its underlying contrast of “anti-luck” and “virtue” epistemologies are intended to help realize his own aspirations for a better diagnosis of radical scepticism to inform a still better neo-Moorean response.     

Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5

We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics.     

Philosophical foundations of partial belief models

This paper is an attempt to put forward a new kind of partial model for representing belief states. I first introduce some philosophical motivations for working with partial models. Then, I present the standard (total) model proposed by Hintikka, and the partial models studied by Humberstone and Holliday. I then show how to reduce Hintikka’s semantics in order to obtain a partial model which, however, differs from Humberstone’s and Holliday’s. The nature of such differences is assessed, and I provide motivations for using the newly proposed semantics rather than the existing ones. Finally, I review some promising philosophical applications of the ideas developed throughout the discussion.