马忠林(1914~ ),东北师范大学数学系教授,中国数学会会员,吉林省数学会常务理事,日本三大学数学教育学研究会名誉会长.

The signature of the formal language of mereology contains only one binary predicate P which stands for the relation “being a part of”. Traditionally, P must be a partial ordering, that is, ${\forall{x}Pxx, \forall{x}\forall{y}((Pxy\land Pyx)\to x=y)}$ and ${\forall{x}\forall{y}\forall{z}((Pxy\land Pyz)\to Pxz))}$ are three basic mereological axioms. The best-known mereological theory is “general extensional mereology”, which is axiomatized by the three basic axioms plus the following axiom and axiom schema: (Strong Supplementation) ${\forall{x}\forall{y}(\neg Pyx\to \exists z(Pzy\land \neg Ozx))}$ , where Oxy means ${\exists (...) z(Pzx\land Pzy)}$ , and (Fusion) ${\exists x\alpha \to \exists z\forall y(Oyz\leftrightarrow \exists x(\alpha \land Oyx))}$ , for any formula α where z and y do not occur free. In this paper, I will show that general extensional mereology is decidable, and will also point out that the decidability of the first-order approximation of the theory of complete Boolean algebras can be shown in the same way. (shrink)

Mereological theories are theories based on a binary predicate ‘being a part of’. It is believed that such a predicate must at least define a partial ordering. A mereological theory can be obtained by adding on top of the basic axioms of partial orderings some of the other axioms posited based on pertinent philosophical insights. Though mereological theories have aroused quite a few philosophers’ interest recently, not much has been said about their meta-logical properties. In this paper, I will look (...) into whether those theories are decidable or not. Besides, since theories of Boolean algebras are in some sense upper bounds of mereological theories which can be found in the literature, I shall also make some observations about the possibility of getting mereological theories beyond Boolean algebras. (shrink)

The signature of the formal language of mereology contains only one binary predicate which stands for the relation “being a part of” and it has been strongly suggested that such a predicate must at least define a partial ordering. Mereological theories owe their origin to Leśniewski. However, some more recent authors, such as Simons as well as Casati and Varzi, have reformulated mereology in a way most logicians today are familiar with. It turns out that any theory which can be (...) formed by using the reformulated mereological axioms or axiom schemas is in a sense a subtheory of the elementary theory of Boolean algebras or of the theory of infinite atomic Boolean algebras. It is known that the theory of partial orderings is undecidable while the elementary theory of Boolean algebras and the theory of infinite atomic Boolean algebras are decidable. In this paper, I will look into the behaviors in terms of decidability of those mereological theories located in between. More precisely, I will give a comprehensive picture of the said issue by offering solutions to the open problems which I have raised in some of my papers published previously. (shrink)

Efforts to counter software piracy are an increasing focus of software publishers. This study attempts to develop a profile of those who illegally copy software by looking at undergraduate and graduate students and the extent to which they pirate software. The data indicate factors that can be used to profile the software pirater. In particular, males were found to pirate software more frequently than females and older students more than younger students, based on self-reporting.

The main purpose of this study is to explore and map the intellectual structure of business ethics studies during 1997–2006 by analyzing 85,000 cited references of 3,059 articles from three business ethics related journals in SSCI and SCI databases. In this article, co-citation analysis and social network analysis techniques are used to research intellectual structure of the business ethics literature. We are able to identify the important publications and the influential scholars as well as the correlations among these publications by (...) analyzing citation and co-citation. Three factors emerged in this study are: (1) ethical/unethical decision making, (2) corporate governance and firm performance, and (3) ethical principles and code of conduct. (shrink)

In his essay “Things Do Not Move,” Sengzhao (374?−414 CE), a prominent Chinese Buddhist philosopher, argues for the thesis that the myriad things do not move in time. This view is counter-intuitive and seems to run counter to the Mahayana Buddhist doctrine of emptiness. In this book chapter, I assess Sengzhao’s arguments for his thesis, elucidate his stance on the change/nonchange of things, and discuss related problems. I argue that although Sengzhao is keen on showing the plausibility of the thesis, (...) he actually views the myriad things as both changing and unchanging and upholds the nonduality of motion and rest. In fact, the nonmoving thesis follows from the discernment that things change from moment to moment without there being any enduring stuff in the process. Among philosophical works that confer a higher ontological status on nonchange over change, Sengzhao’s essay is unique and well worth pondering. (shrink)

