Citations of:
Conjunction and Disjunction in Infectious Logics
In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Berlin: Springer. pp. 268283 (2017)
Add citations
You must login to add citations.


This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cutdown" operator is discussed, rendering a "trackdown" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truthfunctions of Paraconsistent Weak Kleene coincide with certain operations defined in this trackdown fashion. Finally, further reflections (...) 

The present note revisits the joint work of Leonard Goddard and Richard Routley on significance logics with the aim of shedding new light on their understanding by studying them under the lens of recent semantic developments, such as the plurivalent semantics developed by Graham Priest. These semantics allow sentences to receive one, more than one, or no truthvalue at all from a given carrier set. Since nonsignificant sentences are taken to be neither true nor false, i.e. truthvalue gaps, in this (...) 

Emotivists like Ayer claim that moral sentences are devoid of cognitive meaning since they only evince attitudinal approval or disapproval of actions. In this paper, I explore two nonclassical sem... 

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are threevalued 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. 

In this work, we propose a variant of socalled informational semantics, a technique elaborated by Voishvillo, for two infectious logics, Deutsch’s ${\mathbf{S}_{\mathbf{fde}}}$ and Szmuc’s $\mathbf{dS}_{\mathbf{fde}}$. We show how the machinery of informational semantics can be effectively used to analyse truth and falsity conditions of disjunction and conjunction. Using this technique, it is possible to claim that disjunction and conjunction can be rightfully regarded as such, a claim which was disputed in the recent literature. Both ${\mathbf{S}_{\mathbf{fde}}}$ and $\mathbf{dS}_{\mathbf{fde}}$ are formalized in (...) 

In this paper, we study logical systems which represent entailment relations of two kinds. We extend the approach of finding ‘exactly true’ and ‘nonfalsity’ versions of fourvalued logics that emerged in series of recent works [Pietz & Rivieccio (2013). Nothing but the truth. Journal of Philosophical Logic, 42(1), 125–135; Shramko (2019). DualBelnap logic and anything but falsehood. Journal of Logics and their Applications, 6, 413–433; Shramko et al. (2017). Firstdegree entailment and its relatives. Studia Logica, 105(6), 1291–1317] to the case (...) 

In different papers, Carnielli, W. & Rodrigues, A., Carnielli, W. Coniglio, M. & Rodrigues, A. and Rodrigues & Carnielli, present two logics motivated by the idea of capturing contradictions as conflicting evidence. The first logic is called BLE and the second—that is a conservative extension of BLE—is named LETJ. Roughly, BLE and LETJ are two nonclassical logics in which the Laws of Explosion and Excluded Middle are not admissible. LETJ is built on top of BLE. Moreover, LETJ is a Logic (...) 

It is commonly believed that the role of context cannot be ignored in the analysis of conditionals, and counterfactuals in particular. On truth conditional accounts involving possible worlds semantics, conditionals have been analysed as expressions of relative necessity: “If A, then B” is true at some world w if B is true at all the Aworlds deemed relevant to the evaluation of the conditional at w. A drawback of this approach is that for the evaluation of conditionals with the same (...) 

In this paper, I raise the problem of dealing with counterpossible conditionals for theories of subject matter. I argue that existing accounts of subject matter need to be revised and extended to be able to a) provide reasonable (potentially nondegenerate) verdicts about what counterpossibles are about, b) explain the intuition that counterpossibles are in some sense about what would happen if the antecedent were true, and c) explain in what sense counterpossibles can be about individuals. I sketch how one could (...) 

The first degree entailment (FDE) family is a group of logics, a manyvalued semantics for each system of which is obtained from classical logic by adding to the classical truthvalues true and false any subset of {both, neither, indeterminate}, where indeterminate is an infectious value (any formula containing a subformula with the value indeterminate itself has the value indeterminate). In this paper, we see how to extend a version of star semantics for the logics whose manyvalued semantics lack indeterminate to (...) 

Here, we outline UPJA’s recent developments and the contents of Volume 2, Issue 2. 