Three ancient problems solved by using the game theory logic based on the Shapley value

The ancient problems of bankruptcy, contested garment, and rights arbitration have generated many studies, debates, and controversy. The objective of this paper is to show that the Shapley value from game theory, measuring the power of each player in a game, may be consistently applied for getting the general one-step solution of all these three problems viewed as n-person games. The decision making is based on the same tool, namely the game theory logic based on the use of the Shapley value, but the specific games involved are slightly different in each problem. The kind of claims of the players, the relationship between the given claims and the given resources available, and the particular way of calculating the generalized characteristic function of the game determine the specific type of game which has to be solved in each of the three ancient problems mentioned. The iterative use of the Shapley value may also justify the well-known Aumann–Maschler step-by-step procedure for solving the bankruptcy problem.

     

Rumfitt on the logic of set theory

According to a famous argument by Dummett, the concept of set is indefinitely extensible, and the logic appropriate for reasoning about the instances of any such concept is intuitionistic, not classical. But Dummett's argument is widely regarded as obscure. This note explains how the final chapter of Rumfitt's important new book advances our understanding of Dummett's argument, but it also points out some problems and unanswered questions. Finally, Rumfitt's reconstruction of Dummett's argument is contrasted with my own preferred alternative.     

Arithmetic based on the Church numerals in illative combinatory logic

In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent.Alternative systems to that of Church have been developed, but so far more complex definitions of the natural numbers have had to be used. The present paper based on a system of illative combinatory logic developed previously by the author, does allow the use of the Church numerals. Given a new definition of equality all the Peano-type axioms of Mendelson except one can be derived. A rather weak extra axiom allows the proof of the remaining Peano axiom. Note. The illative combinatory logic used in this paper is similar to the logic employed in computer languages such as ML.The author wishes to thank Dr. Roger Hindley for proofreading this paper and for making some useful suggestions. This paper was presented at the 1986 Annual Conference of the Australasian Association of Logic in Auckland, 9–12 July, 1986.     

On the theory of relations based on the theory of objects

Summary The theory of relations presented in this article consists of the general and the special theory of relations. The formulae of the former are meaningful and its laws valid for relations of any type. The meaningfulness of expressions and the validity of laws of the latter are restricted to relations of a certain special type. The special theory of relations is distinguished from the applied theory of relations. The applied theory of relations is the general theory applied to relations of a special type, the difference between the general and the applied being in the form of the variables. The special theory of relations and the applied theory, when concerned with relations of the same special type, may differ with respect to the form of constants without differing with respect to variables.     

Marx and Cohen on Exploitation and the labor theory of value

Gerald A. Cohen, in ‘The Labor Theory of Value and the Concept of Exploitation’, argues that, contrary to the traditional assumption, Marx's charge of exploitation against capitalism does not require the labor theory of value. However, there is a related but simpler basis for the charge. Hence Marx's criticism can stand even if the labor theory of value falls. Furthermore, he argues that the labor theory of value is false. It is argued here that Cohen is mistaken; the charge Marx makes against capitalism does require the labor theory of value. Cohen's conception of exploitation is weaker than Marx's both theoretically and morally. It is also argued that Cohen's criticisms of the labor theory of value rest on misunderstandings of the theory and Marx's methodology.     

基于门户理论视角下的青少年物质成瘾

青少年物质成瘾行为受到普遍的关注, 成瘾物质滥用的机制一直是学者们探讨和研究的焦点。门户理论提出青少年发展成严重药物滥用者的过程存在顺序和阶段特征, 合法物质的使用会增加发展为非法药物使用的风险, 这种顺序效应得到了实证研究的支持。本研究在综述以往研究的基础上发现, 基于门户理论视角下青少年药物使用存在顺序效应, 但以往研究仍然存在一些不足, 例如药物使用顺序的不固定, 解释范围有限, 内在机制不清楚以及各种影响因素缺乏整合等。未来可以扩展研究对象和范围, 以深入研究顺序效应的内在机制。     

A theory of permission based on the notion of derogation

This paper presents a unifying theory of permission that integrates the concept of negative permission with three concepts of positive permission, namely explicit permission, exemption and antithetic permission. The concepts are defined and logically related by paying particular attention to the system of which they form part. A simple procedure for calculating the permitted actions that can be said to be implicit in a code of norms or a policy specification is then given.     

基于自我决定理论的工作动机研究脉络及未来走向