Quite a few results concerning the decidability of mereological theories have been given in my previous paper. But many mereological theories are still left unaccounted for. In this paper I will refine a general method for proving the undecidability of a theory and then by making use of it, I will show that most mereological theories that are strictly weaker than CEM are finitely inseparable and hence undecidable. The same results might be carried over to some extensions of those weak (...) theories by adding the fusion axiom schema. Most of the proofs to be presented in this paper take finite lattices as the base models when applying the refined method. However, I shall also point out the limitation of this kind of reduction and make some observations and conjectures concerning the decidability of stronger mereological theories. (shrink)

It is customary practice to define ‘x is composed of the ys’ as ‘x is a sum of the ys and the ys are pairwise disjoint ’. This predicate has played a central role in the debate on the special composition question and on related metaphysical issues concerning the mereological structure of objects. In this note we show that the customary characterization is nonetheless inadequate. We do so by constructing a mereological model where everything qualifies as composed of atoms even (...) though some elements in the domain are gunky, i.e., can be divided indefinitely into smaller and smaller proper parts. (shrink)

Mereology is the theory of the relation “being a part of”. The first exact formulation of mereology is due to the Polish logician Stanisław Leśniewski. But Leśniewski’s mereology is not first-order axiomatizable, for it requires every subset of the domain to have a fusion. In recent literature, a first-order theory named General Extensional Mereology can be thought of as a first-order approximation of Leśniewski’s theory, in the sense that GEM guarantees that every definable subset of the domain has a fusion, (...) and this has been achieved by positing an axiom schema which in effect defines infinitely many axioms. Intuitively, in order to range over every definable subset, such an axiom schema seems unavoidable. But this paper will show that GEM is finitely axiomatizable and that all we need are just finitely many instances of the said axiom schema. (shrink)

The signature of the formal language of mereotopology contains two predicates $P$ and $C$, which stand for “being a part of” and “contact,” respectively. This paper will deal with the decidability issue of the mereotopological theories which can be formed by the axioms found in the literature. Three main results to be given are as follows: all axiomatized mereotopological theories are separable; all mereotopological theories up to $\mathbf{ACEMT}$, $\mathbf{SACEMT}$, or $\mathbf{SACEMT}^{\prime}$ are finitely inseparable; all axiomatized mereotopological theories except $\mathbf{SAX}$, $\mathbf{SAX}^{\prime}$, (...) or $\mathbf{S\overline{B}X}^{\prime}$, where $\mathbf{X}$ is strictly stronger than $\mathbf{CEMT}$, are undecidable. Then it can also be easily seen that all axiomatized mereotopological theories proved to be undecidable here are neither essentially undecidable nor strongly undecidable but are hereditarily undecidable. Result will be shown by constructing strongly undecidable mereotopological structures based on two-dimensional Euclidean space, and it will be pointed out that the same construction cannot be carried through if the language is not rich enough. (shrink)

The aim of this book is simple: to invite readers to consider what it means to lead a good life, and to offer practical advice, based on the Buddhist teachings, as to how this can be accomplished. In each of more than thirty brief essays, Master Hsing Yun treats a specific moral or ethical issue, using quotations from the rich treasury of the Buddhist scriptures as a point of departure for his discussion. Among the topics he considers are control (...) of the body and of speech, overcoming greed, ending anger, patience under insult, how to manage wealth, how to get along with others, what it means to practice Buddhism, and the blessings and joys of that practice. The Buddhist precepts are introduced as guideposts along this path of liberation, and friendship, gratitude, and service to others are presented as essential elements of a common quest to discover and to embody our innate goodness and humanity. (shrink)

Volume five focuses on the central teaching of non-attachment to our desires. Its premise is the more we crave, the more we suffer. Venerable Master Hsing Yun points out it is not only our attachment to things, but also to our own views, that is the source of suffering.

This paper will first introduce first-order mereotopological axioms and axiomatized theories which can be found in some recent literature and it will also give a survey of decidability, undecidability as well as other relevant notions. Then the main result to be given in this paper will be the finite inseparability of any mereotopological theory up to atomic general mereotopology (AGEMT) or strong atomic general mereotopology (SAGEMT). Besides, a more comprehensive summary will also be given via making observations about other properties (...) stronger than undecidability. (shrink)

