### Book

## Jan Lukasiewicz. Ecrits logiques et philosophiques

Jan Lukasiewicz (1878-1956) was one of the most important members of the Lwow-Warsaw school of logic. The thirteen translated articles in this volume demonstrate the protean form of Lukasiewiczs work, from his texts on Aristotle and the principle of non-contradiction and syllogistics to modal logic, intuitionism, and multivalent logics. The articles show in particular his preoccupations with logical precision and the problem of human liberty.

Closed classes of functions of many-valued logic are studied. Problem on the basis existence is considered for some families of closed sets. Functions from generating systems are symmetric functions taking the values from the set {0,1} and equal to zero on the unit collection and collections containing at least one zero. Furthermore, closure of any subset of considered set of fuction intersected with initial function set equals to the unit of every function closure of the subset intersected with initial function set.

The complexity of realization of *k*-valued logic functions by circuits in a special infinite basis is under study. This basis consists of Post negation (i.e. function *x*+1(mod *k*)) and all monotone functions. The complexity of the circuit is the total number of elements of this circuit. For an arbitrary function *f*, we find the lower and upper bounds of complexity, which differ from one another at most by 1. The complexity has the form 3log_3 (*d*(*f*)+1)+*O*(1), here *d*(*f*) is the maximum number of the value decrease of the value of *f* taken over all increasing chains of tuples of variable values. We find the exact value of the corresponding Shannon function which characterizes the complexity of the most complex function of a given number of variables.

The paper addresses the controversial question to which extent Augustine's views on dialectic have changed during his intellectual development. It argues that there is a high probability that Augustine changed his views in response to apparent misuse of dialectical tools by defenders of the Arian heresy – a misuse explicitly criticised by Ambrose of Milan whose influence on Augustine should not be underestimated. In *De Doctrina Christiana* Augustine abandons his earlier view that dialectic is a tool for gaining new knowledge. But it can nevertheless have a valid role in Christian education and hermeneutics, because it allows to test the formal validity of inferences.

The collection represents proceedings of the 5th school-seminar "Syntax and Semantics of Logic Systems" (Ulan-Ude, 08.08.2017 - 12.08.2017). The conference subject area includes: theory of models and universal algebra; theory of boolean and finite-valued functions; formal languages and logic calculus; mathematical logic in education.

Recently some elaborations were made concerning the game theoretic semantic of Lℵ0 and its extension. In the paper this kind of semantics is developed for Dishkant’s quantum modal logic LQ which is also, in fact, the speciﬁc extension of Lℵ0 . As a starting point some game theoretic interpretation for the S L system (extending both Lukasiewicz logic Lℵ0 and modal logic S5) was exploited which has been proposed in 2006 by C.Ferm˝uller and R.Kosik . They, in turn, based on ideas already introduced by Robin Giles in the 1970th to obtain a characterization of Lℵ0 in terms of a Lorenzen style dialogue game combined with bets on the results of binary experiments that may show dispersion.

Closed classes of functions of three-valued logic whose generating systems include nonmonotone symmetric functions taking values in the set {0,1} and taking value 1 on restricted number of layers are studied. Cryteria of existence of basis and existence of finite basis has been obtained.

Closed classes of functions of three-valued logic whose generating systems include nonmonotone symmetric functions taking values in the set {0,1} are studied. It is shown that in some cases the problems of existence of a basis and existence of a finite basis can be reduced to a similar problem for reduced generated systems.

“Let's be Logical” is a double invitation. Although logic often refers to a disposition of mind that we all share, this disposition might be confused once its theoretical sources are questioned. The present volume offers thirteen articles that address various aspects of the discipline of logic and its methods, notably formalism, the theory of opposition, mathematical truth, and history of logic. This volume has been prepared with the pedagogical concern of making it accessible to a wide audience of logic and philosophy readers.

The article considers the Views of L. N. Tolstoy not only as a representative, but also as a accomplisher of the Enlightenment. A comparison of his philosophy with the ideas of Spinoza and Diderot made it possible to clarify some aspects of the transition to the unique Tolstoy’s religious and philosophical doctrine. The comparison of General and specific features of the three philosophers was subjected to a special analysis. Special attention is paid to the way of thinking, the relation to science and the specifics of the worldview by Tolstoy and Diderot. An important aspect is researched the contradiction between the way of thinking and the way of life of the three philosophers.

Tolstoy's transition from rational perception of life to its religious and existential bases is shown. Tolstoy gradually moves away from the idea of a natural man to the idea of a man, who living the commandments of Christ. Starting from the educational worldview, Tolstoy ended by creation of religious and philosophical doctrine, which were relevant for the 20th century.

This important new book offers the first full-length interpretation of the thought of Martin Heidegger with respect to irony. In a radical reading of Heidegger's major works (from *Being and **Time* through the ‘Rector's Address' and the ‘Letter on Humanism' to ‘The Origin of the Work of Art' and the *Spiegel* interview), Andrew Haas does not claim that Heidegger is simply being ironic. Rather he argues that Heidegger's writings make such an interpretation possible - perhaps even necessary.

Heidegger begins *Being and Time* with a quote from Plato, a thinker famous for his insistence upon Socratic irony. *The Irony of Heidegger *takes seriously the apparently curious decision to introduce the threat of irony even as philosophy begins in earnest to raise the question of the meaning of being. Through a detailed and thorough reading of Heidegger's major texts and the fundamental questions they raise, Haas reveals that one of the most important philosophers of the 20th century can be read with as much irony as earnestness.* The Irony of Heidegger* attempts to show that the essence of this irony lies in uncertainty, and that the entire project of onto-heno-chrono-phenomenology, therefore needs to be called into question.

The article is concerned with the notions of technology in essays of Ernst and Friedrich Georg Jünger. The special problem of the connection between technology and freedom is discussed in the broader context of the criticism of culture and technocracy discussion in the German intellectual history of the first half of the 20th century.