形式化
【词语拼音】xíng shì huà
【词语繁体】形式化
【词语结构】ABC式词语
【词语字数】三字词语
【词语解释】
形式化是用定理或公式解释知识真理的逻辑系统建构,在语言方面见于哲学家的着作中,成为一种人工语言,又称「形式语言」。
语言形式化是二十世纪见于哲学中的所谓之「人工语言」(artificial language),和自然语言(natural language)有别。人工语言是哲学家基于某种目的而建构的符号象徵(symbolism),所以在哲学中名称不一,有「形式」、「形式化」、「符号或象徵式」,以至「理想」语言等等。此等语言的特徵为有「形式系统」(formal system);而形式系统则指遵循严格的法则结构并运用代表字汇和句法的符号;此外并须说明应用的法则、意义法则,和字汇的指定意义,故而其中必然包括逻辑,于是字汇便常含有若干变数,如标点符号、不变的事物、逻辑符号或描述符号,后二种符号必须依意义法则界定其意义;句法的法则是将符号穿成一线,形同完美的公式,犹如公理或定理一般。
用人工语言可使一种理论形式化,其中所含的字汇,除了符号系统必须有严格的逻辑,还要有形式化的描述或理论的不变事物,这些描述或不变事物的逻辑和意义也要经过形式化,同时所陈述的理论也要具备这些条件或状况。二十世纪的经验科学中如学习理论即是如此。用人工语言者大都为形成一种理论而讨论一些特别的题目,其中不乏哲学家,尤其是逻辑实证论者,意在澄清一种理论,或是使理论系统化。
视形式语言为理想语言者并非全数有意建立新理论,而是认为形式化的语言,可以说明意见或命题,可以说明事实或任何意义,虽与自然语言无别,只是形式化的法则比较严格、比较确定、比较明确而已。在这一方面,自然语言难免有含混不清且不明确之时,理想语言的明确意义和严格的逻辑法则适足弥补自然语言的缺点。罗素(Bertrand Russell, 1872~1970)便认为人工语言可以说明自然语言中「不能尽言」的部分,而且可以简化说明(即所谓化约)。
反对形式化者认为哲学问题常和普通的概念有关,无须应用「同义术语」;而同义术语有时反会歪曲原来的普通概念;尤其是形式化限制对事实的陈述与探讨,表面上似乎简化了言辞,实际上则是使说者「说了更多的话」,反而淹没了所要陈述的事实。
正反两面的意见各有所本,成为对人工语言和自然语言二者不同的说法,至今尚无定论。
--作者:贾馥茗
形式化方法形式化形艺术文化形式形式美迹形式走形式形式感零形式形象化化学式公式化数式化模式化仪式化转化式格式化形式逻辑动作形式形式科学逻辑形式工资形式等价形式美学形式股权形式货币形式形式语言移动形式封装形式民族形式书面形式形式发票形式思维形式主义国画形式形式系统伴随形式空间形式艺术形式证据形式形式教育贸易形式指标形式生命形式形式语法就学形式形式参数形式推理形式美感微分形式战争形式曲率形式梯形公式民主形式法律形式演唱形式动词形式形式动词口头形式合同形式图式形成完美形式形式文人立法形式美的形式编织形式宣传形式舞蹈形式形式冲动形式美学消费形式形式模型思维形式形式验证形式婚姻认证形式作战形式信用形式价值形式形式审查形式方法挠率形式接头形式三角形化形态变化骨化形销多边形化形变强化词形变化化学通式高格式化未格式化文化模式低格式化生化模式外微分形式