This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

As teams of people increasingly incorporate robot members, it is essential to consider how a robot's actions may influence the team's social dynamics and interactions. In this work, we investigated the effects of verbal support from a robot on human team members' interactions related to psychological safety and inclusion. We conducted a between-subjects experiment where the robot team member either gave verbal support or did not give verbal support to the human team members of a human-robot team comprised of 2 (...) human ingroup members, 1 human outgroup member, and 1 robot. We found that targeted support from the robot had a positive effect on outgroup members, who increased their verbal participation after receiving targeted support from the robot. When comparing groups that did and did not have verbal support from the robot, we found that outgroup members received fewer verbal backchannels from ingroup members if their group had robot verbal support. These results suggest that verbal support from a robot may have some direct benefits to outgroup members but may also reduce the obligation ingroup members feel to support the verbal contributions of outgroup members. (shrink)

In this paper, the fixed-time practical bipartite tracking problem for the networked robotic systems with parametric uncertainties, input disturbances, and directed signed graphs is investigated. A new fixed-time estimator-based control algorithm for the NRSs is presented to address the abovementioned problem. By applying a sliding surface and the time base generator approach, a new stability analysis method is proposed to achieve the fixed-time practical bipartite tracking for the NRSs. We also derive the upper bound of the convergence time for employing (...) the presented control algorithm to solve the practical bipartite tracking problem and further demonstrate that the convergence time is independent of the initial value. Finally, the simulation examples are given to verify the effectiveness of the presented algorithms. (shrink)

End-of-life decision making frequently occurs in the intensive care unit (ICU). There is a lack of information on how a do-not-resuscitate (DNR) order affects treatments received by critically ill patients in ICUs. The objectives of this study were: (1) to compare the use of life support therapies between patients with a DNR order and those without; (2) to examine life support therapies prior to and after the issuance of a DNR order; and (3) to determine the clinical factors that influence (...) the initiation of a DNR order in ICUs in Taiwan. A prospective, descriptive, and correlational study was conducted. A total of 202 patients comprising 133 (65.8%) who had a DNR order, and 69 (34.1%) who did not, participated in this study. In the last 48 hours of their lives, patients who had a DNR order were less likely to receive life support therapies than those who did not have a DNR order. Older age, being unmarried, the presence of an adult child as a surrogate decision maker, a perceived inability to survive ultimate discharge from the ICU, and longer hospitalization in the ICU were significant predictors of issuing a DNR order for critically ill patients. This study will draw attention to how, when, and by whom, critically ill patients’ preferences about DNR are elicited and honored. (shrink)

Social enterprises, promising organizations for solving societal problems with innovative approaches, rely upon their members’ active roles for workplace innovation. However, we still have a limited understanding about how social enterprises can foster employees’ endeavors for innovation. By focusing on employee learning and innovative behavior, we investigate the influences of perceived social mission, value congruence, and human resource management (HRM) practices in social enterprises. We conducted two complementary studies to answer our research questions. In Study 1, with a survey of (...) 369 employees from 68 social enterprises, we examined a multilevel moderated mediation model with firm‐level and individual‐level data. We found that perceived social mission promoted learning and innovative behavior by increasing value congruence, and that commitment‐based HRM practices enhanced the overall process from mission to employee efforts for innovation. In Study 2, with 300 daily surveys from 60 employees participating in an experience sampling study, we found that those with high‐value congruence showed a significantly more stable pattern with less variance in innovative behavior than in learning behavior. Our study adds novel implications to the underdeveloped literature on employee innovation and HRM in social enterprises by uncovering the positive effects of social mission and value facets for boosting learning and innovative behaviors. Our research also suggests that social enterprises should benefit from pursuing and emphasizing the social mission and commitment‐based HRM bundle together, which will promote the prosperity and well‐being of business and society. (shrink)

Business Ethics, the Environment &Responsibility, Volume 31, Issue 3, Page 702-717, July 2022.

