This paper calculates, in a precise way, the complexity of the index sets for three classes of computable structures: the class $K_{\omega _{1}^{\mathit{CK}}}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}$ , the class $K_{\omega _{1}^{\mathit{CK}}+1}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}+1$ , and the class K of all structures of non-computable Scott rank. We show that I(K) is m-complete $\Sigma _{1}^{1},\,I(K_{\omega _{1}^{\mathit{CK}}})$ is m-complete $\Pi _{2}^{0}$ relative to Kleen's O, and $I(K_{\omega _{1}^{\mathit{CK}}+1})$ is m-complete $\Sigma _{2}^{0}$ relative to O.

This study used a laboratory experiment with monetary incentives to test the impact of three personal factors (moral reasoning, value orientation and risk preference), and three situational factors (the presence/absence of audits, tax inequity, and peer reporting behavior), while controlling for the impact of other demographic characteristics, on tax compliance. Analysis of Covariance (ANCOVA) reveals that all the main effects analyzed are statistically significant and robustly influence tax compliance behavior. These results highlight the importance of obtaining a proper understanding of (...) these factors for developing effective policies for increasing the level of compliance, and indicate that standard enforcement polices based on punishment alone should be supplemented by an information system that would acquaint tax payers with the compliance level of other tax payers; reinforce the concept of fairness of the tax system among tax payers; and develop programs that enhance and appeal to a taxpayer's moral conscience and reinforce social cohesion. (shrink)

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)

An interview with Anthony Freeman, in which one of the original authors of ‘The Science of Art’ [JCS, 6, No. 6/7, 1999] responds to to ongoing commentary.

V.K.: Vladislav Aleksandrovich, you have come a long way in your scientific career: from a student of the class of 1955 in the Philosophy Faculty of Moscow State University to a corresponding member of the Russian Academy of Sciences, head of the sector of the theory of knowledge and head of the division of epistemology and logic at the Institute of Philosophy of the RAS, and editor in chief of our country's leading philosophy journal Voprosy filosofii. Your field of research (...) is the theory of knowledge and the philosophy of science or, to be more specific, the cultural-historical analysis of knowledge from the point of view of the activity approach. As far as I know, the psychological aspect of the activity approach to the study of consciousness and knowledge was developed by the psychologists Lev Semenovich Vygotsky, his student Aleksei Nikolaevich Leontiev, Aleksandr Romanovich Luria, and Petr Iakovlevich Galperin. Leontiev, Luria, and Galperin were professors at the Philosophy Faculty of MGU at the time you were studying there. Tell me, did you develop your scientific interests under the influence of the Moscow school of cultural-historical psychology? (shrink)

A range of multidisciplinarily arguments and observations can and have been employed to challenge the view that the human relationship to nature is fundamentally a cognitive matter of collectively held cultural ideas and values about nature. At the same time, the very similar cognitivist idea of collective sharing of conceptual schemes, normative orientations, and the like as the engine of collective action remains the chief analytic tool offered by many influential philosophical and sociological theories of collective action and human sociality (...) generally. Critically discussing in empirical as well as theoretical contexts the prospects of cognitivism to account for the human collective causing of environmental problems, the paper illustrates the deficiencies of cognitivism about collective action and discusses the challenges facing a different way forward. (shrink)

A modern stage of globalization is a historical and logical continuation of “an economical social formation” (K.G. Marx), a civilization (L.G. Morgan). The analysis of this globalization in philosophy and social sciences has an extremely contradictory character which is law-governed in the modern society. Modern globalization has been showing itself as a qualitatively new historical process since 1991. Judging from the positions of the dialectical materialistic theory of history (K.G. Marx, F. Engels, V.I. Lenin and others) it by its essence (...) has got a postneoimperialistic, antagonistic character. It’s main features, attributes has been revealed. It doesn’t solve any sharp global problems, but only aggravated and intensifies them. This globalization has greatly increased, made inhuman the process of “cosmopolitization” which developed during the whole existence of capitalism and imperialism. A total degradation and dehumanization of a social person have been taking place, interstate and civil burst into flames, mass disturbances arise, hundreds thousands of people die, genocide and depopulation of some peoples on the planet become “normal” including the countries of the UIS. Destructive process of modern globalization with the USA as the main “player” together with corresponding international institutions (WTO, ICF, World bank, NATO and other), TNC have been resisted in a definite way by antiglobalizing andalterglobalizing movement in many countries on the planet. (shrink)

