Department of Logic

Manyvalued Extensions of the Classical Propositional Logic / L. Devyatkin — M.: IPh RAS, 2018. — 96 p. — ISBN 9785954003406.
Manyvalued logic is an important area of modern logical research. One of the most useful tools for constructing manyvalued logics are logical matrices. However, as noted by many authors, not every manyvalued matrix induces a manyvalued logic. In fact, there is an infinite class of manyvalued matrices that define the classical propositional logic. At first glance, such matrices are redundant with respect to the twovalued matrix of classical logic, and therefore are of little interest. However, it is not the case. Manyvalued matrices of classical logic are of great importance for the design and analysis of a genuinely manyvalued logics.
In this regard, there are two possible lines of investigation. First, one can obtain a nonclassical logic by adding one or more nonclassical operations to a matrix of classical logic. An example is Bochvar’s logic, which utilizes two types of operations, classical «external» and nonclassical «internal». Second, one can leave the operations of the classical matrix unchanged, but modify the class of values that are interpreted as «true». In particular, this is how Gödel’s matrices are obtained. In the literature, there are enough examples of individual matrices of the first and second types and of their classes. However, their systematic study, as far as the author knows, has never been conducted. The aim of this work is to lay the foundation for such a study.
Chapter 1 is devoted to functional extensions of classical logic matrices. Its task is to demonstrate the scale of a class of logics that can be constructed in this way. Here we describe examples of such matrices known from the literature, construct new examples, and show that a lot of manyvalued matrices whose authors proceeded from completely different premises have equivalent formulations in the form of modifications of matrices which induce classical logic. The main result of the Chapter is presented in its final section. It is shown that there are infinitely many pairwise different functional extensions of manyvalued matrices of classical logic for each fixed number of values exceeding two.
Chapter 2 deals with a new approach to the construction of nonclassical logic based on manyvalued matrices of classical logic. In the literature, there are many pairs of threevalued matrices differing only in classes of designated values. But the vast majority of them induces a nonclassical consequence with either one designated value or two. However, there are nonclassical logics obtained from the matrices of classical logic by contraction or expansion of the class of designated values.
Keywords: propositional logic, manyvalued logics, paraconsistency, paracompleteness, classification of logics, logical matrices


Essays on the foundations of logic / V. Shalack – M.: IPh RAS, 2017. – 111 p. – ISBN 9785954003208.
Logic is an instrument of intellectual cognition. It forms the basis of all sciences. In the first essay, we analyze Zeno's aporia “Arrow” and show the errors to which ignorance of logic leads. The conventional wisdom is that paradoxes of Zeno fixed inadequacy of our concepts of space, time and movement to describe the phenomena of the world. Physicists use Zeno's “Arrow” paradox for interpreting the results of quantum mechanical experiments. It is shown, that to solve the aporia it suffices to use elementary means of Aristotelian logic. It is believed that the transition from traditional logic to modern logic is a transition from the logic of properties to the logic of relations. An implicit assumption is that we should describe the world around us in terms of relationships. In the second essay, we analyze the ontological status of relations and functions and show that with equal success the world can be described in terms of functional dependencies between phenomena and measurements. The goal of the program of logicism was the reduction of mathematics to logic. This program has failed because it contained internal contradictions. Nevertheless, this does not mean that no fragments of mathematics cannot be represented by definitions in terms of pure logic. The necessary and sufficient condition for reducing some theory to logic is the existence of a degenerate oneelement model of the theory. For philosophers, interesting examples are the theory of symmetrical relations, group theory, topos theory, combinatory logic. In the theories of the arithmetic and the geometry, the full reduction to logic is prevented by the existential axiom that asserts the existence of more than one object in the subject area. All other axioms are reducible to logic. The laws of classical Newtonian mechanics do not contain existential presuppositions and therefore are reducible to logic. The prerequisites for the emergence of a science of logic are found at the lowest level of sign systems. They are the interconnections of the phenomena of the surrounding world, when certain objects and phenomena are natural carriers of partial information about other objects and phenomena. Logic arises when we ignore the specific content of the information and make the object of study the fact of its transfer. Known systems of logic are the result of acceptance of specific ontological and epistemic assumptions about the structure of the surrounding world and the attitude of language to it. In this sense they are theories occupying an intermediate position between the theories of concrete sciences and real logic. In this situation it is necessary to make a transition to the use of logic based on the theory of signs. The formal theory of signs can be regarded as the logic of operating with signs, free from ontological and epistemic assumptions. Keywords: aporia, Zeno, syllogistics, epistemic assumptions, ontological assumptions, functions, relations, logicism, theory of definitions, foundations of logic, foundations of mathematics, theory of signs, index signs, iconic signs, symbol signs, protologic


