This article explores micro- and macro-level variables that influence the incidence of bribery payouts by firms. A rich data set with information from 55 countries was utilized to achieve this objective. Results of logit regression models indicate that there are a number of micro- and macro-level factors that significantly affect the incidence of bribery payouts. This suggests that it is not only the characteristics of a firm but also the environment of doing business that affect the firm's bribery decision. The (...) results of this study provides information that may help firms develop strategies to reduce corruption in their respective industries and thereby improve their image of corporate social responsibility. The analysis also points to possible policy directions that governments could undertake in order to reduce the incidence of bribery in their country. (shrink)

This article explores micro- and macro-level variables that influence the incidence of bribery payouts by firms. A rich data set with information from 55 countries was utilized to achieve this objective. Results of logit regression models indicate that there are a number of micro- and macro-level factors that significantly affect the incidence of bribery payouts. This suggests that it is not only the characteristics of a firm but also the environment of doing business that affect the firm's bribery decision. The (...) results of this study provides information that may help firms develop strategies to reduce corruption in their respective industries and thereby improve their image of corporate social responsibility. The analysis also points to possible policy directions that governments could undertake in order to reduce the incidence of bribery in their country. (shrink)

When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {K}}{}\textit{y}}_i$$\end{document} operator into the language of epistemic logic to express “agent i knows why φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}” and propose a Kripke-style semantics of such expressions in terms of knowing an explanation of φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}. We obtain two sound and complete axiomatizations w.r.t. two different model classes depending on different assumptions about introspection. Finally we connect our logic with justification logic technically by providing an alternative semantics and an in-depth comparison on various design choices. (shrink)

In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a “core set” of the so-called “reduction axioms”. In this paper, by designing non-standard Kripke semantics for the language of PAL, we show that the proof system based on this core set of axioms does not completely axiomatize PAL without additional axioms and rules. In fact, many of the intuitive axioms and rules we took for granted could not be derived from the (...) core set. Moreover, we also propose and advocate an alternative yet meaningful axiomatization of PAL without the reduction axioms. The completeness is proved directly by a detour method using the canonical model where announcements are treated as merely labels for modalities as in normal modal logics. This new axiomatization and its completeness proof may sharpen our understanding of PAL and can be adapted to other dynamic epistemic logics. (shrink)

Electroencephalogram has been widely utilized in emotion recognition. Psychologists have found that emotions can be divided into conscious emotion and unconscious emotion. In this article, we explore to classify subliminal emotions with EEG signals elicited by subliminal face stimulation, that is to select appropriate features to classify subliminal emotions. First, multi-scale sample entropy, wavelet packet energy, and wavelet packet entropy of EEG signals are extracted. Then, these features are fed into the decision tree and improved random forest, respectively. The classification (...) accuracy with Ei and WpEn is higher than MSpEn, which shows that Ei and WpEn can be used as effective features to classify subliminal emotions. We compared the classification results of different features combined with the decision tree algorithm and the improved random forest algorithm. The experimental results indicate that the improved random forest algorithm attains the best classification accuracy for subliminal emotions. Finally, subliminal emotions and physiological proof of subliminal affective priming effect are discussed. (shrink)

In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound and complete (...) proof system is given to capture valid reasoning patterns, which highlights the compositional nature of “knowing how”. The logical language is further extended to handle knowing how to achieve a goal while maintaining other conditions. (shrink)

Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka [58]. Despite its various successful applications in theoretical computer science, AI, and game theory, the technical development of the field has been mainly focusing on the propositional part, i.e., the propositional modal logics of “knowing that”. However, knowledge is expressed in everyday life by using various other locutions such as “knowing whether”, “knowing what”, “knowing how” and so on (knowing-wh hereafter). Such knowledge expressions (...) are better captured in quantified epistemic logic, as was already discussed by Hintikka [58] and his sequel works at length. This paper aims to draw the attention back again to such a fascinating but largely neglected topic. We first survey what Hintikka and others did in the literature of quantified epistemic logic, and then advocate a new quantifier-free approach to study the epistemic logics of knowing-wh, which we believe can balance expressivity and complexity, and capture the essential reasoning patterns about knowing-wh. We survey our recent line of work on the epistemic logics of ‘knowing whether”, “knowing what” and “knowing how” to demonstrate the use of this new approach. (shrink)

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)

