Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...) knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set of (...) formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

As a transitional economy, Vietnam has undergone tremendous changes over recent decades within a ‘fusion’ context that blends both traditional and modern values from its complex history. However, few studies have explored how contemporary issues in the context of Vietnam have brought both obstacles and skillful initiatives to managerial approaches to doing business. We draw on the concepts of social trust and institutional theory to explore how informal institutions such as religious forces can contribute to the development of individual trust (...) and whether individuals are willing to extend trust beyond familial networks. We contribute to the notion of a moral conception of trust by exploring how Buddhism in particular has initiated distinctive managerial approaches in the context of Vietnam, in response to dilemmas of social trust. Our findings highlight that as an informal institution, engaged Buddhism yields significant impact on the formation of social trust. We carried out in-depth interviews in Vietnam with 33 organizational leaders who were Buddhist practitioners, using thematic analysis to elucidate our findings and arguments. The study reveals how the incorporation of Buddhist principles has fostered context-sensitive, non-extreme, and reflexive managerial approaches to enhance morality as a response to social trust issues. (shrink)

This paper draws on an institutional logics perspective to illuminate a hitherto underexplored context for CSR professional identity construction. It draws on an empirical study of 65 CSR professionals in South Korea and aims to deepen our understanding of CSR professional identity construction by investigating the contested nature of the CSR professional field between, on the one hand, societal-normative expectations of the profession, and, in the absence of stable professional logics, CSR professionals’ desired professional identity, on the other. Our study (...) reveals how CSR professionals engage with, and respond to, this complexity through constructing one of three distinctive professional identities based on different logic constellations. This process reveals a snapshot of professional logics ‘in-the-making’. (shrink)

We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart of any finitary and congruential logic . This definition is logic-based rather than purely order-theoretic and is in general different from the definition of canonical extensions for monotone poset expansions, but the two definitions agree whenever the algebras in are based on lattices. As a case study on logics purely based on implication, we prove that the varieties of Hilbert and Tarski algebras are canonical (...) in this new sense. (shrink)

ObjectiveThe level of health literacy is one of the important factors affecting health outcomes. Family is an important place to shape personality traits, and people with different personalities will adopt different lifestyles, which will lead to variations in health outcomes. Therefore, this article aims to explore the relationship between health literacy and personality and its influencing factors in different family structures.MethodsThis was a cross-sectional study with 1,406 individuals. A questionnaire was utilized to measure health literacy, personality and demographic variables, including (...) family structure. Canonical correlation analysis and hierarchical multiple regression analysis were used to examine the relation between health literacy and personality traits between two types of family structure.ResultsCCA showed that the canonical correlation coefficients were 0.309 and 0.347, in two-parent family and single-parent family, respectively. The openness of personality traits exhibited the highest correlation with health literacy. Compared with the remaining personality traits, openness yielded the strongest effect in two types of family structure, respectively. Education and monthly income were significantly associated with health literacy.ConclusionOur results support the relation between health literacy and personality traits in two types of family structure. (shrink)

In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist (...) axioms to our generalized setting and proving both a correspondence and a canonicity result for distributive modal logics axiomatized by Sahlqvist axioms. Our proof of the correspondence result relies on a reduction to the classical case, but our canonicity proof departs from the traditional style and uses the newly extended algebraic theory of canonical extensions. (shrink)

The subject of the study is the consideration of modern trends in the study of fine art, in particular Russian portrait and narrative painting of the beginning of the XXI century. The object is scientific works related to various fields of the humanities, namely: art history, aesthetics, anthropology, sociology, philosophy, psychology, etc. Using their material, it is possible to show not only the difference in approaches to understanding the essence and role of the image of a modern person in the (...) art process, but also to demonstrate the specifics of the artistic interpretation of this figurative system in the context of art criticism, cultural and philosophical issues. Such a study allows us to systematize existing ideas about the peculiarities of the development of anthropological subjects in the mainstream of contemporary fine art in modern Russia, to identify the main directions. The main methodological basis of the study was a systematic approach that allowed us to consider contemporary Russian art as a single system. This helped to compare the approaches of modern researchers analyzing the place and role of the human image in it. Through the postmodern paradigm of perception and interpretation of anthropological topics, to identify the essential features of the ideas of Russian scientists. Methods of art historical analysis were also used. The starting point of the research is that at the moment in Russian science there is a body of art history and cultural studies devoted to the development of contemporary art in the country. However, there are no works summarizing the existing experience of scientists and defining the main directions of scientific thought. In light of this, the scientific novelty of the article lies in expanding the understanding of the methodological apparatus necessary for the analysis of the anthropological trend in the visual arts of our time, which is a promising path for future research in this area. The most demanded conceptual philosophical and historical-cultural foundations for the analysis and solution of practical problems in the field of contemporary art in relation to the representation of the human image are identified. Empirical research material has been collected and analyzed. (shrink)

本书论述了艺术与想象力、艺术门类的相互关系、艺术与社会的参照分析、生活对艺术的启示、艺术欣赏三总体等。.

