This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides logicians, computer scientists, philosophers, and mathematicians with a valuable (...) survey of the subject. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory (...) to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while (...) his q-logics were generated by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

A many-valued (aka multiple- or multi-valued) semantics, in the strict sense, is one which employs more than two truth values; in the loose sense it is one which countenances more than two truth statuses. So if, for example, we say that there are only two truth values—True and False—but allow that as well as possessing the value True and possessing the value False, propositions may also have a third truth status—possessing neither truth value—then we have a many-valued semantics in the (...) loose but not the strict sense. A many-valued logic is one which arises from a many-valued semantics and does not also arise from any two-valued semantics [Malinowski, 1993, 30]. By a ‘logic’ here we mean either a set of tautologies, or a consequence relation. We can best explain these ideas by considering the case of classical propositional logic. The language contains the usual basic symbols (propositional constants p, q, r, . . .; connectives ¬, ∧, ∨, →, ↔; and parentheses) and well-formed formulas are defined in the standard way. With the language thus specified—as a set of well-formed formulas—its semantics is then given in three parts. (i) A model of a logical language consists in a free assignment of semantic values to basic items of the non-logical vocabulary. Here the basic items of the non-logical vocabulary are the propositional constants. The appropriate kind of semantic value for a proposition is a truth value, and so a model of the language consists in a free assignment of truth values to basic propositions. Two truth values are countenanced: 1 (representing truth) and 0 (representing falsity). (ii) Rules are presented which determine a truth value for every proposition of the language, given a model. The most common way of presenting these rules is via truth tables (Figure 1). Another way of stating such rules—which will be useful below—is first to introduce functions on the truth values themselves: a unary function ¬ and four binary functions ∧, ∨, → and ↔ (Figure 2).. (shrink)

The most natural and straightforward step beyond two‐valued logic is to introduce more logical values, thereby rejecting the principle of bivalence. Another, indirect, way consists in challenging the classical laws concerning the sentence connectives and introducing other non‐two‐valued connectives into the language. Either way, prepositional logic seems fundamental to many‐valuedness, rather than its first‐order extension. Hence, although there has been interesting research into first‐order many‐valued logics, we shall confine our discussion here to the 0‐order case.

In many-valued logics with the unit interval as the set of truth values, from the standard negation and the product (or, more generally, from any strict Frank t-norm) all measurable logical functions can be derived, provided that also operations with countable arity are allowed. The question remained open whether there are other t-norms with this property or whether all strict t-norms possess this property. We give a full solution to this problem (in the case of strict t-norms), together with (...) convenient sufficient conditions. We list several families of strict t-norms having this property and provide also counterexamples (the Hamacher product is one of them). Finally, we discuss the consequences of these results for the characterization of tribes based on strict t-norms. (shrink)

