.形式化，抽象性，概括性，理论性。
形式化方法在古代就运用了，而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律，制定相应的逻辑规则，使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。形式化方法英文的名称是formalmethods。
（一）抽象性
抽象性是语法最基本的特征。
语法就是对一个语言中各种语法单位的组合关系、聚合关系、功能类型等等的抽象概括。
人们所使用的句子千差万别、数不胜数。但是，无限多的个别具体的语句中，词的结构方式、短语和句子的结构规则等却是有限的。这些结构规则、语法形式、语法手段、语法范畴和语法意义都是从个别和具体的语言材料中抽象出来的。例如：
买饭 作画 挖坑
蒸馒头 盖房子 说英语
喜欢唱歌 讨论问题
降低标准 开挖隧道
修理家用电器 穿蓝色西服 提出苛刻条件 这些短语所表达的意义各不相同，但却可以从中概括出“述语＋宾语”的结构特点，表示支配与被支配的关系。其中述语由动词充当，宾语由体词性词语充当。
语言单位之间最重要的关系主要是组合关系和聚合关系。
概括性：就是笼统 范围很大的问题 而不是针对很细节而提出的问题