We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

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)

The pacemaker-accumulator model provides a framework in which the results of different duration estimation tasks are commonly accounted for. Nevertheless, the model remains abstract and it does not provide proper explanations nor predictions for duration estimations in various experimental set-ups. This paper aims to address these shortcomings by explicating an experiential pacemaker-accumulator model that supplements the standard pacemaker-accumulator model with two claims. Both of them concern the role that experiences play in duration estimation tasks and are also partly supported by (...) studies not directly related to duration estimation. First, the internal responses based on which the switch between the pacemaker and the accumulator operates are the same as the neural processes that realize conscious access to experiences. Second, the processes that realize the experiences of stimuli realize the function of the pacemaker. By supplementing the standard pacemaker-accumulator model with these claims, the model affords proper explanations for the systematic errors and empirically testable predictions in duration estimations tasks. One likely consequence of the model is that the experience of duration and the duration of experience can differ. (shrink)

The acceleration of the market globalisation process over the last three decades has internationalised clinical research and influenced both the way in which it is funded and the development and application of research practices. In addition, in recent years international multicentre randomised clinical trials have become the model par excellence for research on new medicines. The neoliberal model of globalisation has induced a decline in state power, both with regard to establishing national research for health priorities and to influencing the (...) development of adequate ethical guidelines to protect human beings that participate in multinational research. In this respect, poor and low-income countries, which lack sustainable control and review systems to deal with the ethical and methodological challenges of complex studies conducted by researchers from affluent countries and funded by large multinational pharmaceutical companies, are particularly vulnerable. The aim of the present paper is to explore critically some of the actual and possible ethical pitfalls of globalisation of clinical research and propose mechanisms for turning transnational clinical research into a more cooperative and fairer enterprise. (shrink)

In this article, cognitivism is understood as the view that the engine of human (individual and collective) action is the intentional, dispositional, or other mental capacities of the brain or the mind. Cognitivism has been criticized for considering the essence of human action to reside in its alleged source in mental processes at the expense of the social surroundings of the action, criticism that has often been inspired by Ludwig Wittgenstein's later philosophy. This article explores the logical extent of the (...) critique of cognitivism, arguing that by positing collectively shared knowledge of criteria as the engine of human action many such critiques themselves display latent cognitivism. (shrink)

Objectives: To examine the perspectives of journal editors and authors on overlapping and redundant publications in clinical research.Design: Pretested cross-sectional survey, containing both forced choice and open ended questions, administered by mail to the senior editors and one randomly selected author from all journals in the Abridged Index Medicus that published clinical research.Main measurements: The views of editors and authors about the extent of redundant publications, why they occur, how to prevent and respond to cases, and when the publication of (...) overlapping manuscripts is justified.Results: Seventy two per cent of editors and 65% of authors completed the survey. There was consensus between both groups that redundant publications occur because authors feel the pressure to publish and journals do not do enough to publicise, criticise, and punish cases, and that the publication of most types of overlapping articles is unacceptable. Sixty seven per cent of authors but only 31% of editors felt, however, that it was justified to publish an overlapping article in a non-peer reviewed symposium supplement, and 68% of editors but 39% of authors supported imposing restrictions on guilty authors’ future submissions. In written comments, 15% to 30% of both groups emphasised that it was justified to publish overlapping articles when there were different or non-English-speaking audiences, new data, strengthened methods, or disputed findings.Conclusions: Editors, authors, and other academic leaders should together develop explicit guidelines that clarify points of contention and ambiguity regarding overlapping manuscripts. (shrink)

Purpose. The purpose of this paper is to investigate the anthropological and socio-philosophical dimensions of human existence of the older age group given the challenges of pandemic threats caused by COVID-19. To this end, it is planned to solve a number of tasks, among which one should distinguish the following: 1) to investigate the manifestations of age discrimination in the context of the social and labor areas of human existence; 2) to focus on the asymmetry of the behavior of society (...) and the state relative to persons of the older age group in the field of healthcare in the context of a pandemic crisis; 3) to represent the anthropological features of changes in the socialization and activity of older people under the current conditions of globalization-pandemic challenges. Theoretical basis. Despite such a broad representation of the age-related issue in public relations, there are still no practical guarantees that would apply to discriminatory aspects of older age groups in various areas of their manifestation. The synergistic evolution of social reality requires substantive analysis of the issue under the current conditions for the transformation of social life, which is affected by globalization crises caused by the pandemic threats of COVID-19. Originality. The stereotypical assumptions underlying legal policy and established social relations are based solely on the application of chronological age. The novelty is in justifying an individual approach to the elderly through the personification of the personal characteristics of a person. The study of anthropological and socio-philosophical dimensions of the existence of a person of the older age group in the face of the challenges of pandemic threats caused by COVID-19 has made it possible to analyze the destructive nature of age discrimination in the context of the social and labor areas of human existence. As well as focus on the asymmetry of the behavior of society and the state in relation to these persons in the field of health care, and emphasize the anthropological features of changes in the socialization and human activity under the current conditions of globalization-pandemic challenges. Conclusions. External threats to human existence call for special attention to the implementation and protection of human rights, freedoms, individual freedoms, and identity. Pandemic threats have transformed all dimensions of human existence, especially for those groups of society that are less socially protected. The pandemic crisis has created additional grounds for discrimination against older people in various areas of human existence. Equalization of persons by age without personifying the personal characteristics of an individual is discrimination on an age basis, which violates the principles of democracy and humanism in the society, leads to stigmatization of the person, is the cause of the anthropological crisis of a person. (shrink)