Bochvar's threevalued logic and literal paralogics / A.S. Karpenko, N. Tomova – M.: IPh RAS, 2016. — 110 p. — ISBN 9785954003147.
Paraconsistent and paracomplete logics are areas where interest continues to grow. One reason for this may be due to their simplicity and to the wide range of their applications (in computer science, artificial intelligence, and other areas). One crucial factor behind the development of paraconsistent logic is the belief that in certain circumstances we may find ourselves in a situation where our theory is inconsistent and yet we are required to draw inferences in a sensible fashion.
The monograph is devoted to the study of the class of propositional literal paralogics. Literal paralogics are logics in which the paraproperties such as paraconsistence, paracompleteness and paranormality, occur only at the level of literals; that is, formulas that are propositional letters or their iterated negations. We examine the functional properties of logics, such as the functional inclusion of one logic into another, and the functional equivalence of logics. Analysis of logics based on these properties can lead to surprising results concerning the functional equivalence of logics having different axiomatizations and different metalogical properties, as shown in the case of paraconsistent logic P^{1} and paracomplete logic I^{1}.
We begin by analyzing Bochvar’s threevalued nonsense logic B_{3}. Its functional properties are determined by the union of different types of connectives – internal and external – and this fact accounts for B_{3} being “emergent” within a huge variety of threevalued logics. And this logic includes two isomorphs of the propositional classical logic C_{2}. The combination of these two isomorphs leads to the construction of two famous paralogics P^{1} and I^{1}, which are functionally equivalent. Moreover, each of these logics is functionally equivalent to the fragment of logic B_{3} consisting of external formulas only.
A fourelement lattice of threevalued paralogics with respect to the possession of paraproperties is presented at the end of the second chapter. In the closing chapter, we consider generalizations and hierarchies of literal paralogics and construct a semilattice of fourvalued literal paralogics with respect to the relation of functional inclusion one paralogic to another.
Keywords: Bochvar’s logic B_{3}, isomorphs, extended formulas, paraconsistent logics P^{1} and P^{1}_{2}, paracomplete logics I^{1} and I^{1}_{2}, paranormal logic TK^{1}, strong and weak modus ponens, lattice of paralogics, functional properties of paralogics


