This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value. We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

Semantic justifications of the classical rules of logical inference typically make use of a notion of bivalent truth, understood as a property guaranteed to attach to a sentence or its negation regardless of the prospects for speakers to determine it as so doing. For want of a convincing alternative account of classical logic, some philosophers suspicious of such recognition-transcending bivalence have seen no choice but to declare classical deduction unwarranted and settle for a weaker system; intuitionistic logic (...) in particular, buttressed by assertion-conditional semantics, is often considered to enjoy a degree of meaning-theoretical respectability unattainable by classical logic.The decision to forgo the classical inference rules is not always made lightly. Thus, Dummett: " In the resolution of the conflict between [the view that generally accepted classical modes of inference ought to be theoretically accommodated, and the demand that any such accommodation be achieved without recourse to bivalence] lies, as I see it, one of the most fundamental and intractable problems in the theory of meaning; indeed, in all philosophy. "The present article ventures to suggest that the conflict need not be irresoluble. Helping ourselves only to such conceptual resources as are standardly invoked by proponents of intuitionistic logic, we shall formulate a rudimentary meaning theory for a selection of logical constants, define a relation of valid inferability, and prove that the latter includes all of classical first-order logic. The result is essentially that reported in Sandqvist as Theorem 2.20.2. TheoryWe will be considering a standard-syntax first-order language with ⊃, ⊥ and ∀ as its only primitive logical constants. We assume countable supplies of individual constants, individual functors , and predicates , as well as a denumerably infinite set of individual variables. By a basic 1 formula we will mean one that …[Full Text of this Article]. (shrink)

In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency. We also show that these modalities can be used as recovery operators.

Putative resolutions of the sorites paradox in which the major premise is declared false or illegitimate, Including max black's treatment in terms of the alleged illegitimacy of vague attributions to borderline cases, Are rejected on semantical grounds. The resort to a non-Bivalent logic of representational "accuracy" with a continuum of accuracy values is shown to resolve the paradox, And the identification of accuracy values as truth values is defended as compatible with the central insight of the correspondence theory (...) of truth and with the practical legitimacy of most applications of ordinary, Bivalent logic to statements involving vague predicates. (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)

This paper outlines an approach to the principle of bivalence based on very general, but still elementary, semantic considerations. The principle of bivalence states that “every sentence is either true or false”. Clearly, some logics are bivalent while others are not. A more general formulation of uses the concept of designated and non-designated logical values and is captured by “every sentence is either designated or non-designated”. Yet this formulation seems trivial, because the concept of non-designated value is negative. In (...) order to refine the analysis, the class of anti-designated values has been distinguished. The non-trivial version of the principle of bivalence is expressed by “every sentence is either designated or anti-designated”. The last part of the paper mentions some extralogical reasons for considering the principle of bivalence with truth being a designated value as intimately connected to human thinking and behavior. (shrink)

My purpose in this paper is to argue that the classical notion of entailment is not suitable for non-bivalent logics, to propose an appropriate alternative and to suggest a generalized entailment notion suitable to bivalent and non-bivalent logics alike. In classical two valued logic, one can not infer a false statement from one that is not false, any more than one can infer from a true statement a statement that is not true. In classical logic (...) in fact preserving truth and preserving non-falsity are one and the same thing. They are not the same in non-bivalent logics however and I will argue that the classical notion of entailment that preserves only truth is not strong enough for such a logic. I will show that if we retain the classical notion of entailment in a logic that has three values, true, false and a third value in between, an inconsistency can be derived that can be resolved only by measures that seriously disable the logic. I will show this for a logic designed to allow for semantic presuppositions, then I will show that we get the same result in any three valued logic with the same value ordering. I will finally suggest how the notion of entailment should be generalized so that this problem may be avoided. The strengthened notion of entailment I am proposing is a conservative extension of the classical notion that preserves not only truth but the order of all values in a logic, so that the value of an entailed statement must alway be at least as great as the value of the sequence of statements entailing it. A notion of entailment this strong or stronger will, I believe, be found to be applicable to non-classical logics generally. In the opinion of Dana Scott, no really workable three valued logic has yet been developed. It is hard to disagree with this. A workable three valued logic however could perhaps be developed however, if we had a notion of entailment suitable to non-bivalent logics. (shrink)

