我的一张大字报:炮打好为人师者

炮打 , 即做题挑战 。之所以决定挑战声称要科普模态逻辑者 , 只因不想看见全凯全猫开启一种不可思议的论坛风气:让学了一点老旧文科版模态逻辑皮毛且文字颠三倒四的ID自称科普者 , 这无异于羞辱全凯全猫正经知识分子的智商 。 惟其如此 , 今特向好为人师者提出做题挑战 , 规则如下:1)既然科普者好为人师 , 那么本挑战难度当按模态逻辑博士后水准命题;2)题目构架应歧义最小化:《XX定理的模态谓词演算系统》 , 具体定理由裁判委员会于开赛前最后一秒公布于猫 , 难度不低于理工硕三 , 然后由挑战与应战双方于4小时内闭卷完成演算系统的构建;3)裁判委员会由全猫选举产生 , 由猫内逻辑大咖三人任轮值总裁判长 , 监赛过程由视频完成;4)自正式赛题公布之日零时起 , 4小时内向轮值裁判长提交研究报告中英文本 , 并公之于猫;5)研究报告应接受裁判委员会专家的公开答辩 , 以鉴别是否出自他人代为捉刀;6)研究报告的所有推理皆以一阶语言进行 , 任何结论性命题都应附有数学推导过程 , 不得使用任何鲁式杂文自然语言替代推理;7)研究报告由裁判委员会评审 , 胜出者由裁判委员会正式冠以凯迪模态逻辑王称号 , 拒不参赛者、中途退赛者或淘汰者终生不得开科普帖或逻辑讲座 。特此挑战李楼逻辑局李楼叉格工作领导小组李楼叉改委


    推荐阅读