In this paper, we use a ‘normality operator’ in order to generate logics of formal inconsistency and logics of formal undeterminedness from any subclassical many-valued logic that enjoys a truth-functional semantics. Normality operators express, in any many-valued logic, that a given formula has a classical truth value. In the first part of the paper we provide some setup and focus on many-valued logics that satisfy some of the three properties, namely subclassicality and two properties that we call fixed-point negation property (...) and conservativeness. In the second part of the paper, we introduce normality operators and explore their formal behaviour. In the third and final part of the paper, we establish a number of classical recapture results for systems of formal inconsistency and formal undeterminedness that satisfy some or all the properties above. These are the main formal results of the paper. Also, we illustrate concrete cases of recapture by discussing the logics $\mathsf{K}^{\circledast }_{3}$, $\mathsf{LP}^{\circledast }$, $\mathsf{K}^{w\circledast }_{3}$, $\mathsf{PWK}^{\circledast }$ and $\mathsf{E_{fde}}^{\circledast }$, that are in turn extensions of $\mathsf{{K}_{3}}$, $\mathsf{LP}$, $\mathsf{K}^{w}_{3}$, $\mathsf{PWK}$ and $\mathsf{E_{fde}}$, respectively. (shrink)

In this work, we propose a variant of so-called 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 (...) terms of natural deduction. This allows us to solve several problems: to develop a natural deduction calculus for |${\mathbf{S}_{\mathbf{fde}}}$| containing the standard form of disjunction elimination (in contrast to the calculus by Petrukhin), to introduce the first natural deduction calculus for |$\mathbf{dS}_{\mathbf{fde}}$| and to reflect the fundamental symmetry between |${\mathbf{S}_{\mathbf{fde}}}$| and |$\mathbf{dS}_{\mathbf{fde}}$| on proof-theoretical level forming a convenient basis for obtaining their well-known extensions |$\mathbf{K}^{\mathbf{w}}_{\mathbf{3}}$| and |$\mathbf{PWK}$|⁠. (shrink)

A very natural and philosophically important subclassical logic is FDE. This account of logical consequence can be seen as going beyond the standard two-valued account to a four-valued account. A natural question arises: What account of logical consequence arises from considering further combinations of such values? A partial answer was given by Priest in 2014; Shramko and Wansing had also given a partial result some years earlier, although in a different context. In this note we generalize Priest’s result to show (...) that even if one considers ordinal-many combinations of the previous values, for any ordinal, the resulting consequence relation remains FDE. (shrink)

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...) our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.

Basic understandings of subjectivity are derived from the principles of masculine embodiment such as temporal stability and singularity. But pregnancy challenges such understandings because it represents a sort of splitting of the body. In the pregnant situation, a subject may experience herself as both herself and an other, as well as neither herself nor an other. This is logically untenable—an impossibility. If our discourse depends on singular, fixed referents, then what paradigms of identity are available to the pregnant subject? What (...) could be the pregnant subject's ontology? -/- Eric Bapteste and John Dupré offer the idea that organisms are processual beings. In their view, the ecological interrelationships between the objects of biology are defining, and render them dynamic processes, rather than stable things. Does Bapteste and Dupré’s processual ontological account accommodate pregnant organisms, including pregnant people? -/- Here, I analyze the processual account and determine whether it can accommodate the phenomenon of pregnancy. I find that a processual ontology captures a great deal about pregnant embodiment and is a significant improvement over Cartesian and anti-metaphysical accounts. However, in order to accommodate pregnancy, what we still need from an ontology is the inclusion of subjectivity. (shrink)

The logical analysis of Nāgārjuna’s catuṣkoṭi has remained a heated topic for logicians in Western academia for nearly a century. At the heart of the catuṣkoṭi, the four corners’ formalization typically appears as: A, Not A, Both, and Neither. The pulse of the controversy is the repetition of negations in the catuṣkoṭi. Westerhoff argues that Nāgārjuna in the Mūlamadhyamakakārikā uses two different negations: paryudāsa and prasajya-pratiṣedha. This paper builds off Westerhoff’s account and presents some subtleties of Nāgārjuna’s use of these (...) negations regarding their scope. This is achieved through an analysis of the Sanskrit and Tibetan Madhyamaka commentarial tradition and through a grammatical analysis of Nāgārjuna’s use of na and a- within a diverse variety of the catuṣkoṭi within the Mūlamadhyamakakārikā. (shrink)

