Martin-Löf’s type theory stems simultaneously from Frege and Russell’s logic-ontological ideas and Husserl’s phenomenology. The article examines this intermediate status of type theory using as examples Martin-Löf ’s syntactical-semantic method and the role of evidence and canonical objects in his approach. Martin-Löf borrows the syntactical-semantic method from Frege and extends it drawing on Husserl’s theory of meaning. In type theory this method leads to the identity (isomorphism) of syntax and semantics (formal logic and formal ontology). Unlike traditional formal logic the (...) type theory is an interpreted system from the very beginning. Being intuitionistic, Martin-Löf ’s theory is based on the notion of proof, not truth. From the meaning theory point of view, it is a variant of proof-theoretic semantics (Gentzen, Prawitz, Dummett) which understands meaning as an object constructed according to certain rules. So understood, the proof is based on evidence, which allows us to associate it with the theory of intentionality by Husserl. The article compares Martin-Löf ’s type theory with Husserl’s intentionality theory, especially with the latter’s noematic component. We may consider type-theoretical rules for constructing objects and operating with them as a concretization and formalization of the phenomenological notion of noema. Both are explications of the more general concept of meaning. The article discusses the interrelation between notions of sense and meaning (Sinn, Bedeutung) in Frege, Husserl and Martin-Löf. This reveals the uncertainty of Martin-Löf ’s position in relation to meaning theories of Frege and Husserl. (shrink)

