1樓:
英文中它被稱作:a course in logic。而邏輯一詞最早可以追溯到一個希臘詞,即「邏各斯」。
此詞含義一般有二:客觀事物的規律及其規律性;某種特別的理論、觀點(含貶義)。狹義的邏輯學被稱作是研究推理形式的科學,而廣義則指研究思維形式及其規律以及邏輯方法的科學。
它研究的主要物件是思維的形式,即思維邏輯形式。我們的思維因為有了邏輯而變得清晰無比;所謂的「無頭案」在嚴密的邏輯面前不得不低下罪惡而高傲的頭,公理得以永存人間。我們的生活得以有條不紊,我們也就有了現在學習邏輯學的機會,由邏輯而學習思維。
西方傳統邏輯學包括了概念理論、詞項邏輯等主要內容;其中心內容是三段論;古典命題邏輯;古代歸納邏輯等。
邏輯學,僅僅考慮推理的邏輯學的發展似乎已經很完善了。儘管作為應用的邏輯並不是想象的那麼好,比如我們要建立基於邏輯的程式語言,一方面,已經建立的語言(如prolog)只是使用了一階謂詞邏輯的很特殊得一部分,一階系統顯得足夠豐富;另一方面,只是一階系統或者其擴充套件都會有許多不能在現有非邏輯程式語言中表達的語句,即是說,邏輯是不夠用的。但就邏輯學本身而言,我們要對它進行改進或者在其中有什麼創造性的工作,是非常難的。
特別對於象我們這樣剛進入邏輯學領域的新手來說(其創造主要源於直覺和對已有系統的紕漏的分析),要在邏輯學中有所創造幾乎是不可能的。
這種狀況的原因何在呢?如果象皮爾士說的那樣,邏輯是哲學中最具歧義的概念,那麼,它應該有很多的方向(並且各方向不會導致非議),以供我們的理智去探索。而事實是,我們被限制在已有系統之中。
「你看,那就是邏輯學,你能做什麼,試試看吧!」我們只能選擇一種觀點,然後繼承它,這是現在僅有的工作,這樣的工作會有什麼創造性呢。有一點很明顯,我們絞盡腦汁想到的東西往往是前人也想過了的。
千萬別指望有什麼激動人心的,因為你會為後來發現自己在重複別人的工作而失望的。
也許,我們應該換一個角度來思考這個問題,為什麼一定要限制在「推理形式的有效性」或者「語句結構和演繹推理」上。要知道,邏輯學研究思維的形式結構和規律,這一點在國內是被普遍接受的,而且我們有足夠的理由為這一觀點進行辯護。
第一,對思維的形式進行研究的邏輯可以保持足夠的客觀性。
自弗雷格以來,人們儘可能放棄有心理主義嫌疑的用語,不再提及邏輯是研究思維之類的觀點。因為心理的東西,如弗雷格所說,有遠離客觀性的特點。邏輯推理規則和規律是帶有客觀性的東西。
心理的東西有著隨個體主觀意志的任意性。如果,我們的邏輯是任意的心理結構,那麼,就不會有共同的邏輯存在。在這裡我們要強調的是:
廣義來說,邏輯的東西也可以成為心理學的物件。儘管大部分心理學家對邏輯不感興趣,在心理學書籍中,只有很少一部分提及思維形式的問題,比如2023年張世富主編的《心理學》就研究了概念,命題和推理,但也只是提及了而已。而邏輯學根本不會提及有關情感、意志過程,個性傾向性之類的東西,他們理所當然地是心理學研究的物件。
因此兩門學科的區別是很清晰的。
當然,心理學和邏輯學的區別不足以使邏輯偏離心理主義傾向。一個習慣於從心理角度分析問題的人也許容易導向對邏輯的心理分析。而這也並非完全不可取的。
p.薩伽德的這樣一段話也許可以提供見解:「……, 儘管形式化的邏輯並非通向心理表徵最具影響力的心理學途徑,但我們仍有足夠的理由從它我們對心理表徵**。
」心理學提供心理表徵也同樣可以為邏輯學家提供一種研究思維形式的參考。
至於強心理主義關於將邏輯解釋為一種心理過程是不可取的。理由不是說邏輯是和心理沒有關係的,而是心理過程的複雜性是邏輯無法著手的,邏輯對思維的研究有其限制:思維形式結構和規律。
它的客觀性體現在它是研究蘊藏在語言中的實際思維結構,而不是一種隨機心理現象。這一點即使不是顯而易見的,也不會導致邏輯的和心裡的混淆起來。
第二,邏輯對思維形式的研究的選擇是合乎學科要求的。
任何一門科學,當它確定自己的物件後,肯定不是在其物件中面面俱到去研究,而是有選擇性的。這種現象一方面是由於概念是有理想性的,即,人們有一種願望要達到的目標,往往比實際能做的大。比如物理學是研究空間、時間、物質運動的普遍形態,物質基本結構的科學。
但是物理學不是任何時空形式、任何運動都加以研究,也不是每種物質結構都研究,而是有其自己的選擇。物理學家總是對有規律的現象和可能找得到規律的現象感興趣。它所提倡對運動和物質形態的研究是一種理想,它試圖掌握所有的物理規律和了解物質的任何可能形態,但那只是一個努力的方向。
邏輯學把思維的形式結構和規律作為自己的研究物件,也是有選擇性,它不是任何思維形式和規律都研究。當然,你可以在其定義範圍之內作任何研究,並且有興趣引導比墨守成規好百倍,至於你的興趣能否激發別人的共鳴則是另外一回事。一般而言,每一學科都有某種共同的研究方向,這樣集中許多人的智慧是取得成果所必需的。
思維形式是一個寬泛的概念,正因為如此,邏輯學應該比它現有的狀況有生機。
第三,研究方向是人為引導的。
既然,任何一門學科其選擇的物件都含有理想成分,那麼,在某個特定的時期其實際物件與該學科的的物件要求存在差別就不足為怪的。我們可以看到,現在的邏輯主流方向是研究推理和推理有效性等方面問題。即以一階謂詞邏輯和它的擴充套件為典型的現代邏輯。
傳統邏輯是建立在亞里士多德的貢獻之上,現代邏輯是起始於十九世紀,它是伴隨著哲學興趣的轉移、公理化方法吸引而建立的。一個明顯的特點是,它是隨著人們的興趣而轉移的。這和其它科學有著共同的特徵,又如物理學,每個時代都有其特別熱的方向、方法。
從早期的宇宙學,到近代的機械力學,當代物理學門類甚多,但是如果我說量子力學和相對論力學是現代物理的典範應該不會遭到過多的反對。因而,邏輯學也是在現時代有其自己的興趣的。但是,各種時代的邏輯學都是視思維形式結構和其規律為物件的,同時,其它的邏輯學分支不該因為不像現代邏輯而被驅逐出邏輯學物件之外。
因此,對於一門學科而言,邏輯學將思維形式結構和其規律作為物件是很恰當的,至少,我們可以看到,對這一點進行限制,會讓我們限制所有科學的研究範圍。
第四,邏輯學規範性特徵並不和其將思維的形式結構和規律作為物件矛盾。
我們可以完全同意邏輯學不是一門純粹描述性的科學,沒有誰能在思維中找出超過上萬步的形式推理;或者,一定要遵守排中律才能得出正確的結論,我們對於現實的思考是多種多樣的,隨機猜測也可能得出正確的答案。馬丁.布萊恩說形式邏輯在神經學上的合理性還一無所知。
這是很好理解的,即使我們完全排除生理性的要求,只關注語言本身,也無法找到邏輯的確切對應點(心不是機器)。因此,邏輯不是完全描述性的,而帶有規範的特徵,而邏輯的規範不是一種絕對自由的規則,因為絕對自由的規則帶有任意性,主觀性。邏輯的客觀特點不允許邏輯是隨意的遊戲規則,而是帶有指向性的。
這樣的狀況是由於「人們有具有類似於謂詞邏輯里語句的心理表徵。人們具有在這些語句上進行操作的演繹和歸納的程式。演繹和歸納運用到語句上產生推理。
」從兩個角度上看,邏輯學規律是有其客觀物件基礎的,首先是心智本身有類似結構,其次,心智有限制推理和思考的能力,即心智有一種審判力,迫使人們不去接受視任何推測都有效的做法。這樣,邏輯便不是任意的了。但是它又不是完全描述的,因為一方面沒有完全對應的思維過程,另一方面思維的廣度大於邏輯的研究範圍。
預設邏輯學帶有規範和描述雙重特徵。而即使它是為如何思考制定規則的科學,定義其物件為思維形式結構和規律也顯得邏輯有正確的指向,尚且有的在現在看來是不好的思維形式將來可以據其制定邏輯規則,而這正是邏輯的創造源之一。
我們要進一步分析的是思維的形式結構和其規律。
一般認為語言是思維的表徵,沒有語言就沒有顯化的思維,思維就成了無法**的神祕事物。語言和思維因該說是有著密切的關係,但是他們並不具有一種完全對應的關係,當我們使用語言時,我們在試圖啟用某種內部活動,這種活動是思維活動——它有著神經生理的基礎。有時,我們說我們的思維跟不上語言活動,有時相反。
這說明他們有著區別。語言是人類活動的一種,這種活動是人的思維的外顯形式,語言是思維的工具,而且是工具的一種,其工具價值在於啟用思維、引導思維和記錄思考的成果。而它本身並不是思維的表徵。
一個很明顯的證據是,語言活動是線性的,而思維是一種整體結構性質的,在其處理非言語訊號時,使用的是並行的或者其它方式。這就是為什麼人的計算能力(語言上的一種能力)這麼差,卻在處理許多問題時比計算機快。
所以思維不僅僅是語言活動,也不僅僅只是使用語言在活動,語言是思維的部分主觀呈現,我們在用語言表達給自己或者別人。列夫.謝苗諾維奇.
維果茨基在他的一本書中將思維和語言看作兩種平行發展的過程。(參看[7])
那麼以思維形式為物件的邏輯因該不侷限在對語言的線性結構規律的研究上,而應該以廣義的思維形式結構為物件,那是一個廣泛的空間。比如,turing機在兩種意義上是邏輯的物件:從可能的思維形式上和思維所允許的表達形式上。
我們可以做這樣的工作,用現有邏輯語言表達turing機或用某種方便的語言表達,在其中加上邏輯規範。鑑於對程式語言的邏輯化的難度,我們不一定要把c改造成為邏輯語言,比如擴大一階謂詞語言以使用於改造c。我們可以還原c到一種規則上,然後結構化這個規則成為一個可推理的系統。
在這樣寬泛的邏輯概念上——我們的形式邏輯書實際使用的,我們怎麼會有時間玩「星際」和「帝國」?
2樓:匿名使用者
gct 考研 裡有一門就是邏輯 你可以去書店看看
北大邏輯學研究生都學什麼?
3樓:山西啟航考研
邏輯抄學
邏輯學是哲學襲二級學科
,是跨學科的研究領域。邏輯學和哲學、數學
、電腦科學、語言學等學科有密切的聯絡。北京大學哲學系的邏輯學專業在強調邏輯學理論研究的同時,也提倡邏輯學與相關學科的結合。
北京大學哲學系的邏輯學專業有教授3人、副教授2人。他們的研究涉及邏輯學的多個分支,研究成果在國內處於領先地位。
北京大學哲學系的邏輯學專業碩士研究生的招收物件是高等院校的本科畢業生。
邏輯學專業碩士研究生畢業後,可以在邏輯學專業博士研究生階段繼續深造,也可報考相關學科的博士研究生,如分析哲學、科學哲學、電腦科學、語言學等。還可從事相關學科的實際工作。
碩士研究生的專業考試科目:
1.數理邏輯
2.在數學3、語言學基礎(同中文系考生)、西方哲學中任選一門。
邏輯學專業還接受推薦免試生,推薦免試生的名額佔總招收名額是1/2。對於推薦免試生沒有學科的限制,但要求有比較好的邏輯學基礎、良好的數學訓練、一定的哲學素養。這些要求將在面試中考查。
mba邏輯學的是什麼數學和邏輯學有什麼區別?
總體來說,mba邏輯考試考的是對各種資訊的理解 分析 推理 論證,以及解題 專速屬度和解題策略,而不是難度,因此題目難度不是很高,只要掌握一定的解題技巧就可以迎刃而解。很多人覺得邏輯難是因為我們沒有學習過這個科目,而且剛開始做題時常用慣性思維去思考問題,導致解題速度慢且錯誤率高。mba邏輯考題考試中...
邏輯學的三大分類是邏輯學分為哪幾種?
具象邏輯 抽象邏輯 具象邏輯與抽象邏輯相統一的對稱邏輯。邏輯學作為一門科學的邏輯,是既古老又年輕的。歷史悠久,源遠流長。它有三大源泉 古希臘的形式邏輯,中國先秦的名辯邏輯,古印度的因明。邏輯學為一門基礎性的學科,邏輯學的基本理論是其他學科普遍適用的原則和方法。同時邏輯學又是一門工具性的學科,它為包括...
邏輯學與數學的關係是什麼,邏輯學和數學一樣?它們的區別是什麼呢?
關於邏輯與數學的關係其實是有爭論的。總結起來是這樣幾個觀點。直覺主義認為 數學起源於直覺。邏輯主義認為 數學起源於邏輯。形式主義認為 二者並重。若是僅從學科的角度上去說的話,二者都是基礎學科,誰也不是誰的分支。聯合國教科文組織有一個科學分類,把邏輯學 數學,天文,化學,生命科學,天文學,地理學並列為...