A significant body of research has emerged in order to better understand unethical behavior at work and how gender plays a role in the process. In this study, we look to add to this literature by exploring how perpetrator gender influences reactions to distinct types of unethicality. Rather than viewing unethical behavior as a unitary construct, where all forms of lying, cheating, and stealing are the same, we integrate theories and concepts from the criminal justice and moral psychology literatures to (...) categorize certain unethical behaviors as either impulsive or premeditated. Given the agentic nature of premeditated unethical behavior, we draw from role congruity theory to predict that women will be punished more severely than men for their role incongruous actions. Impulsive unethical behavior, on the other hand, will be less likely to elicit perceptions of congruity or incongruity, leading to less of a gender effect. Results from three studies sampling both undergraduates and working adults in the United States, Singapore, and South Korea showed that participants were more likely to associate premeditated unethical behavior with a male perpetrator because it was seen as less feminine, and female perpetrators who engaged in premeditated unethical behavior received more severe punishment than male perpetrators due to the perceived role incongruity of their actions. Implications are discussed as well as possible limitations and directions for future research. (shrink)

Algebraic work [9] shows that the deep theory of possible world semantics is available in the more general setting of substructural logics, at least in an algebraic guise. The question is whether it is also available in a relational form.This article seeks to set the stage for answering this question. Guided by the algebraic theory, but purely relationally we introduce a new type of frames. These structures generalize Kripke structures but are two-sorted, containing both worlds and co-worlds. These latter points (...) may be viewed as modelling irreducible increases in information where worlds model irreducible decreases in information. Based on these structures, a purely model theoretic and uniform account of completeness for the implication-fusion fragment of various substructural logics is given. Completeness is obtained via a generalization of the standard canonical model construction in combination with correspondence results. (shrink)

本书论述了艺术与想象力、艺术门类的相互关系、艺术与社会的参照分析、生活对艺术的启示、艺术欣赏三总体等。.

Following the eclectic itineraries of ‘Near East’ expert, R. M. Graves, this article tells a story of an ongoing Nakba (catastrophe) of small and large legal decisions. Without reducing the human catastrophe of the event of the Nakba (the 1948 Palestinian forced exodus), it engages with it as a legal event that crosses (in this story at least) from Cairo to Jerusalem, from the League of Nations’ era (1920–1946) to the United Nations’ era (1945–), from the governance of labour and (...) gender, to labour partition, and finally to the governance of municipalities through law and expertise. Graves’ relationship to both Cairo and Jerusalem was materialized through different forms of affective legal governance. Graves, who in his own dichotomous words was ‘neither a Zionist nor an anti-Semite’, managed Jerusalem across national lines in the wake of the UN Partition Plan (1947), and as the old empire was withdrawing right before Jerusalem itself became a site of the catastrophe—right before the Nakba. (shrink)

Si Kant n’utilise presque jamais le terme « transcendantal » dans ses œuvres de philosophie morale, cela signifie-t-il que sa philosophie morale soit totalement dépourvue de dimension transcendantale? Il s’agit de savoir si la morale kantienne comprend seulement une métaphysique des mœurs et une simple critique de la raison pratique, ou si elle contient aussi une morale transcendantale, comme semble l’évoquer l’Opus postumum? Jusqu’où peut-on soutenir l’hypothèse d’une morale transcendantale chez Kant, sans contredire la définition donnée en 1781 dans l’Introduction (...) à la Critique de la raison pure, selon laquelle la philosophie transcendantale serait exclusivement spéculative et devrait par conséquent exclure hors d’elle le domaine moral, où se trouvent certes des concepts a priori, mais non encore des concepts purs (en quoi consiste le critère du transcendantal au sens propre)? (shrink)

Volume 52, Issue 11, October 2020, Page 1120-1125.

Organizational leaders are eager to unlock the creative potential of followers. Yet, there is growing evidence that creativity can also have a dark side within organizations. Building on research linking creativity and unethical behavior, we develop the construct of creative unethicality—behavior that is both unethical and novel. We draw on social exchange theory to develop a model that identifies both why and when creative unethicality emerges within organizations. Specifically, we investigate the exchange dynamics through which creative support provided by empowering (...) leaders facilitates creative unethicality under conditions of high performance pressure. Across two multi-wave, multi-source field studies with employee-coworker and leader-subordinate dyads and an experimental study with a novel unethicality measure in a business simulation, we find convergent support for our theoretical model. These findings have important theoretical and practical implications for fostering creativity in organizations without simultaneously facilitating creative unethicality. (shrink)

The literature on meaningful work often highlights the role of leaders in creating a sense of meaning in the work or tasks that their staff or followers carry out. However, a fundamental question arises about whether or not leaders are morally responsible for providing meaningful work when perceptions of what is meaningful may differ between leaders and followers. Drawing on Buddhist ethics and interviews with thirty-eight leaders in Vietnam who practise ‘engaged Buddhism’ in their leadership, we explore how leaders understand (...) their roles in creating meaningfulness at work and their perceptions of how employees experience their leadership approach in this respect. On the basis of Buddhist ontology on the sense of meaningfulness, we introduce a number of leadership approaches in cultivating meaning at work that question the argument that leaders are primarily responsible for enabling or satisfying employees’ search for meaning. The study provides an alternative lens through which to examine the role of leadership from a Buddhist ethics perspective and shows how an insight from this particular tradition can enrich secular interpretations of meaningful work and leadership. (shrink)

