客体说形式逻辑语用学浅析

摘要

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

目录

封面

目录

中文摘要

英文摘要

前 言

第一章 客体说形式逻辑及其语用学

第一节 传统形式逻辑、数理逻辑和客体说形式逻辑的比较

第二节 客体说形式逻辑语用学

第二章 命题的语用浅析

第一节 充分条件假言命题

第二节 其它常见命题

第三章 推理的语用浅析

第一节 推理式和导出式

第二节 常见的命题逻辑推理

结语

参考文献

致谢

文章发表情况

参加科研情况

声明