论道义逻辑系统的归约及其相关问题

来源 :西南师范大学学报 | 被引量 : 0次 | 上传用户:huangzhongyan22
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安德森认为依靠归约公式Op□(~p→S)能把道义逻辑归约为真值模态逻辑。但是,安德森的这种做法是不妥的。所有标准系统都不能把“帮助一名被抢劫者是应当的,并且禁止抢劫”这个命题形式化为系统的定理。善良的撒玛利亚人悖论属于这样一类悖论:一公式A为某一形式系统的定理,但A的一个代入实例却是不可接受的。
其他文献
《周易》提出了一系列的人格类型 ,其人格类型基本上划分为二大类 :一类是肯定型的人格类型 ,即君子一类 ;一类是否定型的有待教化的人格类型 ,即小人一类。“君子”是《周易
以宣扬神秘主义和信仰主义为主旨的俄罗斯传统宗教哲学所以受到九十年代俄罗斯人的青睐,在于它在揭示东正教信条的内涵中,渗透着强烈的个体精神自由、精神神圣感、人道主义气
吃马肉的行为经历了一个忽上忽下的历程。回望石器时代,旧世界的狩猎者以野马肉大饱口福。首先驯养了马匹的那些亚洲游牧民族继续品尝着马肉,就像前基督时代的北欧民族一样。对
目的 观察胎脑提取液对低龄和高龄小鼠学习记忆能力的影响。方法 低龄和高龄小鼠腹腔注射5倍稀释的胎脑提取液0.1ml(7.5×10-4ml/g体重),连续7d。研究采用穿梭箱实验法。结果
以时代性的内容、民族性的形式和个体性风格去求索人类性问题的哲学,其主旨是真实地关注现实人的命运,塑造引导时代精神.由此出发,透视传统教科书"两大阵营"哲学的理论困境,
回答佛教为什么能被中国化这个问传统思想(主要是儒道两家)中各有哪些特质,使二者可以有机交融.佛教与中国传统思想在四个方面的根本性契合,是佛教能够被中国化的前提条件;而
本文认为道家的内圣外王和禅宗的不执著在实质内容上是一致的,只不过禅宗论述得更为详尽而己。这些理论都是为解决出世与入世的矛盾服务的,在理论阐述上十分圆通,但在现实实践中
本文阐述了对"三个代表"重要思想深刻含义的理解,并由此出发,着重从干部制度改革的必然性、必要性方面讨论了"三个代表"重要思想对干部制度改革的重大指导意义;从有利于扩大
《聊斋志异》中的悲剧性小说 ,极大地突破了前代悲剧性小说的美学传统 ,具有新的审美观照焦点、新的审美视野和新的处理悲剧成因———经过———结局的模式 ,表明我国的悲剧
五四时期是以思想解放的显著特征耀眼于近代中国的历史。这场思想解放运动的形成应当归功于五四时期的文化变革。 1915年 9月 ,陈独秀在上海创办的《青年》杂志 ,率先举起了