Social media users have increased rapidly in recent years; however, most are “silent users” who rarely share information online. To maintain social media companies’ stable operation and development, this research explored the effects of flow experience and identity formation on users’ intrinsic motivation to facilitate aggressive, spontaneous, and habitual participation in virtual communities. A total of 487 valid questionnaires were collected and underwent regression analysis. The results revealed that all three intrinsic motivations had a significant impact on social media participation, (...) with social interaction exerting the strongest influence. Flow experience and identification had significant, partial mediating effects on the relationship between motivation and participation. Several suggestions were provided based on the results to help social media enterprises increase user participation. It is hoped that this research could facilitate in transforming users into habitual participants to keep the operations of the virtual community stable and enduring. (shrink)

The study of natural disaster and its discursive dimensions from a semiotic perspective can provide a theoretical frame for the scientific communication of global catastrophes. In this paper I will suggest two models; one is a semiotic model on the natural catastrophic events and the other is a hexagon model composed of semiotic dimensions of natural disaster discourse. The six main modules include narration, description, explication, visualization, prevention, and recovery action.

When ancient Chinese philosophy culminated in the sixth to third centuries BCE, “hundreds of flowers [intellectual schools] were blooming”, yet not many theoreticians were particularly interested in questions regarding the relationship between animal and human life — despite their profuse discussion of, and heated debates about, both “nature” and “human nature” in their writings. This indifferent attitude towards creatures lower than humans is best illustrated by Confucius (551–479 BCE), who observed: “It is impossible to associate with birds and beasts, as (...) if they were the same as us.” Later, however, this condescending attitude of the Sage would be challenged by the Daoist philosopher Zhuangzi (370 to 301 BCE), who untiringly advocates the equity of all creatures in the universe — a place where both living and fabulous organisms cohabit and co-evolve with one another, as well as with their environments. Morever, even Confucius’s descendent Mencius (c.372–289 BCE) did not endorse his mentor’s position, for the latter’s own writings are likewise inhabited by all kinds of creatures which not only serve the passive role of poetic figuration, but actually also construct their respective Umwelten, paralleled by the umwelt-construction of human beings. Recent advances in biosemiotics and ecosemiotics have enabled us to reread some of these philosophical texts, and to shed new light on this obscure aspect of Chinese thinking. This paper will draw upon the sign reflections of C. S. Peirce (1839–1914) and Jakob von Uexküll (1864–1944), and make use of a composite analytical method of text semiotics and dialogue studies, to examine a number of political and ethical allegories by Zhuangzi and Mencius. Acknowledging the necessarycircularity of interpretation and the homogeneity of observer and observed, the essay explores the ways in which ancient philosophical texts can be made compatible with contemporary biological and semiotic thinking. (shrink)

For all his profound interest in Secondness and its manifestation in various kinds of indices, including deictics, Peirce rarely addresses the inter-pronominalrelationships. Whilst the American founder of semiotics would designate language as a whole to Thirdness, only within the larger framework of which deictics can work, the German philosopher Cassirer observes that “what characterizes the very first spatial terms that we find in language is their embracing of a defi nite ‘deictic’ function”. For Cassirer the significance of pronominals, especially the (...) I-Thou relationship, lies in its impact on the development of spatial concept that lays the foundation of symbolic forms. It may look strange why the “designatives” of I, Thou, He, in Peirce’s own terms, so obvious in their categorial and empirical differentiation, should fail to be reduceable to the triad of Firstness, Secondness, and Thirdness. It is interesting, however, that in his 1906 correspondence with Lady Welby, Peirce should refer to the strange “Communicational Interpretant”, or “the Cominterpretant, which is a determination of that mind into which the minds of utterer and interpreter have to be fused in order that any communication should take place”. Peirce asserts that this communication of a Form, say, being in love, is made possible by sign. This paper discusses Peirce’s and Cassirer’s references to deictics or indexical sign, in particular, inter-personal relationships, in light of Benveniste’s concept of discourse, and probes into a possible subtext underlying the Peirce-Welby correspondence. (shrink)

