Here we suggest a formal using of N.A. Vasil’ev’s logical ideas in categorical logic: the idea of “accidental” assertion is formalized with topoi and the idea of the notion of nonclassical negation, that is not based on incompatibility, is formalized in special cases of monoidal categories. For these cases, the variant of the law of “excluded n-th” suggested by Vasil’ev instead of the tertium non datur is obtained in some special cases of these categories. The paraconsistent law suggested (...) by Vasil’ev is also demonstrated with linear and tensor logics but in a form weaker than he supposed. As we have, in fact, many truth-values in linear logic and topos logic, the admissibility of the traditional notion of inference in the categorical interpretation of linear and intuitionistic proof theory is discussed. (shrink)

The solution of the problem of the future random events truth is considered in Vasil’ev’s logic. N. A. Vasil’ev graded the logic according to two levels—the level of facts, i.e. time fixed events, and the level of notions or rules, governing these facts. The mathematical construction previously suggested for imaginary Vasil’ev’s logic, extends to the early variant of his logic—a logic of notions. In the paper, we investigate the meaning of problematic and uncertain assertions introduced by (...) class='Hi'>Vasil’ev. As a result, we developed a model of Vasil’ev’s logic of facts that resolves also the truth problem of future random events. The imaginary logic has also been extended to the level of notions, and the law of the excluded eighth is gotten in it. The correspondence between Vasil’ev’s terms “some” and “all” and modern quantifiers is discussed. (shrink)

BOOK REVIEWS: Valentin A. Bazhanov, “N.A. Vasil’ev and his Imaginary Logic”, Kanon+, Reabilitatsiia, Moscow, 2009, 240 pp., ISBN 9785883731968.

The paper investigates the system of 'Imaginary Logic' created by the Russian logician N.A. Vasil'ev (1880-1940), considered by some to be a forerunner of paraconsistent or intuitionistic logics. It is shown how he constructs a logic without the law of contradiction redefining the concept of negation. Vasil'ev singles out two levels of logic, an external one which is absolute and one depending on commitments in relation to cognizable objects which is not absolute. His reconstruction of the syllogism shows the viability (...) of his system and indicates how, indeed, he may be called an initiator of nonclassical logics. (shrink)

The philosophy of the modern age begins with two enigmatic figures—Descartes and Bacon. They are steeped in the common spirit of philosophical reform, but view the tasks and the place of metaphysics differently. Bacon thinks that metaphysics should be constructed on the basis of physics and has an applied and empirical character. Descartes believes that physics grows out of a priori metaphysics.

Immanuel Kant left us not only fundamental treatises but also a wealth of remarkable or simply memorable expressions. Some of them—like the idea of the two things that fill the mind with wonder and awe, the starry heavens and the moral law—are known even to children. Kant's other aphorisms are not widely known. His manuscripts are a real depository of such little-known passages. Here are a few examples.

This article discusses the set of Harsanyi payoff vectors of a cooperative TU-game, also known as the Selectope. We reconsider some results on Harsanyi payoff vectors within a more general framework. First, an intuitive approach is used, showing that the set of Harsanyi payoff vectors is the core of an associated convex game. Next, the set of individual rational Harsanyi payoff vectors, the Harsanyi imputations in short, is considered. Existence conditions are provided, and if non-empty, we provide a description as (...) the core of a well-defined convex game, and show that it is an externally stable set. (shrink)

This article discusses the set of Harsanyi payoff vectors of a cooperative TU-game, also known as the Selectope. We reconsider some results on Harsanyi payoff vectors within a more general framework. First, an intuitive approach is used, showing that the set of Harsanyi payoff vectors is the core of an associated convex game. Next, the set of individual rational Harsanyi payoff vectors, the Harsanyi imputations in short, is considered. Existence conditions are provided, and if non-empty, we provide a description as (...) the core of a well-defined convex game, and show that it is an externally stable set. (shrink)

t. 1. Obshchai︠a︡ teorii︠a︡ prava. Ugolovnoe pravo -- t. 2. Kriminologii︠a︡, sot︠s︡iologii︠a︡, konfliktologii︠a︡ -- t. 3. Politologii︠a︡, ideologii︠a︡, ėtika.

I would like to begin with the fact that the process of education, which comprises a form of intellectual productive activity, represents a cycle of very long duration. This cycle is such that seven-year-old children entering school today will attain the age of most active yield only in the next millennium. In the year 2000 they will be 32 or 33. Therefore, while giving maximum attention to analysis of the conditions of today, our discussion has to be long-range, i.e., it (...) must have that near historical future in mind and project into it. (shrink)

The aim of this paper is to show how the invention of imaginary logic by Nikolaj A. Vasil’ev, forerunner of various logical and metaphysical theories appeared in the 20th century, is grounded on a revaluation of Aristotelian ontology. I shall introduce the reason why Aristotle believes that the study of the principle of contradiction is part of ontology (§ 2); I shall explain why Vasil’ev considers the law of contradiction an empirical law, and not a logical one (§ (...) 3.1). I will show his conception of contradiction (§ 3.2) and I will discuss how he believes that it’s possible to renounce this law; (§ 3.3). I shall then explain the fundamental features of imaginary logic (§ 4.1 and § 4.2); and, finally I shall claim how, in spite of a convergence from the logical point of view (§ 5.1), the incompatibility of the two authors takes place on an ontological level (§ 5.2). In order to do so, I shall implement the analysis of the Aristotelian syllogistic conducted by the Polish logician and philosopher Jan Łukasiewicz, together with a crucial distinction between two concepts: the one of ‘law’ and the one of ‘principle’. -/- . (shrink)