形式化与本质性

2008-09-04

• 形式化与本质性恐怕是一个很深奥的哲学问题，但是不知道有没有这两个词，兴许我的表述是有问题的，姑且这么说吧。像我这样没有受过系统哲学教育，也没有仔细读过哲学著作的，估计也只有望文生义的份儿。
• 上编译原理课的时候，突然间发现这么一个事实：把一个形式化事物，尤其是一个抽象的事物形式化是一个很伟大的事情，它能促进思维的进一步发展和深化，怪不得数学是研究形式的，也难怪形式逻辑这么厉害；还有一点，什么事情（多是推理以外的事情），一旦过于形式化，极其容易僵化，反倒使得当事人摸不着本质了！多少人致力于将伟大的想法形式化、数学化，为人类的思维、语言、文明作出了巨大贡献；可又多少人热衷于搞形式化，偏离了主题，浪费了资源！
• 到底是先有形式呢，还是先有本质呢？实质是如何隐蔽在形式之下的？如何有效的形式化？如何简单的形式化？恐怕这不止是一个数学问题。其中还有很多做事情、想问题的思维习惯和行事风格在里面。训练强悍的建模能力，同时培养直达本质的洞察力和摆脱繁文缛节的作风当是努力的方向。