The main purpose of this study is to explore and map the intellectual structure of business ethics studies during 1997–2006 by analyzing 85,000 cited references of 3,059 articles from three business ethics related journals in SSCI and SCI databases. In this article, co-citation analysis and social network analysis techniques are used to research intellectual structure of the business ethics literature. We are able to identify the important publications and the influential scholars as well as the correlations among these publications by (...) analyzing citation and co-citation. Three factors emerged in this study are: (1) ethical/unethical decision making, (2) corporate governance and firm performance, and (3) ethical principles and code of conduct. (shrink)

Mereological theories are based on the binary relation “being a part of”. The systematic investigations of mereology were initiated by Leśniewski. More recent authors (including Simons, Casati and Varzi, Hovda) formulated a series of first‐order mereological axioms. These axioms give rise to a plenitude of theories, which are of great philosophical interest. The paper considers first‐order mereological theories from the point of view of computable (or effective) algebra. Following the approach of Hirschfeldt, Khoussainov, Shore, and Slinko, we isolate two important (...) computability‐theoretic properties P (namely, degree spectra of structures, and effective dimensions), and consider the following problem: for a given mereological theory T, is it true that its models can realize every possible variant of the property P? If the answer is positive, then we say that the theory T is ‐universal. We obtain the following results about known mereological theories. Any theory T which is weaker than Extensional Closure Mereology (CEM) is ‐universal. A similar fact is true for the theory GM2. On the other hand, any theory stronger that CEM + (C) + (G) is not ‐universal. In particular, General Extensional Mereology is not ‐universal. (shrink)

We are of the opinion that there is also identity between erroneous thinking and existence. Our opinion is based on the following facts.

Utopian socialism represented by Saint-Simon, Fourier, and Owen in the nineteenth century played a definitely progressive role in history. This progressive role found expression in two aspects. First, it contained criticism and denunciation of the foundation of capitalist society. As a result, it "provided valuable materials for awakening workers' consciousness." Second, it set forth some positive ideals on future society "such as the elimination of antagonism between urban and rural areas, the family, the private profit system, and the employed labor (...) system, the advocacy of social harmony, and the call for turning the state into a single production-controlling organ." These burgeoning, critical socialist thoughts constituted one of the sources of the theory of scientific socialism. But their conception of history was the idealist conception of history and also the supraclass theory of human nature. This essay is devoted to a detailed discussion of Saint-Simon's and Fourier's social doctrines and historical views. (shrink)

Especially over the past twenty years, a number of analytic philosophers have embraced the idea that the world itself is vague or indeterminate in one or more respects. The issue then arises as to whether it can be the case that the world itself is indeterminate in all respects. Using as a basis Chinese Madhyamaka Buddhist thought, I offer two reasons for the coherence and intelligibility of the thesis that all concrete things are themselves indeterminate with respect to the ways (...) they are. The first reason draws on a notion reminiscent of the picture of reality as an amorphous lump, while the second reason makes use of the relativity of conceptual perspectives and determinations. Assuming that the world is the mere totality of all concrete things, I show that there is a genuine metaphysical possibility of the world’s being indeterminate in all respects. (shrink)

The primary purpose here is to ascertain what Heidegger's comportment toward East-West dialogue is most plausibly like in the light of his philosophical concerns and orientations. Considering that one should not uncritically take at face value occasional remarks by Heidegger that seem to suggest that he is preparing an East-West dialogue, we will proceed from Heidegger's own path of thinking and bring to light fundamental presuppositions in his thought and the response he may accordingly give to the issue of East-West (...) dialogue. (shrink)

A number of analytical philosophers have recently endorsed the view that the world itself is indeterminate in some respect. Intriguingly, ideas similar to the view are expressed by thinkers from Chinese Madhyamaka Buddhism, which may shed light on the current discussion of worldly indeterminacy. Using as a basis Chinese Madhyamaka thought, together with Jessica Wilson’s account of indeterminacy, I develop an ontological conception of indeterminacy, termed ontic indeterminacy, which centres on two complementary ideas—conclusive indeterminability and provisional determinability. I show that (...) OI is well-equipped to tackle several issues of worldly indeterminacy. My overarching aim is to present a viable and sustainable perspective on the subject of indeterminacy to enrich analytical philosophers’ insights into the intricate nature of reality. (shrink)