In this paper we aim to disentangle the thesis that the future is open from theses that often get associated or even conflated with it. In particular, we argue that the open future thesis is compatible with both the unrestricted principle of bivalence and determinism with respect to the laws of nature. We also argue that whether or not the future (and indeed the past) is open has no consequences as to the existence of (past and) future ontology.

Regarding the famous Sea Battle Argument, which Aristotle presents in De Interpretatione 9, there has never been a general agreement not only about its correctness but also, and mainly, about what the argument really is. According to the most natural reading of the chapter, the argument appeals to a temporal concept of truth and concludes that not every statement is always either true or false. However, many of Aristotle’s followers and commentators have not adopted this reading. I believe that it (...) has faced so much resistance for reasons of hermeneutic charity: denying the law of universal bivalence seems to be overly disruptive to logical orthodoxy – the kind of logical orthodoxy represented by what we now call classical propositional logic, much of which Aristotle clearly supports in many texts. I intend to show that the logical-semantic theses that the traditional reading finds in De Interpretatione 9 are much more conservative than they may seem to be at first glance. First, I will show that they complement, and do not contradict in any way, the orthodox definitions of the concepts of truth and statement that Aristotle advances in other texts. Second, by resorting in an anachronistic vein to concepts and methods peculiar to contemporary logic, I will show that a trivalent modal semantics conforming to those theses can be built for a standard formal language of the classical propositional calculus. It is remarkable that reasonable concepts of logical truth and logical consequence that may be defined on the basis of this trivalent modal semantics are coextensive with their orthodox counterparts, the concepts of tautology and tautological consequence of classical bivalent and extensional semantics. (shrink)

Non-bivalent languages (languages containing sentences that can be true, false or neither) are given a probabilitistic interpretation in terms of betting quotients. Necessary and sufficient conditions for avoiding Dutch books—the laws of non-bivalent probability—in such a setting are provided.

In this paper, I present a formal reconstruction of the classical argument for fatalism set forth by Aristotle in On Interpretation 9. From there, I expose two different formal solutions for avoiding the unwanted conclusion based on the traditional interpretation of Aristotle’s rejection of the Principle of Bivalence: On the one hand, Łukasiewicz's three-valued logic and, on the other hand, supervaluation semantics. I also address some criticisms made against these two proposals. To finish, I remark on some alternative interpretations (...) of Aristotle’s intentions maintaining that the Stagirite philosopher rejected fatalism without abandoning the Principle of Bivalence. (shrink)

Timothy Williamson, in various places, has put forward an argument that is supposed to show that denying bivalence is absurd. This paper is an examination of the logical force of this argument, which is found wanting.

In several of his philosophical works, Cicero gives reports of the Epicurean views on bivalence and the excluded middle that are not always consistent. I attempt to establish a coherent account that fits the texts as well as possible and can reasonably be attributed to the Epicureans. I argue that they distinguish between a semantic and a syntactic version of the law of the excluded middle, and that whilst they reject bivalence and the semantic law for fear of certain fatalistic (...) consequences, they endorse the syntactic law. Subsequently, I show that certain principles that they seem to endorse in the context of Cicero’s discussion of Chrysippus’ argument for fate, when modified by the addition of the atomic swerve, suggest that the Epicureans have in mind something like a supervaluationist model of truth at times, which has the desired results with respect to the three logical principles. (shrink)

Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, (...) I argue that, when we make claims about those notations, we inevitably get saddled with bivalent commitments. I present several simple inferences to show this. The argument that results from those examples is ‘pragmatic’, because the inevitability of the principle is revealed in use (not mention); and it is ‘semiotic’, because this revelation happens in the use of signs. (shrink)

