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