Cet article cherche à dégager les enjeux de la cosmologie dans le système naturel aristotélicien. On commencera par relever certains paradoxes, comme l’absence de la cosmologie dans le programme scientifique d’Aristote. L’objet du De Caelo sera examiné dans cette perspective. On exposera dans un second temps les difficultés méthodologiques d’une enquête portant sur la nature du tout à la lumière de l’épistémologie aristotélicienne. L’étude de la démarche du Stagirite permettra ainsi de distinguer deux conceptions du monde : le monde comme (...) totalité statique des corps ( pan ou holon ) et le monde comme principe de leur organisation dynamique ( cosmos ). La cosmologie aristotélicienne se confondra dès lors avec l’étude de la structure formelle du mouvement éternel, s’intégrant ainsi dans une étude générale du mouvement. (shrink)

This paper argues that the principles of spiritual traditions provide normative ‘standards of goodness’ within which practitioners evaluate meaningful work. Our comparative study of practitioners in the Buddhist and Quaker traditions provide a fine-grained analysis to illuminate, that meaningfulness is deeply connected to particular tradition-specific philosophical and theological ideas. In the Buddhist tradition, meaningfulness is temporal and rooted in Buddhist principles of non-attachment, impermanence and depending-arising, whereas in the Quaker tradition, the Quaker testimonies and theological ideas frame meaningfulness as eternal. (...) Surprisingly, we find that when faced with unethical choices and clashes between organizational normativity and spiritual normativity, Buddhist practitioners acknowledge the temporal character of meaningfulness and compromise their moral values, whereas in contrast, Quaker practitioners morally disengage from meaningless work. Our study highlights how normative commitments in different spiritual traditions can influence different levels of adaptability in finding work meaningful and stresses the central importance of normative commitments in meaningful work. Our study concludes with practical implications and future pathways for inter-disciplinary research. (shrink)

This paper argues in favor of a hybrid conception of identity. A common conception of identity in datafied society is a split between a digital self and a real self, which has resulted in concepts such as the data double, algorithmic identity, and data shadows. These data-identity metaphors have played a significant role in the conception of informational privacy as control over information—the control of or restricted access to your digital identity. Through analyses of various data-identity metaphors as well as (...) philosophical accounts of identity, we argue in favor of a hybrid conception of identity that emphasizes the relations between the ‘real’ and the ‘digital’. A hybrid conception of identity—where the digital is an aspect on par with social relations, self-understanding, and values—ultimately calls for an understanding of privacy as the right to influence one’s own identity. (shrink)

Although CSR scholarship has highlighted how tensions in CSR implementation are negotiated, little is known about its normative and moral dimension at a micro-level. Drawing upon the economies of worth framework, we explore how spirituality influences the negotiation of CSR tensions at an individual level, and what types of justification work they engage in when experiencing tensions. Our analysis of semi-structured interview data from individuals who described themselves as Buddhist and were in charge of CSR implementations for their organizations shows (...) that spirituality influences how they compromise among competing moral values by identifying two forms of justification work: compartmentalizing work and contextualizing work, which help spiritual practitioners minimize moral dissonance. (shrink)

English distinguishes between singular quantifiers like "a donkey" and plural quantifiers like "some donkeys". Pluralists hold that plural quantifiers range in an unusual, irreducibly plural, way over common objects, namely individuals from first-order domains and not over set-like objects. The favoured framework of pluralism is plural first-order logic, PFO, an interpreted first-order language that is capable of expressing plural quantification. Pluralists argue for their position by claiming that the standard formal theory based on PFO is both ontologically neutral and really (...) logic. These properties are supposed to yield many important applications concerning second-order logic and set theory that alternative theories supposedly cannot deliver. I will show that there are serious reasons for rejecting at least the claim of ontological innocence. Doubt about innocence arises on account of the fact that, when properly spelled out, the PFO-semantics for plural quantifiers is committed to set-like objects. The correctness of my worries presupposes the principle that for every plurality there is a coextensive set. Pluralists might reply that this principle leads straight to paradox. However, as I will argue, the true culprit of the paradox is the assumption that every definite condition determines a plurality. (shrink)

An investigation of language use in news stories about collisions involving vehicles and nonhuman animals in the wild reveals that reports of bird-airplane collisions tend to focus on the safety of the humans involved, even to the point of constructing the bird as a projectile, rather than a victim. Reports of land vehicles and boats colliding with larger nonhuman animals tend to demonstrate a greater concern for nonhuman participants, attributing greater responsibility to humans for the collisions, although they are more (...) dangerous to humans. Although similar patterns are found in news reports in several languages and in several English-speaking countries, anthropocentrism alone does not fully explain the patterns in journalists’ choice of expressions and structures in these news stories. (shrink)