We consider structural completeness in modal logics. The main result is the necessary and sufficient condition for modal logics over K4 to be hereditarily structurally complete: a modal logic λ is hereditarily structurally complete $\operatorname{iff} \lambda$ is not included in any logic from the list of twenty special tabular logics. Hence there are exactly twenty maximal structurally incomplete modal logics above K4 and they are all tabular.

The importance of communities in strengthening the ethics of international collaborative research is increasingly highlighted, but there has been much debate about the meaning of the term ‘community’ and its specific normative contribution. We argue that ‘community’ is a contingent concept that plays an important normative role in research through the existence of morally significant interplay between notions of community and individuality. We draw on experience of community engagement in rural Kenya to illustrate two aspects of this interplay: (i) that (...) taking individual informed consent seriously involves understanding and addressing the influence of communities in which individuals’ lives are embedded; (ii) that individual participation can generate risks and benefits for communities as part of the wider implications of research. We further argue that the contingent nature of a community means that defining boundaries is generally a normative process itself, with ethical implications. Community engagement supports the enactment of normative roles; building mutual understanding and trust between researchers and community members have been important goals in Kilifi, requiring a broad range of approaches. Ethical dilemmas are continuously generated as part of these engagement activities, including the risks of perverse outcomes related to existing social relations in communities and conditions of ‘half knowing’ intrinsic to processes of developing new understandings. (shrink)

The article examines the unconscious uncontrolled side of the human psyche, analyzes approaches to determining the structure of the unconscious, its constituent elements and their relationships from the point of view of the concepts of prominent psychoanalysts Z. Freud, C. Jung and J. Lacan. The significance of the "mirror stage" described by Lacan is revealed. in the understanding of human self-consciousness. Particular attention is paid to Lacan's thesis that the unconscious is, first of all, language; and it is he who (...) acts as a manifestation of a structure that has clear patterns. It is through language that we can approach understanding of the connection of the unconscious with the conscious world in the context of Lacan's definition of the triad of "real", "imaginary" and "symbolic". The purpose of the study is to show the relationship between the concepts of the structure of the unconscious and the fusion of psychoanalysis with philosophical and linguistic structuralism, which gives rise to a variety of approaches and interdisciplinary research in understanding the essence of the unconscious and interpreting social phenomena through the linguistic structures of myth. (shrink)

The article explored the fact that various bioethical principles underlie the evaluation of the patient’s status and role in therapeutic interactions in written medical documents. We have found that characterization of biomedical, social and behavioural aspects of the patient’s existence relies on such bioethical principles as obligation, truthfulness, respect for human rights and dignity, the patient’s good. A few facts of the violation of the principle of respect for human rights and dignity consisting in verbal stigmatization have been provided. Bioethical (...) perspective is also taken to evaluate the mode and extent of the patient’s involvement in a medical interaction, which are either negatively or positively assessed based on the patient’s compliance and good. (shrink)

In his 1951 Gibbs Memorial Lecture, Kurt Gödel put forth his famous disjunction that either the power of the mind outstrips that of any machine or there are absolutely unsolvable problems. The view that there are no absolutely unsolvable problems is optimism, the view that there are such problems is pessimism. In his 1995—and, revised in 2013—Verificationism Then and Now, Per Martin-Löf presents an illustrative argument for a constructivist form of optimism. In response to that argument, Solomon Feferman points out (...) that Martin-Löf’s reasoning relies upon constructive understandings of key philosophical notions. In the vein of Feferman’s analysis, one might be object to Martin-Löf’s argument for either its reliance upon constructivist considerations, or for its appeal to non-unproblematically mathematical premises. We argue that both of these responses fall short. On one hand, to be critical of Martin-Löf’s reasoning for its constructiveness is to reject what would otherwise be a scientific advance on the basis of the assumption of constructivism’s falsehood or implausibility, which is of course uncharitable at best. On the other hand, to object to the argument for its use of non-unproblematically mathematical premises is to assume that there is some philosophically neutral mathematics, which is implausible. Martin-Löf’s argument relies upon his third law, the claim that from the impossibility of a proof of a proposition we can construct a proof of its negation. We close with a discussion of some ways in which this claim can be criticized from the constructive point of view. Specifically, we contend that Martin-Löf’s third law is incompatible with what has been called “Poincaré’s Principle of Epistemic Conservation”, the thesis that genuine increase in mathematical knowledge requires subject-specific insight. (shrink)

It is argued that it is a misinterpretation of frege to construe his talk of the bedeutungen of sentences and of predicates in an ontologically innocent way.

Since James defined emotion as consciousness of bodily reactions and Cannon and others detailed the nature of these reactions, there has been an increasing tendency among behaviorists to equate emotions with visceral reactions and to neglect some of the genetic and adaptive aspects of emotion which had been discussed by Darwin.