For all his profound interest in Secondness and its manifestation in various kinds of indices, including deictics, Peirce rarely addresses the inter-pronominalrelationships. Whilst the American founder of semiotics would designate language as a whole to Thirdness, only within the larger framework of which deictics can work, the German philosopher Cassirer observes that “what characterizes the very first spatial terms that we find in language is their embracing of a defi nite ‘deictic’ function”. For Cassirer the significance of pronominals, especially the (...) I-Thou relationship, lies in its impact on the development of spatial concept that lays the foundation of symbolic forms. It may look strange why the “designatives” of I, Thou, He, in Peirce’s own terms, so obvious in their categorial and empirical differentiation, should fail to be reduceable to the triad of Firstness, Secondness, and Thirdness. It is interesting, however, that in his 1906 correspondence with Lady Welby, Peirce should refer to the strange “Communicational Interpretant”, or “the Cominterpretant, which is a determination of that mind into which the minds of utterer and interpreter have to be fused in order that any communication should take place”. Peirce asserts that this communication of a Form, say, being in love, is made possible by sign. This paper discusses Peirce’s and Cassirer’s references to deictics or indexical sign, in particular, inter-personal relationships, in light of Benveniste’s concept of discourse, and probes into a possible subtext underlying the Peirce-Welby correspondence. (shrink)

The study of natural disaster and its discursive dimensions from a semiotic perspective can provide a theoretical frame for the scientific communication of global catastrophes. In this paper I will suggest two models; one is a semiotic model on the natural catastrophic events and the other is a hexagon model composed of semiotic dimensions of natural disaster discourse. The six main modules include narration, description, explication, visualization, prevention, and recovery action.

The paper examines the role of organizational commercial slack (OCS) in mediating the relationship between entrepreneurial orientation (EO) and the effectiveness of knowledge transfer (KT) in universities. The paper identifies two types of commercial slack in the university setting: financial and promotional. Four research hypotheses are proposed. Pooled data, that is, a combination of a questionnaire survey of 110 Taiwanese universities with a data set of university KT effectiveness from the Ministry of Education, Taiwan, are collected to test the aforementioned (...) research hypotheses. The empirical results indicate that the EO of a university enables the university to provide appropriate OCS. Furthermore, the commercial slack of a university positively mediates the relationship between EO and KT effectiveness. The paper concludes that developing EO and OCS are crucial for improving the KT effectiveness of a university. Moreover, some managerial and policy implications for promoting EO and OCS in universities are suggested. (shrink)

In his well-known essay, ‘What Is a Sign?’ (CP 2.281, 285) Peirce uses ‘likeness’ and ‘resemblance’ interchangeably in his definition of icon. The synonymity of the two words has rarely, if ever, been questioned. Curiously, a locus classicus of the pair, at least in F. M. Cornford’s English translation, can be found in a late dialogue of Plato, namely, the Sophist. In this dialogue on the myth and truth of the sophists’ profession, the mysterious ‘stranger’, who is most likely Socrates’ (...) persona, makes the famous distinction between eikon (likeness) and phantasma (semblance) (236a,b). For all his broad knowledge in ancient philosophy, Peirce never mentioned this parallel; nor has any Peircean scholar identified it. There seems to be little problem with eikon as likeness, but phantasma may give rise to a puzzle which this paper will attempt to solve. Plato uses two pairs of words: what eikon is to phantasma is eikastikén (the making of likeness [235d]) to phantastikén (semblance making [236c]). In other words, icons come into being because of the act of icon-making, which is none other than indexicality. Witness what Peirce says about the relationship between photographs and the objects they represent: “But this resemblance is due to the photographs having been produced under such circumstances that they were physically forced to correspond point by point to nature.” (Ibid.) Thus the iconicity which links the representamen (sign) and its object is made possible not only by an interpretant, but also by idexisation. Their possible etymological and epistemological links aside, the Peircean example of photographing and the Platonic discussion of painting and sculpturing in the Sophist, clearly show the physio-pragmatic aspect of iconicity. The paper will therefore reread the Peircean iconicity by closely analysing this relatively obscure Platonic text, and by so doing restore to the text its hidden semiotic dimension. (shrink)