This study investigates the influence of old directors on corporate social responsibility (CSR) using roughly 25,000 firm-year observations from 2001 to 2015 in the United States. We employ the widely used selection, optimization, and compensation (SOC) model from psychology to explain the CSR decisions of old directors. Our results indicate that firms with a higher percentage of old directors tend to have lower engagement in CSR activities. To address endogeneity, we adopt the difference-in-differences method and use the event of sudden (...) deaths and unexpected retirements of old directors and find that our results remain robust. Our analysis also reveals that the negative impact of old directors on CSR is more significant in firms where directors receive fewer reputational spillover benefits from CSR initiatives and/or firms exhibiting poor corporate governance. In addition, this adverse impact of old directors comes from two effects: a reduction in efforts to enhance CSR strengths and an increase in inaction to address CSR concerns. Overall, these findings suggest that the CSR decision-making process of old directors involves assessing the costs and benefits of CSR engagements, consistent with our hypothesis derived from the SOC model. (shrink)

: The primary purpose here is to ascertain what Heidegger's comportment toward East-West dialogue is most plausibly like in the light of his philosophical concerns and orientations. Considering that one should not uncritically take at face value occasional remarks by Heidegger that seem to suggest that he is preparing an East-West dialogue, we will proceed from Heidegger's own path of thinking and bring to light fundamental presuppositions in his thought and the response he may accordingly give to the issue of (...) East-West dialogue. (shrink)

Selim Berker argues that epistemic consequentialism is pervasive in epistemology and that epistemic consequentialism is structurally flawed. is incorrect, however. I distinguish between epistemic consequentialism and epistemic instrumentalism and argue that most putative consequentialists should be considered instrumentalists. I also identify the structural problem of epistemic consequentialism Berker attempts to pinpoint and show that epistemic instrumentalism does not have the consequentialist problem.

In this essay I attempt a philosophical analysis of the Chinese Buddhist thought of linguistic reference to shed light on how the Buddhist understands the way language refers to an ineffable reality. For this purpose, the essay proceeds in two directions: an enquiry into the linguistic thoughts of Sengzhao (374-414 CE) and Jizang (549-623 CE), two leading Chinese Madhyamika thinkers, and an analysis of the Buddhist simile of a moon-pointing finger. The two approaches respectively constitute the horizontal and vertical axes (...) of this essay. The simile of a moon-pointing finger originated in Indian Buddhism and later received much attention in Chinese Buddhism. In light of the Chinese Buddhist interpretations of the simile, I set forth six theses to make explicit the philosophic implications there involved. They are: (1) words in no way correspond with the ineffable Real and cannot say or properly express the Real; (2) words can point toward the Real by means of the forms meant or properly expressed by them; (3) the forms are plainly different from the Real and so are to be negated; (4) one who takes the forms for the Real not only misunderstands the Real but is also ignorant of the function of language; (5) the forgetting of words and their forms can dissolve the entanglement of language and thought and even lead to the intuition of the Real; (6) the intuition of the Real depends upon extra-linguistic factors as well as language. In elaborating the theses, I resort to passages in Sengzhao’s and Jizang’s works to disclose their linguistic thoughts in relation to the theses. A main concern here is to show how one can speak the unspeakable, how one can refer to an ineffable reality without committing self-contradiction. This is done in relation to their views, the theses as well as a free interpretive analysis. I construe the notion of indication as involving the imposition-cum-negation method and argue that one can use words to indicate the ineffable without at the same time describing it. The ineffable is indescribable, but it can be intimated through indication. Meanwhile, I also discuss Zhuangzi’s notion of word-forgetting as it plays a role in the simile and in Jizang’s philosophy of language. One of the purposes of this essay is to show that while valuing the therapeutic and evocative functions of religious language, Chinese Buddhist thinkers also understand the language indicatively. Without taking note of the indicative function of religious language, one cannot form an adequate picture of the Chinese Buddhist -- especially, the Chinese Madhyamaka -- philosophy of language. (shrink)