This article investigates Kripke-style semantics for two sorts of logics: pseudo-Boolean and weak-Boolean logics. As examples of the first, we introduce G3 and S53pB.G3 is the three-valued Dummett–Gödel logic; S53pB is the modal logic S5 but with its orthonegation replaced by a pB negation. Examples of wB logic are G3wB and S53wB.G3wB is G3 with a wB negation in place of its pB negation; S53wB is S5 with a wB negation replacing its orthonegation. For each system, we provide a three-valued (...) Kripke-style semantics with and without star operation . We prove soundness and completeness theorems in each case. Note that wB logics may be equivalent to logics with Baaz’s projection Δ. We finally introduce the G3 and the S53pB both with Δ and show that they are equivalent to G3wB and S53wB, respectively. (shrink)

This paper first shows that some versions of the logic R of Relevance do not satisfy the relevance principle introduced by Anderson and Belnap, the principle of which is generally accepted as the principle for relevance. After considering several possible (but defective) improvements of the relevance principle, this paper presents a new relevance principle for (three versions of) R, and explains why this principle is better than the original and others.

This paper deals with one kind of Kripke-style semantics, which we shall call algebraic Kripke-style semantics, for relevance logics. We first recall the logic R of relevant implication and some closely related systems, their corresponding algebraic structures, and algebraic completeness results. We provide simpler algebraic completeness proofs. We then introduce various types of algebraic Kripke-style semantics for these systems and connect them with algebraic semantics.

This paper combines two classes of generalized logics, one of which is the class of weakly implicative logics introduced by Cintula and the other of which is the class of gaggle logics introduced by Dunn. For this purpose we introduce implicational tonoid logics. More precisely, we first define implicational tonoid logics in general and examine their relation to weakly implicative logics. We then provide algebraic semantics for implicational tonoid logics. Finally, we consider relational semantics, called Routley–Meyer–style semantics, for finitary those (...) logics. (shrink)

An involutive micanorm-based logic with a weak form of associativity is introduced and its finite standard completeness is addressed. More precisely, we first introduce the logic WAuIBUL as a [0, u]-continuous wau-uninorm analogue of the involutive logic IBUL. We next discuss its algebraic semantics. We then introduce involutive wau-uninorms as involutive uninorms with weak u-associativity in place of associativity and deal with related properties. We last provide finite strong standard completeness for WAuIBUL using a construction of Yang-style. -/- 약한 형식의 (...) 결합 원리를 만족하는 누승적인 미카놈에 기반한 논리 체계를 소개하고 그 체계의 유한 표준 완전성을 다룬다. 보다 구체적으로 논리 체계 WAuIBUL을 누승적 유니놈 논리 IUML의 [0, u]-연속인 wau-유니놈 일반화로 먼저 소개한다. 그리고 이 체계의 대수적 완전성을 다룬다. 다음으로 결합 원리 대신에 약한 u-결합 원리를 만족하는 누승적 유니놈으로 누승적 wau-유니놈을 소개하고 그 성질을 다룬다. 마지막으로 유한 집합 위에서 WAuIBUL의 표준 완전성을 보인다. (shrink)

Here algebraic Routley-Meyer semantics is addressed for two fuzzy versions of the logic of relevant implication R. To this end, two versions R t and R T of R and their fuzzy extensions FRt and FRT , respectively, are first discussed together with their algebraic semantics. Next algebraic Routley-Meyer semantics for these two fuzzy extensions is introduced. Finally, it is verified that these logics are sound and complete over the semantics.

