为了达到确定的目的,在一门科学中采用不同于自然语言的人工符号标志的系统称为符号语言。各门科学(如数学、物理、化学等)都有适合于自己的特殊的符号语言。符号语言的使用由来已久。在亚里士多德的逻辑学中已经开始使用人工符号,但亚里士多德的传统逻辑使用符号是半形式化的,数理逻辑使用符号才是形式化的,这就是现代逻辑和传统逻辑的主要区别。为了避免自然语言的同义或歧义现象,为了精确、简明、方便,更主要的是为了能进行严格而又灵巧的演算,在客体说形式逻辑中系统地采用了适应其研究对象的符号语言。客体说形式逻辑是得传统逻辑、数理逻辑的优点,而又有自己独特的创新的逻辑学科。就拿命题逻辑来说,客体说形式逻辑能够最清楚地刻画每一种命题,于是本文着力研究客体说形式逻辑里的命题逻辑的语用问题。