翻到一本《邏輯學(xué)》，不得不感慨這真的是一門挺深奧的學(xué)科，沒有一定的數(shù)學(xué)基礎(chǔ)很難學(xué)好。不知道該怎么寫這個邏輯學(xué)。
邏輯分為形式邏輯和非形式邏輯，是以思維的形式規(guī)律和非形式規(guī)律作為對象進(jìn)行區(qū)分的，形式邏輯是邏輯學(xué)的主題，數(shù)理邏輯也是形式邏輯。邏輯主要研究推理，推理由命題組成，根據(jù)一些命題得到另一些命題，前者叫前提后者叫結(jié)論。依照前提和結(jié)論的關(guān)系不同推理分為：演繹推理和歸納推理。因而邏輯有兩個基本類型演繹邏輯和歸納邏輯。
現(xiàn)代邏輯以數(shù)理邏輯為基礎(chǔ)，引用了數(shù)學(xué)的演算思想和方法發(fā)展起來的。具有如下的特點(diǎn)：
1把思維特別是推理歸結(jié)為一種與數(shù)學(xué)類似的計(jì)算或演算的思想。萊布尼茨繼承了把思維看成或轉(zhuǎn)換成數(shù)學(xué)計(jì)算的想法，提出了“思維演算”的設(shè)想。個人覺得這是一種很重要的思想，我們完全可以把它用在生活中，把用腦子思考的步驟推演為數(shù)學(xué)的計(jì)算。“讓我們來算一下”，可以有意識地培養(yǎng)自己的數(shù)學(xué)邏輯思維能力，把日常生活裝換為數(shù)學(xué)的邏輯世界。
2建立符號語言，以此代替自然語言來表達(dá)邏輯規(guī)律。
3在邏輯規(guī)律的研究和表達(dá)中，嚴(yán)格區(qū)分邏輯的成分和心理的成分，排除心理成分或把心理成分降低到最低程度。比如命題和判斷的區(qū)分，命題是語句的意義，表達(dá)思想；而判斷與自身的知識程度、理解能力及心理因素有關(guān)。
4整體性的思想與研究方法。傳統(tǒng)邏輯是針對某些具體類型的推理來找出相應(yīng)的推理規(guī)律，推理的種類繁多，這樣做將永無止境。現(xiàn)代邏輯引入公理化方法，就是從若干稱為公理的命題出發(fā)，根據(jù)一些特定的推理規(guī)則推導(dǎo)出稱為定理的另一類命題，從而構(gòu)成一個命題系統(tǒng)。這就是李善友教授常說的第一性原理，從那個不證自明的公理出發(fā)進(jìn)行邏輯推理。
5各個分支都不同程度地引用數(shù)學(xué)的方法、理論和知識。引入初等數(shù)論、集合論等
6現(xiàn)代邏輯在進(jìn)行自身基礎(chǔ)理論研究的同時也在加強(qiáng)同其他學(xué)科的聯(lián)合與相合滲透，在許多地方呈現(xiàn)邊緣性學(xué)科。
