In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...) asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...) d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT4. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order and d–order coincide with first-degree entailment. Finally logic with two kinds of operations and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

The relationship between formal logic and informal reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version (...) of connexive logic which validates Boethius’ Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation. (shrink)

There is a productive and suggestive approach in philosophical logic based on the idea of generalized truth values. This idea, which stems essentially from the pioneering works by J.M. Dunn, N. Belnap, and which has recently been developed further by Y. Shramko and H. Wansing, is closely connected to the power-setting formation on the base of some initial truth values. Having a set of generalized truth values, one can introduce fundamental logical notions, more specifically, the ones of logical operations and (...) logical entailment. This can be done in two different ways. According to the first one, advanced by M. Dunn, N. Belnap, Y. Shramko and H. Wansing, one defines on the given set of generalized truth values a specific ordering relation (or even several such relations) called the logical order(s), and then interprets logical connectives as well as the entailment relation(s) via this ordering(s). In particular, the negation connective is determined then by the inversion of the logical order. But there is also another method grounded on the notion of a quasi-field of sets, considered by Białynicki-Birula and Rasiowa. The key point of this approach consists in defining an operation of quasi-complement via the very specific function g and then interpreting entailment just through the relation of set-inclusion between generalized truth values. In this paper, we will give a constructive proof of the claim that, for any finite set V with cardinality greater or equal 2, there exists a representation of a quasi-field of sets isomorphic to de Morgan lattice. In particular, it means that we offer a special procedure, which allows to make our negation de Morgan and our logic relevant. (shrink)

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary (...) and Non-Aristotelian Logics, Inconsistent Set Theory and the Expansion of Mathematical Thinking, Plurivalent Logic, and the Impact of Vasiliev's Imaginary Logic on Epistemic Logic. The Russian logician, Vasiliev, was widely recognized as one of the forerunners of modern non-classical logic. His "imaginary logic" developed in some of his work at the beginning of 20th century is often considered to be one of the first systems of paraconsistent and multi-valued logic. The novelty of his logical project has opened up prospects for modern logic as well as for non-classical science in general. This volume contains a selection of papers written by modern specialists in the field and deals with various aspects of Vasiliev's logical ideas. The logical legacy of Nikolai Vasiliev can serve as a promising source for developing an impressive range of philosophical interpretations, as it marries promising technical innovations with challenging philosophical insights. (shrink)

In this paper, I attempt to offer a general outline of my views on the origin and evolution of language. I do not pretend in any way to a completely new conception of language evolution. It seems to me that all the most important and productive hypotheses about the origin of language have already been made before, and it is only a matter of putting the pieces of the puzzle together correctly. As far as I can see it, the evolution (...) of language is directly related to the embedded and embodied emotional types, which served as the basis for the subsequent categorization of perceived objects, and thus laid the ground for the formation of first an internal language (of thought), and then an external verbal language. Consistent with this, the paper is organized as follows. In the Introduction I briefly describe the problem I am facing in this article and outline a plan for solving it. Next section comprises a survey of relevant empirical findings related primarily to the processing and understanding of abstract terms and concepts. In my view, it supports the idea of the close connection of abstract terms proceeding, and thus language comprehension, with emotional states. The third section provides relevant theoretical considerations of the relationship between emotions, cognition, and language. Consistently considering various theories of emotions and concepts of language formation, I pay attention to the connection between affective states and language as a sign system. In the fourth section, my views are presented directly. In so doing, I illustrate my approach with a telling example that shows how, in the course of evolution, embedded and embodied emotional responses and reactions could become the building blocks first for the internal language of thought, and then for the external natural language. (shrink)

The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of rational agent, where the fact of knowing something is formalized at the level of valuations, without the explicit use of epistemic knowledge operator. On the basis of this semantics, a sound and complete system with two distinct truth-functional negations is provided. These negations (...) allow us to express the statements about knowing or not knowing something at the syntactic level. Moreover, such a system is applied to the analysis of knowability paradox. In particular, we show that the paradox is not derivable in terms of the logic of rational agent. (shrink)