Within the Boundaries of Threevaluedness / L. Devyatkin, N. Prelovskiy, N. Tomova – M.: IPh RAS, 2015. – 136 p. – ISBN 9785954002966.
The book "Within the Boundaries of ThreeValuedness" consists of three chapters, each of which contains the new, sometimes entirely unexpected results in the field of threevalued logics.
In the chapter "ThreeValued Matrices for the Classical Propositional Logic", written by L.Yu. Devyatkin, the study of the threevalued isomorphs of the classical propositional logic C2 is taken to the new level. The main result is the proof of the theorem concerning the necessary and sufficient conditions, which an arbitrary threevalued matrix M, must satisfy in order to be an isomorph of C2. Here, the notion of an isomorph for the first time gains the rigorous logicoalgebraic foundations. We will also note the following unexpected result: there are threevalued isomorphs of C2, which, with respect to the power of their closed subclasses, are continual!
In the chapter "Continuality of some weak threevalued logics and the problem of the power of the precomplete classes", written by N.N. Prelovskiy, are presented the supplemented proofs of the theorems concerning the continual power of the sets of the closed classes of Bochvar’s threevalued logic B3 and Hallden’s threevalued logic H3. The following result of N.N. Prelovskiy sets one thinking about the mysterious properties of the weak (not functionally complete) threevalued logics: there can exist threevalued closed classes of functions, in which the number of precomplete classes is infinite. It is known that as far back as in 1965, A.V. Kuznetsov has shown that for each k there exists only a finite number of precomplete classes in a functionally complete logic. The results of the second chapter indicate the extraordinary complexity of the functional properties in weak threevalued logics. Hence, it is appears significant to have some wellgrounded classification of the most interesting threevalued logics.
In the closing chapter "On the Extension of the Class of Natural ThreeValued Logics: the New Classification", written by N.E. Tomova, the restriction is lifted that the rule modus ponens must be strict, i.e. preserving the designated value. As the result, the possibility emerges to define the class of so called "weakly" natural implications and to consider the extended class of logical matrices. The end result of the classification of threevalued logics proposed in this chapter is as follows: there are 10 distinct classes of functions, each of which is obtained by means of extending the weak regular Kleene’s logic Kw3 with appropriate implications. These 10 classes are lattice ordered with respect to functional inclusion of one class into another. The study of the obtained lattice shows that it holds the tremendous heuristic power for the achievement of nontrivial results in the field of threevalued logics.
The book is introduced with the extensive foreword "The Variety of ThreeValuedness", written by A.S. Karpenko, with the further perspectives of research laid out. The material of the book is supplemented with subject and author indices.
Contents


Introduction to logic for philosophers / V. Shalack, N. Tomova – M.: IPh RAS, 2014. — 191 p. — ISBN 9785954002744.
The textbook is designed to be used in studying the introductory course course logic by philosophy students. It is different from the other available textbooks in the approach to the presentation of logic. It is presented not as an already given science but is gradually constructed on the basis of the accepted philosophical assumtions concerning the structure of the outside world. The book may be of interest not only to the students of logic, but also to its teachers. 

Prelovskiy N.N. Bivalent semantics: logicophilosophical analysis — M.: IPh RAS, 2013. — 138 p. — ISBN 9785954002553.
The monograph is devoted to the logicophilosophical analysis of the bivalent semantics of the multivalued logics in connection to Suszko's Thesis. The various wellknown algorhythms for construction of the bivalent semantics, which are the attempts of constructive realization of Suszko's Thesis, have been considered and the limits of their applicability have been shown. The class of nonCarthesian logics has been investigated. 

Tomova N.E. Natural threevalued logics: functional properties and relations — M.: IPh RAS, 2012. — 89 p. — ISBN 9785954002294.
The monograph is devoted to the functional properties of threevalued logics. Original approach to the problem of the relation between different threevalued logics is proposed. Different classes of threevalued logics are presented as the lattices w.r.t. relation of functional inclusion one logic to another. The lattices of implicative extensions of regular Kleene’s logics and the lattices of plogic are presented. 

Łukasiewicz J. On Aristotle's principle of contradiction. Critical Investigation (trans. from Polish in Russian). Ed. A.S. Karpenko with introductory article and comments. — М. – SPb: CGI, 2012. — 256 p. — ISBN 9785987120385.
For the first time the famous book by J. Łukasiewicz "On Aristotle’s principle of contradiction" (1910) is published in Russian. In this book the firstly in the world a thorough critique of the principle of contradiction, defended by Aristotle in the “Metaphysics", is given. This edition also presents a new translation of the famous article "On determinism". There is a biography of Jan Łukasiewicz and introductory article that shows a painful internal struggle Łukasiewicz in connection with his proposed revolution in logic.


Devyatkin L.Yu. Threevalued semantics for the classical propositional logic – M.: IPh RAS, 2011. – 108 pp. – ISBN 9785954002034.
The monograph is devoted to the study of the properties of the threevalued semantics for the classical propositional logic. The whole class of the threevalued implicativenegative matrices for the classical propositional logic is described. The classification based on the functional properties of the basic operations of such matrices is devised. Also, the class of matrices with the classical set of tautologies but a nonclassical consequence relation is investigated. It is shown that some important properties of the classical propositional logic are only present in the case of twovalued semantics.
PDF (in Russian)>>