The roots of the Lvov-Warsaw School can be traced back to Aristotle himself. But in later times we better put them into thinking GW Leibniz and who somehow inherited many of these ways of thinking, such as the philosopher and mathematician Bernhard Bolzano. Since he would pass the key figure of Franz Brentano, who had as one of his disciples to Kazimierz Twardowski, which starts with the brilliant Polish school of mathematics and philosophy dealt with. Among them, one of the (...) most interesting thinkers must be Jan Lukasiewicz, the father of many-valued logic.Jan Łukasiewicz began teaching at the University of Lvov, and then at Warsaw, but after World War II must to continue in Dublin. Some questions may be very astonishing in the CV of Łukasiewicz. For instance, that a firstly Polish Minister of Education in Paderewski cabinet, into the new Polish Republic, and also Rector for two times at Warsaw University, was awarded with a Doctorate ‘Honoris Causa’ in spring 1936, at University of Münster, into the maximum of effervescency of Nazism in Germany. The explanation must be their good relation with a very good friend, the former theologian, and then logician, Heinrich Schölz, who was the first Chairman of Mathematical Logic in German universities.Łukasiewicz firstly studied Law, and then Mathematics and Philosophy in Lvov. His doctoral supervisor was Kazimierz Twardowski, and in 1902 he obtain his Ph. D. title with a very special mention: ‘sub auspiciis Imperatoris’. Also he received a doctorate ring with diamonds from the Kaiser of the Austro-Hungarian Empire, Franz Joseph I.From 1902, Łukasiewicz was employed as a private teacher, and also as a desk in the Universitary Library of Lvov. So it was until 1904 when he obtained a scholarship to study abroad. He defends his ‘Habilitationschrift’ in 1906, entitled “Analysis and construction of the concept of cause”. This permits to give university courses. His first lectures were on the Algebra of Logic, according to the recent translation to Polish of this book of the French logician Louis Couturat.Between 1902 and 1906, Lukasiewicz continued his studies in the universities of Berlin and Leuwen. In 1906, by his ‘Habilitationschrift’, he obtain the qualification as university professor at Lvov. And the, in 1911, he was appointed as associate professor in his ‘alma mater’.Jan Łukasiewicz was also very active in historical research on logic, giving a new and up-to-date interpretation of Aristotle’s syllogism and of the Stoics’ propositional calculus. According to Scholz, the better pages on history of logic are due to him. And also, as Arianna Betti says, “Jan Lukasiewicz is first and foremost associated with the rejection of the Principle of Bivalence and the discovery of Many-Valued Logic.”The discovery of MVL by Lukasiewicz was in 1918, a little earlier than Emil Leon Post. According to Jan Wolenski, “although Post’s remarks were parenthetical and extremely condensed, Lukasiewicz explained his intuitions and motivations carefully and at length. He was guided by considerations about future contingents and the concept of possibility”. So, he introduces, firstly, three-valued logic, then four-valued logic, generalized to logics with an arbitrary finite number of veritative values, and finally, to logics with a countably infinite-valued number of such values.Very noteworthy is his treatment of the history of logic in the light of the new formal logic. Thus, not only he addressed the issue of future contingents departing from Aristotle, but also put in value logic of the Stoics, at least so far taken. In fact, Heinrich Scholz said, rightly, that Lukasiewicz had written the most lucid pages on the history of logic. (shrink)

This paper deals with Kripke-style semantics for many-valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid. We show that in the propositional case most logics are complete but not strongly complete with respect to the corresponding class of complete Kripke frames, whereas in the predicate case there (...) are important many-valued logics like BL, Ł and Π, which are not even complete with respect to the class of all predicate Kripke frames in which they are valid. Thus although very natural, Kripke semantics seems to be slightly less powerful than algebraic semantics. (shrink)

Some find it plausible that a sufficiently long duration of torture is worse than any duration of mild headaches. Similarly, it has been claimed that a million humans living great lives is better than any number of worm-like creatures feeling a few seconds of pleasure each. Some have related bad things to good things along the same lines. For example, one may hold that a future in which a sufficient number of beings experience a lifetime of torture is bad, regardless (...) of what else that future contains, while minor bad things, such as slight unpleasantness, can always be counterbalanced by enough good things. Among the most common objections to such ideas are sequence arguments. But sequence arguments are usually formulated in classical logic. One might therefore wonder if they work if we instead adopt many-valued logic. I show that, in a common many-valued logical framework, the answer depends on which versions of transitivity are used as premises. We get valid sequence arguments if we grant any of several strong forms of transitivity of 'is at least as bad as' and a notion of completeness. Other, weaker forms of transitivity lead to invalid sequence arguments. The plausibility of the premises is largely set aside here, but I tentatively note that almost all of the forms of transitivity that lead to valid sequence arguments seem intuitively problematic. Still, a few moderately strong forms of transitivity that might be acceptable lead to valid sequence arguments, although weaker statements of the initial value claims avoid these arguments at least to some extent. (shrink)

In the monograph [1] of Chang and Keisler, a considerable extent of model theory of the first order continuous logic is ingeniously developed without using any notion of provability.In this paper we shall define the notion of provability in continuous logic as well as the notion of matrix, which is a natural extension of one in finite-valued logic in [2], and develop the syntax and semantics of it mostly along the line in the preceding paper [2]. Fundamental theorems of model (...) theory in continuous logic, which have been proved with purely model-theoretic proofs in [1], will be proved with proofs which are natural extensions of those in two-valued logic. (shrink)

