This book explains the general intellectual climate of the early Ch'ing period, and the political and cultural characteristics of the Ch'ing regime at the time. Professor Huang brings to life the book's central characters, Li Fu and the three great emperors - K'ang-hsi, Yung-cheng, and Chien-lung - whom he served. Although the author's main concern is to explain the contributions of Li Fu to the Lu-Wang school of Confucianism, he also gives a clearly written account of the Lu-Wang and Ch'eng-Chu (...) schools from the twelfth century to the eighteenth. In a clear, succinct style, Huang explains the historical differences between the Ch'eng-Chu and Lu-Wang schools without sacrificing the subtleties of either. The book culminates in a discussion of the hero-emperor K'ang-hsi's appropriation of the 'Tradition of the Way' from his intellectual officials, which denied them their traditional role as moral censors and critics of the emperor's exercise of authority. (shrink)

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)

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)

Lawami' al-Nazar fi Tahqiq Ma'ani al-Mukhtasar is Aḥmad b. Ya'qub al-Wallali's (d. 1128/1716) commentary on al-Sanusi's (d. 895/1490) compendium of logic, al-Mukhtasar. Al-Wallali was the first commentator on al-Sanusi's compendium after the author's autocommentary. In this publication, Ibrahim Safri offers a critical edition of this work, together with a study of the author's life and oeuvre. Safri also tries to show the indirect influence of Avicennism on logic in the Maghribi tradition in the seventeenth and eighteenth centuries. On the basis (...) of his writings on logic and philosophical theology, al-Wallali was considered a master of rational sciences by his contemporaries. (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)