Karpenko A.S. The Development of Manyvalued Logic. – Moscow: LKI Publishers, 2010. – 444 pp. – ISBN 9785382012179.
The book considers the development of multivalued logic from Aristotle to present day. Due to the special role which multivalued logic plays in computer science and its various applications the particular attention is given to its theory of the functional properties. Also worth mentioning is the complex problem of the interpretation of the truthvalues which ultimately leads to the idea of their structuring. This book can serve as a reference work on manyvalued logic with accurate preservance of the chronology of its development and a large list. of references
The book is aimed at the widest circle of readers and does not require any preliminary knowledge of the subject.
Preface >>
Contents >>
References >>


Antinomies and paradoxes (ed. Gerasimova I.A.). – M.: "Canon+" ROOI "Rehabilitation", 2008. – 432 p. – ISBN 9785883731166.
Duality, polarization, complementarity, paradox, antinomy  those are the key notions of this book. The questions of cognition of the opposing principles, contradictions and paradoxes are presented in the numerous aspects: historicocultural, methodological, cognitive, linguistic. The sudy of the cultural contexts has led to the individualization of analytical, dialectic, dualistic and holistic strategies of cognition. The new theme is focused on the analysis of the induality principle in the philosophical traditions of East and West, its meaning for the holistic world view of the modernity. One of the leading themes has become the theme of a paradox and paradoxicality in scientific cognition and cultural practices.
The book will be of interest for the specialists in cognition theory, theory of argumentation, methodology of science, philosophy of language, culturology, intercultural communications.


Karpenko A.S. Fatalism and contingency of futures (logical analysis) – 2^{nd} edition – M.: LKI Publishers, 2008. – 216 p. – ISBN 9785382004105.
The book is concentrated around the problem area concerning the interrelations between Truth, Time and Necessity. The significance of the subject becomes evident due to the fact that there have been constructed the various fatalistic arguments and their refutations. The emphasis is made on emergence and development of discussions about Logical and Theological Fatalism. An intrinsic connection is established between these varieties of fatalism, on one hand, and Totalitarianism, on the other hand. A considerable attention is paid to the attempts of the refutation of Fatalism with the aid of some logical tools which led to various systems of nonclassical logic. In the conclusion, various approaches are summed up toward the problem of logical status of propositions about future contingents, which resulted in developing an idea of structuralization of truthvalues themselves.


Shalack V.I. On the notion of logical consequence – М.: IPh RAS, 2007. – 168 p. – ISBN 9785518334168.
The monograph is devoted to the analysis of the philosophical foundations of logic. In first place, it concerns the notion of truth and the notion of the logical consequence. The author shows the limitation of the philosophical premises of modern logic and proposes the alternative approach to its construction.
The book is aimed at everyone interested in the problems of the modern philosophical logic.
PDF (in Russian)>>