This chapter contains sections titled: When is a Logic Many‐Valued? Roots, Motivations, and Early History Łukasiewicz Three‐Valuedness Post Logics Łukasiewicz Logics Kleene and Bochvar Logics Towards a General Framework On Quantification Interpretation and Justification Applications.

Jewish short stories are explained from the viewpoint of many-valued logic. On the basis of some examples, we show, how their contents may be logically interpreted.

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...) possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization. (shrink)

In Hájek et al. (J Symb Logic 65(2):669–682, 2000) the authors introduce the concept of supersound logic, proving that first-order Gödel logic enjoys this property, whilst first-order Łukasiewicz and product logics do not; in Hájek and Shepherdson (Ann Pure Appl Logic 109(1–2):65–69, 2001) this result is improved showing that, among the logics given by continuous t-norms, Gödel logic is the only one that is supersound. In this paper we will generalize the previous results. Two conditions will be presented: (...) the first one implies the supersoundness and the second one non-supersoundness. To develop these results we will use, between the other machineries, the techniques of completions of MTL-chains developed in Labuschagne and van Alten (Proceedings of the ninth international conference on intelligent technologies, 2008) and van Alten (2009). We list some of the main results. The first-order versions of MTL, SMTL, IMTL, WNM, NM, RDP are supersound; the first-order version of an axiomatic extension of BL is supersound if and only it is n-potent (i.e. it proves the formula ${\varphi^{n}\,\to\,\varphi^{n\,{+}\,1}}$ for some ${n\,\in\,\mathbb{N}^+}$ ). Concerning the negative results, we have that the first-order versions of ΠMTL, WCMTL and of each non-n-potent axiomatic extension of BL are not supersound. (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.

There have been, I am afraid, almost as many answers to the question what is logic? as there have been logicians. However, if logic is not to be an obscure "science of everything", we must assume that the majority of the various answers share a common core which does offer a reasonable delimitation of the subject matter of logic. To probe this core, let us start from the answer given by Gottlob Frege (1918/9), the person probably most responsible for modern (...) logic: the subject matter of logic is "truth", and especially its "laws"1. How should we understand the concept of "laws of truth"? The underlying point clearly is that the truth/falsity of our statements is partly a contingent and partly a necessary, lawful matter: that "Paris is in France" is true is a contingent matter, whereas that "Paris is in France or it is not in France" is true is a necessary matter (let us, for the time being, leave aside the Quinean scruples regarding the delimitation of necessarily true statements). Logic,then, should focus on the statements that are true as a matter of law (i.e. necessarily), or, more generally, the truth of which "lawfully depends" on some other statements (i.e. which are true as a matter of law provided these other statements are true). This renders Fregean laws of truth as, in general, a matter of "lawful truth-dependence" - i.e. of entailment or inference (again, let us now disregard any possible difference between these two concepts). This yields a conception of logic as a theory of entailment or inference, a conception which looms behind many other specifications of the subject matter of logic and which, I think, is ultimately correct. However, we can also see the logician – and this is the view we will stick to here – as trying to separate true sentences from false ones; or, equivalently, to map sentences onto truth and falsity. Let us first consider the case of a non-empirical language with a single, definite truth valuation – like the language of Peano arithmetic.. (shrink)

This paper collects and presents unpublished notes of Kurt Gödel concerning the field of many-valued logic. In order to get a picture as complete as possible, both formal and philosophical notes, transcribed from the Gabelsberger shorthand system, are included.

We present a number of equivalent calculi for many-valued logics and prove soundness and strong completeness theorems. The calculi are obtained from the truth tables of the logic under consideration in a straightforward manner and there is a natural duality among these calculi. We also prove the cut elimination theorems for the sequent-like systems.

Originally published in 1967. An introduction to the literature of nonstandard logic, in particular to those nonstandard logics known as many-valued logics. Part I expounds and discusses implicational calculi, modal logics and many-valued logics and their associated calculi. Part II considers the detailed development of various many-valued calculi, and some of the important metathereoms which have been proved for them. Applications of the calculi to problems in the philosophy are also surveyed. This work combines criticism with (...) exposition to form a comprehensive but concise survey of the field. (shrink)

Originally published in 1967. An introduction to the literature of nonstandard logic, in particular to those nonstandard logics known as many-valued logics. Part I expounds and discusses implicational calculi, modal logics and many-valued logics and their associated calculi. Part II considers the detailed development of various many-valued calculi, and some of the important metathereoms which have been proved for them. Applications of the calculi to problems in the philosophy are also surveyed. This work combines criticism with (...) exposition to form a comprehensive but concise survey of the field. (shrink)

In 1979, H. Lewis shows that the computational complexity of the Boolean satisfiability problem dichotomizes, depending on the Boolean operations available to formulate instances: intractable (NP-complete) if negation of implication is definable, and tractable (in P) otherwise [21]. Recently, an investigation in the same spirit has been extended to nonclassical propositional logics, modal logics in particular [2, 3]. In this note, we pursue this line in the realm of many-valued propositional logics, and obtain complexity classifications for the (...) parameterized satisfiability problem of two pertinent samples, Kleene and Gödel logics. (shrink)

Various interrelationships between two-valued and many-valued logics are examined in . In the present article we propose to discuss questions bearing on these interrelations which have either not been clearly identified as philosophical in that book, were not given sufficiently detailed explanation, or were not touched upon at all.

This paper introduces a logical analysis of convex combinations within the framework of Łukasiewicz real-valued logic. This provides a natural link between the fields of many-valued logics and decision theory under uncertainty, where the notion of convexity plays a central role. We set out to explore such a link by defining convex operators on MV-algebras, which are the equivalent algebraic semantics of Łukasiewicz logic. This gives us a formal language to reason about the expected value of bounded random variables. (...) As an illustration of the applicability of our framework we present a logical version of the Anscombe–Aumann representation result. (shrink)

The present paper is concerned chiefly with the problem of scientific prediction. It aims at a factual analysis of the processes leading to prediction, and ventures an appraisal, in the light of this analysis, of some modern and unconventional theories of probability and truth. But although prediction is here chosen as the central issue of discussion, I do not wish to imply that, in its usual sense, it is the only or even the dominant issue of scientific research.

his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of (...) application to particular many-valued formal systems. (shrink)

A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.

According to truth pluralism, sentences from different areas of discourse can be true in different ways. This view has been challenged to make sense of logical validity, understood as necessary truth preservation, when inferences involving different areas are considered. To solve this problem, a natural temptation is that of replicating the standard practice in many-valued logic by appealing to the notion of designated values. Such a simple approach, however, is usually considered a non-starter for strong versions of truth pluralism, since (...) designation seems to embody nothing but a notion of generic truth. In this paper, I explore the analogy with many-valued logic by comparing the problem of mixed inferences with Suszko’s thesis, and argue that the strong pluralist has room to resist the commitment to a generic property of truth by undermining the semantic significance of Suszko’s reduction. (shrink)

Extensively classroom-tested, Possibilities and Paradox provides an accessible and carefully structured introduction to modal and many-valued logic. The authors cover the basic formal frameworks, enlivening the discussion of these different systems of logic by considering their philosophical motivations and implications. Easily accessible to students with no background in the subject, the text features innovative learning aids in each chapter, including exercises that provide hands-on experience, examples that demonstrate the application of concepts, and guides to further reading.

A philosopher who has mastered the standard two-valued propositional calculus and who is curious to find out what the systems of many-valued logic, strict implication and modal logic are all about, should reach for this small booklet from the series Monographs in Modern Logic It explains in a compact but remarkably lucid way the rationale of these non-standard logics and gives access to the literature of the field. There are numerous references to a selected bibliography, the most recent titles (...) of which are from 1965. But the reader is not only informed about the technical properties of these systems, he is also given a sound perspective in which to see their intuitive significance. It is characteristic that the author distinguishes on the very first page between a logic and a calculus associated with a logic. (shrink)