We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, it is possible (...) to capture proof-theoretically not only the entailment relation of the standard four-valued Belnap’s logic, but also its dual version, as well as some of their interesting extensions. The proof systems we propose are, in a sense, of a hybrid Hilbert–Gentzen nature. We examine some important properties of these systems and establish their completeness with respect to the corresponding entailment relations. (shrink)

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...) other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...) other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary (...) consequence relation and proving correctness and completeness theorems for these deductive systems. (shrink)

Nietzsche is absent from today’s growing debate on slavery past and present. In this article I argue that his views on the subject add a pertinent, if challenging, dimension to this wide-ranging discussion. Nietzsche’s analysis is capable of contributing to our understanding of this multifaceted phenomenon in a number of respects. I look at Nietzsche’s use of the controversial notions of slavery, understood both historically and in the context of modern society, to explore such central concerns of political anthropology as (...) the nature and role of leadership, and the questions of development and inequality. The key focus of Nietzsche’s examination concerns slavery as an enduring facet of human existence. He sees it becoming an important hallmark of the industrial culture as a barometer of modern society’s physiological well-being, as well as acting as the repository for its externalities. Nietzsche’s genealogical inquiry leads him to explore the psychological content of slavery and to conceptualise it in terms of human vulnerability, which increases susceptibility to exploitation. In these respects, Nietzsche’s views resonate with pertinence today and deserve closer critical attention and scrutiny – something Nietzsche would undoubtedly welcome. (shrink)

The purpose of the study is to reveal the main actions of the major central banks during the COVID - 19 pandemic and their main impact on the world stock markets. The scientific novelty consists in identifying the key results of the impact of the pandemic in general and the restrictive measures of national governments, in particular, on the dynamics of the state of the stock markets of the world, namely, the level of decline in the main stock indexes of (...) the S &P 500, Dow Jones and NASDAQ. The measures taken by the central banks of the United States, Japan, England and other developed and developing countries of the world to provide financial assistance to commercial banks and other financial organizations related to the purchase of government bonds at a "zero" rate, targeting the yield of government bonds, reducing key rates and other measures are summarized. It is indicated that the influx of new private investors provided a great help to the stock market, for which many Central Banks introduced special programs and preferences. As a result, the main measures taken by the Central Bank of the Russian Federation to stabilize the financial situation in the country and the domestic stock market, in particular, are summarized. (shrink)

This book explores the major differences between the kinds of risk encountered in different sectors of industry - production and services - and identifies the main features of accidents within different industries. Because of these differences, unique risk-mitigation measures will need to be implemented in one industry that cannot be implemented in another, leading to large managerial differences between these broad economic sectors. Based on the analysis of more than 500 disasters, accidents and incidents - around 230 cases from the (...) production sector and around 280 cases from the service sector - the authors compare the risk response actions appropriate within different sectors, and establish when and how it is possible to generalize the experience of dealing with risks in any given industry to a wider field of economic activity. This book is mainly intended for executives, strategists, senior risk managers of enterprise-wide organizations and risk management experts engaged in academic or consulting work. By setting out clearly the sector differences in risk management, the authors aim to improve the practice of general risk assessment with regard to identifying and prioritizing risks, and of risk control with regard to planning appropriate mitigation measures. (shrink)

Journal Name: Apeiron Issue: Ahead of print.

A groundbreaking, revisionist account of the importance of the history of philosophy to intellectual change - scientific, philosophical and religious - in seventeenth-century England.

This paper considers the problem of evil as it has been discussed and formulated by Plotinus and polemically taken over by Proclus. Contrary to Plotinus, Proclus does not consider matter as evil. Rather, evil in its elusive indefinite nature has to be characterized by the redefined concepts of privation, subcontrary and parypostasis. In its inescapable deficiency, evil, then, is the privation and subcontrary of the good that exists parypostatically, that is, as elusively present in its absence as the misplacement of (...) being and the displacement of the good. (shrink)

