任何数逻课都始于命题

在理工院系，逻辑课始于命题。只有非理工类ID ，才会以为数理逻辑课也会像形式逻辑那样耗费巨大篇幅纠结于定性描述概念、分类和定义这类逻辑常识。理工意识是实用主义的，一切不能建模或暂时不能建模或无需建模的内容都会被一带而过，绝不会为了凑齐所谓理论体系而洋洋洒洒以误人子弟。假如一个学生连什么是概念、定义和分类都缺乏判断力，那么他就考不上理工科。最近，个别只接触过形式逻辑的文科生一听数理逻辑始于命题，就即刻惊讶万状。你惊讶就惊讶吧，学历使然也可理解，可你不该据此贬损他人肆意解释逻辑。你的那点形式逻辑，别人一个星期即完成《形式逻辑的数学原理》，基础概念一一建模。可你一堂理工逻辑课都显然未听过就贸然对数理逻辑下论断，未免有失严谨：1)知之为知之；2)不知为不知；3)少说话才能成真咖。任何时候，都不要跨界贬损他人。没有精钢钻，就别装大咖，这是为人处事的一条基本准则。李三畏要那么容易被击垮，那他的大学们就白上了。还是找一个同量级的练练吧，阿门。