Karpenko A.S. Lukasiewicz's Logics and Prime Numbers – Luniver Press, 2006 – 168 p. – ISBN 9780955117038.
Is there any link between the doctrine of logical fatalism and prime numbers? What do logic and prime numbers have in common? The book adopts truthfunctional approach to examine functional properties of finitevalued Łukasiewicz logics Łn+1. Prime numbers are defined in algebraiclogical terms (Finn's theorem) and represented as rooted trees. The author designs an algorithm which for every prime number n constructs a rooted tree where nodes are natural numbers and n is a root. Finitevalued logics Kn+1 are specified that they have tautologies if and only if n is a prime number. It is discovered that Kn+1 have the same functional properties as Łn+1 whenever n is a prime number. Thus, Kn+1 are 'logics' of prime numbers. Amazingly, combination of logics of prime numbers led to uncovering a law of generation of classes of prime numbers. Along with characterization of prime numbers author also gives characterization, in terms of Łukasiewicz logical matrices, of powers of primes, odd numbers, and even numbers.


Shalack V.I. Logical analysis of the Internet – М.: IPh RAS, 2005. – 96 p. – 5954000476.
The monograph is devoted to the problems of the analysis and construction of the logical models of the Internet for the more comlete extraction of the information it contains. The special emphasis is laid on the possibility of obtaining not the factual information as it is being done nowadays, but the analytical one, which is not explicitly presented in the global network.
PDF (in Russian)>>


Gerasimova I.A. Formal grammar and intensional logic – М.: IPh RAS, 2000. – 156 p. – ISBN 5201020240.
The strategy proposed by the American logician Richard Montague is utilised for the construction of the formal grammars of the Russian language. The systematical presentation of the method is given. The polymodal intensional logic adapted for the representation of the modal and epistemic contexts of the Russian language is constructed. The analysis of the problem of the semantic status of the musical event is given.
The book is aimed at the logicians, linguists, mathemathicians, programmers.
PDF (in Russian)>>

Papers




 O protsessual'noi logike [On logic of processes] // Vopr. filosofii. 2019. № 2. P. 35‒40. DOI: 10.31857/S004287440003872‒4.
 O stat'e A.V. Nekhaeva «Paradoks Yablo: Lzhet li nam beskonechnyi lzhets?» [On “Yablo’s Paradox: Is the Infinite Liar Lying to Us?” by Andrei V. Nekhaev] // Epistemology & Philosophy of Science. 2019. Т. 56. № 3. P. 103‒109. DOI: 10.5840/eps201956352.
 Ontologiya i logika protsessov [Ontology and Logic of Processes] // Russian Journal of Philosophical Sciences. 2019. Т. 62. № 6. P. 138‒150. DOI: 10.30727/0235‒1188‒2019‒62‒6‒138‒150.
 Tezis Pirsa: logicheskii analiz i ontologicheskie sledstviya [Peirce's thesis: logical analysis and ontological consequences] // Logical Investigations. 2019. Т. 25. № 2. P. 138‒163. DOI: 10.21146/2074‒1472‒2019‒25‒2‒138‒163.
 Weak consequence relation between lambdaterms // Logical Investigations. 2018. Vol. 24. № 2. P. 151157.
 Analysis vs Deduction // Logical Investigations. 2018. Vol. 24. № 1. P. 2645.
 Logika – territoriya somnenij [Logic – The territory of doubt]// Sovremennaya logika: osnovaniya, predmet i perspektivy razvitiya. Sbornik nauchnykh statej. M.: Forum. 2018. P. 8395.
 Some Remarks on A. Tamminga’s Paper “Correspondence Analysis for Strong Threevalued Logic” // Logical Investigations. 2017. Vol. 23. No. 2. P. 96–97. DOI: 10.21146/2074147220172329697.
 Analiticheskii podkhod k resheniyu zadach [Analytical Approach to Problem Solving] // Logical Investigations. 2017. Vol. 23. № 1. P. 121139.
 Logitsizm. Sto let spustya [Logicism. A Hundred Years Later] // Logikofilosofskie shtudii. SPb.: RKhGa Publishers, 2016. Vol. 14. P. 6169.
 Sotsial'noe programmirovanie [Social Software] // SocioTime / Sotsial'noe vremya. 1(5), 2016. P. 5160.
 On Firstorder Theories Which Can Be Represented by Definitions // Логич. исслед./Logical Investigations. 2016. № 22 (1). P. 125–135.
 On the definitional embeddability of the combinatory logic theory into the first order predicate calculus // Logical Investigations. 2015. V. 21. № 2. P. 9–14.
 On the definitional embeddability of some elementary algebraic theories into the firstorder predicate calculus // Logical Investigations. 2015. V. 21. № 2. P. 15–20.
 Sintaksicheskaya interpretatsiya kategoricheskikh atributivnykh vyskazyvanii [Syntactic Interpretation of Categorical Attributive Propositions] // Logical Investigations. 2015. № 21 (1). P. 60–78.
 On some applied ﬁrstorder theories which can be represented by deﬁnitions // Bulletin of the Section of Logic. 2015. 44/1–2. P. 19–24.
 Protologic and its structure // Logical Investigations. Vol 20. – M.SPb: C.G.I., 2014.
 Semiotic foundations of logic // Logical Investigations. Vol. 19 (Special Issue). M. Spb.: C.G.I., 2013. P. 225237.
 Points of singularity // Epistemology and philosophy of science. 2013. V. XXXV. № 1. Pp. 95–97.
 The logic of functional consequence // Logical Investigations. Vol 18. – M.SPb: C.G.I., 2012.  Pp. 234238.
 About genetic method // Logical Investigations. Vol 17. – M.SPb: C.G.I., 2011.  Pp. 281292.
 Two approaches to the construction of logic. // Logical Investigations. Vol 17. – M.SPb: C.G.I., 2011.  Pp. 269280.
 Author's summary for the D.Sc. thesis "Protologic: the new view of the nature of the logical", 2010.
 The report at the session of the scientific seminar of the Department of logic of the Institute of philosophy of RAS, 6^{th} of May 2010.
 Logic of functions vs logic of relations // Logical investigations. Issue 16. M.: Nauka, 2010.  С.259271.
 Linguistic apriorism // Works of the scientific seminar of the logical center of the Institute of philosophy of Russian Academy of Sciences. Issue XIX. M., 2009.  С. 104114.
 Protologic // Vestnik VyatGGU. 2009, № 1(1).  С. 1217.
 Logic of aporiae // Polygnosis. 2009, №1.  С.2531.
 Schonfinkel and the combinatorial logic // Logical investigations. Issue 15. М.: Nauka, 2009.  С. 247265.
 Logical analysis of the definitial deduction // Logical investigations. Issue 15.  М.: Nauka, 2009.  С. 266283.
 On the hidden mathematical structures of language // Polygnosis. 2008, №3.  С. 3136.
 Canon and organon // Epistemology and philosophy of science. 2008, V.XIV, №4.  С. 210217.
 Against aporiae // Oppositions and paradoxes. M.: Canon+Rehabilitation, 2008.  С.189204.
 On the notion of proof // Logical investigations. Issue 14. M.: Nauka, 2007.  С.301305.
 Logic of terms // Logical investigations. Issue 14. M.: Nauka, 2007.  С. 286300.
 On tha alternative definition of the logical consequence relation // Epistemology and philosophy of science. 2007, V. XIII, №3,  С.199205.
 On logical consequence // Vestnik MGU, Seriya 7: Filosofiya. N5. 2007. С.89100.
 Alternative theoty of consequence // Logical investigations. Issue 13. – M.: Nauka, 2007.
 Logical model of the Internet // Works of the scientific seminar of the logical center of the Institute of philosophy of Russian Academy of Sciences 2006. – M., 2007.
 On the notion of logical consequence // Logical investigations. Issue 13. – M.: Nauka, 2006.
 Logic of the Abelian groups // Logical investigations. Issue 11. – М.: Nauka, 2004.
 Logic of groups and free groups // Logical investigations. Issue 11. – M.: Nauka, 2004.
 Logic of groups // Works of the scientific seminar of the logical center of the Institute of philosophy of Russian Academy of Sciences 2003. – M., 2004.
 Relational interpretation of the classical propositional logic // Works of the scientific seminar of the logical center of the Institute of philosophy of Russian Academy of Sciences 1998. – M., 1999.
 Theory of the propositional programs II// Logical investigations. Issue 5.  M.: Nauka, 1998 г.
 Theory of the propositional programs // Works of the scientific seminar of the logical center of the Institute of philosophy of Russian Academy of Sciences 1997. – M., 1998.
 Dynamic interpretation of the propositions // Logical investigations. Issue 2. – M.: Nauka, 1993.
 Syllogistic, predicate logic, modal logic and authomatic proof of theorems // "Logical methods in computer sciences". – Works of the scientific seminar on logic of the Institute of philosophy of the Academy of Sciences of USSR, Moscow, 1991.
 Towards the categorial characterization of relevant logic // "Syntactic and semantic investigations of the nonextensional logics" – M.: Nauka, 1989.
Publications at the website http://www.vaal.ru