The article develops the idea of forming postcapitalist social relations as a social revolution of an individual, which consists in the fact that popularity becomes a key advantage, the “possession” of which is a desired goal and a significant resource of political influence. At the same time, it is shown that this process leads to forming a new dominant stratum — personalities (“people with personality”): celebrities, popular bloggers, social media influencers, micro- and nanosignature. It is substantiated that the personaliat domination (...) is a consequence of contradictory social relations between the new aristocracy represented by the representatives of the personaliat and many people who do not “possess” a popular personality - the impersonaliat (“extra people”, “lower” precariat, those who turn out to be outsiders in the world of social platforms). This contradiction is associated with the rooting of a celebrity’s culture, which encourages a lot of people to fight for popularity and focus on finding advantageous differences from others in the process of self-realization. However, this struggle in the end for the overwhelming majority turns into an increase in creative competition and subtraction. Various new forms of subtraction that appear in situations of widespread self-realization are revealed. Accordingly, arguments are given in favor of the fact that in the context of the “personality revolution”, the truly left will be rather an alternative that will call into question the ways of solving social problems formulated by popular personalities. In other words, it will be possible to oppose the total pursuit of popularity with the projects of society, in which the person is relied not as someone who rises above the others, but as an involved person who values life in harmony with others higher than his own “I”. (shrink)

The recent surge of discoveries concerning the structural organization of nucleosomes, together with genetic evidence of highly specialized roles for the histones in gene regulation, have brought a renewed need for a detailed understanding of nucleosomal anatomy. Here we review recent structural advances leading to a new level of understanding of the nucleosome and chromatin fibre structure. We discuss the problems and challenges for existing models of chromatin structure and, in particular, consider how linker histones may bind within the nucleosome, (...) together with the implications of their association for the structure of the chromatin fibre. (shrink)

A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a (...) corollary of our main result, our paper contains a solution of a Vakarelov's problem: how to construct a formal system that describes all the Boolean combinations of the basic relations. (shrink)

Ambiguity affects decisions of people who exhibit a distaste of and require a premium for dealing with it. Do ambiguity-neutral subjects completely disregard ambiguity and react to any vague news? Online vending platforms often attempt to affect buyer’s decisions by messages like “20 people are looking at this item right now” or “The average score based on 567 reviews is 7.9/10”. We augment the two-color Ellsberg experiment with similarly worded signals about the unknown probability of success. All decision-makers, including ambiguity-neutral, (...) recognize and account for ambiguity; ambiguity-neutral subjects are less likely to respond to vague signals. The difference between decisions of ambiguity-neutral and non-neutral subjects vanishes for high precision signals; still less than 60% subjects choose the ambiguous urn, even for high communicated probabilities of success. We conjecture participants may discard information, if they see no contradiction between it and their prior beliefs, hence the latter are not updated. Higher confidence makes subjects more likely to discard the news, and empirically ambiguity-neutral subjects appear more confident than those ambiguity-averse. (shrink)

This article deals with the question of the interrelation between two papers, both called, in short, “Onomatodoxy”, dedicated to the doctrine of Name-glorification (Imiaslavie, Onomatodoxy), both of which were created in line with the Neo-Patristic movement in the Russian philosophy of the Silver Age. One of these papers is by Alexei Losev and the other by Pavel Florensky. In my opinion, there are sufficient grounds to state that Losev’s “Onomatodoxy” was written either after Florensky created his own “Onomatodoxy”, i.e., after (...) November 1922, or, at the earliest, after Florensky started to give clandestine lectures about Onomatodoxy in Moscow (where Losev lived), i.e., not earlier than spring 1921. Therefore, Losev’s article “Onomatodoxy” could have been intended for the religious-philosophical collection of articles planned for publishing by Yaschenko in 1922 in Berlin. (shrink)

While Western political scientists have a variety of opinions on democracy and how its institutions could be improved, they almost never argue about the validity of democracy as a form of government. Of course, it would be unfair here to ignore the presence of an authoritarian streak in Western thought. Thomas Hobbes comes to mind most immediately. Yet the views of those thinkers with an authoritarian bent have become marginalized in present-day discourse; or, to be more precise, it is assumed (...) that their views on the importance of a strong government are irrelevant to the present. The assumption that a strong regime might be necessary in non-Western societies is thought to be the product of these authoritarian/totalitarian societies' elite classes—that is, a justification for imposing the power of the elite upon the people. Most Western political scientists are convinced that democracy is the best of all possible forms of government. (shrink)

