The theory of Yin and Yang and the Five Movements is based on the concept of cyclical time. This ancient cosmological model postulates that when expansive energy reaches its apex, mutual life-saving relations prevail over mutually conflictual societal relations, and that this cycle repeats. This cosmic change model was first presented in ancient Korea and China, by Hado-Nakseo, via numerological configurations and symbols. The Hado diagram was drawn by a Korean thinker, Bok-hui (?-BC3413), also known as Great Empeor Fuzi (...) or Fu-hsi in Chinese mythology. Confucius once recognized him as the father of I Ching (Book of Changes). The Eastern cosmology was further developed by King Wen and the Duke of Zhou and compiled by Confucius (BC551?-BC 479) during the Spring and Autumn Period and the Warring States Period. Nakseo diagram was first discovered by the famous King Wu of China, who founded the Xia dynasty. In contrast to the harmonious mathematical matrix of Hado, Nakseo symbolizes the conflictual and dynamic expansion of the universe. In the Nakseo world, masculine energy is structurally greater than feminine energy, continuously breeding disequilibrium and conflict. The Yin and Yang model suggests that everything in the universe exists as a combination of opposing dynamics. At any given time, one of the two dynamics grows while the other declines. When Yang energy is at its peak, Yin energy is at its nadir; then, a reversal occurs; and envetually the whole cycle repeats. It would thus be logical to express that when conflictual energy has reached its apex harmonious energy begins to wax. It can be argued that since the state of disequilibrium within the universe represented by Nakseo cannot indefinitely sustain its dynamic of expansion, harmonious international relationships eventually come to pervade the world. This argument represents a unique applicationof the concept of Yin and Yang logic to international arms race and arms control. This cyclical dynamics can explain the long-term process of arms build-up followed by eventually by nuclear standoff and subsequent nuclear arms control regimes as NPT, CTBT, MTCR, SALT, START, PSI and etc. One can boldly claim that Yin and Yang logic offers a clue to creating a theory of structural peace by discovering a constructivist element in the model. The esoteric matrixes of ancient Korea and China thus provide humanity with an new vision for nuclear disarmament and a sustainable peace. (shrink)

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.

This paper is a section that is included in a philosophy of education doctoral thesis on John Locke’s educational epistemology. In this part, I argue that Locke’s conception of liberty as limited based on the natural law and later the civil laws can shed a light on our understanding of freedom in our educational practice. Lockean call for the balance between limited freedom of individual and limited governance of political authority is theoretically translated at the end of this paper into (...) the call for the practical balance between limited freedom of students and limited governance of teachers. Then this paper will offer logical ground for Locke’s understanding of freedom and its limitation, and suggest a theoretical connection to an argument on epistemic liberty in education. (shrink)

Hsun K'uang was one of the thinkers of the Warring States period, and he occupies an important place in the history of Chinese thought. He was also an outstanding Chinese logician. He broadened the realm of logical theory and applied logic to the ideological struggle in his time. This article will be devoted to a review of the outline and characteristics of the logical thought advanced in his famous article "Cheng-ming p'ien" [Correct Nomenclature].

***Translated a Korean-language book to English with Dr. Chang-Seong Hong*** Venerable Hyun-Eung's Enlightenment and History is the first book of Buddhist philosophy of history published in South Korea; possibly the first of its kind in the world. In this book of telling points and clear visions, Hyun-Eung discusses East Asian Buddhist traditions in light of Western-philosophical perspectives and presents his views on the theory and praxis in contemporary Buddhism in a way that Western readers can easily understand. East Asian Buddhist (...) philosophy has had little introduction to English-speaking societies compared with the philosophies of other traditions in Buddhism. This book provides penetrating insight into such major issues of East Asian Mahayana Buddhism as enlightenment, compassion, emptiness, and sudden enlightenment in the Zen traditions. Hyun-Eung s approach is creative, clear, logical, and methodologically modernized. Hyun-Eung s Buddhist philosophy of history is not a mere product of armchair philosophy. He wrote most essays in this book during the 1980 s while South Korea was undergoing serious political turmoil as it tried to overthrow a government backed by military generals. This book presents a philosophy that evolved from his contemplations on the real issues of South Korean society. Defining the ideal form of life as the life of bodhisattva in Mahayana Buddhism, Hyun-Eung summarizes the theme of this book as follows: My book Enlightenment and History is a collection of essays that interpret Buddhist doctrines under a new light. In particular, this book interprets bodhisattva as the combination of bodhi (enlightenment) and sattva (life, history), and defines the life of bodhisattva as enlightenment s becoming history and history s becoming enlightenment. This is the representative of all the new interpretations in this book. Also, I classify the issue of fact judgments on how to understand facts and phenomena as the area of bodhi (enlightenment) and the issue of value judgments on how to live life as the area of sattva (history), and thereby I make their logical differences clear. However, at the same time, I claim that harmonizing these two areas into one area of life is the model of a nice and practical life, which is the bodhisattva that Mahayana Buddhism praises. From Introduction. (shrink)