This article attempts to fill a gap in International Relations literature on East Asian security. ‘East Asia’ appears to be mostly an indeterminate conceptual construct, allowing scholars to look selectively at those aspects and areas that could justify their security thesis, albeit security dynamics in the region are all too difficult to comprehend and predict. This problem has been frequently pointed out in IR literature, but its methodological implications and suggestions have neither been appropriately illuminated nor been systematically offered, and (...) the main solution commonly found in the literature was the tautological one of ‘better defining’ the region. As an alternative, this article suggests that one needs to tighten geographical focus and differentiate the subjects of analysis. When it comes to the study of East Asian security, one needs to aim to develop specific and differentiated generalizations as opposed to generalizations of a broad character. To showcase the fact that research outcomes can be more determinate when the target of analysis is more focused and specified, this article takes Northeast Asian security as an example and challenges the so-called ‘peaceful East Asia’ thesis, one of the mainstream perspectives on East Asian security. This article ultimately argues that while apprehending East Asian security dynamics through delimiting the scope of analysis and circumscribing the subjects of investigation is often deemed to be a modest enterprise―in particular, in terms of generalizability―the merits are substantial: research outcomes will be able not only to give us a truer mapping of the real world, but also bring us closer to building knowledge which satisfies the scientific criterion of ‘falsifiability.’Export citation Request permission. (shrink)

In contrast to the juxtaposition of representative democracy and Confucian meritocracy that is currently being discussed in international political theory, we start from the hypothesis of a historical, intercultural and logical, simultaneous provenance of democracy and meritocracy in the evolution of the modern constitutional state. To this end, we examine the reception of Confucianism in the republican history of ideas of European Enlightenment using selected examples ranging from Leibniz to the classical constitutional and government theory of Sieyès. The widespread ignorance (...) of the Confucian elements in the classical core of modern republicanism that we have evaluated here is attributed to the needs of political legitimacy and the methodical ahistorism and historical amnesia of academic discourse. (shrink)

The history of press freedom in South Korea has been characterized by periods of chaos. The major media companies in Korea have written a history of shame. Since Japanese colonial rule, freedom of the press has been more often restricted than protected by the laws and policies. There have been four main features of press freedom since 1910: severe restriction during the Japanese colonial rule; experiencing freedom with unstable democracy under the American military rule and the First and Second republics; (...) oppression of the military regimes; and the struggle with capital power since the advent of civilian government. Several decades of Japanese colonial rule, American military rule, and military dictators have influenced the Korean society and the media politically, economically, socially and culturally. (shrink)

In the context of implicational tonoid logics, this paper investigates analogues of Birkhoff’s two theorems, the so-called subdirect representation and varieties theorems, and of Mal’cev’s quasi-varieties theorem. More precisely, we first recall the class of implicational tonoid logics. Next, we establish the subdirect product representation theorem for those logics and then consider some more related results such as completeness. Thirdly, we consider the varieties theorem for them. Finally, we introduce an analogue of Mal’cev’s quasi-varieties theorem for algebras.

This paper considers standard completeness for fixed-pointed involutive micanorm-based logics. For this, we first discuss fixed-pointed involutive micanorm-based logics together with their algebraic semantics. Next, after introducing some examples of fixed-pointed involutive micanorms, we provide standard completeness results for those logics.

This paper deals with pretabularity of fuzzy logics. For this, we first introduce two systems NMnfp and NM½, which are expansions of the fuzzy system NM, and examine the relationships between NMnfp and the another known extended system NM—. Next, we show that NMnfp and NM½ are pretabular, whereas NM is not. We also discuss their algebraic completeness.

In this paper we investigate some logics with weak Boolean negation , calling wB logics, obtained by dualizing intuitionistic negation . We first provide Routley-Meyer semantics for wB-IC , its neighbors wB-LC, wB-LC* ), and wB-S4, wB-S4c . We give completeness for each of them by using RM semantics. We next provide RM semantics for IC, the Dummett's LC, the wB-S4 with ¬ in place of − , and the pB-S4 with c , and give completeness for each system. Finally, (...) we give a translation of the classical propositional logic PC into wB-IC, and a translation of PC into wB-S4c.1. (shrink)

