道义

       道义逻辑还有一个重要的反复出现的哲学问题，一直为人们所关注，这就是道义逻辑的语义学是否可以在真值概念的基础上建立。肯定地回答这个问题，这和人们对这个问题的常识理解相冲突，因为规范命题作为一个不同于事实命题的对象，真假并不是它的性质，规范不是通向真值的，规范没有一个和事实相吻合的问题，它只有遵守和不遵守、实施和不实施的问题。但是否定地回答这个问题也有困难，道义逻辑所依据的经典逻辑，就是建立在真值函项的逻辑运算基础之 ...阅读全文

       因为，在道义逻辑领域，这种非单调性也有非常明显的表现，当进行道义规范命题的推理的时候，规范的层次性和规范的可能冲突性都会在推理过程中产生，也可能有新的关于规范道义的知识信息出现，这就使得一个道义规范的推理也和非单调推理一样，出现可取消的有效性问题。对于可取消的有效性这样一个哲学问题，解决这个问题的方式不是企图搬掉这个看起来是进行推理的障碍，而是承认这个既成事实，在这个既成事实的基础上来构建道义 ...阅读全文

       道义逻辑悖论的思考和讨论激发了有关义务冲突和道德二难的研究，义务冲突成为道义逻辑研究中的一个哲学问题。 ...阅读全文

       但是在“应该是”的道义逻辑类型中，我们却不可能处理行为，这一类道义逻辑所表达的规范是用道义算子来限定一个语句，这类道义逻辑即是前文所提到的标准的道义逻辑。 ...阅读全文

       道义逻辑作为模态逻辑的一个延伸 ...阅读全文

       道义运算子也可以前置于行动语句，这形成了道义逻辑的另一种类型。这就是我们在前述标准系统中所讲到的道义逻辑，它们是关于“应该”，“可能”或者“必定不是”的逻辑，这种道义逻辑是模态逻辑的分支。 ...阅读全文

       道义逻辑发展的另一种动力则是经典系统的方向所提供的，相信道义模态的直观，使得一些逻辑学家努力建构基于行动的道义逻辑系统。尽管大多数逻辑学家在真势模态逻辑的方向，不断地让道义系统仅成为真势系统的某种片断，但经典系统方向的努力，即努力构建应该、可能或者必定不做的逻辑，仍然是一些逻辑学家的研究方向。赖特在70年代末试图建立规范和行动的逻辑，就代表了这样一种方向。 赖特发表《论规范和行动的逻辑》论文，在这篇论文当中，冯 ...阅读全文

       如果道义逻辑完全照搬真势模态逻辑的系统框架，那建立这种系统就是没有多大意义的。好在道义逻辑不可能照搬后者的模式。因为表示行动的道义语句存在着特殊的法则，它排除了体现在真势模态逻辑中的排中律和不矛盾律。这个法则，冯 赖特称之为道义偶然性法则，用冯赖特的语言来表述，这个法则就是：一个重言式的行动不是必然应该的，一个矛盾式的行动不是必然禁止的。 ...阅读全文

       因为真势模态和道义模态的相似，模态逻辑的基本框架就可以为道义逻辑所用，模态逻辑的一些基本概念相应地就转换为道义逻辑的基本概念。例如模态逻辑中的真值和真值函项，在道义逻辑中就成了实施值和实施函项。 ...阅读全文

       毫无疑问，随着我们对道义逻辑哲学问题的进一步探讨，道义逻辑将不断完善，它在我们的社会生活和科学发现领域将得到越来越广泛地应用。 ...阅读全文

        李自成的农民起义，就是一个典型的例子。李自成在极短的时间里取得了极大的胜利， 起义军刚进入北京时，受到了市民的热烈拥护，人人手持香火站在门口迎接，家家户户门上贴 ...阅读全文

       然而，人们还是把他与老鼠并列，划入啮齿目；又将他与弱小动物排在一起，归进松鼠科。鼯鼠为此愤愤不平：“胡闹，胡闹！老鼠、松鼠算什么东西？我可是动物中的通才、全才啊！” ...阅读全文

       所有的老板都希望他的员工能够多出效益，所有的白领女性也都希望自己有好的成绩，这些东西从哪里来，答案是从我们白领女性的“热忱”中来！ ...阅读全文

       精通一门外语很多时候也是一件美事，有时会有一些论坛前来招聘具有很高英语水平的同学做会务服务，这样的差事通常报酬不菲。除了这两项以外，还有其他很多实践工作的机会，例如编辑的招聘，一般要求文笔好，有相关工作经验。这样的实践机会无论人文学科还是理工学科的同学都能胜任，所以与自身所学专业并没有密切的联系。有的公司会招聘经济管理专业的同学作策划，为企业发展提供咨询。在这里企业看重的不是过去的工作经验，而是大学 ...阅读全文

       希尔伯特关注我们称之为演算的语言片断，并没有对语言哲学的发展产生多大影响。 布劳维尔的工作也没有对此产生直接影响。但有趣的是，布劳维尔对形式主义的攻击，也是对把语言看做直觉（作为数学思维之基础）的精确表达这种观点的批判。由于他关于语言界限的思想以及他的某些其他思想，布劳维尔是这样一批哲学家的先驱，他们在使语言成为当代思维关注的主要对象这一点上，比任何其他人都贡献更多。 ...阅读全文

       20世纪30年代后逻辑领域内这种氛围的变化，在马克思韦伯的意义上，我将之描绘为一种“觉醒”当形式主义、直觉主义以及逻辑主义等学派中的伟大的梦想和幻觉失去了其哲学魅力时，所保留下来并且从它们之中生长出来的便是冷静而又坚实可靠的科学。曾经作为新逻辑之母的科学即数学，则带着它的子孙回到了其栖身之家。 ...阅读全文