形式邏輯排中律在高等數(shù)學(xué)教學(xué)中的體現(xiàn)

摘要排中律是數(shù)學(xué)證明中反證法的邏輯基礎(chǔ)，本文通過比較反證法和構(gòu)造法兩種不同的證明方法，闡述了形式邏輯排中律在反證法中所起到的基礎(chǔ)作用。

關(guān)鍵詞排中律 反證法 構(gòu)造法

中圖分類號:G642文獻(xiàn)標(biāo)識碼:A

形式邏輯( formal logic)是一門以思維形式及其規(guī)律為主要研究對象，同時也涉及一些簡單的邏輯方法的科學(xué)。聯(lián)合國教科文組織的一份報告指出，一次由50個國家500位教育家列出的162項最重要的教育目標(biāo)中，把發(fā)展學(xué)生的邏輯思維能力列為第二位。發(fā)展學(xué)生的邏輯思維能力，就要大力加強邏輯教育。在大學(xué)教育中，也就要廣泛開展邏輯素質(zhì)教育。

1 形式邏輯的基本規(guī)律

形式邏輯提出了許多關(guān)于思維形式的規(guī)律，其中同一律、矛盾律、排中律與充足理由律是形式邏輯的基本規(guī)律。

同一律:如果一個思想反映某客觀對象，那么它就反映這個客觀對象;如果一個思想是真的，那么它就是真的;如果它是假的，那么它就是假的。它的表達(dá)式是:“就是”。

矛盾律:一個思想不能既反映某客觀對象而又不反映這個客觀對象;一個思想不能既是真的又是假的。它的表達(dá)式是:“不是”。

排中律:一個思想或者反映某客觀對象或者不反映這個客觀對象;一個思想或者是真的，或者是假的。它的表達(dá)式是:“或者或者”。

充足理由律:同一對象在同一時間內(nèi)同一條件下之所以具有某同一性質(zhì)， 是具有充分的根據(jù)。這種充分根據(jù)一經(jīng)出現(xiàn)， 該性質(zhì)也一定出現(xiàn)，但它要求人們在思維或論證過程中不能使用謊言和未經(jīng)證實的東西，也不能把謬論和偏見作為理由或根據(jù)，更不能詭辯。……