Shramko [. Truth, falsehood, information and beyond: The American plan generalized. In K. Bimbo, J. Michael Dunn on information based logics, outstanding contributions to logic...

Modern cognitive approach represents the interdisciplinary branch of scientific reflection uniting researchers of knowledge, studying laws of purchase, transformation, representation, storages and reproduction of the information. People react to own experience, instead of "objective" reality. Cognitive map of the world according to which we operate, our feelings, belief and life experience create. We have no direct access to a "objective" reality, therefore our cognitive map is for us this unique "real" reality. Cognitive science widely uses methodology of synergetic approach successfully (...) describing processes of self‐organizing. On the other hand, the synergetic addresses to modelling cognitive systems both the separate individual and collective cognitive processes. Therefore there are bases tospeak about formation cognitive‐synergetic scientific program ‐ the approach which is under construction on principles of modern nonlinear thinking. (shrink)

The democratic state and social development courses chosen by Ukraine have defined its religious diversity, where a prominent place in the spiritual life of society is the phenomenon of religious minorities, which play an ambiguously important role in forming a new system of value orientations. All these changes are taking place against the background of global transformations in the modern world, which is becoming increasingly open to interactions and interactions between its various elements, pluralistic and multicultural, in which different religious (...) traditions freely coexist. At the same time, it shows discrimination against certain groups of people called minorities. Minorities are increasingly experiencing political, cultural, economic and physical oppression, and even genocide. (shrink)

L'article est consacré à l'analyse du paysage théologique au sein des sphères sociales et ecclésiales contemporaines. Les dynamiques sociales en évolution exigent une réévaluation de la logique et du discours utilisés pour soutenir les perspectives théologiques par rapport aux périodes antérieures. Les caractéristiques uniques du contexte culturel et historique russe contemporain introduisent des variations dans le rôle de la théologie et donnent une nature plus nuancée, incertaine et discutable à sa place et à son statut dans le domaine public. Dans (...) ce cadre, je m'efforcerai de formuler une perspective globale visant à dévoiler la stratégie théologique sous forme de vision analogique et pacifique. (shrink)

We propose that a top priority of the cerebral cortex must be the discovery and explicit representation of the environmental variables that contribute as major factors to environmental regularities. Any neural representation in which such variables are represented only implicitly (thus requiring extra computing to use them) will make the regularities more complex and therefore more difficult, if not impossible, to learn. The task of discovering such important environmental variables is not an easy one, since their existence is only indirectly (...) suggested by the sensory input patterns the cortex receives – these variables are “hidden.” We present a candidate computational strategy for (1) discovering regularity-simplifying environmental variables, (2) learning the regularities, and (3) using regularities in perceptual and decision-making tasks. The SINBAD computational model discovers useful environmental variables through a search for different, but nevertheless highly correlated functions of any kind over non-overlapping subsets of the known variables, this being indicative of some important environmental variable that is responsible for the correlation. We suggest that such a search is performed in the neocortex by the dendritic trees of individual pyramidal cells. According to the SINBAD model, the basic function of each pyramidal cell is (1) to discover and represent one of the regularity-simplifying environmental variables, and (2) to learn to infer the state of its variable from the states of other variables, represented by other pyramidal cells. A network of such cells – each cell just attending to representation of its variable – can function as a sophisticated and useful inferential model of the outside world. (shrink)

The Crimea Conference is by all means an extremely complex historical event. Any attempt to estimate its role and significance without analyzing its ethical components would unavoidably result in unduly simplifying the historical reality of the time, as well as in forming erroneous assumptions that would necessarily be used in the analysis of the causes of Cold War. A thorough examination will show that as far as the ‘ethical’ issues are concerned, there are significant developments with regard to general methodology, (...) as well as its application to the sources. Generations of historians who have addressed the issue of Yalta Conference, although they have not been able to form a scientific, distinct ‘ethical’ tradition so far, have developed all the necessary prerequisites for its establishment. This is evident in the possibility of segmenting the issue in two parts on the one hand, and on the other in the availability of sufficient sources, structured databases, and selected outstanding works. Still, there are no studies about the Yalta Conference so far that address exclusively ethical issues concerning ‘good’ and ‘evil,’ ‘morality,’ ‘duty,’ and ‘honor.’ Although historiographical approaches are to a large extent dependent upon ethical viewpoints, in the case of Yalta agreements so far there have been no techniques available, so as to connect historical accounts with ideology, and historical facts with their philosophical background. In a sense, the situation is quite the same as it is with the study of prehistory: although there is an abundance of data and facts that can be primarily processed, there are no methodological guidelines, nor any devices to classify and explain them. This is also typical for any question raised about the ethics of the Yalta agreements in February 1945. (shrink)

Publication date: 30 August 2017 Source: Author: Oleg Tarnopolsky This paper analyzes a project devoted to elaborating a new textbook of English for students majoring in “Tourism.” The textbook is designed on the basis of the constructivist approach, i.e. such an organization of the teaching/learning process that ensures students’ involuntary language acquisition through participation in target language communication which is implemented when performing learning tasks modeling the professional activities of the future university graduates. Those tasks are completed in the (...) form of experiential learning activities that provide for modeling the students’ future professional activities and professional target language communication, giving them opportunities of acquiring the language involuntarily through practical experience of participating in such communication. Examples of experiential learning activities are given – those that are used in every unit of the textbook as organized in the separate parts of every such unit. (shrink)

The relevance of the research reflects the unity of the requirements of the Beijing Philosophical Congress "Learning to be a man" and the anniversary report of the "Rome Club" "Come On! Capitalism, myopia, population and destruction of the planet", which the transformation processes of the socio-sphere are revealed from the standpoint the need for a radical breakdown of the spiritual and moral world of man and his worldview. The foundation of these transformations is the transition in education, as the hippocrine (...) of our knowledge, the source that quenches thirst in them to the "new Enlightenment" as a decisive factor in the learning of a person to be him. This determined the purpose and objectives of the article. The purpose of the article is to substantiate the natural and necessary character of the formation of the "new Enlightenment", to reveal the architectonics of its content. Research objectives : in the context of the goal to uncover the factors that determine the need for a transition in education to the "new Enlightenment", its qualitative difference from the Enlightenment of the 17th-18th centuries; to characterize the new content of "connectedness" in education based on the use of new information technologies; analyze the process of formation of a new spiritual and moral outlook of a specialist on the universal values of humanity; focus the learner’s attention on focusing knowledge of sustainable development as a determining factor of the global problems of mankind through the interrelation of academic disciplines; an important component presents the demand for the formation of a new integral thinking, innovative in its essence and qualitatively different from the analytical one. It is noted that the transition to the path of integral thinking contributes to the connection, coordination and organization into a single whole of the fragments of the object under study. Such thinking is characterized by stability, reliability, variability; it is original in its connections with science and education, and methodological influence on individual and social consciousness. Integral thinking reflects a qualitatively new level of intelligence. Research methods: to achieve the stated goal and constructive solution of the tasks, the article used the method of abduction, analysis and synthesis, historical and logical, synergistic approach. The results of the research: a new paradigm of education is represented – the noospheric-information one corresponding to the factuality of the “new Enlightenment”, as its ability to reproduce itself on a changing scale. The change in the scale of the socio-sphere is due to its globalization processes. The content of the “new Enlightenment” is explicated as a qualitatively new level of formation of students' sustainable knowledge based on the integral innovative type of thinking based on the information resources of society, the use of modern educational technologies, as well as on the values of society, as the quintessence of its wisdom and public intelligence. Conclusions. Thus, the formation of a "new Enlightenment" is natural and necessary. This follows from the requirements of the “learn to be human” program, as well as from the development of an internally ordered education process. “New Enlightenment” also has an attribute of uniqueness, since it does not have anything to compare with, identify; it is an objective, essential, unique phenomenon; it is single, relative, determined by the previous development of education. It is based on the processes of intellectualization, innovation, informational content, humanism and is capable of solving constructively the tasks facing society. (shrink)

Introduction. The article examines the dynamics of electoral competition over four electoral cycles from 2005 to 2019 as exemplified by forming representative bodies of local self-government in the city of Chelyabinsk. Particular attention is paid to the impact that the transition of Chelyabinsk to a twotier model of forming local self-government bodies in 2014 had on the electoral competition. The purpose of the paper is to study the dynamics of electoral competition in municipal elections in Chelyabinsk before and after the (...) 2014 reform. Methods. The empirical basis of the study is the database “Electoral competition in the elections of municipal deputies of Chelyabinsk (2005—2019)”, which includes 414 observation units. The analysis of the empirical material is carried out according to the method of G.V. Golosov’s triangle of relative sizes, proposed for classifying party systems and adapted for analyzing elections in single-mandate constituencies. Scientific novelty. The author suggests a methodology for analyzing electoral competition in singlemandate constituencies. For the first time, the phenomenon of “controlled competition” is analyzed on the basis of 4 municipal elections cycles. Results. The analysis makes it possible to speak about fluctuations in electoral competition, its decline in 2009 and 2014 compared to the 2005 elections and increasing by the 2019 elections Conclusions. The “controlled competition” was formed in Chelyabinsk in the period preceding the reform of 2014. The reform introduced a level of local self-government, the effectiveness and necessity of which is not obvious with the existing design of the electoral system. In the course of the reform, the principal-agent model of relations between local self-government bodies and state authorities was finally consolidated. The reform contributed to conserving the “controlled competition”. (shrink)

In this paper, our analysis lays on two different levels. Firstly, we dis­cuss the central concepts of the early Russian structuralism within an epistemological framework focusing on the way in which linguistic knowledge is structured. In order to achieve this goal, we mobilize the concept of episteme developed by Michel Foucault in his works The Order of Things (1966) and The Archaeology of Knowledge (1969). This Foucauldian approach leads us to highlight a new epis­teme which is different from those that (...) Foucault described in the Order of Things. Secondly, we analyze the political and social impli­cations of this epistemological approach in the context of European and (post)colonial history. We highlight the material “action” of the linguistic knowledge under discussion. This second dimension of our approach is important insofar it represents a critic of the idea accord­ing to which the theoretical knowledge is separated from praxis. Our hypothesis is that the language constitutes a marker of particular so­cial interests, which are overdetermined by power relations. (shrink)

У статті аналізується роль мистецьких стратегій і мистецького примусу як їхньої складової у розбудові наступальних ідеологій (універсалістських, шовіністичних, расистських) та створенні охоронницьких міфів. Окреслюється зв’язок романтичного гіперболізму з принципом реальності, який виразно постає у політичних і геополітичних імплікаціях. Романтизм розглядається як епіфеномен раціоналізму. Зокрема, йдеться про Пошлість – як одну з перетворених форм комунікативної раціональності, що паразитує на контрасті між ідеологічною тотальністю та узвичаєними формами культури. Чільне місце у статті посідає тема глобальних експансіоністських ідеологій. Автор визначає роль мистецької фантазії та (...) містичних ідей стосовно міждержавного суперництва у геополітичних доктринах. У статті простежується взаємозалежність теоретичних засад романтизму та геополітичних проектів. Автор досліджує міфологічну ґенезу завойовницької фантазії авторитарних лідерів, яка утворюється на основі романтичної сваволі творчого суб’єкта. Осмислюється значення мистецького максималізму у контексті культурно-історичної традиції, що сягає імперського універсалізму. (shrink)

The purpose of the study is to analyze the processes of implementing the import substitution policy, based on the use of techniques and methods of influencing participants in market relations used by public authorities, which make it possible to identify its strengths and weaknesses and build the author's vision of directions for its stabilization. The authors focus on the prevailing opinion on the phased implementation of the import substitution policy, as well as on its application as a retaliatory measure to (...) the current sanctions regimes. The analysis of scientific sources on the issues under study allows us to draw a conclusion about its special status as a tool for the development of territories. The scientific novelty of the article lies in the author's position of the reasons for the reduction in the production of the main import-substituting food products, as well as changes in the import supply of food products. As a result, the authors expressed the need to change the approaches used to stimulate the production of food products based on the principles of innovation and science. (shrink)

Christian modernism ends with neoclassical nihilism, which, unlike classical nihilism, which denied life in the name of the highest values, denies these values, replacing them with human values - "too human, because morality replaces religion, and progress, history itself, divine values ". This is Nietzschean nihilism of the "death of God" and the otherworldly.

R. Pasnau once commented that the present-day academic area of cognitive theory suits medieval thought better than epistemology. The comment seems to the point, and the focus of R. Cross’s book is thus appropriately placed. Scotus’s theory of cognition is worth a new treatment both because Scotus represents a new stage in medieval cognitive theory and because his positions are “sometimes rather fluid” and “not always as clear”. This lack of clarity extends to the most important subject in this book, (...) such as various aspects of the issue of intentionality, where Scotus’s discussion is... (shrink)

The issue of why God, the Trinity and Christ in Christianity can be called "beautiful" has been muddled in literature on theological aesthetics. John Duns Scotus’s detailed discussion of relations within the Trinity helps resolve this issue. The Trinity can be called "beautiful" in at least three senses, depending on whether one considers Trinitarian relations at all, whether one looks at the relation of equality, or whether one analyzes relations of origin.

Статья посвящена анализу богословского ландшафта в современной социальной и церковной сферах. Эволюционирующая социальная динамика требует переоценки обоснования и дискурса, используемых для поддержки теологических взглядов, по сравнению с более ранними периодами. Уникальные характеристики современного российского культурного и исторического контекста вносят изменения в роль богословия и придают его природе более неопределенный и спорный характер, влияя на его статус и место в общественной сфере. В рамках данной работы я попытаюсь сформулировать перспективу, направленную на раскрытие богословской стратегии в форме аналогического и мирного видения.

The article discusses the philosophical views and ideas of Ivan I. Lapshin in order to introduce him as an original thinker who plays an important role in Russian Neo-Kantianism. Lapshin applied Neo-Kantian ideas in the areas of creativity, art, and literature. He sought to develop aesthetics and proposed the idea of ​​aesthetic transformation [The Russian word is perevoploshchaemost’, which can also be translated as reincarnation.—Trans.]. Having investigated the idiosyncrasies of Russian culture, Lapshin produced a special phenomenology of creativity, which aims (...) to reveal the essence laid down in different works of writers and composers. The phenomenology of creativity is the foundation of Lapshin’s philosophy; it allowed him to remain faithful to the basic principles of Neo-Kantianism while dialectically combining various aspects of human activity to express his own aesthetic program. (shrink)

Recently (2010–2011) new criminal legislation to combat illegal income and corruption was passed and publicly discussed in Lithuania. Within the list of the new legal measures, special attention should be paid to criminalisation of illicit enrichment, establishment of a model of extended property confiscation, reinforcement of responsibility for corruption-related offenses, a provision that not only property but also personal benefits may constitute a bribe. It can be seen from the explanatory letters attached to the draft laws and the political debate (...) that the new regulation is expected to achieve decisive breakthrough in the fight against corruption and illegal income. However, without any doubt as to the necessity to fight against those social evils, the author presents critical evaluation of the reform by applying the test of principles of criminal law, legal language and practical effectiveness. By making critical conclusions that the new criminal legislation deliberately lightens the prosecution’s goal of incrimination and the burden of proof, the author warns about the purposive instrumental nature of the new laws, which are balancing on the threshold of legitimacy. In the article the author reveals crucial shortcomings of the new legislation: in some aspects it lacks legal certainty, in other aspects it ignores the principles of guilt, presumption of innocence and proportionality as well as the conception of criminal law as a last resort (ultima ratio). As a result, the new legal means against illegal income and corruption leave space for applying inadequate repression beyond their intended purpose, in addition, they criminalise human conduct that is insufficiently dangerous and create preconditions for senseless criminal prosecutions and violation of human rights. (shrink)

Сучасні міжнародні відносини переживають глибокі трансформації, тому тісно пов’язана з ними дипломатія також зазнає ґрунтовних змін. її функції, які раніше були фактично прерогативою зовнішньополітичних відомств і здійснювалися переважно посольствами, нині реалізуються через численні державні та недержавні канали. Отже, пов’язана з процесами глобалізації перебудова міжнародних відносин, вихід на світову арену недержавних учасників міжнародних стосунків ставлять перед дипломатією завдання її активного залучення в процес створення нового світового порядку. Водночас силові розв’язання міжнародних проблем виявляються все більш недієвими та небезпечними. В цих умовах саме (...) багатостороння дипломатія є ефективним механізмом урегулювання міжнародних конфліктів і кризових ситуацій. (shrink)

A relation on a linearly ordered structure is called semi-bounded if it is definable in an expansion of the structure by bounded relations. We study ultimate behavior of semi-bounded relations in an ordered module M over an ordered commutative ring R such that M/rM is finite for all nonzero r $\epsilon$ R. We consider M as a structure in the language of ordered R-modules augmented by relation symbols for the submodules rM, and prove several quantifier elimination results for semi-bounded relations (...) and functions in M. We show that these quantifier elimination results essentially characterize the ordered modules M with finite indices of the submodules rM. It is proven that (1) any semi-bounded k-ary relation on M is equal, outside a finite union of k-strips, to a k-ary relation quantifier-free definable in M, (2) any semibounded function from $M^{k}$ to M is equal, outside a finite union of k-strips, to a piecewise linear function, and (3) any semi-bounded in M endomorphism of the additive group of M is of the form x $\mapsto \sigmax$ , for some $\mapsto \sigma$ from the field of fractions of R. (shrink)

The paper consists of brief literature review of fundamentals and ways of the Russian approach to the studying of the doctrine of love in Latin Patristic IV-V centuries. This topic is peripheral theme for the Russian science; however, it has some development. The literature review describes the most popular ideas and the reasons for their choice.

Many nuclear proteins have been found recently to interact with short conserved sequences which are involved in regulating the transcription of various genes. Nuclear transcription factors may be arbitrarily subdivided into two groups, ubiquitous and tissue‐specific. The transcription of one gene is usually regulated by several factors which interact with different sequences located either in the promoter region of the gene or outside it. The appearance or disappearance of transcription factors for some genes corresponds to certain phases of cell differentiation (...) or dedifferentiation and even to individual stages of the cell cycle. (shrink)

Moral absolutes were perceived, by Solov'ëv, in a dual manner: a) from the side of content, of psychology, as when we speak of feelings, emotions, etc.; and b) under a formal aspect, as “ideas,” i.e. logically. Neither of these can be treated without relating to moral absolutes astrue, and without a rationalbelief in their truth, a truth that cannot be logically proved. In my opinion, our time has become keenly aware of the universally human value of Vladimir Solov'ëv's ethics, of (...) its humanist nature, oriented towards the everyday and the ideal tasks of man, and of the concrete direction of his philosophy of “practical idealism”. (shrink)

A careful evaluation of well-documented historical data, along with ancient and modern theological writings, reveals the matriarch Rebekah as one of the most important and controversial individuals of the biblical narrative. Her exceptional beauty, hospitality, morality, faithfulness and sacrificial love were highly admired and praised as iconic by ancient historians, philosophers, the Hebrew community, the Church Fathers and numerous other scholars; yet, some theologians and clerics of the past few 100 years have depicted Rebekah in a negative light. This article (...) intends to highlight this contradiction for the contemporary community of believers by providing an insightful description of the ancient hermeneutics of Rebekah's story. It further aims to encourage biblical scholars to methodologically re-evaluate Rebekah's life, investigating possible reasons as to why the positive image of Rebekah has been overturned in recent years, and thereby determine the cause of such a conceptual paradigm shift in interpreting this key biblical narrative. (shrink)