In this article, we present an attempt to reconcile intellectualism and the anti-intellectualist ability account of knowledge-how by reducing “S knows how to F” to, roughly speaking, “S knows that she has the ability to F demonstrated by a concrete way w.” More precisely, “S has a certain ability” is further formalized as the proposition that S can guarantee a certain goal by a concrete way w of some method under some precondition. Having the knowledge of our own ability, we (...) can plan our future actions accordingly, which would not be possible by merely having the ability without knowing it, and this pinpoints the crucial difference between knowledge-how and ability. Our semi-formal account avoids most of the objections to both intellectualism and the anti-intellectualist ability account, and provides a multistage learning process of knowledge-how, which reveals various subtleties. (shrink)

Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorpórate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with comparisons on technical subtleties that have been employed in different approaches. Also, we study to which degree the use of epistemics is essential for the analysis of security (...) protocols. We look for formal conditions under which knowledge modalities can bring extra expressive power to pure temporal languages. On the other hand, we discuss the cost of the epistemic operators in terms of model checking complexity. (shrink)

Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of ∃x◻φ, e.g., knowing how to achieve φ roughly means that there exists a way such that you know that it is a way to ensure that φ. Moreover, the resulting logics are decidable. Inspired by those particular logics, in this work, we (...) propose a very general and powerful framework based on quantifier-free predicate language extended by a new modality, which packs exactly ∃x◻ together. We show that the resulting language, though much more expressive, shares many good properties of the basic propositional modal logic over arbitrary models, such as finite-tree-model property and van Benthem-like characterization w.r.t.\ first-order modal logic. We axiomatize the logic over S5 frames with intuitive axioms to capture the interaction between the new modality and know-that operator in an epistemic setting. (shrink)

In this paper1, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS..

Epistemic protocols are communication protocols aiming at transfer of knowledge in a controlled way. Typically, the preconditions or goals for protocol actions depend on the knowledge of agents, often in nested form. Informal epistemic protocol descriptions for muddy children, coordinated attack, dining cryptographers, Russian cards, secret key exchange are well known. The contribution of this paper is a formal study of a natural requirement on epistemic protocols, that the contents of the protocol can be assumed to be common knowledge. By (...) formalizing this requirement we can prove that there can be no unbiased deterministic protocol for the Russian cards problem. For purposes of our formal analysis we introduce an epistemic protocol language, and we show that its model checking problem is decidable. (shrink)

The guide dog robot (GDR) is a low-speed companion robot that serves visually impaired people and is used to guide blind people to walk steadily, carrying a variety of intelligent technologies and needing to have the ability to guide with optimal energy consumption in specific scenarios. This paper proposes an innovative technique for virtual-real collaborative path planning and navigation of the GDR specific indoor scenarios, and designs an experimental method for virtual-real collaborative path planning of the GDR specific scenarios. The (...) energy consumption integral equation is used to solve for the energy consumption of the GDR with virtual-real synergy, and the difference in energy consumption is compared for three different navigation directions: horizontal, vertical and oblique obstacle avoidance. The results show that the optimized GDR saves 6.91% in rectilinear movement and 10.60% in curved movement. The efficiency of planning and navigating the GDR in specific domestic scenarios is verified by a virtual-real cooperative. The realization of optimal path planning for energy consumption is instrumental in exploring many of the most significant thought in the path planning and navigation of mobile robots in indoor specific scenarios. (shrink)

Human behavior depends on the ability to effectively introspect about our performance. For simple perceptual decisions, this introspective or metacognitive ability varies substantially across individuals and is correlated with the structure of focal areas in prefrontal cortex. This raises the possibility that the ability to introspect about different perceptual decisions might be mediated by a common cognitive process. To test this hypothesis, we examined whether inter-individual differences in metacognitive ability were correlated across two different perceptual tasks where individuals made judgments (...) about different and unrelated visual stimulus properties. We found that inter-individual differences were strongly correlated between the two tasks for metacognitive ability but not objective performance. Such stability of an individual’s metacognitive ability across different perceptual tasks indicates a general mechanism supporting metacognition independent of the specific task. (shrink)

Individuals unvaccinated against COVID-19 (C19) experienced prejudice and blame for the pandemic. Because people vastly overestimate C19 risks, we examined whether these negative judgements could be partially understood as a form of scapegoating (ie, blaming a group unfairly for an undesirable outcome) and whether political ideology (previously shown to shape risk perceptions in the USA) moderates scapegoating of the unvaccinated. We grounded our analyses in scapegoating literature and risk perception during C19. We obtained support for our speculations through two vignette-based (...) studies conducted in the USA in early 2022. We varied the risk profiles (age, prior infection, comorbidities) and vaccination statuses of vignette characters (eg, vaccinated, vaccinated without recent boosters, unvaccinated, unvaccinated-recovered), while keeping all other information constant. We observed that people hold the unvaccinated (vs vaccinated) more responsible for negative pandemic outcomes and that political ideology moderated these effects: liberals (vs conservatives) were more likely to scapegoat the unvaccinated (vs vaccinated), even when presented with information challenging the culpability of the unvaccinated known at the time of data collection (eg, natural immunity, availability of vaccines, time since last vaccination). These findings support a scapegoating explanation for a specific group-based prejudice that emerged during the C19 pandemic. We encourage medical ethicists to examine the negative consequences of significant C19 risk overestimation among the public. The public needs accurate information about health issues. That may involve combating misinformation that overestimates and underestimates disease risk with similar vigilance to error. (shrink)

