《周易》阴阳论的层级结构性质

传统中国哲学中的阴阳论一直是学界所关注的一个焦点,但对于该体系所具备确切内涵的各方面、以及由其所结成的整个架构的整体理论性质,却很少有人能深入体察。本文通过对《周易》阴阳论的细致分析,提出该理论作为一种形而上学宇宙论,实则是一个内在含括生命论、差异论与秩序论等三个主要方面,并以其中生命论为根基也是最终目的的层级结构。     

Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics

This paper presents Automath encodings (which are also valid in LF/λP) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to find out which foundation is the simplest.

The systems analyzed in this way are two kinds of set theory (ZFC and NF), two systems based on Church's higher order logic (Isabelle/Pure and HOL), three kinds of type theory (the calculus of constructions, Luo's extended calculus of constructions, and Martin-Löf's predicative type theory) and one foundation based on category theory.

The conclusions of this paper are that the simplest system is type theory (the calculus of constructions), but that type theories that know about serious mathematics are not simple at all. In that case the set theories are the simplest. If one looks at the number of concepts needed to explain such a system, then higher order logic is the simplest, with twenty-five concepts. On the other side of the scale, category theory is relatively complex, as is Martin-Löf's type theory.

(The full Automath sources of the contexts described in this paper are one the web at http://www.cs.ru.nl/~freek/zfc-etc/.)     

Mereological nihilism: quantum atomism and the impossibility of material constitution

Mereological nihilism is the philosophical position that there are no items that have parts. If there are no items with parts then the only items that exist are partless fundamental particles, such as the true atoms (also called philosophical atoms) theorized to exist by some ancient philosophers, some contemporary physicists, and some contemporary philosophers. With several novel arguments I show that mereological nihilism is the correct theory of reality. I will also discuss strong similarities that mereological nihilism has with empirical results in quantum physics. And I will discuss how mereological nihilism vindicates a few other theories, such as a very specific theory of philosophical atomism, which I will call quantum abstract atomism. I will show that mereological nihilism also is an interpretation of quantum mechanics that avoids the problems of other interpretations, such as the widely known, metaphysically generated, quantum paradoxes of quantum physics, which ironically are typically accepted as facts about reality. I will also show why it is very surprising that mereological nihilism is not a widely held theory, and not the premier theory in philosophy.     

Developing a Conceptual Framework of Employee Well-Being (EWB) by Applying Goal Concepts and Findings from Personality-Social Psychology

This paper reports an attempt to develop a foundation of a theory of employee well-being (EWB) by borrowing concepts and findings from research in personality-social psychology. The proposed conceptual framework has four central principles: The principle of goal selection based on valence, the principle of goal selection based on expectancy, the goal implementation principle, and the goal attainment principle. These principles have corollaries expanding the logic of the proposed theoretical relationships. Specifically, the principle of goal selection based on valence has nine corollaries: Approach versus avoidance goals, goal meaningfulness, high- versus low-level goals, goals related to cultural norms, goals related to deprived needs, goals related to basic versus growth needs, intrinsic versus extrinsic goals, goals producing flow, and autonomy in goal setting. The principle of goal selection based on expectancy has five corollaries: Goal-motive congruence, goal-cultural value congruence, goal-resources congruence, goal conflict, and adapting goals to changes in circumstances. The principle of goal implementation has two corollaries: Goal concreteness and goal commitment. Finally, the goal attainment principle has three corollaries: Recognition of goal attainment, intensity versus frequency of positive feedback, and progress reports.     

Emotional expressions forecast approach-avoidance behavior

The contention that basic behavioral intentions are forecasted by emotional expressions has received surprisingly little empirical support. We introduce a behavioral task that gauges the speed with which movement of angry and fearful faces (toward or away from an expressor's gaze) are accurately detected. In two studies we found that perceivers were faster to correctly detect approaching anger faces (i.e., faces that moved in the direction of their own gaze). The opposite, however, was not true for fear expressions. These findings offer evidence that, at least for anger displays, the basic behavioral intent to approach is strongly transmitted and at very low-levels of processing, even priming congruent behavioral responses in observers. The null results for fear faces may indicate that these signal a “freezing” response or behavioral inhibition rather than flight per se. The results of this work are discussed in relation to contemporary theories of emotion.     

Rethinking Accountability in the Context of Human Rights

Within liberal democratic theory, ‘democratic accountability’ denotes an aggregative method for linking political decisions to citizens’ preferences through representative institutions. Could such a notion be transferred to the global context of human rights? Various obstacles seem to block such a transfer: there are no ‘world citizens’ as such; many people in need of human rights are not citizens of constitutional democratic states; and the aggregative methods that are supposed to sustain the link are often used in favour of nation-state strategic action rather than human rights. So what could accountability mean in relation to human rights? This article argues that discourse theory offers resources for approaching these problems and for rethinking a normative notion of accountability in relation to human rights. It is suggested that accountability should link political decisions to universal agreements through global rights institutions and that the link should be sustained by deliberative rather than aggregative procedures.     

The Motivational Pull of Video Games: A Self-Determination Theory Approach

Four studies apply self-determination theory (SDT; Ryan & Deci, 2000) in investigating motivation for computer game play, and the effects of game play on well-being. Studies 1–3 examine individuals playing 1, 2 and 4 games, respectively and show that perceived in-game autonomy and competence are associated with game enjoyment, preferences, and changes in well-being pre- to post-play. Competence and autonomy perceptions are also related to the intuitive nature of game controls, and the sense of presence or immersion in participants’ game play experiences. Study 4 surveys an on-line community with experience in multi-player games. Results show that SDT’s theorized needs for autonomy, competence, and relatedness independently predict enjoyment and future game play. The SDT model is also compared with Yee’s (2005) motivation taxonomy of game play motivations. Results are discussed in terms of the relatively unexplored landscape of human motivation within virtual worlds.     

Group Cancellation and Resolution

We establish a connection between the geometric methods developed in the combinatorial theory of small cancellation and the propositional resolution calculus. We define a precise correspondence between resolution proofs in logic and diagrams in small cancellation theory, and as a consequence, we derive that a resolution proof is a 2-dimensional process. The isoperimetric function defined on diagrams corresponds to the length of resolution proofs.     

Points of View

An adequate evaluation of argumentation requires identification of the object to which the argumentation pertains: the point of view. What are the distinguishing features of this object? In the pragma-dialectical argumentation theory, the object of argumentation is referred to by means of the notion ‘standpoint’. In other theories concerned with argumentation, reasoning, convincing or persuading, notions are used such as ‘thesis’, ‘conclusion’, ‘opinion’ and ‘attitude’. This paper is a survey of the characterisations of the object of argumentation given in the various theories. It discusses the pragma-dialectical argumentation theory, socio-psychological research on persuasion, cognitive research on reasoning, argumentative discourse analysis, two variants of informal logic, advocacy and debate, and the theory of communicative action. Next, it explores some relations between the notions used in these theories. Finally, it outlines some starting points for further research into the problems of identification.