The theory of negation developed in the grammatical-philosophical system of later Vyākaraṇa remains almost entirely unstudied, despite its close links with the (widely studied) approaches to negation found in other philosophical schools such as Nyāya and Mīmāṃsā, and despite its consequent importance for a comprehensive understanding of the theory of negation in ancient India. In this paper we present an edition, translation and commentary of the relevant sections of Nāgeśa’s _Paramalaghumañjūṣā_, a concise presentation by the final authority of the Pāṇinian (...) tradition, together with an explanatory introduction outlining the grammarians’ theory of negation and its relations particularly with the Nyāya theory of negation. (shrink)

Thought: A Journal of Philosophy, Volume 8, Issue 4, Page 240-249, December 2019.

Recently there has been a debate on whether Pyrrho’s philosophy could be influenced by Indian Buddhist philosophy. Discussions revealing striking similarities between them often point out Pyrrho’s complicated sentence, referred to as tetralemma, as one of the most striking similarities. The central question of this paper is whether Pyrrho’s sentence is of the tetralemmatic kind. Authors argue that if Pyrrho’s sentence is not fourfold in structure it could scarcely be classified as similar to the Buddhist tetralemma. A careful analysis of (...) the question is provided, arguing that the approach to the problem of tetralemmatic structure cannot be carried out solely on syntactic grounds. An aspect of a deeper philosophical meaning of the formula is applied, which alone enables us (if at all) to link Pyrrho’s philosophy to Buddhism. (shrink)

Nāgārjuna, the famous founder of the Madhyamika School, proposed the positive catuṣkoṭi in his seminal work, Mūlamadhyamakakārikā: ‘All is real, or all is unreal, all is both real and unreal, all is neither unreal nor real; this is the graded teaching of the Buddha’. He also proposed the negative catuṣkoṭi: ‘“It is empty” is not to be said, nor “It is non-empty,” nor that it is both, nor that it is neither; [“empty”] is said only for the sake of instruction’ (...) and the no-thesis view: ‘No dharma whatsoever was ever taught by the Buddha to anyone’. In this essay, I adopt Gricean pragmatics to explain the positive and negative catuṣkoṭi and the no-thesis view proposed by Nāgārjuna in a way that does not violate classical logic. For Nāgārjuna, all statements are false as long as the hearer understands them within a reified conceptual scheme, according to which substance is a basic categorical concept; substances have svabhāva, and names and sentences have svabhāva. (shrink)

We investigate synonymy in the strong sense of content identity. This notion is central in the philosophy of language and in applications of logic. We motivate, uniformly axiomatize, and characterize several “benchmark” notions of synonymy in the messy class of all possible notions of synonymy. This class is divided by two intuitive principles that are governed by a no-go result. We use the notion of a scenario to get a logic of synonymy which is the canonical representative of one division. (...) In the other division, the so-called conceptivist logics, we find, e.g., the well-known system of analytic containment. We axiomatize four logics of synonymy extending AC, relate them semantically and proof-theoretically to SF, and characterize them in terms of weak/strong subject matter preservation and weak/strong logical equivalence. This yields ways out of the no-go result and novel arguments—independent of a particular semantic framework—for each notion of synonymy discussed. This points to pluralism about meaning and a certain non-compositionality of truth in logic programs and neural networks. And it unveils an impossibility for synonymy: if it is to preserve subject matter, then either conjunction and disjunction lose an essential property or a very weak absorption law is violated. (shrink)

We examine the relationship between the logics of nonsense of Bochvar and Halldén and the containment logics in the neighborhood of William Parry’s A I. We detail two strategies for manufacturing containment logics from nonsense logics—taking either connexive and paraconsistent fragments of such systems—and show how systems determined by these techniques have appeared as Frederick Johnson’s R C and Carlos Oller’s A L. In particular, we prove that Johnson’s system is precisely the intersection of Bochvar’s B 3 and Graham Priest’s (...) non-symmetrized connexive logic and that Oller’s system lies just beneath the intersection of B 3 and Priest’s paraconsistent L P. We conclude by examining Oller’s system in more depth, giving it a characterization in terms of L P and showing that it plays the same role to Harry Deutsch’s paraconsistent containment logic S that Aleksandr Zinov'ev’s S 1 plays with respect to A I. (shrink)

Despite a renewed interest in Richard Angell’s logic of analytic containment ), the first semantics for \ introduced by Fabrice Correia has remained largely unexamined. This paper describes a reasonable approach to Correia semantics by means of a correspondence with a nine-valued semantics for \. The present inquiry employs this correspondence to provide characterizations of a number of propositional logics intermediate between \ and classical logic. In particular, we examine Correia’s purported characterization of classical logic with respect to his semantics, (...) showing the condition Correia cites in fact characterizes the “logic of paradox” \ and provide a correct characterization. Finally, we consider some remarks on related matters, such as the applicability of the present correspondence to the analysis of the system \ and an intriguing relationship between Correia’s models and articular models for first degree entailment. (shrink)