This study empirically examined the effects of ethical leadership and ethical climate on employee ethical behavior in the international port context using survey data collected from 128 respondents who worked in Taiwan International Ports Corporation in Taiwan. Research hypotheses were formulated from the previous literature and tested using structural equation modeling. Results indicated that ethical leadership had a significant impact on ethical climate and the ethical behavior of TIPC employees. Ethical climate was found to be positively associated with employee ethical (...) behavior. The theoretical and practical implications of the research findings are discussed. (shrink)

Volume 46, Issue 6, November 2020, Page 658-675.

Juri Lotman’s well-known distinction of primary modeling system versus secondary modeling system is a lasting legacy of his that has been adhered to, modified, and refuted by semioticians of culture and nature. Adherence aside, modifications and refutations have focused on the issue whether or not language is a primary modeling system, and, if not, what alternatives can be made available to replace it. As Sebeok would concur, for both biosemiosis and anthroposemiosis, language can only be a secondary modeling system on (...) top of the biological experience of Umwelt or human sensory system. This paper proposes to explore the possibility of a “preverbal” modeling system suggested by Lotman’s spatial concept of semiosphere, and discuss its implications in cross-cultural dialogue. (shrink)

Background and aimDuring the COVID-19 pandemic, an Internet-Mindfulness-Based Stress Reduction program was delivered and may be better than an in-person approach. Our study evaluated the effects of iMBSR intervention on mental health, self-efficacy, and body image in women with breast cancer in Taiwan.Materials and methodsSixty-seven women with breast cancer were allocated to a 6-week iMBSR program or a waitlist control group, without heterogeneity between group characteristics. Patients from both groups were measured at baseline and postintervention using three scales: Depression, Anxiety, (...) and Stress Scale, General self-efficacy scale, and Body Image Scale. Descriptive dataset analysis, paired t-test, and Student’s t-test were used to evaluate the data.ResultsAlthough iMBSR did not significantly improve depression and stress between groups, iMBSR could improve anxiety with medium effect sizes. Significant benefits were found for body image and self-efficacy, with large effect sizes.ConclusionOur preliminary study supports iMBSR as a program that can improve mental health, body image, and self-efficacy in women with breast cancer. During the COVID-19 pandemic, medical professionals can use Internet-based clinical health education. (shrink)

Background: Healthcare workers in the front line of diagnosis, treatment, and care of patients with coronavirus disease 2019 are at great risk of both infection and developing mental health symptoms. This study aimed to investigate the following: whether healthcare workers in general hospitals experience higher mental distress than those in psychiatric hospitals; the role played by religion and alexithymic trait in influencing the mental health condition and perceived level of happiness of healthcare workers amidst the stress of the COVID-19 pandemic; (...) and factors that influence the resilience of healthcare workers at 6 weeks' follow-up.Methods: Four-hundred and fifty-eight healthcare workers were recruited from general and psychiatric hospitals, and 419 were followed-up after 6 weeks. All participants filled out the 20-item Toronto Alexithymia Scale, five-item Brief-Symptom Rating Scale, and the Chinese Oxford Happiness Questionnaire.Results: Under the stress of the COVID-19 pandemic, 12.3% of frontline healthcare workers in general hospitals reported having mental distress and perceived lower social adaptation status compared with those working in psychiatric hospitals. Christians/Catholics perceived better psychological well-being, and Buddhists/Taoists were less likely to experience mental distress. The results at 6 weeks of follow-up showed that the perceived lower social adaptation status of general hospital healthcare workers was temporary and improved with time. Christian/Catholic religion and time had independent positive effects on psychological well-being; however, the interaction of Christian/Catholic religion and time had a negative effect.Conclusions: Collectivism and individualism in the cultural context are discussed with regard to alexithymic trait and Buddhist/Taoist and Christian/Catholic religious faiths. Early identification of mental distress and interventions should be implemented to ensure a healthy and robust clinical workforce for the treatment and control of the COVID-19 pandemic. (shrink)

