The place of human values in the language of science: Kuhn,Saussure, and structuralism

The current paradigm in medicine generally distinguishes between genetic and environmental causes of disease. Although the word paradigm has become a commonplace, the theories of Thomas Kuhn have not received much attention in the journals of medicine. Kuhn's structuralist method differs radically from the daily activities of the scientific method itself. Using linguistic theory, this essay offers a structuralist reading of Thomas Kuhn's The Structure of Scientific Revolutions. Our purpose is to highlight the similarities between these structuralist models of science and language. In part, we focus on the logic that enables Kuhn to assert the priority of perception over interpretation in the history of science. To illustrate some of these issues, we refer to the distinction between environmental and genetic causes of disease. While the activity of scientific research results in the revision of concepts in science, the production of significant differences that shape our knowledge is in part a social and linguistic process.     

The second offspring of General Process Learning Theory: Overt behavior as the ambassador of the mind

Wasserman suggested in a recent book review that the study of intervening cognitive processes represents a current focus of interest in animal learning and that this has led to a revitalization of comparative psychology. An examination of the volume reviewed suggests that he may have overstated the case. Most of the authors to whom he refers expressed dissatisfaction with traditional stimulus-response associationism but few argued for the extreme (information processing) sort of cognitive approach described by Wasserman.     

语法的进化连续性及进化起源解释

语法是人类交流系统有别于其他动物的关键特征之一。行为比较研究表明, 除人类外的其他灵长目动物也能理解并掌握抽象的顺序排序规则; 神经生物学比较研究表明, 支持排序处理的神经机制来自人类与其他灵长目动物共同具有的脑区。因此语法所依赖的序列学习能力在人类与其他灵长目动物间具有进化连续性。词汇限制假说、事件感知假说与自我驯化假说分别从不同角度对人类语法的进化起源进行了解释。未来研究需要探讨人工语法任务中所发现的脑神经机制是否是层级结构加工的通用处理器, 并进一步澄清语义加工与语法加工的关系。     

Belief in Hell and Parenting Priorities Concerning Child Independence and Obedience: Does Economic Context Matter?

This study examines the ways that belief in hell is associated with parental goals concerning child independence and obedience. Further, it assesses how this association is contingent upon economic circumstances of a nation, reflected by a country's Gross Domestic Product (GDP) per capita. Multilevel analyses with data from the sixth wave of the World Values Survey (2010-2014) show that belief in hell is associated with a greater likelihood of opposing independence and endorsing obedience. Yet, these observed associations differ across national economic context. Specifically, the negative association between belief in hell and parental endorsement of independence is greater in countries that are more economically developed. Similarly, the positive association between belief in hell and parental endorsement of obedience is greater in countries that are more economically developed. The theoretical implications of these findings are discussed regarding the interplay of religion, parental values about child socialization, and social context.     

逻辑训练对不同理性思维方式大学生三段论推理的影响

采用理性—经验思维方式量表对105名大学生进行测量,选出高、低理性思维方式各35名大学生进行实验,探讨了逻辑训练对不同理性思维方式大学生三段论推理的影响。结果表明：(1)高理性思维方式个体三段论推理的平均反应时快于低理性思维方式个体;非冲突类型题目推理的平均正确率高于冲突类型题目;逻辑训练可以提高个体三段论推理的平均反应时和正确率;(2)逻辑训练后非冲突任务类型题目的平均正确率高于冲突任务类型题目;(3)逻辑训练对低理性思维方式个体冲突任务类型题目平均正确率的提高效果更明显。这意味着逻辑训练可以显著提升个体的推理成绩,但不能完全消除信念偏差对推理的影响,而且逻辑训练对低理性思维方式个体推理成绩的提升效果更加明显。     

On the Consistency of the Δ1 1-CA Fragment of Frege's Grundgesetze

It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing ¹ ₁-comprehension schema would already be inconsistent. In the present paper, we show that this is not the case.     

Classical Non-Associative Lambek Calculus

We introduce non-associative linear logic, which may be seen as the classical version of the non-associative Lambek calculus. We define its sequent calculus, its theory of proof-nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polynomial.     

A Tale of Four Grammars

In this paper we consider the relations existing between four deductive systems that have been called categorial grammars and have relevant connections with linguistic investigations: the syntactic calculus, bilinear logic, compact bilinear logic and Curry's semantic calculus.