二难推理没有不相容的析取结论

二难推理没有不相容的析取结论关键词：二难推理，推不出不相容析取结论，无效形式孙启明同志《有关二难推理的几个问题》（《安徽大学学报》哲社版１９９５年第４期）一文，鄙意似有疏漏之处。现略陈己见，以求正于高明。所谓“二难推理（ｄｉｌｅｍｍａ）”，从词源说，...     

“蕴涵怪论反例”的拨乱反正——兼评张建军先生的“‘反例’化解路径”

前半篇为“蕴涵怪论”的“反例”平反:从莫绍揆、林邦瑾、冯棉举报的所谓“反例”都可推出矛盾,症结在于举报者陷入“析取错觉”,运用反证法可以证明“反例”不反,其真实身份都是永真命题或有效推理.后半篇评析了张建军求助于形式蕴涵的“‘反例’化解路径”:他否认“反例”是命题逻辑公式代换例的观点违反逻辑常识,他的“山寨形式蕴涵”化解不了“蕴涵怪论反例”,其症结在于迷信直觉.     

反事实条件句自身特异性及其分析

反事实条件句的特异性表现在:用传统理论去解读反事实条件句会使一些事实上无效的推论模式合法化,而对某些逻辑上可信的推论形式反而核证不了.通过分析,强化前件原则、传递原则和假言易位原则,应用于反事实条件句并不失效.有“析取前件”的反事实条件句也可以另辟蹊径.     

有关逆接助词“ノニ”与“テモ”的对比研究——以逆接确定条件的前件为中心

在现代日语中,ノニ和テモ常被作为表示逆接的接续助词来使用。至今为止,对这些连接助词进行的研究大多都是从语用论及构造论等方面展开的,而对于同作为逆接确定用法的テモ和ノニ进行的对比研究并不多。在这一事实的基础上,分别从前件中出现的事件及事态的性质和特征、与表示时间的语句及疑问词的共起、语句的重复使用四个方面对テモ和ノニ前件的特征进行分析,以考察两者之间的相异点及各个特征之间存在的关联性。     

一个析取等值式及其相关逻辑问题的学术对话

在学术研究中,马雷通过电子邮件向张建军、翟玉章和杜国平①三位逻辑学专家请教了一个析取等值式问题,引发了一场讨论。其中涉及的相关逻辑问题非常重要,也十分有趣。在问答之前和问答过程中,问答专家对问答结果的公开发表并无心理准备,所以在问答中都是率性而写,并没有仔细斟酌和修改。只是问答完成到一个阶段后,马雷无意中发现,问答已经形成一个相对完整的问答链,建议整理出来,以"原生态"形式发表,作为逻辑学、问题学和语言学研究的一个基础文本,得到其他参与专家的支持。为保存"原生态",对于第二轮的意见或评论只在注释中注明。从这种原初形式的讨论中,我们可以看到,专家的一次性思维,即不是经过两次以上的反复思维,可能在严谨中出现不严谨,在正确中出现错误。对象、逻辑、问题和语言本身的复杂性或歧义以及人的思维本身的复杂性可能导致不同专家对同一问题的理解出现歧义或解答上的差异。本问答的意义并不在于提出一种惊世骇俗的观点,而是在于表明,通过一种原初问答链,我们有可能透视问题提出机制、观点展示机制、答案纠错机制和知识增生机制,而通过电子邮件形式进行小范围学术讨论的可行性也因此增加一个典型案例。基于此,我们愿意将问答内容分类展示如下,供方家参考。     

二难推理及其在数学教学中的作用

二难推理是一种复合推理。它是帮助我们获得新的数学知识的一种重要思维形式,是一个值得探讨的新课题。本文着重介绍二难推理的格和它的作用等问题。     

论标点符号在英语并列结构中的语义作用

本文主要讨论了标点符号在分解并列结构过程中的作用，并探讨了标点符号与其它消除并列结构的歧义的手段之间的相互作用。标点符号能有效地减少或消除非混合性型和较短的混合型并列结构的歧义。但是，对于很多混合型部分有形连接的分解，除了考虑标点符号以外．还要考虑并列成分之间的句法、语义和语用关系等因素。     

关于子直积不可约的广义交换半群

研究了子直积不可约的广义交换半群的结构,作为推论,证明了子直积不可约的广义交换半群要么是交换半群,要么是一个含有零元素且有一个非零析取元素的非交换半群．     

"右件""前件""上件"考

“右件”“前件”“上件”在古代文献中用法相似,是一组近义词。其中“件”主要有“分列、列举”和“提(说)到”两个义项。后一义项及“右件”词条均未见于诸辞书,当补收。《汉语大词典》“件”词条下第一个义项对应“分列”义的引例太晚,第二个义项“指案卷、奏状、文书等文件”的前三个引例皆不当。“右件”“前件”“上件”发展到后来,“右件”“前件”相继消亡,“上件”在明朝发展出新义———“上一件”,其中的“件”虚化成了量词。“上件”的这种用法一直沿袭到了现代汉语中。