Artemov and Protopopescu introduced a Brouwer-Heyting-Kolmogorov interpretation of knowledge operator to define the intuitionistic epistemic logic IEL, where the axiom A⊃KA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A\supset KA$$\end{document} is accepted but the axiom KA⊃A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$KA\supset A$$\end{document} is refused. This paper studies the notion of distributed knowledge on an expansion of the multi agent variant of IEL. We provide a BHK interpretation of distributed knowledge operator to define the intuitionistic epistemic (...) logic with distributed knowledge DIEL. We construct Hilbert system and cut-free sequent calculus for DIEL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {DIEL}$$\end{document} and show that they are sound and complete for the intended Kripke semantics. (shrink)

Intuitionistic epistemic logic by Artemov and Protopopescu (Rev Symb Log 9:266–298, 2016) accepts the axiom “if A, then A is known” (written $$A \supset K A$$ ) in terms of the Brouwer–Heyting–Kolmogorov interpretation. There are two variants of intuitionistic epistemic logic: one with the axiom “ $$KA \supset \lnot \lnot A$$ ” and one without it. The former is called $$\textbf{IEL}$$, and the latter is called $$\textbf{IEL}^{-}$$. The aim of this paper is to study first-order expansions (with equality and function (...) symbols) of these two intuitionistic epistemic logics. We define Hilbert systems with additional axioms called geometric axioms and sequent calculi with the corresponding rules to geometric axioms and prove that they are sound and complete for the intended semantics. We also prove the cut-elimination theorems for both sequent calculi. As a consequence, the disjunction property and existence property are established for the sequent calculi without geometric implications. Finally, we establish that our sequent calculi can also be formulated with admissible structural rules (i.e., in terms of a G3-style sequent calculus). (shrink)

스페인 시인 씰로트의 상징사전을 토대로 국내외 문학작품을 예로 들어 주제별, 가나다순으로 수록한 문 학평론가의 상징사전.

An inclusive vision of mathematics-- its beauty, its humanity, and its power to build virtues that help us all flourish. For mathematician Francis Su, a society without mathematical affection is like a city without museums. To miss out on mathematics is to live without experiencing some of humanity's most beautiful ideas. In this profound book, written for a diverse audience but especially for those disenchanted by their past experiences, an award-winning mathematician and educator weaves personal reflections, puzzles, and stories to (...) show how mathematics meets basic human desires and cultivates virtues essential for human flourishing. Readers will explore mathematical concepts-- and see how mathematical thinking can even fulfill such longings as for love, play, freedom, justice, and community. Some lessons come from those who have struggled, including philosopher Simone Weil, whose own mathematical contributions were overshadowed by her brother's, and Christopher Jackson, who discovered mathematics as an inmate in a federal prison. Christopher Jackson's letters to the author appear throughout the book and show how this intellectual pursuit can-- and must-- be open to all. (shrink)

Panel data from 179 corporate foundations over a 9-year period were analyzed to examine how charitable giving was influenced by a recent economic slowdown. The results revealed that foundations sponsored by consumer-oriented firms reduced their support for charitable causes as economic conditions worsened. Foundations sponsored by industrial-oriented firms increased charitable contributions during the economic slowdown. The results were interpreted as being consistent with the proposed motivation for corporate giving. More specifically, it was assumed that charitable giving decisions by foundations sponsored (...) by consumer-oriented firms are consistent with a marketing-related objective to increase sales through corporate philanthropy. Foundations sponsored by industrial-oriented firms were assumed to make charitable giving decisions more from an altruistic perspective. To achieve maximum corporate benefits from charitable donations, it was recommended that corporate foundations develop a giving program that avoids the potential negative consequences associated with reducing foundation giving when the need for charitable contribution increases. (shrink)

Strengthening a theorem of D.W. Kueker, this paper completely characterizes which countable structures do not admit uncountable L ω 1 ω -elementarily equivalent models. In particular, it is shown that if the automorphism group of a countable structure M is abelian, or even just solvable, then there is no uncountable model of the Scott sentence of M. These results arise as part of a study of Polish groups with compatible left-invariant complete metrics.

Analytic philosophy has been developing in China for over a century, and philosophers shaped by the analytic tradition have grown into an important philosophical community in China. The views of contemporary analytic philosophers in China on central philosophical issues and their similarities and differences with analytic philosophers in English-speaking countries have not been systematically investigated. Bourget and Chalmers have conducted two large-scale online questionnaire surveys on analytic philosophers in English-speaking countries. Inspired by their studies, a survey on analytic philosophers in (...) China was performed. It is found that philosophers in China had no agreement on most issues. According to the comparative analysis with the results of Bourget and Chalmers’ second survey, there were significant differences in views as well as thinking styles between analytic philosophers in China and English-speaking countries. And these differences may be partially explained by cultural factors and academic environments. (shrink)

Strengthening known instances of Vaught Conjecture, we prove the Glimm-Effros dichotomy theorems for countable linear orderings and for simple trees. Corollaries of the theorems answer some open questions of Friedman and Stanley in an L ω 1ω -interpretability theory. We also give a survey of this theory.