Classical logic rests on the assumption that there are two mutually exclusive and jointly exhaustive truth values. This assumption has always been surrounded by philosophical controversy. Doubts have been raised about its legitimacy, and hence about the legitimacy of classical logic. Usually, the assumption is stated in the form of a general principle, namely the principle that every proposition is either true or false. Then, the philosophical controversy is often framed in terms of the question whether every proposition (...) is either true or false. The main purpose of the paper is to show that there is something wrong in this way of putting things. The point is that the common way of understanding the controversial assumption is misconceived, as it rests on a wrong picture of propositions. In the first part of the paper I outline this picture and I argue against it. In the second part I sketch a different picture of propositions and I suggest how this leads to conceive the issue of classical logic in different terms. (shrink)

pThis article seeks to demonstrate how a dialogue between literary theorist and psychoanalyst François Flahault and Kyoto School philosopher Nishida Kitarō can be mutually beneficial in the service of building an account of good and evil that contributes to discourses in ethics. Although Flahault and Nishida share a similar commitment to disrupt the dichotomy between good and evil in the effort to liberate subjectivity, they diverge in terms of how their accounts relate subjectivity to the processes of social history. As (...) this article will discuss, the significance of their divergence, however, elucidates the strengths and limits of their approaches to the victim-victimizer duality that is implied within the problem of good and evil. Such a divergence also points to a potential space of synthesis and mutual enrichment as well: namely, on the side of championing Nishida’s contradictory logic and Flahault’s emphasis on the contextual demands and problems of social history. That is to say, within the dialogical encounter between Flahault and Nishida, as the present article suggests, is the potentiality to develop a universal conception of the common good that is contradictorily linked to the subjective interior where such provides a critical resource for a deeper engagement with the victim-victimizer duality./p. (shrink)

A view often expressed is that to classify the liar sentence as neither true nor false is satisfactory for the simple liar but not for the strengthened liar. I argue that in fact it is equally unsatisfactory for both liars. I go on to discuss whether, nevertheless, Kripke''s theory of truth represents an advance on that of Tarski.

The classical response to Zeno’s paradoxes goes like this: ‘Motion cannot properly be defined within an instant. Only over a period’ (Vlastos.) I show that this ob-jection is exactly what it takes for Zeno to be right. If motion cannot be defined at an instant, even though the object is always moving at that instant, motion cannot be defined at all, for any longer period of time identical in content to that instant. The nonclassical response introduces discontinuity, to evade the (...) paradox of infinite proximity of any point of a distance with any ‘next’. But it introduces the wrong sort of discontinuity because, rather than assuming the discontinuity of motion, as Quantum Theory does, it assumes the discontinuity of space. Due then to the resulting spacetime disorder, though all else is certainly lost, the Tortoise now turns up at least as fast as Achilles and hence not even this much is rescued. Zeno rejects motion because he shows that a moving object must be where it is not. Hence motion, if to occur, must violate the Law of Contradiction (LNC). Applying the concept of quantum discontinuity, I produce an alternative. If an object is to move discontinuously between two boundary points, A and B, what actually obtains is, rather, that it is nowhere at all in-between A and B. And cannot therefore be at two places in-between A and B. And cannot therefore be where it is not. Thus, LNC is conserved. However, in these conditions, the Law of the Excluded Middle (LEM) fails. To mitigate the undesirability of this effect, I show that LEM fails because LNC holds. Thus, the resulting nonbivalent logic, which is also appropriate for quantized transitions of all kinds, will always turn up nonbivalent, because consistent. And this is not too bad, considering. (shrink)

This is the first publication on complete and stand alone arithmetization of bivalent logic.

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical (Boolean) foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated (...) in this paper have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims at providing an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic has fewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic ${\rm PPC}_{3}$ , with two kinds of falsity and two negations. It introduces the notion of Σ-space for a sentence A (or / A /, the set of situations in which A is true) as the basis of logical model theory, and the notion of / ${\bf P}^{A}$ / (the Σ-space of the presuppositions of A), functioning as a 'private' subuniverse for / A /. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. ${\rm PPC}_{3}$ and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of ${\rm PPC}_{3}$ as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: $1_{a}$ for the conjoined presuppositions of a, ã for the complement of a within $1_{a}$ , and â for the complement of $1_{a}$ within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

