学科分类
/ 1
15 个结果
  • 简介:<正>模态逻辑(modallogic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truthimplication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格

  • 标签: 模态逻辑系统 数理逻辑 亚里士多德 模态命题 模态三段论 真值蕴涵
  • 简介:美国有家社会调查机构,曾经搞过一项专题调查,内容是如果有三位名流——一位化学家、一位物理学家、一位政府官员同时落水,请问先救谁?答卷数以万计,主张各有不同。有人希望先救化学家,因为淹死化学家社会损失巨大;有人赞成先救物理学家,因为物理学家对人类进步所起作用甚大;还有人主张先救政府官员,因为他是民意代表。调查机构最终认定只有一张答卷符合当时情况,堪称最佳。答卷人是一个8岁小男孩,答案也很简单:谁离船近先救谁。

  • 标签: 物理学家 调查机构 政府官员 化学家 专题调查 人类进步
  • 简介:铲除“法轮功”邪教这一社会毒瘤,肃清“法轮功”歪理邪说的精神流毒和恶劣影响,用慈悲仁爱之心挽救深陷其中的邪教受害者,已经成为一切有良知的人们的共同愿望和强烈信念,更是我国宗教界义不容辞的神圣职责。正邪不可两立,破邪方能显正,我们正信宗教是“法轮功”邪教的克星。特别是中国佛教,从古到今,一直是在对附佛魔道、歪理邪说的破除和斗争中不断正本清源,才得以将正信佛教保存和延续下来。政府依法取缔“法轮功”邪教组织,在我们佛教徒看来,是匡正祛邪的正义之举,是大快人心的菩萨之行。

  • 标签: “法轮功” 邪教组织 宗教 佛教 信仰观念 道德行为
  • 简介:20世纪以“世界大战”、“大革命”开始,而终结于革命失落、大国崩溃。至今各种大鸣大放虽然不绝于耳,但仍有无数细语微言藉现代媒介网络四处流散,终而蔚为风潮,成就了一个“微文化”流行的“微时代”。“微时代”里的人们不再幻想乌托邦,转而建设一个“异托邦”。

  • 标签: 世界大战 20世纪 现代媒介 大革命 乌托邦 异托邦
  • 简介:任何发现教牧资源匮乏的人,都应当意识到自己正站在破口之上,最需要做的不是批评和指责,而是反求诸己的祈祷与奉献。

  • 标签: 贫乏 正视 资源匮乏
  • 简介:典范框架的思想来自于Henkin对经典逻辑完全性的证明,它依赖于语法对象。同样,模态逻辑的典范框架也依赖于语法对象的构造。每个一致的正规模态逻辑都有对应于它的典范框架,典范框架包含着相对应逻辑的性质信息;另外,典范框架本身作为自然得到的数学对象也有很多逻辑性质值得研究。典范框架的论域由极大一致的公式集构成,因此,典范框架的构成以语言为参数。对于同一个逻辑,它的基于不同语言的典范框架之间有着非常密切的关系,逻辑之间包含关系的信息也反映在典范框架上。极小逻辑的典范框架是相当庞大的,对每个正规逻辑,其典范框架也都是足够“宽”的。

  • 标签: 典范框架 模态逻辑 侧面 逻辑性质 经典逻辑 数学对象
  • 简介:针对本质的模态主义解释,范恩发展了一个著名论证来反驳它。范恩试图证明,成为必然属性是成为本质属性的必要条件,而非充分条件。通过对范恩的论证给出新的分析,文章将表明,范恩的反例都建立在"对象反身性"属性的构造上,其论证贯穿着"同一性本质"和"识别性本质"的混淆,从而其针对模态主义解释的挑战是不成立的。

  • 标签: 范恩 本质 模态主义 对象反身性
  • 简介:日本帝国主义在发动全面侵华战争后,为加强对沦陷区人民的统治,残酷掠夺沦陷区的资源,在占领区普遍采用“以华治华”“以战养战”的策略。江苏土地肥沃,物产丰富,城镇林立,人口辐辏,是全国经济最为发达的地区之一,也是日本帝国主义“以战养战”的一个重要基地。日本帝国主义者千方百计地收买军阀、封建余孽,充当汉奸,建立伪政权。在日本侵略者的策划下,于1938年3月28日在南京成立了“中华民国维新政府”,汉奸梁鸿志充任“行政院长”,下辖苏、浙、皖3个省政府和南京、上海2个特别市政府。

  • 标签: 省政府 江苏 日本帝国主义 抗战 全面侵华战争 日本侵略者
  • 简介:<正>辩证模态推理是关于事物发展变化的可能性或必然性趋势的辩证推理。辩证模态推理也是依据一定的条件,推出相应的结论。辩证模态推理在日常生活中广泛存在,在科学理论中也不乏其例。毛泽东的《论持久战》就是一个范例。本文根据笔者关于辩证模态推理的研究成果。注对《论持久战》的推理过程进行初步分析。

  • 标签: 发展变化 战争 科学理论 客观条件 日常生活 推理过程
  • 简介:本文针对《中国道教》1988年第4期上刊登的严振非《杜光庭和张伯端》一文中关于张伯端的一些问题而发,并对张伯端的生卒年份、1012年张伯端返回天台、1065年授予马处厚以《悟真篇》、张伯端师承刘海蟾等四个方面进行了考辨

  • 标签: 张伯端 《悟真篇》 历史问题 杜光庭 白玉蟾 中国道教
  • 简介:在国内80年代初,重新落实政策之际,一本诽谤佛法、宣扬邪说的所谓《西方极乐世界游记》,从新加坡传入国内。由于不明是非者妄作“宝贝”,竞相辗转翻印、赠送,致使不少虔诚而缺乏识别真伪的佛教四众弟子迷失方向,受其蒙骗!有人曾将此书委托上海郑颂英老居士翻印,郑老居士函询福建莆田广化寺的一位大德,得到“不可信”的肯定答复。《上海佛教》亦及时刊登破斥这一邪书的文章。

  • 标签: 《西方极乐世界游记》 佛教文化 宗教信仰 教义思想
  • 简介:在关于认知与经验主体的本性的明确假设之下,我们试图仔细检验克里普克反驳类型物理主义的模态论证中的前提。当主体被设想为一个超自然的、视整个自然世界为外部世界的“自我”的时候,克里普克的这些前提都显得很合理、可接受。但物理主义蕴涵着认知与经验的主体自身应该是自然世界中的生物一物理系统,在这个物理主义的主体观下,克里普克的这些前提之一就成为假的。

  • 标签: 克里普克 超自然 模态 英文 证论 物理主义