王永琦

摘 要：數(shù)學(xué)歸納法的邏輯基礎(chǔ)目前有三種看法，一部分學(xué)者認(rèn)為數(shù)學(xué)歸納法的邏輯基礎(chǔ)是歸納法，一部分學(xué)者認(rèn)為是演繹法，還有一部分學(xué)者認(rèn)為歸納法和演繹法二者結(jié)合是數(shù)學(xué)歸納法的邏輯基礎(chǔ)。對(duì)于此可以從數(shù)學(xué)歸納法的由來和美中邏輯基礎(chǔ)的代表思想及其發(fā)展過程進(jìn)行探討。

關(guān)鍵詞：數(shù)學(xué)歸納法；歸納法；演繹法；邏輯基礎(chǔ)

中圖分類號(hào)：G63 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1673-9132（2018）06-0178-02

DOI：10.16657/j.cnki.issn1673-9132.2018.06.113

數(shù)學(xué)證明方法分為構(gòu)造性方法和非構(gòu)造性方法，構(gòu)造性方法是指通過證明解釋定理或者關(guān)系的存在性問題，非構(gòu)造性方法包括數(shù)學(xué)歸納法和反證法，數(shù)學(xué)歸納法可以看作是半構(gòu)造性方法。數(shù)學(xué)歸納法是數(shù)學(xué)證明中的一種重要方法，利用數(shù)學(xué)歸納法可以通過普遍證明特殊問題，通過有限證明無限問題。

一、數(shù)學(xué)歸納法的發(fā)展

最早提出數(shù)學(xué)歸納法的數(shù)學(xué)家是歐幾里得，可以追溯至公元前三世紀(jì)，在其《幾何原本》中可以查到記載。莫羅利科在十五世紀(jì)七十年代明確提出了遞歸推理的思想，并且利用數(shù)學(xué)歸納法成功證明了賈憲三角，記載在其書寫的《論算數(shù)三角形》中，這是數(shù)學(xué)歸納法的首次運(yùn)用。數(shù)學(xué)歸納法在歷史上存在已久，其在數(shù)學(xué)學(xué)科中的重要性也顯而易見，但是數(shù)學(xué)歸納法的邏輯基礎(chǔ)仍然沒有廣泛同意的觀點(diǎn)。十九世紀(jì)末，數(shù)學(xué)歸納法的邏輯基礎(chǔ)首次被意大利的數(shù)學(xué)家皮亞杰提出，并在《算數(shù)原理新方法》中公開發(fā)表。盡管如此，數(shù)學(xué)歸納法的邏輯基礎(chǔ)仍然沒有得到各國學(xué)者的統(tǒng)一認(rèn)定，數(shù)學(xué)歸納法一直在數(shù)學(xué)學(xué)科研究中得到廣泛應(yīng)用。目前對(duì)于數(shù)學(xué)歸納法的邏輯基礎(chǔ)有三種不同的看法，有些學(xué)者認(rèn)為數(shù)學(xué)歸納法的邏輯基礎(chǔ)是歸納法，有些學(xué)者認(rèn)為數(shù)學(xué)歸納法的邏輯基礎(chǔ)是演繹法，由于對(duì)歸納法和演繹法的認(rèn)識(shí)和理解也沒有得到統(tǒng)一，因此還有一些學(xué)者認(rèn)為數(shù)學(xué)歸納法的邏輯基礎(chǔ)是歸納法和演繹法的結(jié)合[1，2]。

二、數(shù)學(xué)歸納法的邏輯基礎(chǔ)

（一）數(shù)學(xué)歸納法的邏輯基礎(chǔ)是歸納法