With a vaulting ambition to usurp Party power, the "Gang of Four" has audaciously opposed Marxism-Leninism-Mao Tsetung Thought. Lacking truth in their allegations, they have been compelled to invoke sophistry. Their sophistry runs counter to materialist dialectics and even formal logic. Alien class element Yao Wen-yuan used to accuse others of "violating even formal logic," but it is the "Gang of Four" that ignores the definiteness and distinctiveness of thinking, says black is white, and tramples on formal (...) class='Hi'>logic. (shrink)

Why do some epistemic objects persist despite undergoing serious changes, while others go extinct in similar situations? Scientists have often been careless in deciding which epistemic objects to retain and which ones to eliminate; historians and philosophers of science have been on the whole much too unreflective in accepting the scientists’ decisions in this regard. Through a re-examination of the history of oxygen and phlogiston, I will illustrate the benefits to be gained from challenging and disturbing the commonly accepted continuities (...) and discontinuities in the lives of epistemic objects. I will also outline two key consequences of such re-thinking. First, a fresh view on the (dis)continuities in key epistemic objects is apt to lead to informative revisions in recognized periods and trends in the history of science. Second, recognizing sources of continuity leads to a sympathetic view on extinct objects, which in turn problematizes the common monistic tendency in science and philosophy; this epistemological reorientation allows room for more pluralism in scientific practice itself. (shrink)

Kripke's argument for the rigid designation of natural kind terms is fallacious because he does not distinguish natural kinds from second-order functional properties; by clarifying the concepts of natural kind and functional property, we can show that natural kind terms do designate their referents rigidly, but that functional property terms are not rigid designators. My discussions of functional property will also help dispel the worry about the alleged cases of contingent identity with regard to theoretical statements in science. There is (...) no contingent identity even in the form of second-order logic: Property identity is also a necessary identity. The principle of necessary identity rules relentlessly. (shrink)

Service process optimization is conducive to the innovation of enterprise services, but the poor logic design of multiple touchpoints can easily lead to problems in the service process, such as scattered layouts and repeated paths. Aiming at the promotion of service innovation and user experience, this paper takes the optimization of a single service touchpoint as the prerequisite and proposes a service process optimization method based on service touchpoint association and the design structure matrix. The association of service touchpoints (...) is categorized into two types, namely, noncoupled and coupled association. The DSM is used to describe the two types of association between service touchpoints, and the matrix operation is used for modular identification and layering of the two kinds of association. Finally, through the above steps, the problematic service process was replanned. By using the service process optimization of a new retail convenience store as an example, the service process is divided into 6 relatively independent modules, and the order of module execution is arranged. Moreover, the optimal service process of the convenience store system is determined, and the method is verified to be feasible. Through optimization both from single service touchpoint and service process modularization, the study provides a reference for process optimization of the complex service system. (shrink)

To philosophize is to communicate philosophically. From its inception, philosophy has communicated forcefully. Socrates, Plato, and Aristotle talk a lot, and talk ardently. Because philosophy and communication have belonged together from the beginning--and because philosophy comes into its own and solidifies its stance through communication--it is logical that we subject communication to philosophical investigation. This collection of key works of classical, modern, and contemporary philosophers brings communication back into philosophy's orbit. It is the first anthology to gather in a single (...) volume foundational works that address the core questions, concepts, and problems of communication in philosophical terms. The editors have chosen thirty-two selections from the work of Plato, Leibniz, Hegel, Husserl, Heidegger, Wittgenstein, Benjamin, Lacan, Derrida, Sloterdijk, and others. They have organized these texts thematically, rather than historically, in seven sections: consciousness; intersubjective understanding; language; writing and context; difference and subjectivity; gift and exchange; and communicability and community. Taken together, these texts not only lay the foundation for establishing communication as a distinct philosophical topic but also provide an outline of what philosophy of communication might look like. (shrink)

