“形式化”辨析——兼论逻辑的学科特点

发布时间：2018-06-08 13:07

  本文选题：形式化 + 内容　； 参考：《河南师范大学学报(哲学社会科学版)》2009年02期

【摘要】：逻辑学是形式化的科学,但目前对形式化的解释、说明中存在着一些问题。形式化作为方法只考察内容而不考察表达内容的形式,形式化就是内容的形式化。逻辑作为一门学科的特点是考察形式化的内容,而并非将所考察内容用人工语符表示的"符号化",也不是考察没有内容的纯形式,形式化的考察只不过是将内容以纯粹的形式表达出来。
[Abstract]:Logic is a formal science, but there are some problems in the explanation of formalization. Formalization as a method only looks at the content but not the form of the expressed content. Formalization is the formalization of the content. The characteristic of logic as a discipline is to examine the formalized content, not to symbolize the content as an artificial symbol, nor to examine the pure form without content. The formal investigation is merely to express the content in a pure form.
【作者单位】： 西安交通大学人文学院;
【分类号】：B81

【参考文献】

相关期刊论文 前2条

1 陈波;现代逻辑中的哲学问题[J];北京航空航天大学学报(社会科学版);2000年02期

2 夏国军;语言逻辑与形式化[J];南开学报(哲学社会科学版);2004年03期

【共引文献】

相关期刊论文 前10条

1 倪荫林;关于概念与其对象及定义的新见解[J];安徽大学学报(哲学社会科学版);2004年01期

2 李志昌;论递归方法的实质和普遍意义[J];楚雄师专学报;2000年01期

3 苏富忠;逻辑的思维成果结构观[J];东岳论丛;2003年05期

4 于长丰,徐进;逻辑力学原理——大统一理论·引力理论[J];纺织高校基础科学学报;1999年03期

5 刘社军;也谈“可能世界”之定义问题[J];广西大学学报(哲学社会科学版);1997年03期

6 冯棉;“可能世界”概念的基本涵义[J];华东师范大学学报(哲学社会科学版);1995年06期

7 倪荫林,吕红俊;从系统论的观点看归纳问题[J];河南师范大学学报(哲学社会科学版);2005年03期

8 王小晟,吴顺祥;对几种处理不确定性信息的理论的比较研究[J];计算机工程与应用;2005年12期

9 李秀敏;论可能世界理论中的两个问题[J];江西教育学院学报;2004年01期

10 金承光;从法律逻辑学的视角审视规范逻辑[J];昆明师范高等专科学校学报;2005年03期

相关博士学位论文 前4条

1 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

2 刘高岑;语言、心智与世界[D];山西大学;2004年

3 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

4 杜建国;语言、意向与存在[D];山西大学;2007年

相关硕士学位论文 前10条

1 宁莉娜;逻辑方法：在哲学的视野内[D];黑龙江大学;2001年

2 施群丽;真之收缩论研究[D];华南师范大学;2003年

3 冯彦波;金岳霖逻辑思想研究[D];河南大学;2004年

4 刘卫花;对蒯因逻辑中“本体论承诺”的探讨[D];西南师范大学;2005年

5 李阳;《科学唯物主义》的精确性研究[D];武汉科技大学;2006年

6 余军成;克里普克的历史因果命名理论探析[D];西南大学;2007年

7 滕芳;亨佩尔认证悖论研究[D];华南师范大学;2007年

8 乌云高娃;论塔尔斯基语义真理[D];内蒙古师范大学;2007年

9 唐永刚;蒯因真理观及其理论意义[D];西南大学;2008年

10 刘莉;情境语义学探析[D];西南大学;2008年

，

本文编号：1995891