The Millennium Development Goal (MDG) 5 A states that the maternal mortality ratio has to be reduced to three-quarters between 1990 and 2015. The target for India is a maternal mortality ratio of 109/100,000 live births. The Janani Suraksha Yojna (JSY) (Maternal Protection Scheme) is a centrally sponsored conditional cash transfer scheme to promote institutional deliveries and thus ensure safe delivery and reduce maternal mortality. The JSY scheme and its various evaluations were reviewed. The Tannahill’s ethical framework was applied to (...) the JSY and analyzed. Evaluations have shown that the JSY has significantly increased institutional deliveries. The public health system is not fully geared up for delivering good quality maternal health services. Thus encouraging women to go to them violates the principle of doing good. There are several barriers for availing the scheme. Procuring the certificates to meet eligibility can be difficult. The women do not have power over the cash incentive. There are large inequities in access to the JSY scheme based on socioeconomic status, caste and education. The accountability mechanisms for the scheme are weak at the grassroots level. Without an overall improvement in health system and awareness among women, the JSY cannot be said to empower the women in a sustainable way. In order, that the increases in institutional deliveries due to JSY are more than just a Hawthorne effect, which is a change in behavior just due to the fact that the population is being closely observed and intervened, there is a need to bridge the ethical gaps in the program to make it an empowering, sustainable, accountable and just one. (shrink)

Clustered, regularly interspaced, short palindromic repeat (CRISPR)/CRISPR‐associated protein (CRISPR/Cas) system has revolutionized genetic research in the life sciences. Four classes of CRISPR/Cas‐derived genome editing agents, such as nuclease, base editor, recombinase, and prime editor have been introduced for engineering the genomes of diverse organisms. The recently introduced prime editing system offers precise editing without many off‐target effects than traditional CRISPR‐based systems. Many researchers have successfully applied this gene‐editing toolbox in diverse systems for various genome‐editing applications. This review presents the mechanism (...) of prime editing and summarizes the details of the prime editing system applied in plants and mammalian cells for precise genome editing. We also discuss the advantages, limitations, and potential future applications of prime editing in these systems. This review enables the researcher to gain knowledge on prime editing tools and their potential applications in plants and mammalian cells. (shrink)

LetEO be the elementary ontology of Leniewski formalized as in Iwanu [1], and letLS be the monadic second-order calculus of predicates. In this paper we give an example of a recursive function , defined on the formulas of the language ofEO with values in the set of formulas of the language of LS, such that EO A iff LS (A) for each formulaA.

These further readings on the subject are selected and suggested by the editors of this issue and are published here with kind permissons of the owners of the respective copyrights.

A novel method for ECG signal outlier processing based on autoencoder neural networks is presented in the article. Typically, heartbeats with serious waveform distortions are treated as outliers and are skipped from the authentication pipeline. The main idea of the paper is to correct these waveform distortions rather them in order to provide the system with better statistical base. During the experiments, the optimum autoencoder architecture was selected. An open Physionet ECGID database was used to verify the proposed method. The (...) results of the studies were compared with previous studies that considered the correction of anomalies based on a statistical approach. On the one hand, the autoencoder shows slightly lower accuracy than the statistical method, but it greatly simplifies the construction of biometric identification systems, since it does not require precise tuning of hyperparameters. (shrink)

Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in philosophy and logic at the Tomsk University. Since 1961 his scientific activity continued in Moscow at the Institute of Philosophy of Academy of Sciences of the USSR. From 1970 and till the last days of his life V. A. Smirnov was lecturer and then Professor at the Chair of Logic at Moscow State University. V. (...) A. Smirnov played an important role at the Institute of Philosophy of Russian Academy of Sciences being the Head of Department of Epistemology, Logic and Philosophy of Science and Technology, and the Head of Section of Logic. Last years he was the leader of the Centre of Logical Investigations of Russsian Academy of Sciences. In 1990-91 he founded a new non-goverment Institute of Logic, Cognitive Sciences and Development of Personality for performing research, teaching, editorial and organization activity in the field of humanities. At the Department of Philosophy of Moscow State University and at the Institute of Philosophy V. A. Smirnov and his close colleagues have founded a Russian logical school which brought up many talented researchers who work at several scientific centres in various countries. (shrink)

The policy adopted by the Twenty-fifth Congress of the CPSU on raising the quality of work and the effectiveness of social production means that work must be more highly organized and disciplined and that initiative and creative searching must be fostered. "The country sets as its goal enlargement of the real opportunities for citizens to apply their creative powers, abilities, and gifts and for comprehensive development of the individual.".

Nadezhnostʹ matematicheskogo dokazatelʹstva -- Nadezhnostʹ logicheskikh norm -- Ontologicheskoe obosnovanie matematiki -- Sistemnoe obosnovanie matematiki.