Purpose. The article is aimed to study the anthropological, socio-philosophical and philosophical-legal dimensions of the ontological sphere of human life within the discourse of restricting human rights during pandemic threats. To do this, one should solve a number of tasks, among which are the following: 1) to explore the anthropological and praxeological understanding of fear as a primary component of human existence in a pandemic, which prevents people from changing their lives for the better and healthier, having fun and happiness; (...) 2) to put a focus on the habituation of fear as a two-dimensional adaptation to risks and threats from pandemics; 3) to reflect the anthropological features of changes in human life experience under the influence of the COVID-19 pandemic in the discourse of human rights and public health measures. Theoretical basis. Today, international guiding principles on human rights response to global natural threats have been updated. However, there are still no specific legal recommendations concerning measures on human rights protection during outbreaks of various infectious diseases. However, the influence of unexpected global challenges causes a change in the anthropological component of society and the state, so it requires immediate comprehensive research. Originality. It was substantiated a systematic approach to the implementation of modern healthcare policy towards the recognition of human life as the highest value, increasing the level of psychological preparedness for pandemic challenges and approximation of statutory provisions of human rights protection to modern challenges and threats to the health of the individual, society and state. The study of anthropological, socio-philosophical and philosophical-legal dimensions of human existence in the discourse of pandemic threats made it possible to reveal the profound influence of fear on human life, social justice and, consequently, identify the moral and legal dependence of the development level of society and the state on the level of axiological and anthropological concept of human dignity. Conclusions. Based on the study of statistical reports, international analysis and the use of personal authorial methods, the following can be stated: the methods of combating the modern pandemic have directly affected everyone on national and international level. Their influence is significant because it changes the rules of coexistence and life of people in all spheres. However, the influence on the consciousness and other intentions of the individual has mostly temporally insignificant limits. (shrink)

The ternary, not binary, Kripke-type relation on a set of possible worlds is an essential part of the semantics of entailment by Routley-Meyer [2]. The unpopularity of such approach among many logicians is due to its intuitive vague content and complexity. An attempt is made to use not one ternary relation but two binary relations and necessity of bibinarness is demonstrated. It is shown that both semantics are equal hence the soundness and completeness of the system R of entailment can (...) be established with the respect to the bibinary semantics. Furthermore, the ternary semantic with discrete matrix for Lukasiewicz system Lℵ0 , which was proposed in [3], could be transformed into the bibinary one and it leads to the conclusion of the completeness and soundness of Lℵ0 with the respect to the bibinary semantic. The brief consideration of the bibinary semantic intuitive content is added, which further logical study could be based on. (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)

The author presents a version of the ontological scheme of Newton’s mechanistic worldview based on both the study of previous versions of its understanding and the text of the “Mathematical Principles of Natural Philosophy”. Newton developed a model of new universality or a homogeneous and isotropic world in which uniform laws operate. This model is based on several ontological postulates Newton introduced, which can be isolated from several provisions of his classic work. The new mechanistic worldview is based on the (...) imputation of the world of universal simplicity. The quantitative “unit” of a simple, homogeneous, physical-geometric universe is an ambivalent corpuscle-point. The main constants of the “mechanistic universe” are the diversity of the numbers of masses, motions, and forces connected by clear reciprocal relationships. Newton also introduced theoretical space and time as a privileged, absolute reference system. Finally, in the Newtonian version of the mechanistic worldview, there are compelled metaphysical ingredients or inexplicable and transcendental qualities. They are gravity, ether, and God. Thus, the ontological scheme of Newton’s mechanistic worldview is a construction based on the sequential mental experiment of presenting the universe exclusively from the side of its “objectivity” and “sensory certification”. (shrink)

The scientific article is devoted to the actual problem of scientific interaction of scientists all over the world by developing the representation of a scientific journal on the Internet. This article describes the status of managing a scientific journal in the digital world. Modern software platforms intended for automation of preparation and publication of electronic scientific journals are presented. The analysis and comparison of several software platforms. The advantages of using open source journal systems are given. The choice of OJS3 (...) platform is substantiated and a short generalized algorithm for its use is outlined. (shrink)

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

Moral philosophers have often felt the need of a concept which would cover all those cases where we are prevented from achieving our ends through no fault of our own: a criterion for saying when failure is not blameworthy. The deontologists thought we were not to blame for actions done in genuine ignorance of the facts. Kant declared in a famous passage that we were not morally responsible for failures due to the “niggardliness of stepmother nature.” In this article I (...) want to introduce into moral philosophy a new concept for clarifying the failures for which we are not to blame: the notion of scarcity, taken from economic theory. (shrink)

The author examines the single topic approach to the construction of introductory philosophy courses. The author considers the single topic approach to be an alternative to more historically- and topically-based approaches. The traditional approach to philosophy is often broad and difficult for students to engage with in classroom discussion. A narrow and detailed treatment of a standard area or topic facilitates classroom discussion and allows students to transfer insights and skills in areas of their own disciplines. The author outlines a (...) methodology that treats philosophical texts in an interdisciplinary context, which emphasizes to students that philosophy is not a detached field of study. (shrink)

This chapter explores the opportunities and limitations of the ideal of transparency in responsible innovation, by consulting the virtual case of "The Circle", a company which appears in Dave Eggers' novel The Circle. The Circle is a high-tech company with the main purpose of being responsive to societal needs. They want to eradicate unethical behaviour in society, enhance public health and make a positive impact on the environment. The ultimate goal of The Circle is to reach 100% full transparency in (...) the world, which is impossible without any societal desirability. In first instance, it is free choice of people to accept and embrace the products and services of The Circle, who invest resources in keeping customers happy and in raising awareness about the dangers of privacy. The chapter concludes that The Circle meets the requirements regarding the outcomes of responsible innovation, at least to a certain extent, while at the same time, one feels unease about certain activities they undertake. (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)