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

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

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

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

  • 标签: 发展变化 战争 科学理论 客观条件 日常生活 推理过程
  • 简介:在我的印象中,祖父不过是一个喜欢打麻将、练太极、浇花钓鱼、爱提当年勇的普通老人。而我也没有想过,会在十八岁的一个夏夜,与祖父的少年时光劈面相遇。那晚,是一位亲戚来通知,祖父的一位表妹去世了。在所有人还没有来得及反应之前,祖父已经霍然站起:“死了?怎么会?怎么会!

  • 标签: 健忘 祖父 所有人
  • 简介:生活中不如意之事经常发生,若能不断进行心理“按摩”,会使你解除烦恼,精神焕发,青春常驻,下面介绍几种便捷有效的心理按摩技巧。

  • 标签: 心理按摩 烦恼 精神
  • 简介:16岁的男孩崔磊在班上或者团体中从不喜欢表现自己,而且他对人始终抱有戒备的心理。经过心理咨询师一段时间的单独接触,发现了他不为人知的痛苦与压抑。

  • 标签: 心理咨询师 教子 高压 痛苦
  • 简介:在最短的时间里遭遇最激烈的心跳,完全释放自己,与一个邂逅之人进行亲密接触,这是很多人的心底都有的梦。当艳遇真的来临,如花盛开,它究竟是怎样的颜色?怎样的结果?

  • 标签: 艳遇 白哲 合作单位 我自己 妩媚动人 对我说
  • 简介:谢重光先生是福建省社会科学院历史研究所副研究员。以一位身在佛门之外的学者身份,他认真地分析了到底是“天下名山僧占”还是“天下名山僧建”,有理有据、不卑不亢;娓娓道来、层层深入;将这一“历史冤案”辩得十分清详。特别是他不抱成见、不存偏见,可谓仗义执言!“天下名山僧占”的不实之词是古已有之,这类论调尚不止此一句。由来已久却并不一定就正确,谢重光先生的论析便是一个重要的启示。因此,举凡在三教相争之中、在儒教高压之下形成的对佛教的一些扭曲的看法,都有必要一一澄清。澄清的目的在于了解什么是好传统,哪些精神要弘扬光大。“雨后复斜阳,关山阵阵苍”,读了谢先生的文章,会感到“满目青山照眼明”的。

  • 标签: 僧建 谢重 三教 学者身份 峨眉山佛教 解脱坡
  • 简介:《孔子家语》有云:“与人交,推其长者,讳其短者,故能久也。”这句话的意思是,称赞别人的长处,少谈论人家的短处,关系方能长久。美国心理学家黄维仁认为,任何两个人之间都有一个“情感账户”。欣赏、赞美对方,就是往“账户”里存钱;指责、批评对方,就是从“账户”取钱。人与人的感情是融洽还是紧张,关键看“情感账户”里余额充足还是短缺。

  • 标签: 赞美 《孔子家语》 心理学家 账户 情感 对方
  • 简介:在《天龙八部》中,我们可以发现,作为三大主人公之一的段誉,虽也承受着命运的反复捉弄,但相对于其他人而言,他却拥有最高的幸福指数。这并不是因为他有大理国王子的身份,而是得益于他健全的人格、独立的思想和优秀的品行。这些均可从段氏家教中窥得一斑。归结为一点,就是两个字:尊重。尊重孩子的兴趣爱好。

  • 标签: 天龙八部 大理段氏 家庭教育 尊重
  • 简介:在关于认知与经验主体的本性的明确假设之下,我们试图仔细检验克里普克反驳类型物理主义的模态论证中的前提。当主体被设想为一个超自然的、视整个自然世界为外部世界的“自我”的时候,克里普克的这些前提都显得很合理、可接受。但物理主义蕴涵着认知与经验的主体自身应该是自然世界中的生物一物理系统,在这个物理主义的主体观下,克里普克的这些前提之一就成为假的。

  • 标签: 克里普克 超自然 模态 英文 证论 物理主义
  • 简介:我曾偕友参观游览苏州、杭州、庐山等地之名胜古迹,品尝了杭州西湖被世称“双绝”的“龙井茶叶,虎跑泉水”。以及庐山观音寺的招隐泉,深感我国的大好河山,千山万水皆有意,一寺一泉总牵情,众多的名山名刹名泉,吸引着海内外的旅游者和众善信,为之向往。古语云:“天下名山僧占”,

  • 标签: 名胜古迹 杭州西湖 观音寺 旅游者 庐山 游览
  • 简介:不知是仓颉造字的先知先觉,还是后人聪明的创意,汉字“酒”与“洒”的区别,仅仅在于其中的一小横。人们也难以明白,祖先是怎样从稻米的白、高粱的红、葡萄的紫里发现了酒的透明与清醇?

  • 标签: “酒” 仓颉 汉字
  • 简介:人们游览佛教寺院时,常可看到一尊袒胸露肚、笑口相迎的大肚和尚塑像,他就是笑佛弥勒。据说弥勒是梵文的音译,意为慈氏,他是释迦牟尼的弟子,后来在华林园龙华树下继承释迦牟尼而成未来佛,来弘扬佛生,普度众生。他的形象有趣,关于他的楹联,更是富含哲理,饶有情趣。

  • 标签: 弥勒佛 佛教寺院 普度众生 释迦牟尼 峨眉山 未来佛