As the COVID-19 pandemic continues to disrupt our lives in unimagined ways, families are reinventing daily rituals, and this is likely true for musical rituals. This study explored how parents with young children used recorded music in their everyday lives during the pandemic. Mothers of child aged 18 months to 5 years living in the United States played the role of home DJ over a period of one week by strategically crafting the sonic home environment, based on resources provided by (...) the authors, in response to their children’s mood and state. Using a newly developed data collection tool, inspired by the Experience Sampling Method, a total of 197 episodes were collected about children’s engagement with recorded music. Findings showed that while mothers utilized music to fulfill various emotional needs, they tended to use it to maintain or reinforce their child’s positive mood rather than to improve a negative mood. Also, mothers’ reports suggested various ways that young children engaged with music, being aligned with the multimodal nature of their musical experiences. Lastly, mothers reported that their strategic approaches to use recorded music seemed to help their children feel less distressed and happier, and this, in turn, aided in the reduction of some of the burdens associated with parenting. (shrink)

Implicational tonoid logics and their relational semantics have been introduced by Yang and Dunn. This paper extends this investigation to implicational partial Galois logics. For this, we first define some implicational partial gaggle logics as special kinds of implicational tonoid logics called “implicational partial Galois logics.” Next, we provide Routley–Meyer-style relational semantics for finitary those logics.

This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm systems introduced by Metcalfe and Montagna and fuzzy companions of the system R of relevant implication and its neighbors. The algebraic structures corresponding to (...) the systems are then defined, and completeness results are provided. We next consider fuzzy systems satisfying new relevance principles introduced by Yang. We show that the weakening-free uninorm systems and some extensions and neighbors of R satisfy the new relevance principles. (shrink)

The study reviewed 20 currently-available structured ethical decision-making models and developed an integrated model consisting of six steps with useful questions and tools that help better performance each step: (1) the identification of an ethical problem; (2) the collection of additional information to identify the problem and develop solutions; (3) the development of alternatives for analysis and comparison; (4) the selection of the best alternatives and justification; (5) the development of diverse, practical ways to implement ethical decisions and actions; and (...) (6) the evaluation of effects and development of strategies to prevent a similar occurrence. From a pilot-test of the model, nursing students reported positive experiences, including being satisfied with having access to a comprehensive review process of the ethical aspects of decision making and becoming more confident in their decisions. There is a need for the model to be further tested and refined in both the educational and practical environments. (shrink)

This paper deals with substructural nuclear (image-based) logics and their algebraic and Kripke-style semantics. More precisely, we first introduce a class of substructural logics with connective _N_ satisfying nucleus property, called here substructural _nuclear_ logics, and its subclass, called here substructural _nuclear image-based_ logics, where _N_ further satisfies homomorphic image property. We then consider their algebraic semantics together with algebraic characterizations of those logics. Finally, we introduce _operational Kripke-style_ semantics for those logics and provide two sorts of completeness results for (...) them, one of which is based on algebraic completeness for all the logics and the other of which is based on set-theoretic one for the nuclear image-based logics. (shrink)

In empiricism, there are only two answers for a question: black or white. Yet, subjective meanings of human behaviours and responses toward health and illness cannot be simply explained with black and white. Gray zones are needed because they are characterized by complexity and require a contextual understanding. In this paper, we present and suggest fuzzy logic as an example of theoretical bases that help transcend the conflicts between objectivity and subjectivity, respect gray zones between black and white answers for (...) questions, and provide a contextual understanding of complex nursing phenomenon. A historical review of fuzzy logic is followed by a definition of fuzzy logic. Then, fuzzy logic is discussed in terms of its compatibility with nursing epistemological views and philosophical thoughts. Fuzzy logic agrees with three categories of epistemological views of nursing, including correspondence, coherence and pragmatism. Fuzzy logic also agrees with four major philosophical thoughts in nursing, including postempiricism, pragmatism, feminism, and postmodernism. Based on the discussion, we propose that fuzzy logic be further explored, used and developed in research and practice in the nursing areas/situations/phenomena that are characterized by complexity, ambiguousness, and vagueness. (shrink)

