自然邏輯

又稱自然邏輯、語言邏輯。現代邏輯的一個新分支。它是套用現代語言學和現代邏輯所提供的工具來研究自然語言的邏輯問題，具體來說，是以自然語言的指稱性和交際性兩方面來研究自然語言中的推理及有關問題。最早提出建立“自然邏輯”任務的是英國當代語言學家喬治?萊科夫。在中國古代和古希臘羅馬時期就已有了自然語言邏輯的萌芽。可以說，古代邏輯的研究對象是語言而不是思維，只不過主要是研究語言的指稱性，從指稱性方面來研究判斷之間的真假關係。中國先秦諸子關於名實問題的討論，亞里士多德的《工具論》等都是古代邏輯發展的代表，大多是以自然語言作為對象來研究邏輯問題。亞里士多德的傳統邏輯，包括中世紀邏輯就是古典的自然語言邏輯。自萊布尼茨之後，由於精確化、形式化方法越來越受重視，而自然語言由於其模糊性不能滿足這一要求，於是創立了以人工語言來研究命題的數理邏輯，隨著數理邏輯的迅速發展出現了許多非經典邏輯的分支，如模態邏輯、模糊邏輯，它們大多同自然語言有密切的關係。對這些邏輯的廣泛研究涉及到自然語言的形式化問題，間接推動了自然語言邏輯的研究。２０世紀５０年代，現代語言學轉換生成語法學派以及從中分化出來的生成語義學派，為深入研究語義作出新的努力。後者的領袖人物之一喬治?萊科夫在他的論文《語言學的自然邏輯》中提出建立自然語言邏輯的任務和構想。１９７１年瑞典語言學家詹斯?奧爾伍德和安德森?達爾合著《語言學中的邏輯》，從邏輯分析和語言分析相結合角度，對自然語言邏輯的內容和方法作了比較系統的介紹，又提出了幾個問題探討語言，邏輯及關係。另外還有很多這方面的探討。中國的自然邏輯近年來也有很大發展，周禮全先生一直是倡導者和探索研究者。