Predicates are supposed to slice reality neatly in two halves, one for which the predicate holds, the other for which it fails. Yet far from being razors, predicates tend to be dull knives that mangle reality. If reality is a tomato and predicates are knives, then when these knives divide the tomato, plenty of mush remains unaccounted for. Of course some knives are sharper than others, just as some predicates are less vague than others. “x is water” is certainly sharper (...) than “x is beautiful.” But perfect sharpness, perfect boundaries, and perfect separation seem only to obtain in mathematics. The vagueness inherent in many predicates became particularly evident in the twentieth century. Quantum mechanics, the revival of certain ancient paradoxes, and the philosophy of science all contributed to a growing awareness that vagueness was ineliminable from many predicates. Quantum mechanical superposition seems to allow mutually exclusive simultaneous states. In searching for plausible interpretations of quantum mechanics, some researchers attempted to do away with classical bivalent logic. In its place they substituted multivalent quantum logics. Any logic with more than two values forces its predicates to slice reality into more than two parts. Ancient paradoxes involving heaps and baldness also pointed up the 1 Random Predicate Logic 2.. (shrink)

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...) objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising (...) in Łm4. (shrink)

The claim that is examined in this chapter is that, as is bivalent logic, trivalent logic occupies a place in the field of logic. A trivalent logic is a three-value logical system, and a bivalent logic is a two-value logical system. As part of advancing this claim, the chapter uses the examples of trivalent logic in Charles Sanders Peirce’s thought, the trivalent logic of Janus, the Aymará trivalent logical system, and African (...) trivalent logic. Using the example of ancestorhood, where characteristically an ancestor, as a living dead, is both a spiritual and physical entity or is considered neither a spiritual nor physical being, the overarching view or thesis that is defended and advanced is that African trivalent logic mirrors a trivalent African metaphysics or ontology. (shrink)