In a range of human sciences, the human relationship to nature has often been viewed as driven fundamentally by religious, philosophical, political, and scientific ideas as well as values and norms about nature. As others have argued before, the emphasis on ideas and values faces serious problems in heeding the structural, socioeconomic quality of the human relationship to nature and thereby the deeply problematic structural character of the human environmental burden. At the same time, alleviating the structural environmental burden generated (...) by global industrial market society represents arguably the single most challenging task in addressing environmental problems. Critically explicating the tendency of our intellectual culture to produce ideological and psychologistic explanations of human ecologically consequential action, and human action more generally, can clarify the notion of the cultural causes of environmental problems and the character of the human collective causing them. Only a structuralist point of view can accommodate the diversity of our positions and perspectives toward nature in the global context in which environmental problems are caused. (shrink)

In this book, the extend to which we can equip artificial agents with moral reasoning capacity is investigated. Attempting to create artificial agents with moral reasoning capabilities challenges our understanding of morality and moral reasoning to its utmost. It also helps philosophers dealing with the inherent complexity of modern organizations. Modern society with large multi-national organizations and extensive information infrastructures provides a backdrop for moral theories that is hard to encompass through mere theorising. Computerized support for theorising is needed to (...) be able to fully grasp and address the inherent complexity. Using moral reasoning capacity will help us addressing the challenges that technological artefacts pose. They do not only contain information about us, they start to act on our behalves.With the increasing autonomy comes an increased need to ensure that their behaviour is in line with what we expect from them. To investigate and address these issues a laboratoy for philosophy is outlined: SophoLab. It consists of a methodology; a framework of modal logic, DEAL; and multi-agent software systems. SophoLab provides the basis for an experimental, computational philosophy. Its viability and usefulness are demonstrated through several experiments. (shrink)

The experience of organizing the educational process during the quarantine caused by the COVID-19 pandemic is considered. Using of interactive technologies that allow organizing instant audio communication with a remote audience, as well as intelligent tools based on artificial intelligence that can help educational institutions to work more efficiently. Examples of sufficient use of artificial intelligence in distance learning are given. Particular attention is paid to the development of intelligent chatbots intended for use in communications with students of online courses (...) of educational web portals. The use of technologies of ontology formation based on automatic extraction of concepts from external sources is offered, what can lead to greater acceleration of construction of the intellectual component of chatbots. Artificial intelligence tools can become an essential part of distance learning during this global COVID-19 pandemic. While educational institutions are closed to quarantine and many of them transitioned to distance learning lecturers and schoolteachers, as well as students and schoolchildren faced with the necessity to study in this new reality. The impact of these changes depends on people's ability to learn and on the role that the education system will play in meeting the demand for quality and affordable training. The experience of organizing the educational process at the University of Education Management of the National Academy of Pedagogical Sciences of Ukraine in the quarantine caused by the COVID-19 pandemic showed that higher and postgraduate institutions were mostly ready to move to distance learning. However, most distance learning systems, on whatever platform they are organized, need to be supplemented: the ability to broadcast video, providing fast transmission of various types of information, receiving instant feedback when voting, polls and more. The structure of each section of the training course for the online learning system should fully cover the training material and meet all the objectives of the course. Appropriate language should be used, and wording, syntax, and presentation of tasks should be considered. One of the areas of application of artificial intelligence technologies in online learning is the use of chatbots which are characterrized by the following properties. It is advisable to use computer ontologies to ensure the intellectualization of chatbots. In this case, the metadata must be understandable to both humans and software and meet the requirements of modern standards in the field of information technology. The extraction of concepts from external data sources was carried out to build the ontology. (shrink)

Издание представляет результаты исследования малоизученной темы социально-экономических доктрин консерватизма. Оно отражает их развитие от времени выражения их в виде утопий, погруженных в более общие социально-философские и политические учения.

This article presents a novel full-reference image quality assessment algorithm by depicting the sub-band characteristics in the wavelet domain. The proposed image quality assessment method is based on energy estimation in the wavelet-transformed image. Image QA is achieved by applying a multilevel wavelet decomposition on both the original and the enhanced image. Next, the wavelet energy and vector are computed to obtain the percentage of the energy that corresponds to the approximation and the details, respectively. Further, the approximate and detailed (...) energy levels of both the original and the enhanced images are compared to formulate an image quality assessment. Numerous experiments are conducted on a dozen of image enhancement algorithms. The results presented show that the image with poor contrast in the foreground than the background has continuous regular coefficient values. The probability density function for such an image has a relatively lower WE and skewness compared with the background. The proposed scheme not only evaluates the global information of an image but also estimates the fine, detailed changes in an enhanced image. Thus, the proposed metric serves as an objective and effective FR criterion for color image QA. The experimental results presented confirm that the proposed WE metric is an efficient and useful metric for evaluating the quality of the color image enhancement. (shrink)