Learning general concepts in imperfect environments is difficult since training instances often include noisy data, inconclusive data, incomplete data, unknown attributes, unknown attribute values and other barriers to effective learning. It is well known that people can learn effectively in imperfect environments, and can manage to process very large amounts of data. Imitating human learning behavior therefore provides a useful model for machine learning in real-world applications. This paper proposes a new, more effective way to represent imperfect training instances and (...) rules, and based on the new representation, a Human-Like Learning (HULL) algorithm for incrementally learning concepts well in imperfect training environments. Several examples are given to make the algorithm clearer. Finally, experimental results are presented that show the proposed learning algorithm works well in imperfect learning environments. (shrink)

Like other sciences, biosemiotics also has its time-honoured archive, consisting, among other things, of writings by those who have been invented and revered as ancestors of the discipline. One such example is Jakob von Uexküll who has been hailed as a precursor of semiotics, developing his theory of “sign” and “meaning” independently of Saussure and Peirce. The juxtaposition of “sign” and “meaning” is revelatory because one can equally legitimately claim Uexküll as a hermeneutician in the same way as others having (...) claimed him as a semiotician. Such a novel temptation can be justified by Uexküll’s prolonged obsession with Sinn and Bedeutung since his first book in 1909. This paper attempts to reconstruct the immediate intellectual horizon of Uexküll’s historicity, a discursive space traversed by his contemporaries Frege and Husserl, in order to see how Uexküll’s discussions of Zeichen and Gegenstand, Sinn and Bedeutung, were informedby other philosophers of language, and to establish Uexküll as a phenomenological hermeneutician in the tradition of Husserl, Heidegger and Gadamer. To forestall and counter possible criticism that hermeneutics is primarily concerned with textual interpretation, while Uexküll is at most an interpreter of animal life, the paper will discuss his unfinished parody of the Platonic dialogue Meno, which is entitled Die ewige Frage: Biologische Variationen über einen platonischen Dialog (1943). It is through such textual practice that one witnesses the emergence of an Uexküll who embodies at once the addressee exercising his understanding of ancient texts as well as the second addresser recoding his explanation to another group of targeted addressees. This textual practice already goes beyond the confines of biology and in fact involves the linguistic pragmatics of rhetoric and speech act. (shrink)

In traditional Chinese literary criticism, textual strategies comparable to intertextuality have governed Chinese critics’ and poets’ reading and writing aboutliterature throughout the dynasties. Drawing on the intertextual theories of Kristeva and Riffaterre, the paper probes into the phenomenon of sign system-mutations in two highly influential ancient texts: the Confucian Classic of Changes of the fifth century B.C.E. and Liu Xie’s The Literary Mind and the Carving of Dragons, an ars poetica in the third century. The transformation of sign systems from (...) nonverbal to verbal, in the case of the Changes, and from literate to literary or “creative” to “theoretical”, in the case of the Dragons, bears witness to the Hjelmslevian reciprocity of object-semiotic and meta-semiotic. (shrink)

Juri Lotman’s well-known distinction of primary modeling system versus secondary modeling system is a lasting legacy of his that has been adhered to, modified, and refuted by semioticians of culture and nature. Adherence aside, modifications and refutations have focused on the issue whether or not language is a primary modeling system, and, if not, what alternatives can be made available to replace it. As Sebeok would concur, for both biosemiosis and anthroposemiosis, language can only be a secondary modeling system on (...) top of the biological experience of Umwelt or human sensory system. This paper proposes to explore the possibility of a “preverbal” modeling system suggested by Lotman’s spatial concept of semiosphere, and discuss its implications in cross-cultural dialogue. (shrink)

