A Double Deduction System for Quantum Logic Based On Natural Deduction

The author presents a deduction system for Quantum Logic. This system is a combination of a natural deduction system and rules based on the relation of compatibility. This relation is the logical correspondant of the commutativity of observables in Quantum Mechanics or perpendicularity in Hilbert spaces.Contrary to the system proposed by Gibbins and Cutland, the natural deduction part of the system is pure: no algebraic artefact is added. The rules of the system are the rules of Classical Natural Deduction in which is added a control of contexts using the compatibility relation.The author uses his system to prove the following theorem: if propositions of a quantum logical propositional calculus system are mutually compatible, they form a classical subsystem.     

人格理论的系统发展观初探

文章以遗传论、精神动力论、学习论、特质论、社会文化及认知一情感系统理论为基础。利用系统科学中的系统论观点,对人格理论进行系统发展观分析。该观点将人格看作一个复杂的“大”系统,它包括外部系统和内部系统两部分。外部系统即外环境系统,内部系统则分为个体心理系统和个体行为系统,其核心是个体心理系统,它由认识系统、情意系统、自我系统及需要系统构成。人格的形成是内外两个系统相互作用、循环运动的结果。     

构建医务工作者的诚信体系

医务工作者的诚信体系建设是被全社会普遍关注的一个热点问题。医务工作者的诚信体系应包括几个方面:经济基础是诚信体系的前提和保障;法律规范作为他律控制着医务工作者的诚信;良好的道德环境是构建医务工作者诚信体系的主要手段;个体素质即道德良心是提高医务工作者诚信水平的内在诉求;医疗制度是医务工作者诚信的重要保障。     

关于在医疗机构中建立医疗救助制度的思考

医疗救助制度是医疗保障制度的一个重要组成部分,而医疗机构中的医疗救助制度则是社会医疗救助制度的一种补充形式。在分析我国医疗救助制度发展现状的基础上,提出了在医疗机构中建立医疗救助制度的构想,并对医疗机构中的医疗救助制度的性质以及建立医疗救助制度的必要性进行分析,进而对在医疗机构中建立医疗救助制度的几个关键问题进行了探讨。     

Monitoring running-wheel movement using a serial mouse and an IBM-compatible system

A running-wheel-movement-detection system is described for use with an IBM-compatible system and a serial mouse. It is an adaptation of a system developed for use on a Commodore 64. The IBM-compatible system provides obvious advantages in speed, memory, data storage, and programming ease over the earlier Commodore 64 system.     

双语存贮模型的研究

关于双语的存贮,一直存在着单独存贮说与共同存贮说之争。本文经理论分析和实证研究,认为：双语,是共同存贮,而不是单独存贮;并提出双语的新共同存贮模型。     

一个含有原子的自然模型∑（A）

1989年A.Blass和A.Scedrov构造了含有原子的模型V（A）（A是所有原子的集合,参见文献[1]）并证明了V（A）是ZFA（ZFA=ZF＋A,公理A断言：存在所有原子的集合）的模型。由于集合论的公理系统GB是ZF的一个保守扩充,因此,集合论的公理系统GBA（GBA=GB＋A,其中GB是集合论的含有集合和类的哥德尔－贝奈斯公理系统）也是ZFA的一个保守扩充。本文的目的是在集合论的含有原子和集合的公理系统ZFA的自然模型V（A）的基础上,为集合论的含有原子、集合和类的公理系统GBA建立模型。因此,我们首先介绍了A.Blass和A.Scedrov的含有原子的模型V（A）;第二,给出并证明V（A）具有的一些基本性质;第三,扩充了集合论的公理系统ZFA的形式语言LZFA并定义含有原子和集合的类C;第四,构造含有原子、集合和类的模型∑（A）,称它为自然模型,最后,证明了∑（A）是GBA的模型。     

On the properties of cognitive modules

Summary This paper evaluates the properties of cognitive modules and central systems as defined by Fodor (1983) against a set of empirical data from the domain of language processing. On the basis of results from normal and pathological language behavior the Fodorian dichotomy between domain-specific input systems and general central systems is rejected. Instead a model of cognitive processes is proposed which assumes three qualitative different types of system: a general system similar to that defined by Fodor, a domain-specific system that represents knowledge in procedural form, called input system, and a domain-specific system that respresents knowledge in declarative form and serves as an interface between the input system and the central system. These interface systems represent the same knowledge domain as their corresponding input systems, but in a different format. As the representational format of these interface systems is declarative, it allows for direct communication with the central system whose representational format is propositional by definition.     

系统合理化何以形成——三种不同的解释视角

系统合理化理论认为, 人们会自然地将其所在的社会系统感知为公平合理的, 这一倾向即系统合理化。而系统合理化形成之原因, 一直是该领域理论和研究关注的重点。为此, 研究者先后提出了三种解释思路。认知失调视角认为, 系统合理化之所以产生是因为个体想要缓解因系统无法满足他们的需求而产生的焦虑。补偿性控制视角认为, 系统合理化源于个体自身控制感的缺乏。社会认知视角则认为人们固有的认知倾向特别是对于社会经济差异的内归因倾向是造成系统合理化的根源。未来可以考虑在同一个研究中包含来自于不同理论视角的解释变量, 借鉴相近领域的发现探索其他可能存在的系统合理化的形成机制, 探究中国文化特有的系统合理化的来源, 同时对积极的合理化与消极的合理化作出区分, 并在此基础上针对社会现实问题加强应用研究的开展。     