將數(shù)學(xué)歸納法的邏輯基礎(chǔ)看作是歸納法的思想在上世紀(jì)五六十年代的數(shù)學(xué)界廣泛認(rèn)可，用歸納法的方式教授數(shù)學(xué)歸納法得到廣泛認(rèn)可。上世紀(jì)八十年代，范光忠對(duì)歸納法進(jìn)行了總結(jié)，歸納法包含完全歸納法和不完全歸納法，不完全歸納法又包含窮舉法和數(shù)學(xué)歸納法，但是由于期間國家政治經(jīng)濟(jì)發(fā)生了巨大的動(dòng)蕩和變化，這一思想沒有寫入教科書中。1994年，申祝平對(duì)范光忠的觀點(diǎn)提出不同看法，認(rèn)為數(shù)學(xué)歸納法的說法本身存在歧義，數(shù)學(xué)歸納法稱之為歸納。在上海高中數(shù)學(xué)教材中，將歸納法分為四個(gè)部分，包含歸納法，數(shù)學(xué)歸納法，完全歸納法和不完全歸納法。2004年呂寶興提出數(shù)學(xué)歸納法應(yīng)該屬于完全歸納法的概念范疇[1]。

（二）數(shù)學(xué)歸納法的邏輯基礎(chǔ)不是歸納法

數(shù)學(xué)歸納法的邏輯基礎(chǔ)不是歸納法的思想在很多年前已經(jīng)存在，并且有數(shù)學(xué)家明確指出了數(shù)學(xué)歸納法和歸納法之間存在本質(zhì)區(qū)別。上世紀(jì)八十年代出現(xiàn)的《中學(xué)數(shù)學(xué)教材教法總論》一書中明確指出：“數(shù)學(xué)歸納法不屬于前面所說的歸納推理，而是根據(jù)歸納原理綜合運(yùn)用歸納、演繹推理的一種特殊的數(shù)學(xué)證明方法”，在當(dāng)時(shí)的數(shù)學(xué)界得到了廣泛的認(rèn)可。在1980年出版的數(shù)學(xué)課本中，數(shù)學(xué)歸納法、與反證法和同一法一起作為間接證明的方法寫入課本。

1982年時(shí)，復(fù)旦大學(xué)附屬中學(xué)在數(shù)學(xué)教學(xué)中提出，學(xué)生對(duì)于數(shù)學(xué)歸納法的認(rèn)知困難是由于數(shù)學(xué)歸納法的本質(zhì)并不是歸納法，也不是完全歸納法，那么教授的環(huán)節(jié)已經(jīng)出現(xiàn)了錯(cuò)誤：數(shù)學(xué)歸納法不能當(dāng)作歸納法或者完全歸納法教授，之前的教授方法與學(xué)習(xí)內(nèi)容存在了脫節(jié)，必然導(dǎo)致學(xué)生在數(shù)學(xué)歸納法的學(xué)習(xí)中存在很大的困難，也更無法在數(shù)學(xué)歸納法的理解中發(fā)現(xiàn)實(shí)質(zhì)性的問題。曾容認(rèn)為數(shù)學(xué)歸納法的名稱本身就容易引起誤解，讓人們很容易將數(shù)學(xué)歸納法與歸納法產(chǎn)生聯(lián)系，但是數(shù)學(xué)歸納法應(yīng)該是遞歸推證法[2]。

（三）數(shù)學(xué)歸納法的邏輯基礎(chǔ)是演繹法