对2018年5月为止基于自我决定理论的工作动机研究英文文献的系统检索得到了97篇实证研究样本。基于自我决定理论的核心假设, 运用“环境-基本心理需要-工作动机-结果”的理论模型对工作动机前因和结果的研究脉络进行了仔细地分析和归纳, 结果表明员工基本心理需要满足和自主性工作动机作为中介变量可解释自主性支持的工作环境和员工个体特征对工作行为、态度和心理健康的积极影响。将来的主要研究议题：一是对控制性工作环境具体因素对员工基本心理需要阻滞、控制性动机和去动机以及员工工作行为、态度和心理健康影响的研究; 二是不同动机类型对员工业绩、行为和态度影响的过程以及情境因素的研究; 三是外部奖励(包括薪酬、基于业绩的奖励等)对员工工作动机、基本心理需要、工作业绩和心理健康的影响及边界条件的深入研究。     

A novel theory on the predictive value of variation in the β-endorphin system on the risk and severity of PTSD

ABSTRACT

Despite growing interest in genetic and psychosocial indicators of heightened susceptibility to posttraumatic stress disorder (PTSD), a predictive model, which explains why some individuals develop PTSD in response to life-threatening traumatic events, while others, when faced with the same or similar experiences, do not, has thus far remained out of reach. In this paper, we review the literature on gene–environment interactions in β-endorphin system functioning with regard to PTSD and suggest that variation, both genetic and with regard to environmental stimuli, in systems which, like the β-endorphin system, distort human perception of life-threatening traumatic experiences may account for some of the variance in resilience to the disorder. Given the role of β-endorphin in both social connections and physical exercise, this becomes especially relevant with regard to military selection, training, and leadership processes.     

Simulating single word processing in the classic aphasia syndromes based on the Wernicke-Lichtheim-Geschwind theory

The Wernicke-Lichtheim-Geschwind (WLG) theory of the neurobiological basis of language is of great historical importance, and it continues to exert a substantial influence on most contemporary theories of language in spite of its widely recognized limitations. Here, we suggest that neurobiologically grounded computational models based on the WLG theory can provide a deeper understanding of which of its features are plausible and where the theory fails. As a first step in this direction, we created a model of the interconnected left and right neocortical areas that are most relevant to the WLG theory, and used it to study visual-confrontation naming, auditory repetition, and auditory comprehension performance. No specific functionality is assigned a priori to model cortical regions, other than that implicitly present due to their locations in the cortical network and a higher learning rate in left hemisphere regions. Following learning, the model successfully simulates confrontation naming and word repetition, and acquires a unique internal representation in parietal regions for each named object. Simulated lesions to the language-dominant cortical regions produce patterns of single word processing impairment reminiscent of those postulated historically in the classic aphasia syndromes. These results indicate that WLG theory, instantiated as a simple interconnected network of model neocortical regions familiar to any neuropsychologist/neurologist, captures several fundamental "low-level" aspects of neurobiological word processing and their impairment in aphasia.     

McCollough effect: A theory based on the anatomy of the lateral geniculate body

A model network derived from anatomy and physiology of the monkey retina and lateral geniculate body (LGN) is presented. Control of the strength of concentric surrounds by receptive field center illumination leads to inhomogeneous use of different surround parts, and this occurs even in the presence of irregular eye movements (“autostroboscopic impression”). Various pattern- and movement-contingent color aftereffects, as well as threshold findings, can be explained. Anatomical studies have revealed that the output signals of LGN interneurons are presynaptically controlled at each ending by retinal afferents. This is assumed to result in the above center-surround interaction, and it implies that an interneuron producesdifferent output signals at each of its numerous output endings. The inability of the somatic metabolic machinery to cope with a multitude of different time-varying demands is proposed to be the origin of the remarkably long persistence of the McCollough effect     

A theory of truth based on a medieval solution to the liar paradox

After the 1930s, the research into the foundations of mathematics changed.None of its main directions (logicism, formalism and intuitionism) had any longer the pretension to be the only true mathematics.Usually, the determining factor in the change is considered to be Gödel’s work, while Heyting’s role is neglected.In contrast, in this paper I first describe how Heyting directly suggested the abandonment of the big foundational questions and the putting forward of a new kind of foundational research consisting in the isolation of formal, intuitive, logical and platonistic elements within classical mathematics.Furthermore, I describe how Heyting indirectly influenced the abandon‐ment of the old directions of foundational research by making out some lists of degrees of evidence that exist within intuitionism