En este artículo se realiza un periplo a lo largo de la historia de la península coreana a través de los caminos recorridos por las principales tradiciones religiosas presentes en ella. Analizaremos el papel que han tenido en el modo de entender las relaciones sociales y la creación de mecanismos de inclusión y exclusión dentro de la sociedad coreana. Las interrelaciones establecidas entre ellas como factor que ha contribuido al progreso de la sociedad y que diferentes grupos fueran aceptados o (...) rechazados a lo largo de la historia. Estudiamos como el pensamiento de estas tradiciones religiosas y el modo de entenderlo ha impulsado u obstaculizado los procesos de inclusión y liberación a lo largo de las diferentes etapas de la historia de Corea. (shrink)

Implicational tonoid logics and their extensions with abstract Galois properties have been introduced by Yang and Dunn. They introduced matrix semantics for the implicational tonoid logics but did not do for the extensions. Here we provide such semantics for implicational partial gaggle logics as one sort of such extensions. To this end, first we discuss implicational partial gaggle logics in Hilbert-style. We next introduce one kind of matrix semantics based on Lindenbaum– Tarski matrices for the logics and show that those (...) logics are complete with respect to the matrix semantics. Finally, we further introduce a slightly different kind of matrix semantics based on reduced models for the logics and show that those logics are complete with respect to this matrix semantics. (shrink)

This paper addresses a set-theoretic completeness based on a relational semantics for fuzzy extensions of two versions Rt and R T of R (Relevance logic). To this end, two fuzzy logics FRt and FRT as extensions of Rt and R T, respectively, and the relational semantics, so called Routley-Meyer semantics, for them are first recalled. Next, on the semantics completeness results are provided for them using a set-theoretic way.

In the 1990s P.H. Hirst criticizes his influential forms of knowledge theory, suggesting a new concept of education. In this paper I explain why Hirst suggests the new concept of ‘education as initiation into practices’. Although the latter Hirst’s position had positive implications on education, it is frequently confused with theutilitarian position. In order to provide a more coherent concept of education, I compare basic features of the rationalist (R), the utilitarian (U), and the practices-based (P) approach. Then I discuss (...) the implications of this concept. The main features of R, U, and P are respectively as this: 1) A person is seen as a rational being, a being of wants and desires, and a rational practitioner who is socially constructed. 2) The nature of reason is conceived as ‘rational’,‘instrumental’, and ‘practical’. 3) The aim of education is education for theoretical rationality, education for maximum satisfaction of desires, and education for identity formation by participating in practices. 4) The contents of education are theoretical knowledge, instrumental knowledge with utility, and practical knowledge for various practices. 5) R pursues absolute transcendental values, U pursues extrinsic instrumental values, and P pursues values internal to a practice. 6) R conceives education as ‘seeing’, U as ‘doing’, and I suggest ‘listening’ model for P. Based on this conception of practices-based position, I hope we can provide better education. (shrink)

The use of smartphones has become commonplace, even among people with disabilities. The purpose of this study was to investigate the effect of smartphone use on the negative emotions of people with visual impairment. This study analyzed data from 30 respondents with visual impairments obtained from the 2016 Internet Overdependence Survey in South Korea. The analysis was based on partial least squares regression with information search, leisure, communication, and online transactions as independent variables, and negative emotions comprising depression, anxiety, and (...) loneliness as the dependent variables. Among people with visual impairment, the use of smartphones as a means of communication decreased negative emotions while their use for leisure or information search was related to an increase in negative emotions such as depression and loneliness. Use for information retrieval was found to be associated with a low level of anxiety, and use for online transactions was associated with low loneliness. The results of this study showed that the use of the Internet can be a means of providing interaction opportunities and reducing negation emotions for people with visual impairment. (shrink)

The zone of proximal development (ZPD) is defined as an overarching concept that integrates the main tenets of Vygotsky’s theory of human development. The conceptualization of the ZPD begins with its social, cultural, and historical context and traces its development as a spatial and temporal metaphor that reflects the sociogenetic root of all human mental functioning. Beyond the explication of sociogenesis, the ZPD is reconceptualized to include the notions of voice and dialogicality. The insights gained from the fields of semiotics (...) and discourse studies allow a broader understanding of the ZPD by bringing to light participant structures and institutional and historical forces that may not have been included in the dominant interpretations of the ZPD. (shrink)