Naming, according to Sebeok, constihttes the first stage of zoosemiotics. This special but common use of language acrually inaugurates more complicated procedures of human discourse on non-human kingdom, including classification of its members. Because of language's double articulation in sound and sense, as well as the grapheme's pleremic (meaning-full) rather than cenemic (meaning-empty) characteristic (according to Hjelmslev). Chinese script is capable of naming and grouping animals randomly but effectively. This paper attempts to describe the said scriptorial "necessity of naming" (Kripke) (...) in classical Chinese by citing all the creatures, real or fabulous, with a /ma/ (horse) radical. (shrink)

The metaphor of parasites or parasitism has dominated literary critical discourse since the 1970s, prominent examples being Michel Serres in France and J. Hillis Miller in America. In their writings the relationship between text and paratext, literature and criticism, is often likened to that between host and parasite, and can be therefore deconstructed. Their writings, along with those by Derrida, Barthes, and Thom, seem to be suggesting the possibility of a semiotics of parasitism. Unfortunately, none of these writers has drawn (...) enough on the biological foundation of parasitism. Curiously, even in biology, parasitism is already a metaphor through which the signified of an ecological phenomenon involving two organisms is expressed by the signifier of “[eating] food at another’s [side] table”. This paper will make some preliminary remarks on semiotics of parasitism, based on the notions of Umwelt (Jakob von Uexküll) and structural coupling (Maturana and Varela). It will look into the phenomenon of co-evolutionary process in community ecology. With reference to empirical history, the project will briefly surveythe literary and medical praxis of the 17th century England where large number of creative writings referred to the phenomenon of parasitism, which was deeply embedded in religious practice (e.g., the Eucharist) and political life (e.g., the courtier ecology in monarchy) of the times. Finally, it will touch upon the possible ‘parasitic’ relationship between language and biology. (shrink)

Career sustainability is a well-researched issue in academics and other sectors. Technology advancements and COVID-19 have jeopardized career sustainability. Numerous studies have explored the influence of individual characteristics on career sustainability, but few have focused on leadership. In addition, cultural factors must be considered because leadership is rooted in culture. In particular, inclusive leadership reflects traditional Chinese culture. Therefore, based on self-determination social exchange theories, we analyzed the effects of inclusive leadership on career sustainability as well as the roles of (...) thriving at work and supervisor developmental feedback in career sustainability. In total, 363 samples were collected from China. The results revealed that inclusive leadership improves career sustainability through SDF and thriving at work. Theoretically, our study fills the research gap and establishes a mechanism and theoretical framework for inclusive leadership and career sustainability. Practically, we offer guidance for enterprises to cultivate inclusive leadership and improve career sustainability. (shrink)

Body ownership concerns what it is like to feel a body part or a full body as mine, and has become a prominent area of study. We propose that there is a closely related type of bodily self-consciousness largely neglected by researchers—experiential ownership. It refers to the sense that I am the one who is having a conscious experience. Are body ownership and experiential ownership actually the same phenomenon or are they genuinely different? In our experiments, the participant watched a (...) rubber hand or someone else’s body from the first-person perspective and was touched either synchronously or asynchronously. The main findings: (1) The sense of body ownership was hindered in the asynchronous conditions of both the body-part and the full-body experiments. However, a strong sense of experiential ownership was observed in those conditions. (2) We found the opposite when the participants’ responses were measured after tactile stimulations had ceased for 5 s. In the synchronous conditions of another set of body-part and full-body experiments, only experiential ownership was blocked but not body ownership. These results demonstrate for the first time the double dissociation between body ownership and experiential ownership. Experiential ownership is indeed a distinct type of bodily self-consciousness. (shrink)