近期,@专烤填鸭谈及逻辑时出语擂人.
擂语(一)
烤鸭以大鸣大放式做派,肆意攻击中国逻辑学界将informal logic一词译为“`非形式逻辑”系错误.
证据(1):

证据(2):
微软Bing词典就informal的反义词formal给出的解释为(见下图):relating to or using symbols and abstract structures rather than natural language(使用或与使用符号和抽象结构而非自然语言有关的).

证据(3):
Being词典对formal logic(形式逻辑)的英文解释为:

也即微软词典认为,形式逻辑是处理陈述和命题的形式或逻辑结构以及因这些逻辑形式而存在或产生的逻辑含义和关系的逻辑.
根据来自微软词典的以上证据(1)-(3),既然formal logic应译为形式逻辑,那么将informal logic译为非形式逻辑就正好取其反义,因而准确无误.
擂语(二)
烤鸭肆意污蔑中外逻辑学界捏造了formal logic(形式逻辑)这一英语单词.
证据(i):

证据(ii):
美国最权威的《韦伯斯特大词典》早在上个世纪就收录了formal logic这个词组,并给出了为学界所普遍认可的英文解释(见下图).

由此可见,专烤填鸭的上述擂语皆不经一考.
古人说,知之为知之,不知为不知.为进一步厘清所论话题,我们希望专烤填鸭让那位蓝眼睛立即上线接受猫友们的质询.若此蓝眼睛纯属子虚乌有,那么我们强烈敦促专填烤鸭向全体猫友道歉,并谨以此事件提请总编室重新考虑授予其原创作者是否符合一个知识分子论坛的定位及其对写作质量的导向.