This paper shows how propositional dynamic logic can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL constructs. We extend the update mechanism of LCC to an update mechanism that handles belief change as (...) relation substitution, and we show that the update part of this logic is more expressive than either that of LCC or that of doxastic/epistemic PDL with a belief change modality. It is shown that the properties of knowledge and belief are preserved under any update, and that the logic is complete. © 2008 Springer-Verlag Berlin Heidelberg. (shrink)

This study attempts to answer the question why Confucianism, the dominant “teaching” among the Three Teachings, is not a religion in contemporary China, unlike the other two “teachings,” Buddhism and Daoism. By examining this phenomenon in the social-historical context, this study finds its origin in Orientalism. The Orientalist conceptualization of religion became part of the New Culture discourse at the turn of the twentieth century. While China has undergone tremendous social changes over the past century, the old discourse remains.

Editor's AbstractThis essay presents Mainland New Confucianism (MNC) as diverse but distinctive, as still in a process of maturation but already with a clear direction. According to Chen, MNC is a rejection of the twin modernist narratives of the left (revolution) and the right (enlightenment) in favor of a narrative that downplays the ruptures associated with the May Fourth Movement and instead seeks to reconnect to China's past values and traditions.

Third language learners have great potential in developing creativity; however, the factors affecting L3 learners’ creativity have received little attention. This study investigated the relationships between proactive personality, three different thinking patterns, and creativity among L3 learners. The participants were 220 Chinese students who attended an obligatory L3 course in college. The results showed that proactive personality, growth mindset, golden mean thinking, and creativity had significant intercorrelations. Moreover, the role of growth mindset and golden mean thinking as mediators of the (...) proactive personality and creativity relation was supported, and the mediating effect of growth mindset was larger than that of golden mean thinking. However, the fixed mindset did not show a significant indirect effect on the path from proactive personality to creativity. This is the first research to treat growth mindset, fixed mindset, and golden mean thinking as mediating variables on the path from proactive personality to creativity, particularly demonstrating that golden mean thinking, which is specific to Asian students and located midway between a growth mindset and a fixed mindset, can cultivate creativity. Some suggestions for fostering creativity in L3 students were also included in this study. (shrink)

The common law's approach in the law of unjust enrichment is to enumerate specific «unjust factors» as permissible causes of action in claims for restitution. This approach has come under attack, inter alia, for being unnecessarily complicated. The claim is that the civilian approach, with its single ground of absence of legal cause for the transfer, is preferable since the operative unjust factor in any particular case is irrelevant to the restitutionary response. In defence of the common law's approach, this (...) article tenders four aspects of the restitutionary response which, it is claimed, are illuminated by reference to the nature, context, and effect of the operative unjust factor in any particular case. They are: (i) the availability of the defence of change of position; (ii) the justifiability of certain «bars» on rescission and the permissible mode of mutual restitution on rescission; (iii) the appropriate measure of enrichment where restitution is, or must be, effected in money; and (iv) two possible justifications for the controversial remedy of partial rescission. (shrink)

In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types via announcements and questions. To demonstrate our approach, we discuss various versions of Smullyan’s Knights and Knaves puzzles, including the Hardest Logic Puzzle Ever (HLPE) proposed by Boolos (...) (in Harv Rev Philos 6:62–65, 1996). In particular, we formalize HLPE and verify a classic solution to it. Moreover, we propose a spectrum of new puzzles based on HLPE by considering subjective (knowledge-based) agent types and relaxing the implicit epistemic assumptions in the original puzzle. The new puzzles are harder than the previously proposed ones in the literature, in the sense that they require deeper epistemic reasoning. Surprisingly, we also show that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. Our formalism paves the way for studying these new puzzles using automatic model checking techniques. (shrink)

In the fifth year of the reign of Shaoxi [in the Song dynasty]—in other words, in the year 1194 A.D.—Zhu Xi was returning to his home province after he had been relieved of his position at court as daizhi shijiang when, in the eleventh month of that year he came to Yushan county in Jiangxi Province. The governor of the district invited Master Zhu to give a number of lectures at the local county school, and Master Zhu complied, discoursing on (...) essential teachings in response to the questions that were raised by the students as well as in response to the lectures given by other scholars. At one point, the record says, the scholar Cheng Gong1 rose to ask the question: "Philosophers prior to the Three Ages only spoke about zhong and ji ; how come, then, that when it came to the time of the dialogues of those in the school of Confucius, everything seemed to revolve around the word ren ?" Master Zhu replied: "The discussions of zhong and of ji have often tended to make people misunderstand the meaning of what they were actually saying; alas, we do not ourselves have the leisure here to discuss all of that in detail.". (shrink)