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

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