|
[cp]什么是數(shù)學及其地位
數(shù)學是人類發(fā)明的用來描述自然、解決問題的符號系統(tǒng)(工具)。并非自然(但客觀)存在的,沒有人類,就沒有了數(shù)學。所以數(shù)學不屬于自然科學,屬于形式科學!
數(shù)學屬于的形式科學的定義:形式科學是與形式系統(tǒng),如邏輯學、數(shù)學、理論計算科學、信息理論、系統(tǒng)理論、判定理論、統(tǒng)計學和一些語義學等有關的知識的分支。和其它科學不同,形式科學不是和基于真實世界觀察理論有效性聯(lián)系的。而與定義和規(guī)律為基礎的形式系統(tǒng)性質相聯(lián)系。但形式科學的方法被用來建造和檢驗觀察真實世界的科學模型。形式科學和真實世界不是一定要有有效聯(lián)系的。而自然科學卻是要研究大自然的。
數(shù)學為何比所有其它科學都珍重,就是它的定律是絕對肯定和無可置疑的。而其它科學卻有一定程度的爭論和存在由于新事實的發(fā)現(xiàn)而被拋棄的危險。
這是形式科學與其他科學的本質區(qū)別,也說明了形式科學獨特的研究手段和永真性。
與經驗科學(自然,社會,人文等)不同,形式科學不常涉及經驗的過程。它不需偶然事件的予先知識,或描述真實世界。從這種意義說,形式科學是邏輯和先驗方法的科學,它的內容和有效性和任何經驗的過程無關。
雖然形式科學是概念性系統(tǒng),缺少經驗內容,但并不表示它和真實世界無關。這種聯(lián)系為它在所有可能接受的范圍內都是有效的。但經驗理論,如廣義相對論,或生物的進化論,不可能在所有可能的世界內都有效。這是為何形式科學在所有范圍內都可應用和在所有經驗科學內都有用。
由于形式科學無經驗的性質,因此可以說,形式科學是由許多公理和定義所構成,而它的陳述是由這些公理和定義推導出來的。換言之,形式科學的理論不包含合成的陳述,它的所有陳述都是分析的。[/cp]
|
|