It is part of the current wisdom that the Liar and similar semantic paradoxes can be taken care of by the use of certain non-classical multivalued logics. In this paper I want to suggest that bivalent logic can do just as well. This is accomplished by using a non-deterministic matrix to define the negation connective. I show that the systems obtained in this way support a transparent truth predicate. The paper also contains some remarks on the conceptual interest (...) of such systems. (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in (...) this paper have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims atproviding an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic hasfewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic PPC3, with two kinds of falsity and two negations. It introduces the notion of -space for a sentence A as the basis of logical model theory, and the notion of P A /, functioning as a `private' subuniverse for A/A. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. PPC3 and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of PPC3 as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: 1a for the conjoined presuppositions of a, ã for the complement of a within 1a, and â for the complement of 1a within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

The need for a ‘many-valued logic’ in linguistics has been evident since the 1970s, but there was lack of clarity as to whether it should come from the family of fuzzy logics or from the family of probabilistic logics. In this regard, Fine [14] and Kamp [26] pointed out undesirable effects of fuzzy logic (the failure of idempotency and coherence) which kept two generations of linguists and philosophers at arm’s length. (Another unwanted feature of fuzzy logic is (...) the property of truth functionality.) While probabilistic logic is not fraught by the same problems, its lack of constructiveness, i.e. its inability to compose complex truth degrees from atomic truth degrees, did not make it more attractive to linguists either. In the absence of a clear perspective in ‘many-valued logic’, scholars chose to proliferate ontologies grafted atop the classical bivalent logic: ontologies for truth, individuals, events, situations, possible worlds and degrees. The result has been a collection of incompatible classical logics. In this paper, I present sample logic, in particular its semantics (not its axiomatization). Sample logics is a member of the family of probabilistic logics, which is constructive without being truth functional. More specifically, I integrate all the important linguistic data on which the classical logics are predicated. The concepts of (in)dependency and conditional (in)dependency are the cornerstones of sample logic. (shrink)

Propositional logic -- Propositions and arguments -- Connectives and argument forms -- Truth tables -- Trees -- Vagueness and bivalence -- Conditionality -- Natural deduction -- Predicate logic -- Predicates, names, and quantifiers -- Models for predicate logic -- Trees for predicate logic -- Identity and functions -- Definite descriptions -- Some things do not exist -- What is a predicate? -- What is logic?

In this essay I set out to place Derrida's work – especially his earlier books and essays – in the context of related or contrasting developments in analytic philosophy of science over the past half-century. Along the way I challenge the various misconceptions that have grown up around that work, not only amongst its routine detractors in the analytic camp but also amongst some of its less philosophically informed disciples. In particular I focus on the interlinked issues of realism versus (...) anti-realism and the scope and limits of classical logic, both of which receive a detailed, rigorous and sustained treatment in his deconstructive readings of Husserl, Austin and others. Contrary to Derrida's reputation as a exponent of anti-realism in its far-gone ‘textualist’ form and as one who merely plays perverse though ingenious games with logic I show that those readings presuppose both a basically realist conception of their subject-matter and a strong commitment to the protocols of bivalent logic. These he applies with the utmost care and precision right up to the point – unreachable except by way of that procedure – where they encounter certain problems or anomalies that cannot be resolved except by switching to a different logic. Philosophy of science in the analytic mainstream might benefit greatly from a closer acquaintance with Derrida's thinking on these topics, as it might from a knowledge of his likewise rigorous thinking-through of the antinomy between structure and genesis as it bears upon issues in the history of scientific thought. (shrink)

An account of the logic of bivalent languages with truth-value gaps is given. This account is keyed to the use of tables introduced by S. C. Kleene. The account has two guiding ideas. First, that the bivalence property insures that the language satisfies classical logic. Second, that the general concepts of a valid sentence and an inconsistent sentence are, respectively, as sentences which are not false in any model and sentences which are not true in any model. (...) What recommends this approach is (1) its relative simplicity, and (2) the fact that it leaves the fundamental features of classical logic intact. (shrink)

This article tries to present a possible way of proliferating bivalent, trivalent, etc. calculation. Beyond the controversies as to the effects that involve the presence versus the absence of the temporal factor, no significant attempts of adapting a bivalent logic to other pairs of values have been mentioned. Should the transformation of the alethiologic modalities into logic values be possible, five more bivalent calculations may be added to the classic bivalent calculation. All these new (...) calculations are compatible with the traditional one, to the extent that they submit to the conditions of non-contradictoriness and exhaustibility, and the connectors receive, even if partially, the corresponding value interpretations. (shrink)

Łukasiewicz presented two different analyses of modal notions by means of many-valued logics: the linearly ordered systems Ł3,..., Open image in new window,..., \; the 4-valued logic Ł he defined in the last years of his career. Unfortunately, all these systems contain “Łukasiewicz type paradoxes”. On the other hand, Brady’s 4-valued logic BN4 is the basic 4-valued bilattice logic. The aim of this paper is to show that BN4 can be strengthened with modal operators following Łukasiewicz’s strategy (...) for defining truth-functional modal logics. The systems we define lack “Łukasiewicz type paradoxes”. Following Brady, we endow them with Belnap–Dunn type bivalent semantics. (shrink)

Roman Suszko said that “Obviously, any multiplication of logical values is a mad idea and, in fact, Łukasiewicz did not actualize it.” The aim of the present paper is to qualify this ‘obvious’ statement through a number of logical and philosophical writings by Professor Jan Woleński, all focusing on the nature of truth-values and their multiple uses in philosophy. It results in a reconstruction of such an abstract object, doing justice to what Suszko held a ‘mad’ project within a generalized (...) logic of judgments. Four main issues raised by Woleński will be considered to test the insightfulness of such generalized truth-values, namely: the principle of bivalence, the logic of scepticism, the coherence theory of truth, and nothingness. (shrink)

Classical logic has been attacked by adherents of rival, anti-realist logical systems: Ian Rumfitt comes to its defence. He considers the nature of logic, and how to arbitrate between different logics. He argues that classical logic may dispense with the principle of bivalence, and may thus be liberated from the dead hand of classical semantics.

This chapter presents probability logic as a rationality framework for human reasoning under uncertainty. Selected formal-normative aspects of probability logic are discussed in the light of experimental evidence. Specifically, probability logic is characterized as a generalization of bivalent truth-functional propositional logic (short “logic”), as being connexive, and as being nonmonotonic. The chapter discusses selected argument forms and associated uncertainty propagation rules. Throughout the chapter, the descriptive validity of probability logic is compared to (...) class='Hi'>logic, which was used as the gold standard of reference for assessing the rationality of human reasoning in the 20th century. (shrink)

The logics BN4 and E4 can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively. The logic BN4 was developed by Brady in 1982 and the logic E4 by Robles and Méndez in 2016. The aim of this paper is to investigate the implicative variants (of both systems) which contain Routley and Meyer’s logic B and endow them with a Belnap-Dunn type bivalent semantics.

Semantic Loops - Semiotics - Logic as Calculus - Logic as Universal - Syntax Semantics - Truth - Naturalism and the Genesis of Logic - Theology - Bivalence - Proof - Constructivism - Metamathematics - Truth-Makers - Logical Determinism - Semantic Theory of Truth - Paradoxes.

The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with (...) more than two values? Because, we argue, one has to decide how to deal with bivalence and settle down the tradeoff between logical 2-valuedness and truth-functionality, from a pragmatical standpoint. -/- This paper will illustrate the ups and downs of a two-valued reduction of logic. Suszko’s reductive result is quite non-constructive.We will exhibit here a way of effectively constructing the two-valued semantics of any logic that has a truth-functional finite-valued semantics and a sufficiently expressive language. From there, as we will indicate, one can easily go on to provide those logics with adequate canonical systems of sequents or tableaux. The algorithmic methods developed here can be generalized so as to apply to many non-finitely valued logics as well —or at least to those that admit of computable quasi tabular two-valued semantics, the so-called dyadic semantics. (shrink)

The term "fuzzy logic," as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most fundamental principle of classical logic---the principle of bivalence. According to this principle, each declarative sentence is required to be either true or false. In fuzzy logic, these classical truth values are not abandoned. However, additional, intermediate truth values between true and false are allowed, which are interpreted as degrees of truth. (...) This opens a new way of thinking---thinking in terms of degrees rather than absolutes. For example, it leads to the definition of a new kind of sets, referred to as fuzzy sets, in which membership is a matter of degree. The book examines the genesis and development of fuzzy logic. It surveys the prehistory of fuzzy logic and inspects circumstances that eventually lead to the emergence of fuzzy logic. The book explores in detail the development of propositional, predicate, and other calculi that admit degrees of truth, which are known as fuzzy logic in the narrow sense. Fuzzy logic in the broad sense, whose primary aim is to utilize degrees of truth for emulating common-sense human reasoning in natural language, is scrutinized as well. The book also examines principles for developing mathematics based on fuzzy logic and provides overviews of areas in which this has been done most effectively. It also presents a detailed survey of established and prospective applications of fuzzy logic in various areas of human affairs, and provides an assessment of the significance of fuzzy logic as a new paradigm. (shrink)

This paper deals with predicate logics involving two truth values (here referred to as bivalent logics). Sequent calculi for these logics rely on a general notion of sequent that helps to make the principles of excluded middle and non-contradiction explicit. Several formulations of the redundancy of cut are possible in these sequent calculi. Indeed, four different forms of cut can be distinguished. I prove that only two of them hold for positive sequent calculus (which is both paraconsistent and paracomplete) (...) while all of them hold for classical sequent calculus. As for complete and consistent sequent calculi (which are respectively paraconsistent and paracomplete), I prove that they only admit one form of cut in addition to the two that hold for positive sequent calculus. (shrink)