The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...) facie unrelated deductive contexts in which Addition fails and attempt to harmonise them by developing a computational interpretation of conceptivist logics. (shrink)

This thesis is the attempt to find a logical model for, and trace the history of, the catuṣkoṭi as it developed in the Indo-Tibetan milieu and spread, via China, to Japan. After an introduction to the history and key-concepts of Buddhist philosophy, I will finish the first chapter with some methodological considerations about the general viability of comparative philosophy. Chapter §2 is devoted to a logical analysis of the catuṣkoṭi. Several attempts to model this fascinating piece of Buddhist philosophy with (...) the tools of classical logic shall be debunked. A paraconsistent alternative will be discussed but eventually dismissed. As a rejoinder, I shall propose a model for the catuṣkoṭi with the help of speech-acts. The remainder of this chapter will look at Chinese and Japanese forms of the catuṣkoṭi which I shall model in a quasi-recursive system. The third and final chapter will look at the Kyoto School's soku-hi dialectics which ties together the different threads of this essay. I will criticise an established, classical model of the soku-hi dialectics and offer an alternative with a second-order paraconsistent semantics. (shrink)

The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s and Graham Priest’s interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's framework of First Degree Entailment. Cotnoir has argued (...) that the lattices of Priest and Garfield cannot ground the logic of the catuskoti. The concern is simple: on the one hand, FDE brings with it the failure of classical principles such as modus ponens. On the other hand, we frequently encounter Nāgārjuna using classical principles in other arguments in the MMK. There is a problem of validity. If FDE is Nāgārjuna’s logic of choice, he is facing what is commonly called the classical recapture problem: how to make sense of cases where classical principles like modus pones are valid? One cannot just add principles like modus pones as assumptions, because in the background paraconsistent logic this does not rule out their negations. In this essay, I shall explore and critically evaluate Cotnoir’s proposal. In detail, I shall reveal that his framework suffers collapse of the kotis. Taking Cotnoir’s concerns seriously, I shall suggest a formulation of the catuskoti in classical Boolean Algebra, extended by the notion of an external negation as an illocutionary act. I will focus on purely formal considerations, leaving doctrinal matters to the scholarly discourse – as far as this is possible. (shrink)

In this article, we consider variations of Nuel Belnap’s ‘artificial reasoner’. In particular, we examine cases in which the artificial reasoner is faulty, e.g. situations in which the reasoner is unable to calculate the value of a formula due to an inability to retrieve the values of its atoms. In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham (...) Priest’s first-degree entailment with an ‘emptiness’ value and Richard Angell’s analytic containment, making computational interpretations of these systems possible. The Belnap-type semantics for AC bring FDE φ and AC in line with other containment logics in their neighborhood. The second half of the article examines formal questions, such as whether AC admits an analysis along the lines of that given to the related system of William Parry’s system of analytic implication, as suggested by Kurt Gödel and confirmed by Kit Fine. Furthermore, a natural means of extending these systems to languages with an intensional implication connective is investigated. (shrink)

The first degree entailment (FDE) family is a group of logics, a many-valued semantics for each system of which is obtained from classical logic by adding to the classical truth-values 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 many-valued semantics lack indeterminate to (...) star semantics for logics whose many-valued semantics include indeterminate. The equivalence of the many-valued semantics and star semantics is established by way of a soundness and completeness proof. The upshot of the novel semantics in terms of the applied semantics of these logics, and specifically infectiousness, is explored, settling on the idea that infectiousness concerns ineffability. (shrink)

Names name, but there are no individuals who are named by names. This is the key to an elegant and ideologically parsimonious strategy for analyzing the Buddhist catuṣkoṭi. The strategy is ideologically parsimonious, because it appeals to no analytic resources beyond those of standard predicate logic. The strategy is elegant, because it is, in effect, an application of Bertrand Russell's theory of definite descriptions to Buddhist contexts. The strategy imposes some minor adjustments upon Russell's theory. Attention to familiar catuṣkoṭi from (...) Vacchagotta and Nagarjuna as well as more obscure catuṣkoṭi from Khema, Zhi Yi, and Fa Zang motivates the adjustments. The result is a principled structural distinction between affirmative and negative catuṣkoṭi, as well as analyses for each that compare favorably to more recent efforts from Tillemans, Westerhoff, and Priest. (shrink)

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