高等數(shù)理邏輯2序言

AdvancedMathematical西安交大電信學(xué)院計(jì)算機(jī)軟件AdvancedMathematical序邏輯oyos(羅各斯，英語logic)音譯。原意是指思維。思維：

。形式邏邏輯：辯證邏輯數(shù)理邏形式邏輯：(formallogic)形式邏輯也稱為初等邏輯。它研究思維的(邏輯)形式結(jié)構(gòu)和(邏輯)規(guī)律，而不管思維的的具體內(nèi)容。同時(shí)也研究一些認(rèn)識(shí)現(xiàn)實(shí)的簡單的邏輯方法。毛澤東在延安文藝座談會(huì)上當(dāng)談到形式邏輯時(shí)說過：形式邏輯只管形式，從錯(cuò)誤的形式邏輯： 演繹邏輯(deductivelogic)演繹邏輯的任務(wù)在于研究如何檢驗(yàn)演繹的正確性(即決定一個(gè)推理是否是正確的演繹出一個(gè)已知規(guī)則)以及如何構(gòu)造出正確的未知(演繹推理)規(guī)則。歸納邏輯：(inductivelogic)歸納邏輯的任務(wù)在于研究如何測定不充分置信的推理的歸納概率的大小，從而決定該不充分置信推理的歸納強(qiáng)度規(guī)則，并且研究如何構(gòu)造出歸納強(qiáng)度高的推理規(guī)則。辯證邏輯：(dialecticallogic)辯證邏輯也稱為高等邏輯。它是研究人類的辯證思維及其規(guī)數(shù)理邏輯：(dialecticallogic)數(shù)理邏輯也稱為符號(hào)邏輯。它是用數(shù)學(xué)的方法來研究形式邏輯(主要是演繹邏輯)數(shù)學(xué)方法：這里所指的數(shù)學(xué)方法，就是引進(jìn)一套符號(hào)體系，用以建立一類數(shù)學(xué)符號(hào)語言(形式語言)，以其作為思維的載體，進(jìn)而建立起邏輯的各種形式系統(tǒng)，從而來研究思維及其規(guī)律的方法。數(shù)理邏輯： 狹義邏輯：(speciallogic)狹義邏輯是指用數(shù)學(xué)方法只研究數(shù)學(xué)思維、數(shù)學(xué)性質(zhì)、以及數(shù)廣義邏輯：(generalizedlogic)古希邏輯的三大發(fā)源地：古代中國古印代表人物；亞里士多德(Aristoteles，公元前384-322)，西方稱其為邏輯之父，西方三圣之一。另兩位是蘇格拉底(Socrates，公元前469-399，柏拉圖的老師)和柏拉圖(Platon，公元前427-347，亞里士多德的老師和同學(xué))；代表人物；墨子(公元前468-376,一說公元前476-390,又一說公元前480-400;魯國人，有的說是宋國人):春秋末戰(zhàn)國初時(shí)期的思想家、學(xué)者，墨家學(xué)派(約公元50-《正理經(jīng)》(約公元250-350)；古印度稱邏輯為因明(梵語hetu-vidya，希都費(fèi)陀)；數(shù)理邏輯：西方公認(rèn)的創(chuàng)始人是十七世紀(jì)德國的萊布尼茨(Leibniz，公元1646-1716)，他早期有貢獻(xiàn)者；布爾(Bool，公元1815-1864)，建立了邏輯代數(shù)；德摩根(deMorgan，公元1806-1876)施羅德(Schroder，公元1841-1902)等建立了關(guān)系中期有貢獻(xiàn)者；弗雷格(Frege，公元1848-1925)，出版《計(jì)算概念了第一個(gè)皮亞諾(Peano，公元1838-1932)羅素(Russell，公元1870-1970)懷特海(Whitehead，公元1861-1947)近代有貢獻(xiàn)者；康托(Cantor，公元1845-1918)希爾伯特(Hilbert，公元1862-1943)，提出了《希爾伯特計(jì)劃》和著名的23哥德爾(Godel，公元1906-1978)，1930證明了狹謂詞演算的完備性定理，1931證明了廣義實(shí)用謂詞演算的兩個(gè)不完備性定理，提出了能行性和丘奇(Church，公元1903-?)，提出了可判定性理論，與克利尼一起1933-1935建立了能行性理論的-圖靈(Turing，公元1912-1954)，提出了圖靈機(jī)模型，形成了圖靈理 經(jīng)典邏輯：

。西方哲學(xué)指導(dǎo)思想：西方哲學(xué)指導(dǎo)思想＝形式邏輯＋一切通過實(shí)驗(yàn)找因果關(guān)系愛因斯坦在1935給加里福尼亞的朋友舒衛(wèi)特的信中說：歐洲現(xiàn)代科學(xué)技術(shù)是偉大的，它之所以偉大，是因?yàn)楫?dāng)時(shí)它們是在一種指導(dǎo)思想下產(chǎn)生的。這個(gè)指導(dǎo)思想是什么呢？是古希臘的哲學(xué)，即形式邏輯體系和文藝復(fù)興時(shí)代的一切通過實(shí)驗(yàn)找它的因果關(guān)系的思想。因?yàn)橛羞@樣的哲學(xué)指導(dǎo)思想，所以才產(chǎn)生了近代的科學(xué)體系。中國為什么沒有產(chǎn)生近代科學(xué)體系愛因斯坦在同一封信中又說：但是令人驚訝的是，古代中國在早期科學(xué)技術(shù)的各個(gè)方面都取得了許多重大的成果(李約森：幾乎是一大半)，但是為什么在中國沒有產(chǎn)生象西方那樣的哲學(xué)指導(dǎo)思想？沒能形成象西方那樣的近代的科學(xué)體系？主流意識(shí)一般認(rèn)為原因在于：中國漫長的兩千年封建專制統(tǒng)治摧殘了社會(huì)精英；保守的主流文化、教育——儒家文化、教育抑制了人才成長：中國人內(nèi)斂的性格不適于作冒險(xiǎn)的科學(xué)技術(shù)實(shí)踐。子貢南游于楚，反于晉。過漢陰見一丈人方將為圃畦(qi)，鑿(zuo)“奈何？”曰子貢瞞(man)然慚，俯而不對(由于現(xiàn)代科學(xué)技術(shù)迅猛發(fā)展的刺激，尤其是計(jì)算機(jī)科學(xué)技術(shù)的很多特殊需求，傳統(tǒng)的、經(jīng)典的數(shù)理邏輯已經(jīng)遠(yuǎn)遠(yuǎn)不能適應(yīng)如此復(fù)