Introduction. One of the drivers of the Russian regions’ development is traditionally considered to be local universities and the scientific activity development, in particular. However, such a belief is usually based on speculative conclusions and is not subjected to detailed empirical testing. The purpose of the study is to assess the relationship between the development of science in universities in Russian regions and indicators of regional development according to 2017—18 data. Methods. The authors use methods of generalization, grouping, assessment of (...) indicators of central tendency and variations, as well as methods of correlation analysis. The study is based on the data from regional statistics presented on the official website of Russian Statistics Agency, as well as data from monitoring the universities effectiveness, commissioned by the Ministry of Science and Higher Education of the Russian Federation. Scientific novelty of the research. For the first time, the authors present an empirical analysis of the relationship between indicators of socioeconomic development of Russian regions and indicators of scientific activity in universities in the region. The study is characterized by using a sample of homogeneous regions. The sample excluded regions that did not have significant scientific results, as well as regions that are leaders in economic development. As a result, a “core” of 57 Russian regions with similar characteristics of both economic development and the results of scientific activity was investigated. This increased the practical significance of the conclusions and their reliability. Results. As a result of the study, it was found out that there is a statistically significant relationship between all indicators of regional development and science in universities. However, a deeper analysis made it possible to establish that this relationship is indirect. In some cases, we can talk about the opposite influence - regional development on scientific results in universities. Conclusions. It was found that the indicators used in the public administration system for assessing the effectiveness and efficiency of scientific activity are not key in terms of their impact on regional development. It was revealed that publications in leading world databases and in the Russian Science Citation Index (RSCI) are equally related to regional development. It has been determined that in a number of cases, within the considered sample, it is possible to distinguish two groups of regions with a different nature of the relationship between regional development and science in universities. (shrink)

Comparative study between Tibetan Bon and Buryatian Bø religion of ancient Shamanic traditions.

Introduction. The human world is presented as an integrity — an organic unity of many inter- connected and interdependent centers (parts, sides, elements): natural and cultural, natural and artificial, animate and inanimate. When any center dominates over others (for example, technical and technological) and / or attempts to realize its claim to the status of a whole, the agreed and optimal ra- tio in the coexistence and synergistic development of all centers, and, consequently, of the whole, is violated. There arises (...) an ecosystem problem. The purpose of the study is to present and analyze the techno-technologized world in the context of current philosophical and scientific methodologi- cal principles: polycentricity, complexity, network- centricity, and ecosystem; to designate their theoretical and practical significance, interdepend- ence; to substantiate the principle of ecosystems as more general and fundamental and to present its effectiveness in preserving the integrity of man, his world and the full value of human being-in-the- world. Methods. The author uses methods of dialectics, synergetics and systemic approach in the philo- sophical understanding of the specifics of the modern techno-technological world and a person’s existence in it. The author also uses the methods of extrapolation and interpretation, the ideas of B. Latour’s actor-network theory, and ecosystem approach. Scientific novelty of the research. The author projects the key attitudes and concepts of the actual conceptual and paradigm principles on the techno-technological world, and formulates the main advantages and disadvantages. The author substantially justifies that the principle of ecosys- tem is the most effective in solving the problem of preserving and reproducing the integrity of the human world, the person himself and his being. Results. The author carries out theoretical and methodological analysis of the techno-technolo- gized world and a person’s existence in it. It has been determined that when solving the problem of preserving and reproducing the integrity of a person and his world, the principle of ecosystems is the most effective and preferable. The ecosystem principle implies the synergistic unity of all centers of human existence, their interdependence and interconnection, ensures the priority of the whole for the benefit of each center, expressed in mutual strengthening and expansion of their potential. Conclusions. The author comes to the conclusion that the application of relevant paradigm principles in studying and analyzing the techno-technological world will make it possible to obtain a more mul- tidimensional and accurate interpretation of the ways and means of achieving a full-fledged human being, with a focus on preserving his identity, origi- nality, subjectivity and integrity. (shrink)