This is indeed a very nice draft that I have read with great pleasure, and that has helped me to better understand the completeness proof for LCC. Modal fixed point logic allows for an illuminating new version (and a further extension) of that proof. But still. My main comment is that I think the perspective on substitutions in the draft paper is flawed. The general drift of the paper is that relativization, (predicate) substitution and product update are general operations (...) on models, and that it is important to check whether given logical languages are closed under these operations. FO logic is closed under relativization, predicate substitution and product constructions (such as those involved in relative interpretation). The minimal modal logic is closed under relativization, which explains the reduction of epistemic logic (withhout common knowledge) + public announcement to epistemic logic simpliciter (as observed in Van Benthem, [2]). The reduction breaks down as soon as one adds common knowledge. The minimal modal logic is also closed under substitution, which explains the reduction of epistemic logic plus (publicly observable) factual change to epistemic logic simpliciter, via the following reduction axioms (I use !p := φ for the operation of publicly changing the truth value of p to φ): [!p := φ]p ↔ φ [!p := φ]q ↔ q (p and q syntactically different ) [!p := φ]¬ψ ↔ ¬[!p := φ]ψ [!p := φ](ψ1 ∧ ψ2) ↔ [!p := φ]ψ1 ∧ [!p := φ]ψ2 [!p := φ][i]ψ ↔ [i][!p := φ]ψ Unlike the case of relativisation, this can be extended to the case of epistemic logic with common knowledge, by means of: [!p := φ]CGψ ↔ CG[!p := φ]ψ We get the following.. (shrink)

In this paper an analysis of scientific theories and theory change including meaning change is presented by using intensional logic. Several cases of scientific progress are distinguished and special attention is given to incommensurability. It is argued that ,in all cases the comparison of rival theories is possible via translation. Finally two different forms of theory-Iadenness of observation are analysed.

Organizational institutionalism has shown how institutional entrepreneurs can introduce new logics into fields and push for their broader acceptance. In academic science in the United States, however, market logic gained strength without such an entrepreneurial project. This article proposes an alternative “practice selection” model to explain how a new institutional logic can gain strength when local innovations interact with changes outside the field. Actors within a field are always experimenting with practices grounded in a variety of logics. When (...) one logic is dominant, innovations based on alternative logics may have trouble gaining the resources they need to become more broadly institutionalized. But if a changing environment starts systematically to favor practices based on an alternative logic, that logic can become stronger even in the absence of a coherent project to promote it. This is what happened in US academic science, as growing political concern with the economic impact of innovation changed the field’s environment in ways that encouraged the spread of local market-logic practices. (shrink)

Can we change our logic and if so how? In ‘The Question of Logic’ (this volume), Saul Kripke takes a certain message about this from Lewis Carroll’s famous pape.

In this paper, I situate Logical Argument Mapping within.

By a reasoned change in logic I mean a change in the logic with which you make inferences that is based on your evidence. An argument sourced in recently published material Kripke lectured on in the 1970s, and dubbed the Adoption Problem by Birman (then Padró) in her 2015 dissertation, challenges the possibility of reasoned changes in logic. I explain why evidentialists should be alarmed by this challenge, and then I go on to dispel it. (...) The Adoption Problem rests on a failure to distinguish between logical principles such as Universal Instantiation and Modus Ponens which might or might not govern your inferences with superficially similar laws which must govern your cognitive architecture. (shrink)

Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with (...) artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic. (shrink)

We present the logic$${\mathsf {LCB}}$$LCBwhich is expressed in a propositional language constantly enriched by new atomic expressions. Our formal framework is the propositional doxastic logic$${\mathsf {KD45}}$$KD45with the belief operator$${\mathcal {B}}$$B, extended by the$${\mathcal {C}}$$Coperator, to be readit changes that.... We describe the changing beliefs of an agent who uses progressively expanding language. The approach presented here allows us to weaken pragmatic objections to the so-called principle ofnegative retrospectionaccepted in$${\mathsf {KD45}}$$KD45and the problem oflogical omniscience. In what follows, we present (...) the expanding propositional language used in our formalism, interpreted using an epistemic version of Kripke semantics. Next, we give a syntactic characterization of logic$${\mathsf {LCB}}$$LCBand prove the soundness and completeness of$${\mathsf {LCB}}$$LCBin respect to our semantics. Finally, we compare the idea of expanding language with the notion ofagent awarenessand we relate our formalism to two epistemic temporal logics. (shrink)