本文選題：形式化 + 內容��； 參考：《河南師范大學學報(哲學社會科學版)》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];紡織高�；A科學學報;1999年03期

5 劉社軍;也談“可能世界”之定義問題[J];廣西大學學報(哲學社會科學版);1997年03期

6 馮棉;“可能世界”概念的基本涵義[J];華東師范大學學報(哲學社會科學版);1995年06期

7 倪蔭林,呂紅俊;從系統論的觀點看歸納問題[J];河南師范大學學報(哲學社會科學版);2005年03期

8 王小晟,吳順祥;對幾種處理不確定性信息的理論的比較研究[J];計算機工程與應用;2005年12期

9 李秀敏;論可能世界理論中的兩個問題[J];江西教育學院學報;2004年01期

10 金承光;從法律邏輯學的視角審視規(guī)范邏輯[J];昆明師范高等�？茖W校學報;2005年03期

相關博士學位論文 前4條

1 李志偉;偏序集上的蘊涵代數[D];首都師范大學;2002年

2 劉高岑;語言、心智與世界[D];山西大學;2004年

3 郝清賦;邏輯系統動態(tài)結構演化研究[D];國防科學技術大學;2006年

4 杜建國;語言、意向與存在[D];山西大學;2007年

相關碩士學位論文 前10條

1 寧莉娜;邏輯方法：在哲學的視野內[D];黑龍江大學;2001年

2 施群麗;真之收縮論研究[D];華南師范大學;2003年

3 馮彥波;金岳霖邏輯思想研究[D];河南大學;2004年

4 劉衛(wèi)花;對蒯因邏輯中“本體論承諾”的探討[D];西南師范大學;2005年

5 李陽;《科學唯物主義》的精確性研究[D];武漢科技大學;2006年

6 余軍成;克里普克的歷史因果命名理論探析[D];西南大學;2007年

7 滕芳;亨佩爾認證悖論研究[D];華南師范大學;2007年

8 烏云高娃;論塔爾斯基語義真理[D];內蒙古師范大學;2007年

9 唐永剛;蒯因真理觀及其理論意義[D];西南大學;2008年

10 劉莉;情境語義學探析[D];西南大學;2008年

，

本文編號：1995891