With the advancement of medical technology, various life-sustaining treatments are available at the end of life. Older adults should be encouraged to establish their end-of-life treatment preferences (ELTP) while they are physically and mentally able to do so. The purpose of this study was to explore ELTP among older adults and to compare those preferences in a subset of individuals who had reported their ELTP in a survey completed the previous year. This was a descriptive study of 191 older adults (...) living in a continuing care retirement community. Approximately half of the participants did not want cardiopulmonary resuscitation, to be put on a respirator, or to receive dialysis. The findings in this study suggest that many older adults do not want aggressive interventions at the end of life, but choose rather those measures that will keep them comfortable. Moreover, treatment choices may change over time. Health care providers should initiate discussions about ELTP at regular intervals (yearly) to assist older adults in dictating their end-of-life care. (shrink)

The concept of emotion can be organized within a hypothetical space comprising a limited number of dimensions representing essential properties of emotion. The present study examined cultural influences on such conceptual structure by comparing the performance of emotion word classification between Japanese and Korean individuals. Two types of emotional words were used; central concepts, highly typical examples of emotion, and less typical peripheral concepts. Participants classified 30 words into groups based on conceptual similarity. MDS analyses revealed a three-dimensional structure with (...) valence, social engagement, and arousal dimensions for both cultures, with the valence dimension being the most salient one. The Japanese prioritized the social engagement over the arousal while the Koreans showed sensitivities to the arousal dimension. Although the conceptual structure was similar for the two countries, the weight of importance among the three dimensions seems to be different, reflecting each culture’s values and communication styles. (shrink)

Green consumers are those who seek to fulfill economic responsibility with their choices of environment-friendly products. Previous research found that it is not easy to identify green consumers by using traditional demographic or psychographic measurements due to the instability of moral attitude and actual behavior. The frontal theta brain waves of 19 right-handed respondents were recorded and analyzed in a choice task between an environment-friendly (green) product and a conventional product. Product information, which was provided to the respondents, included written (...) descriptions as well as the price of each product without visual depiction. Based on the respondents’ choice, they were classified into two groups: green (GR) consumers who chose an environment-friendly product option and non-green (Non-GR) consumers who chose the option of a conventional product. While processing the green product message, we discovered that frontal theta activations were significantly higher among GR consumers than Non-GR consumers. On the contrary, the frontal theta waves of GR consumers were not differentiated from Non-GR consumers while processing the price information. Therefore, theta activations in the frontal area may potentially be a unique neural indicator of GR consumers’ cognitive engagement with environment-friendly product messages. (shrink)

Computerized relaxation training has been suggested as an effective and easily accessible intervention for individuals with psychological distress. To better elucidate the neural mechanism that underpins the effects of relaxation training, we investigated whether a 10-session computerized relaxation training program changed prefrontal gamma-aminobutyric acid levels and cerebral blood flow in women with psychological distress. We specifically focused on women since they were reported to be more vulnerable to develop stress-related disorders than men. Nineteen women with psychological distress but without a (...) diagnosis of psychiatric disorders received the 10-day computerized relaxation training program that consisted of 30-min cognitive-relaxation training and 10-min breathing-relaxation training per day. At baseline and post-intervention, perceived stress levels, anxiety, fatigue, and sleep quality were assessed by self-report questionnaires. Brain magnetic resonance spectroscopy and arterial spin labeling scans were also performed before and after the intervention to evaluate GABA levels and relative CBF in the prefrontal region. Levels of perceived stress, anxiety, fatigue, and sleep quality improved following 10 sessions of computerized relaxation training, resulting in a significant relief in composite scores of stress-related symptoms. The prefrontal GABA levels decreased, while relative CBF increased after the intervention. In addition, a greater increase in relative prefrontal CBF was associated with better composite scores of stress-related symptoms following the intervention. The current findings suggest that computerized relaxation training may improve stress-related symptoms through modulating the prefrontal GABA levels and CBF in women with psychological distress. (shrink)