數(shù)學(xué)歸納法的邏輯基礎(chǔ)是演繹法的思想在上世紀(jì)五十年代已經(jīng)得到蘇聯(lián)數(shù)學(xué)家的廣泛認(rèn)可，但是在我國過了幾十年才出現(xiàn)這種思想。上文已經(jīng)提及數(shù)學(xué)歸納法和歸納法雖然名稱相近，但是本質(zhì)上存在區(qū)別，數(shù)學(xué)歸納法的基礎(chǔ)應(yīng)該是遞歸推理原理。這種思想的發(fā)展是由于數(shù)學(xué)思想和方法不斷嚴(yán)謹(jǐn)，不斷發(fā)展出現(xiàn)的。數(shù)學(xué)歸納法在一定意義上被認(rèn)為是古典演繹邏輯發(fā)展的必然結(jié)果。因此，單純從名字望文生義，將數(shù)學(xué)歸納法與歸納法混為一談是非常荒謬的做法。將這一思想及時(shí)更正有利于數(shù)學(xué)教學(xué)質(zhì)量的提升和數(shù)學(xué)思想的發(fā)展。歸納法主要用于數(shù)學(xué)推理，對(duì)發(fā)現(xiàn)數(shù)學(xué)問題作出了貢獻(xiàn)，其結(jié)構(gòu)不一定為真。數(shù)學(xué)歸納法的實(shí)質(zhì)是演繹法，其結(jié)構(gòu)為真。數(shù)學(xué)歸納法和歸納法的本質(zhì)區(qū)別的面紗得以揭開，使人們對(duì)數(shù)學(xué)歸納法的本質(zhì)有了明確的認(rèn)識(shí)，成功實(shí)現(xiàn)了數(shù)學(xué)問題中有限向無限的證明，促進(jìn)了數(shù)學(xué)教學(xué)的提升和數(shù)學(xué)思想的發(fā)展。

（四）數(shù)學(xué)歸納法的邏輯基礎(chǔ)是歸納法與演繹法的結(jié)合

有一部分學(xué)者認(rèn)為數(shù)學(xué)歸納法的邏輯基礎(chǔ)是歸納法和演繹法的結(jié)合，歸納法和演繹法不存在實(shí)質(zhì)性的分歧，都是數(shù)學(xué)證明的分支。1992年趙龍山提出數(shù)學(xué)歸納法的邏輯基礎(chǔ)是自然數(shù)，并且認(rèn)為以現(xiàn)代邏輯觀點(diǎn)為基礎(chǔ)，演繹推理的方法是找出前提條件和結(jié)論之間的必然聯(lián)系，那么，數(shù)學(xué)歸納法在這種觀點(diǎn)的背景下也應(yīng)該是以演繹為基礎(chǔ)發(fā)展的方法。但是，我們可以肯定的是，數(shù)學(xué)歸納法并非只能通過演繹推理的方法證明，采用數(shù)學(xué)歸納法證明一個(gè)問題時(shí)，首先要通過普遍性進(jìn)行推理，由普遍性證明特殊性，由有窮性證明無窮性，然后將推理結(jié)果進(jìn)行總結(jié)歸納，因此數(shù)學(xué)歸納法是演繹法和歸納法的結(jié)合。數(shù)學(xué)歸納法既是演繹法又是歸納法。鐘寶山和揚(yáng)熙鵬在1991年提出一個(gè)觀點(diǎn)支持這一邏輯基礎(chǔ)，他們認(rèn)為歸納法和演繹法二者之間互為基礎(chǔ)和先導(dǎo)，二者之間存在一定的聯(lián)系，因此數(shù)學(xué)歸納法的邏輯基礎(chǔ)必須以二者結(jié)合為基礎(chǔ)，不能單獨(dú)拆除一個(gè)部分。

三、總結(jié)

根據(jù)以上分析，數(shù)學(xué)歸納法的邏輯基礎(chǔ)仍然沒有得到統(tǒng)一的答案，暫且可以認(rèn)為數(shù)學(xué)歸納法的邏輯基礎(chǔ)既包含演繹推理，又包含歸納總結(jié)。數(shù)學(xué)歸納法的存在為數(shù)學(xué)難題的解決起到了強(qiáng)大的推動(dòng)作用，然而對(duì)于數(shù)學(xué)歸納法的邏輯基礎(chǔ)的探討，隨著社會(huì)經(jīng)濟(jì)政治的發(fā)展仍然會(huì)有不同的爭(zhēng)議。

參考文獻(xiàn)：

[1] 申祝平.為“數(shù)學(xué)歸納法”正名[J].中學(xué)數(shù)學(xué)教學(xué)參考，1994（5）.

[2] 曾容.數(shù)學(xué)歸納法的教學(xué)探討[J].數(shù)學(xué)教學(xué)，1982（1）.endprint