This article discusses the causes of Lev Shestov’s psychological and worldview crises that he experienced in 1895, forcing the thinker to abandon his idealist philosophy and to embark on a path of...

The article is devoted to the biography and creativity of the Russian religious existential thinker Lev Shestov. The article reflects the main stages of the philosopher’s philosophical evolution: it analyzes the sources of his work, the circle of the closest to Shestov thinkers and philosophers, it examines the reasons of the transformations of his views that forced philosopher to overcome the ethical and take the path of philosophy of tragedy and immoralism, it traces his creative evolution from populism to Nietzscheanism (...) and religious philosophy of the existential type. The author of the article analyzes the changes of Shestov’s ethical understanding, his vision of philosophy and the idea of humanism and his attitude to the personality and heritage of F. Nietzsche. The article discusses the basic concepts of his teaching: tragedy, the living God, faith, reason, sin, boldness, “vsemstvo”, death, speculation, etc. It traces the connection with European intellectuals and emphasizes Lev Shestov’s contribution to Western culture. (shrink)

The focus of this article is the influence of Lev Shestov’s ideas on European intellectuals, especially French philosophers and poets. The author shows that the Russian thinker had a significant impact on shaping the intellectual atmosphere in France at the first half of the twentieth century, contributing to the rise of existentialist philosophy. Among Shestov’s direct philosophical followers are literary critic, writer, and musicologist Boris de Schloezer; essayist and philosopher Georges Bataille; and poet Benjamin Fondane.

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

Hilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...) final public presentation by Hilbert of an axiom system for propositional logic is contained in the 1934 book Grundlagen der Mathematik, I (Hilbert and Bernays [1934] 1968). Sequent .. (shrink)

In the article the problem of transformation of the information received by the user on the Internet into his knowledge is investigated. The paper uses the main special scientific and logical research methods used in the social and humanitarian sciences. At the same time, the methods of systematic and value-worldview analysis of the phenomena of the spiritual world of a person are distinguished by the degree of significance, which allow us to study the problem of the dialectic of knowledge and (...) information on the Internet not in isolation, but in connection with the main phenomena of the spiritual life of people, taking into account the priority of value-worldview structures. The goal of the work is to find a priority factor that provides a higher degree of accuracy in the transformation of information from the Internet into human knowledge. It is shown that the nature of the world wide web to a certain extent complicates the process of translating information coming to a person into his knowledge. It is concluded that the condition for the transformation of information received by the user on the Internet is the cognitive activity of a person, due primarily to the development of its value and ideological sphere. If the cognizing person has sufficiently developed and stable value – ideological foundations of personality, he successfully realizes himself as a developing subject, an active participant in knowledge. On the contrary, insufficiently stable value-worldview sphere can lead to passive perception of information by the individual, adaptation to reality, simplification of personality. Information from the Internet in the most adequate form is transformed into a person’s knowledge on the basis of his own cognitive activity, in the presence of intellectual and volitional capabilities for verifying the information available on the Network. (shrink)