В книге большое внимание занимает рассмотрение сущностных черт самого сложностного мышления и тех возможностей, которые оно открывает при анализе процессов глобализации, проблем биоэтики, экономики, инженерной науки. Для специалистов.

Kant, Immanual was a German philosopher, the founder of German classical idealism, born in the city of Koenigsberg . Upon graduation from the university there , he became a private tutor. In 1755 he became privatdozent and in 1770 professor at Koenigsberg University. His development as a philosopher may be divided into two periods — the precritical , and the critical, when he undertook the criticism of reason, set forth in Kritik der reinen Vernunft , Kritik der praktischen Vernunft , (...) and Kritik der Urteilskraft. (shrink)

The proposed article is devoted to the description of an intelligent urban passenger transport system based on unmanned electric vehicles, sequentially moving along a separate line. This system is a passenger transport system of a new urban mobility, formed under the influence of social conditions generated by high population density in cities, that suppose the development of pedestrian zones and ecological modes of transport, "transport as a service", etc. In this historical context, public transport systems acquire special relevance. The described (...) transport system belongs to intelligent systems, since it is capable of functioning in autonomous mode without human intervention, adaptively responding to changes in the dynamics of the flow of passengers during the day. Passengers are transported by electric cars, which can be combined into cassettes according to the principle of road trains based on the transportation plan drawn up by the intelligent center of the transport system according to the matrix of correspondences, filled in taking into account the incoming requests for service from passengers. When drawing up a transportation plan, the algorithms of the transport system give preference to transportation according to the "source-destination" principle, that is, when the passenger goes to the destination with a minimum number of intermediate stops, and ideally without them. The paper formulates also a criterion of arising of a conflict in the movement of vehicles, which allows to identify situations when an electric vehicle driving in front can detain vehicles following after. The work has relevance because the criterion will allow to make adjustments in the schedule of movement of vehicles and exclude the loss of time and energy that carries the transport system during braking and acceleration of electric cars, as well as to reduce waiting time and travel of passengers. (shrink)

The proofs offered by St. Thomas of the existence of God suggest a problem. The day is past when the scholasticism of the Middle Ages was scornfully—often ignorantly—dismissed. The intellectual strength of a thinker such as St. Thomas is amply recognized.

Thomas Schelling, who wrote the foreword for this book, won the Nobel Prize in economics for "having enhanced our understanding of conflict and cooperation through game-theory analysis." This came after he had taught a course in game theory and rational choice to advanced students and government officials for 45 years. In this book, Robert Dodge provides in language for a broad audience, the concepts that Schelling taught. Armed with Schelling's understanding of game theory methods and his approaches to problems, the (...) general reader can improve daily decision making. Mathematics often make game theory challenging but was not a major part of Schelling's course and is even less of a factor in this book. Along with a summary of the material Schelling presented, included are problems from the course and similar less challenging questions. While considerable analysis is done with the basic game theory tool--the two-by-two matrix--much of the book is descriptive and rational decision-making is explained with stories. Chapter supplements are added to illuminate points presented by Schelling, including writings by Paul Krugman, Thomas Friedman, Steven Levitt, and others. (shrink)

On the philosophy of Śaṅkarācārya; papers presented at National Seminar on Ādi Śaṅkarācārya, organized by Sahitya Akademi in collaboration with the Department of Sanskrit, Pondicherry University in 1989.

The paper addresses the use of heterogeneous ensembles of intelligent unmanned vehicles in such a perspective field of innovations as an unmanned fishery. The issues of joint activity of unmanned vehicles of different types in fishing operations based on intelligent technologies are investigated. The “smart fishing” approach based on the joint fishing operation model is proposed. The operational framework that includes missions, roles, and activity scenarios embedded in the discretized spatial model is presented. The scenario activities are considered as the (...) sequences of pentad that determine executing specific functions concerning the specified waypoint, timepoints, and the states of vehicles. The definition of the plan as the scenario prototype that needs adjusting to the conditions of the situational context is proposed. The coordination problem regarding the joint activities of the unmanned vehicles and their scenarios is defined and the coordination framework based on the distributed common board model and coordination primitives is presented. The prototype of the intelligent scenario-based system including the implementation of both operational and coordination frameworks developed for the control of unmanned vehicles is described. This system makes unmanned vehicles capable to absorb all the latest advances in intelligent technologies to perform smart fishing operations jointly in a large heterogeneous group. The proposed approach to smart fishing using intelligent technologies makes it possible to detach fishermen from the fishing activities dangerous to their life and health, to reduce significantly poaching and illegal fishing, to increase the overall efficiency of fishing operations, and even to save the marine ecosystem. (shrink)