I detect a specific attitude to Byzantium (“the Byzantine Enlightenment”) in Ivan Kireevsky’ Slavophile article “On the Character of Enlightenment in Europe” (1852). I qualify this attitude as Byzantinocentrism. I take that as a focal point and, against this background, consider the image of Byzantium in Kireevsky and some thinkers of his social circle. It allows me to trace the most important lines of attitudes to Byzantium in the Russian historiosophical literature and opinion journalism of the nineteenth century. I detect (...) two opposite lines in perceiving Byzantium in Kireevsky’s early social circle: the anti- and pro-Byzantine ones. The first line goes back to an anti-Byzantine message, characteristic of the epoch of Enlightenment. It found its manifestation in G. W. F. Hegel’s Lectures on the Philosophy of History. I point to the traces of the implicit polemics with Hegel’s anti-byzantinism in Kireevsky and identify the context of these polemics in Arist Kunick. As well, I outline how these lines worked in Pyotr Chaadaev and Alexander Pushkin. Then I distinguish between how the image of Byzantium was presented, first, in Kireevsky’s earlier Slavophile article “On the Character of Enlightenment in Europe” and, second, in his last article “On the Necessity and Possibility of the new Foundations for Philosophy” (1856). In the latter article, which sees Byzantium as bipolar, I find another view on Byzantium. I suggest that this view on Byzantium as a bipolar entity goes back to Alexey Khomyakov’s Semiramis. My point is that this difference in the views on Byzantium is paradigmatic and it reflects a division that was present in the Russian Slavophile-conservative milieu of that time. I suggest that this division stands behind another division within the same milieu, which was politically oriented, the one in relation to the Greek-Bulgarian ecclesiastical question. I analyze how both monopolar (Byzantinocentric) and bipolar views on Byzantium were reflected in the Greek-Bulgarian question as it was considered by Alexey Khomyakov and Terty Filippov. I find a context for developing Kireevsky’s attitude towards Byzantium in François Guizot’s historiosophic scheme as well. (shrink)

In this paper we continue the study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only the consumption, but also the presence of resources. We introduce a new semantics and a new calculus for this logic. In contrast to the results of Lincoln [7] and Kanovich [4] about the NP-completeness of the problem of the construction of a proof for a given sequent in the multiplicative fragment of Girard's Linear Logic, we present (...) here a non-exponential algorithm to construct a proof for a given sequent and a given point of a given model in our Linear Logic. (shrink)

Introduction. A human and the world are an organically connected part and whole, they are always a single World, and therefore they can only evolve together, in one direction. The human world consists of many interconnected and interdepend- ent parts. If any one of the parts (for example, technology) begins to dominate and claim the sta- tus of the whole, then the problem of violating the optimal ratio in the coexistence and co-evolutionary development of each of the parts, and hence (...) the whole itself, becomes aggravated. Hence, the eco-humanistic problem arises. The purpose of the work is to present the content and substantiate the theoretical and practical significance of eco-humanism as a new humanitar- ian knowledge and methodology for understanding the specifics of the relationship “man — technical and-technological world”. Methods. The author uses the methods of dia- lectics, systemic and synergetic approaches, the project (projective) method, which is implemented in the design and development of a new philo- sophical and scientific discipline of eco-humanism, and ideas of co-evolution. Scientific novelty of the research. The author determines basic foundations of eco-humanism as a new type of humanitarian knowledge; formulates and meaningfully substan- tiates the main principles of eco-humanism as a methodological setting for the ecologization of a person and the world: optimality, coordination and dominance of the whole (integrity) in relation to its parts. Results. Eco-humanistics is defined as a new type of knowledge about a person and a specific setting of his thinking and practical activities, focused on finding ways and means to achieve op- timality in relation to various aspects (for example, technical and anthropological) in a person’s being to ensure the possibility of their fruitful existence, to preserve and reproduce a person (as a unique integrity) and his world (as a universal integrity), in their interconnected and interdependent unity. Conclusions. The author of the article comes to the conclusion that the theoretical development of eco-humanistics will make it possible to study and analyze the phenomena of modern culture in a more multifaceted way, to get a more accurate interpretation of the ways of human existence and eco-cultural practices that provide the effect of the state of the “ecosystem” in situations of any intense socio-cultural transformations. (shrink)

Jack Spencer argues we should reject a decision rule called MaxRat because it's incompatible with this principle: If you know that you will choose an option, x, and you know that x is better than every other option available to you, then it is permissible for you to choose x. I agree with Spencer that defenders of MaxRat should reject this principle. However, I disagree insofar as he suggests that he and orthodox causalists are in a position to accept it. (...) Both orthodox CDT and Spencer's own theory of rational choice are incompatible with the principle as well. It is surprising to realise, but all are agreed: it can be irrational to knowingly choose the best. (shrink)

In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.