OK库：为解决SAT问题引入的整体研究平台

OK库是一个开源数据库,被用于支持广义SAT问题领域的研究和发展,该库可从下述网址获得：http：//www．ok—sat—library．org．。本文中我们讨论了这个数据库的发展历史、开发动机和组成架构,并概述了其当前的状况。文章解释了它与现有其它平台的差别：在我们看来,OK库的方法是“整体性”的,也即OK库不仅包含程序代码,也包括用于处理和评价实验（以及实验结果本身）的研究计划和方法。因此可以把OK库理解为IRE,即集成研究环境（但它并非只是构建一个单独的集成块,而是基于Unix／Linux传统的工具箱）。“广义可满足性问题”被理解为SAT问题向CSP的推广,本文中讨论了其中的基本思路。作为结束,本文阐述了解决高级核心SAT的（我们所认为的）十个基本研究问题。     

“牛在场上踹谷的时候,不可笼住它的嘴”——对于专职教牧同工待遇问题的若干思考(二)

三.教会提高专职教牧同工待遇的必要性 1.是保障教牧同工现实生活的需要 要使教牧同工能＂专心以祈祷传道之事＂为念,那么保障教牧同工的基本生活需要是十分重要的。《哥林多前书》9章7节说：＂有谁当兵自备粮饷呢？有谁栽葡萄园不吃园里的果子呢？有谁牧养牛羊不吃牛羊的奶呢？＂从经文可以看出：教牧同工拿教会的工资是合乎圣经真理的。因为教牧同工也是人,他们有自己的家庭,也有亲戚朋友,礼尚往来,也需要生活。     

天风博客群

一、如何对待基督教与中国文化 中国基督教如何对待基督教与中国文化问题。今天仍是不得不面对的问题,也是不能不处理好的问题。     

逻辑常项的使用规则的生成与证成

在证明论语义学中,一个逻辑常项的I-规则通常作为该常项的意义定义是自我证成的,而其E-规则就是通过其与I-规则的协调性来证成的。这种思想遭受到tonk-问题挑战,而解决这个问题实质上就是解决逻辑常项的使用规则的协调性问题。E-规则的普遍形式所包含的GE-协调性没有对I-规则如何“协调地导致”相应的GE-规则做出清楚的描述,也无法用于解答普通E-规则的证成问题。基于GE-规则的生成机制的GM-协调性能够弥补这两点不足,但是它仍然无法排除具有弱E-规则的不协调的常项。由GE-和Ge-规则的生成机制所共同保证的Ge-协调性则可以克服以上这三点不足,从而能够为逻辑常项的使用规则的协调性问题以及证成问题提供更好的解答。     

商业伦理研究的又一力作——读《现代商业之魂——商业伦理问题研究》

商业伦理与商业道德既相联系又相区别。商业道德是调节商业伦理关系的一种重要方式和手段,但又不是惟一的方式和手段,商业制度、商业政策、商业法律法规等也是调节商业关系的方式和手段。因此商业伦理研究不仅要关注商业道德,而且也应该关注商业制度、商业政策、[第一段]     

贵在创新——读《环境正义——发展中国家环境伦理问题探究》

如今在学术理论界,谁不向往创新,谁不愿意创新?《红楼梦》里所引的“编新不如述旧,刻古终胜雕今”的观念,早已被历史扔进了垃圾堆。但是,人们为什么要创新,创什么样的新,以及如何创新等问题,却是人言言殊。那么,对于一个有志于为中国现实服务的严肃学者来说,应该怎样进行理论创新呢?最近,曾建平同志以他的实际行动,用他所撰写的《环境正义———发展中国家环境伦理问题探究》(山东人民出版社2007年)一书,给我们提供了一个很好的启示。首先,这本书敢于面对一个很少被人触及的重大课题,即发展中国家环境伦理问题。大家知道,西方学者关心环境伦…     

国际关系的伦理审视

探讨国际关系伦理,明确战争的正义性和非正义性,以避免战争,尽量减少战争带来的伤亡,维护世界和平;各国要相互尊重,平等地开展国际合作,共同发展,实现世界的共同繁荣;南北国家要加强交流与合作,寻求最佳的结合点,共同致力于全球的可持续发展;最后,各国必须以伦理道德为依托来解决国际人权问题,必须承认人权的普遍性和多样性,确立一个同纷繁复杂的文化多样性相协调的普遍的最低道德标准。     

略论僧团财物的分配制度

引言僧团是大众和合的清净团体,僧团的财物制度是僧团管理中的大事。僧团中出现的许多矛盾,很多是与财物的分配、使用等不恰当有关。在经济高度发展的今天,社会上很多人在物质享受中迷失了自己。甚至出家众,也受到物质的诱惑,影响到清净的修道生活。所以,探讨僧团的财物制度问题,对当今僧团的如法运作具有重大意义。僧团财物制度包括了许多方面,本文仅就财物的分配制度作简略的阐述。     

金鱼游不出盛它的缸——关于无神论教育问题与中学生的系列对话(三)

学生:前两次您们谈了对超常现象问题和宗教问题的认识,认为世界上根本没有超自然力存在,对超常现象的声称一定要求有实在的经得起检验的事实;宗教不过是历史阶段的产物,把灵魂托付给谁一定要理智,人生道路只可“摸着石头过河”,不可指望“仙人指路”。我觉得都有一定道理,可是为什么历史上那么多的名人、科学家都要信教,连科学巨人牛顿也是虔诚的清教徒,包括爱因斯坦也信教、信上帝,还有很多科学家都是基督教徒,难道他们不理智吗?秋实:你的问题很好,很多人都有这方面的疑问,认为既然科学家是搞科学研究的,那他就应该相信确实存在的事实,不该…     

为什么有些科学家信仰宗教

在科学家与宗教的关系问题上,所说的科学家往往以自然科学家为主,他们常常是:哥白尼、布鲁诺、伽利略、牛顿、康德、达尔文等人。他们相关的宗教为基督教,他们主要生活在欧洲,他们所处的历史进程自欧洲的中世纪到19世纪。这一历史阶段,基督教由教权至上走向衰落。在基督教鼎盛时期,政权屈从于教权,教育权被宗教所把持。科学家在青少年时期接受教育,受控于宗教,要接受神学训导。在这样的时代背景下,科学家不信仰宗教是不可能的。他们全都是基督徒,也与他们出生于基督徒家庭密切相关。哥白尼10岁丧父,由舅父抚养,他舅父是一个教区的主教,他曾…