The relation between knowledge and action has been a lengthy debate in philosophy which traces back to Descartes and Locke. Purism holds that the practical factors related to action are fundamentally independent of the standard of knowledge, while pragmatic encroachment argues that practical considerations about action can impact judgments about knowledge. This traditional debate was put front and center recently by discussions on some knowledge attribution cases and relevant empirical studies. This paper reports three empirical studies based on three pairs (...) of classic knowledge attribution cases on Chinese participants. The results indicate that folk's understanding of knowledge is more compatible with purism and suggest a conversational implicature account of the connection between judgments about knowledge and action. (shrink)

We prove that the strong Martin conjecture is false. The counterexample is the first-order theory of infinite atomic Boolean algebras. We show that for this class of Boolean algebras, the classification of their (ω + ω)-elementary theories can be reduced to the classification of the elementary theories of their quotient algebras modulo the Frechet ideals.

This research proposes an explanation for the conflicting extant evidence about whether family ownership of a business promotes proactive environmental strategy (PES). Based on insights drawn from strategic reference point theory, organizational identity theory, and the socioemotional wealth preservation perspective, we propose that family ownership has a moderated–mediated relationship with PES, with commitment as a moderator and long-term orientation as a mediator. A test using 454 China private firms with different levels of family ownership supports the hypotheses. This shows that (...) PES as a strategy related to business ethics does not happen without commitment and long-term orientation. (shrink)

Enterprise philanthropy is practiced in a very unique and rudimentary form in China. Based on a unique random survey data on 3837 Chinese private enterprises conducted in 31 provinces of China in 2006, I find the significant positive relationship between enterprise philanthropy donation and enterprise profitability, and the result supports the political and institutional power view of enterprise philanthropy in the latest development of China. Simply put, Chinese private enterprises carried out philanthropy activities to better protect property rights and nurture (...) political connections, which in turn, leads to better enterprise profitability. The␣result is even stronger in institutions weaker provinces. (shrink)

Pylyshyn's effort in establishing the cognitive impenetrability of early vision is welcome. However, his view about the role of attention in early vision seems to be oversimplified. The allocation of focal attention manifests its effect among multiple stages in the early vision system, it is not just confined to the input and the output levels.

Philosophy & Social Criticism, Volume 48, Issue 8, Page 1123-1139, October 2022. Major debates on democratic renewal suggest two ways of eliciting social change: either by strengthening vertical practices of representation or by expanding horizontal forms of participation. The article develops an argument for why there is a need to rethink democratic resistance beyond the vertical–horizontal divide. If contemporary forms of resistance encompass a strategic interplay between vertical and horizontal practices, then an alternative framework is required to capture this logic. (...) Filling this gap, the article introduces the concept of ‘horizontal experimentalism’. Such an idea comprehends an understanding of political means and ends as a continuum and as adjusting each other in an ongoing process of experimental inquiry. (shrink)

Given that work teams have been widely used in a variety of organizations to complete critical tasks and that the use of social media in work teams has been growing, investigating whether and how team social media usage affects team creativity is imperative. However, little research has empirically explored how TSMU affects team creativity. This study divides TSMU into two categories, namely, work-related TSMU and relationship-related TSMU. Basing on communication visibility theory and social exchange theory, this study constructs a moderating (...) mediation model to understand how TSMU affects team creativity. In this model, team knowledge sharing is used as mediating role and team-member exchange is used as moderating role. Two-wave research data collected from 641 employees in 102 work teams in Chinese organizations are used for regression analysis. Results show that Work-related TSMU and relationship-related TSMU are positively affect team creativity. Team knowledge sharing plays a partly mediating effect on the relationship between work-related TSMU and team creativity and that between relationship-related TSMU and team creativity. TMX not only positively moderates the indirect effect of work-related TSMU and relationship-related TSMU on team creativity through team knowledge sharing. Theoretical and practical implications are also discussed. (shrink)

Guanxi (literally interpersonal connections) is in essence a network of resource coalition-based stakeholders sharing resources for survival, and it plays a key role in achieving business success in China. However, the salience of guanxi stakeholders varies: not all guanxi relationships are necessary, and among the necessary guanxi participants, not all are equally important. A hierarchical stakeholder model of guanxi is developed drawing upon Mitchell et al.’s (1997) stakeholder salience theory and Anderson’s (1982) constituency theory. As an application of instrumental stakeholder (...) theory, the model dimensionalizes the notion of stakeholder salience, and distinguishes between and among internal and external guanxi, core, major, and peripheral guanxi, and primary and secondary guanxi stakeholders. Guanxi management principles are developed based on a hierarchy of guanxi priorities and management specializations. The goal of this application of instrumental stakeholder theory is to construct, for Western business firms in China, a means to reliably identify guanxi partners by employing the principles of effective guanxi. These principles are described in the form of testable propositions that advance social scientific research in this area of international business ethics. (shrink)

Major debates on democratic renewal suggest two ways of eliciting social change: either by strengthening vertical practices of representation or by expanding horizontal forms of participation. The article develops an argument for why there is a need to rethink democratic resistance beyond the vertical–horizontal divide. If contemporary forms of resistance encompass a strategic interplay between vertical and horizontal practices, then an alternative framework is required to capture this logic. Filling this gap, the article introduces the concept of ‘horizontal experimentalism’. Such (...) an idea comprehends an understanding of political means and ends as a continuum and as adjusting each other in an ongoing process of experimental inquiry. (shrink)