一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

中国传统哲学的逻辑结构思考

文章将中国传统哲学(特别是其主流哲学)作为一个整体,分析了它的逻辑起点,并在此基础上,循着由本体论到认识论、由认识论到方法论的方向考察了中国传统哲学的内在逻辑关系,揭示了中国传统哲学的实质特征。     

逻辑方阵的普适性探讨

2 0世纪 90年代以来 ,逻辑学界对逻辑方阵的研究取得一定成果 ,打破了逻辑方阵仅适用于简单命题范围之内的狭隘认识。认为逻辑方阵适用于一切命题。但仍显不足。笔者以为 :逻辑方阵不仅适用于命题之间 ,还适用于推理与推理之间、命题与推理之间 ,具有真正意义上的普适性特征。     

中国农民工问题的思路选择

农民工是合乎中国国情、极富有中国特色的当代中国社会转型期出现的新概念，它代表着当今中国改革开放中涌现的一个庞大的新兴社会群体。农民工的存在与发展，影响党的事业和国家的稳定、现代化进程和社会经济发展。马克思主义的动力思维、辩证思维、规律思维，应成为我们研究农民工问题的逻辑起点、思维方式和思维趋向。     

新型高压静电解冻柜设计

针对肉食品专营店和餐饮店对冷冻肉的解冻需求,设计研制了一台新型高压静电解冻柜。该解冻柜采用了高压静电解冻技术。设计了基于可编程逻辑控制器( PLC)的控制系统,可自动调控解冻柜温湿度和电场强度。根据设计性能参数,计算了解冻过程所需加热、制冷负荷和加湿蒸汽量。经解冻实验表明,该解冻柜能缩短解冻时间,降低汁液流失率,抑制微生物的繁殖,且解冻后肉样外观新鲜,肉色泽鲜红,具有实际应用价值。     

Designing centralized waiting lists for attachment to a primary care provider: Considerations from a logic analysis

Access to a regular primary care provider is essential to quality care. In Canada, where 15 % of patients are unattached (i.e., without a regular provider), centralized waiting lists (CWLs) help attach patients to a primary care provider (family physician or nurse practitioner). Previous studies reveal mechanisms needed for CWLs to work, but focus mostly on CWLs for specialized health care. We aim to better understand how to design CWLs for unattached patients in primary care.In this study, a logic analysis compares empirical evidence from a qualitative case study of CWLs for unattached patients in seven Canadian provinces to programme theory derived from a realist review on CWLs. Data is analyzed using context-intervention-mechanism-outcome configurations.Results identify mechanisms involved in three components of CWL design: patient registration, patient prioritization, and patient assignment to a provider for attachment. CWL programme theory is revised to integrate mechanisms specific to primary care, where patients, rather than referring providers, are responsible for registering on the CWL, where prioritization must consider a broad range of conditions and characteristics, and where long-term acceptability of attachment is important. The study provides new insight into mechanisms that enable CWLs for unattached patients to work.     

论希望的逻辑结构

某人有某种希望意指他希望某个命题为真,因而希望是关于命题的模态.希望逻辑是研究希望模态命题之间的逻辑关系.合理的希望是演绎封闭的、一致的、自我肯定的,等等,这些性质可以构成希望逻辑的公理.希望的一个重要的性质是,人们希望不一定为真,但是人们希望所希望的为真;它是希望逻辑的特有公理,可称为“希望公理”.借助于可能世界语义学通过选择不同的公理,可得到一些完全且可靠的希望逻辑系统.     

地方政府在社会管理中的“不出事”逻辑:一个分析框架

与经济管理中地方政府的行为逻辑有着很大的差异,改革开放以来,地方政府在社会管理中的总体上遵循一种不出事的逻辑,在这种逻辑支配下,地方政府在社会管理中呈现出不恰当的功能和角色。从本质上来说,这种逻辑根源于改革开放之后特殊的中央地方关系体制。在风险社会的今天,这种逻辑面临着越来越大的困境,只有从根本上改变不出事的逻辑,创新地方政府社会管理机制,才能真正实现社会的长久稳定与和谐。     

老子对道的自然逻辑思考

文章论述老子《道德经》的自然逻辑思考对宇宙学的意义。老子论道并不局限于一般的人文社会层次,而是涉及到更广大的宇宙空间。自然逻辑不承认永恒的法则与规律,宇宙的形成和发展所遵循的是无确定性规律。文章从道的最基本概念出发,探讨道的深化意义,并且力图说明自然逻辑的思考在自然科学研究中的重要性。