An introduction to the UCSD PASCAL system

This paper provides an introduction to the UCSD PASCAL system: a nearly machine-independent software system for micro- and minicomputers. The system is designed to run as a single-user interactive system. It is written almost entirely in the PASCAL programming language and consists of: a single-user operating system, PASCAL pseudomachine interpreter, PASCAL compiler, screen- and line-oriented editors, file manager, debugger, utility programs, and a BASIC compiler. A CAI package is also available.     

完善我国基本医疗保障制度的法律思考

由于公民社会保障制度在具体立法、司法存在立法不健全、层次低、法律实施机制不健全等问题,特别是基本医疗保障法律体系需进一步完善.制定和健全基本医疗保险制度基本法是医疗体制改革、社会主义市场经济体制必然要求.     

论肿瘤免疫的复杂性

免疫系统是一个复杂自适应巨系统,它还具有开放复杂巨系统的所有特征。体内已建立的肿瘤是一个复杂适应系统,两者间的相互作用造就了肿瘤免疫的复杂性。本文从复杂性科学角度阐释肿瘤免疫,以期对肿瘤细胞免疫治疗的研究有所裨益。     

A Business Model for Managing System Change Through Strategic Financing and Performance Indicators: A Case Study

This article describes how a system of care operated by a county government agency used a fiscal crisis as the opportunity to reform its children's system. A cross-system response to the crisis is outlined that includes a system of care framework coupled with a business model, inter-departmental collaboration and leadership, the use of strategic reinvestment strategies, and a quality improvement system that focuses on key indicators. Implementation of the system change is described with a specific focus on cross-system entry points, financing strategies that re-allocate funds from deep-end programs to community-based services, and management oversight through the use of performance indicators to monitor and support effectiveness. This article examines the results of the system change, including the diversion of youth from system penetration, the reduction in residential treatment bed days, the re-allocation of these savings to community-based services, and the outcomes of children who were diverted from residential care and served in the community. The article offers a number of recommendations for other communities contemplating system change.     

The distributed human neural system for face perception

Face perception, perhaps the most highly developed visual skill in humans, is mediated by a distributed neural system in humans that is comprised of multiple, bilateral regions. We propose a model for the organization of this system that emphasizes a distinction between the representation of invariant and changeable aspects of faces. The representation of invariant aspects of faces underlies the recognition of individuals, whereas the representation of changeable aspects of faces, such as eye gaze, expression, and lip movement, underlies the perception of information that facilitates social communication. The model is also hierarchical insofar as it is divided into a core system and an extended system. The core system is comprised of occipitotemporal regions in extrastriate visual cortex that mediate the visual analysis of faces. In the core system, the representation of invariant aspects is mediated more by the face-responsive region in the fusiform gyrus, whereas the representation of changeable aspects is mediated more by the face-responsive region in the superior temporal sulcus. The extended system is comprised of regions from neural systems for other cognitive functions that can be recruited to act in concert with the regions in the core system to extract meaning from faces.     

直言推理系统

本文构造了直言推理的一个系统MA,内容包括直接推理和三段论,但未考虑单称命题。此系统实际上是名辞逻辑系统MZ的子系统,精确地说是关于类名及其否定和由它们形成的本辞的系统。文中证明了系统MA的可靠性和完全性,并提出了它的自然推理系统。     

对免疫系统非优性的探讨

免疫系统是维持机体自身稳定的一个重要系统。从系统的功能、环境和信息方面阐述免疫系统优与非优的表现和关系;并提出由于免疫系统存在非优信息的特点,科研人员在对免疫系统认识过程中应客观、全面,在认识事物优的同时也应看到事物非优的一面。     

中国特色社会心理服务体系建设的路径分析

社会心理服务体系作为培育良好社会心态的公共服务体系，有着公共服务体系具有的基本特征：普惠性、公平性和动态性。同时，作为社会治理体系的有机组成部分，这个体系的功能是促进社会治理现代化和科学化，营造和谐的社会心态。中国特色社会心理服务体系建设需要立足我国国情，注重以下方面：党政集中统一领导、针对性的心理服务内容、多元化的心理服务载体、专兼职互补的心理服务队伍、循序渐进的建设重点。     

Is Scripture the origin of the Halakhah?

Scripture, in particular the Pentateuch, forms the natural starting point for any inquiry into origins in Judaism. The question answered here derives from a simple fact: the Pentateuch is privileged within the Rabbinic system, which links as much of the Halakhah to the Pentateuchal law codes as it possibly can. So it is quite natural to treat Scripture as the base-line and the Halakhic category-formations as the variable, in seeking the origin of the system. But what happens when we treat the system as the base-line and Scripture as the variable? Then we see that the Halakhic system viewed as a coherent statement does not originate in Scripture. Scripture is not the origin of the Halakhah. Why not? Because of this paradox: Scripture is necessary for the Halakhic system. But Scripture is insufficient for the Halakhic system. The Halakhic system is necessary for Scripture. The Halakhic system is sufficient without Scripture. It requires only Scripture's facts ‐ and these on their own form no system.