Interpolation and Amalgamation; Pushing the Limits. Part I

Continuing work initiated by Jónsson, Daigneault, Pigozzi and others; Maksimova proved that a normal modal logic (with a single unary modality) has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property (cf. [Mak 91], [Mak 79]). The aim of this paper is to extend the latter result to a large class of logics. We will prove that the characterization can be extended to all algebraizable logics containing Boolean fragment and having a certain kind of local deduction property. We also extend this characterization of the interpolation property to arbitrary logics under the condition that their algebraic counterparts are discriminator varieties. We also extend Maksimova's result to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks smaller than 2, too.The problem of extending the above characterization result to no n-normal non-unary modal logics remains open.Related issues of universal algebra and of algebraic logic are discussed, too. In particular we investigate the possibility of extending the characterization of interpolability to arbitrary algebraizable logics.     

Complexity and the Mind–Nature Divide

Descartes's distinction between res cogitans and res extensa is a paradigmatic concept on which Western thought has been grounded. The reductionist and objectivistic approach of modern science draws its fundamental premise from it. This dualism has also instigated a view of human as separate from nature. The complexity approach in its most radical form questions many of these assumptions, asserting that the subjective and objective dimensions are involved in a relation of mutual determination and dependence. This article argues that if the dualistic metaphysics is replaced by a vision emphasizing this mutual dependence, a new way of interacting with nature may also be fostered.     

Muslim–Paulician Encounters and Early Islamic Anti-Christian Polemical Writings

This article investigates the portrayals of the Paulicians in early Islamic sources and specifically analyses the role that Paulician religious views play in Islamic anti-Christian writings. The study also gives insights into the nature of materials that were available to Muslim scholars and the strategies they applied in constructing coherent arguments to refute certain Christian religious beliefs. In doing so, the study touches upon Muslims’ religious needs and scholarly curiosity, which sheds light on their intellectual interactions with non-Islamic religious beliefs and philosophical ideas. The article demonstrates that references to Paulician religious beliefs can be found primarily in early Christian–Islamic polemics. Muslim polemicists, most of whom were Mu?tazilites, attempted to demonstrate the soundness and the coherence of Islamic tenets vis-à-vis inadequacies and contradictions in Christian doctrines. The reliance of Muslim polemicists on heresiographical discourse therefore constituted an important strategy to substantiate their polemical arguments. Two major issues stand out in Islamic portrayals of Paulician doctrines: the centrality of Paul of Samosata in the history of the sect, and his association with the view that Jesus was a human being devoid of divinity.     

Science and Theology in the Twenty-First Century

The current interaction of science and theology is surveyed. Modern physics describes a world of intrinsic unpredictability and deep relationality. Theology provides answers to the metaquestions of why that world is rationally transparent and rationally beautiful and why it is so finely tuned for carbon-based life. Biology's fundamental insight of evolutionary process is to be understood theologically as creation "making itself." In the twenty-first century, biology may be expected to move beyond the merely mechanical. Neuroscience will not have much useful interaction with theology until it attains theories of wide explanatory scope. Computer models of the brain do not meet this requirement. A theological style of bottom-up thinking comes closest to scientific habits of thought. Complexity theory suggests that information will prove to be an increasingly important scientific concept, encouraging theology to revive the Thomistic notion of the soul as the form of the body. Another gift of science to theology will lie in providing a meeting point for the encounter of the world faith traditions.     

Numerosity discrimination in preschool children

We used a numerical bisection procedure to examine preschool children's sensitivity to the numerical attributes of stimuli. In Experiment 1 children performed two tasks. In the Cups Task they earned coins for choosing a green cup after two drumbeats and a blue cup after eight drumbeats. In the Gloves Task they earned coins for raising a red glove on their left hand after two drumbeats and a yellow glove on their right hand after eight drumbeats. Then in each task a psychometric function was obtained by presenting intermediate numerosities and recording the percentage of trials in which children chose the "many" option. In Experiment 2 children's performance in a '2 vs. 8' discrimination was compared with their performance in a "4 vs. 16" discrimination. Results showed that the individual psychometric functions were of two types, one in which the percentage of "many" choices increased gradually with stimulus numerosity and another in which it increased abruptly, in a step-like manner. Although the average point of subjective equality was close to the geometric mean of the anchor numerosities and the average functions for "2 vs. 8" and "4 vs. 16" superimposed when plotted on a common scale (the scalar property), the individual data were highly variable both across tasks (Cups and Gloves) and numerosity ranges ('2 vs. 8' and '4 vs. 16'). It is suggested that between- and within-subjects variability in the psychometric function is related to children's verbalizations about the sample stimulus.     

Aggression: Appetite or aversion?—An ethologist's viewpoint

The term “aggression” has been used to describe practically all situations in which an organism threatens, damages, or kills another-with the exception of certain predator-prey relationships. As a result, a great deal of confusion and controversy has arisen as to the causal factors and functions of aggression. The main ethological hypotheses concerning the nature of aggression are put forward. In order to illustrate the divergence in causal factors and functions, differences in motivational, physiological, and ecological bases of aggression in two closely related fish species are described. A basic division of aggression into “self-defensive” and “property-protective” behavior is suggested, together with the parameters separating these categories on behavioral, causal, and functional bases. Mechanisms which enable motivational changes from one category to another to take place during a single encounter are discussed, these being pain stimuli and physical or psychological “cornering.” The importance of learning effects on fighting behavior are emphasized, especially their negative and positive reinforcing effects in relation to self and property defense. The biological significance of aggressive conditioning for the animal and the role of aggression in species maintenance are discussed.     

时间中立性与人格同一性批判——论帕菲特对实践理性二重性的解决

西季威克认为功利主义与利己主义是同样合理的,留下了实践理性二重性的难题。帕菲特分别从时间中立性与人格同一性两个角度对利己主义展开批判,力图消除实践理性二重性,但帕菲特的批判却面临着一些困难。文章认为,解决实践理性二重性的关键不是要证明利己主义是完全错误的,而是要创建正义的社会制度、辩证地处理好个人利益与普遍利益的关系。     

决策中的框架效应再探

框架效应是指对相同决策任务不同方式的描述会影响决策者对备择选项的认知．大量研究已证实了框架效应的存在。本研究采用经典的“海难”问题,进一步探讨了决策任务中的框架效应。结果发现,在生命问题和财产问题中均没有发现框架效应的存在。在面对生命问题时,总体上人们倾向于冒险;在面对财产问题时,总体上倾向于保守。另外在面对生命问题时,女生比男生更倾向于冒险。     

中医药的专利权保护

中医药为中华民族和世界人民的健康做出了重要贡献,但是由于我国对中医药知识产权保护的落后,我国中医药的珍贵知识财富正为外国大公司无偿地攫取。根据中医药自身的特性,对专利保护的适用、调整、改进及补充作了大胆设想,为我国进一步完善中医药的专利法保护提出了建议。     

时间复制任务中的计时中断效应

以计时中断范式和时间复制任务相结合,考察了时间复制任务中是否存在计时中断效应。结果表明：（1）计时中断范式中1700ms和2300ms时距复制均出现高估现象,说明两种时距均低于相邻的高低估现象的转换点;（2）计时中断范式中1700ms和2300ms的时距复制任务没有支持计时标量特性;（3）计时中断范式中1700ms和2300ms的时间复制任务出现了计时中断效应。