Type a search term to find related articles by LIMS subject matter experts gathered from the most trusted and dynamic collaboration tools in the laboratory informatics industry.
邏輯,或者叫做理則(英文:logic),源自希臘文 λόγος,係種推理嘅抽象模型;希臘字 λόγος最初嘅意思有詞語、思想、概念、論點、推理等等。 1902年嚴復譯《穆勒名學》時,意譯佢做「名學」,但咁又搭唔上名家或者名教嘅名學個「名」字嘅本意。
邏輯學研究「有效推論同證明嘅原則、標準」[未記出處或冇根據]。作為形式科學,邏輯透過對推論嘅形式系統同自然語言入面嘅論證等等,研究同命題同埋論證嘅結構。邏輯嘅研究包括核心議題好似謬論、悖論,又有用或然率推論,又有因果論證嘅分析。到而家辯論理論都會用到。[1]
傳統研究上,通常當邏輯做哲學嘅分支。19世紀中期開始,大家開始喺數學同電腦科學方面研究邏輯。作為形式科學,通過對推論嘅形式系統同自然語言論證呢兩樣嘢嘅研究,邏輯研究、分類語句同論證嘅結構。所以邏輯嘅研究範圍可以好廣,由佢嘅核心主題例如對謬論同悖論嘅研究,到專門嘅推理分析例如或然率正確嘅推理同埋涉及因果關係嘅論證。
另外,邏輯、文法、修辭呢三樣嘢被稱為古典三學科。由十九世紀中,大家開始當形式邏輯(又叫符號邏輯)做數學基礎研究。1903年,懷海德(Whitehead)同羅素(Bertrand Russell)出版《Principia Mathematica》,試圖用形式邏輯造起成部數學。[2]不過,除咗一啲基本嘢,佢哋呢套嘅地位畀集合論取代咗,一般已經唔用。當形式邏輯研究擴張,唔再侷限喺基礎嘅議題,之後嘅各個數學領域被統稱為數理邏輯。發展到而家,形式邏輯係電腦科學嘅基礎。
形式係邏輯嘅核心,但係喺「形式邏輯」入面對「形式」嘅使用成日都唔太明確,所以令到佢嘅描述變得好難明。符號邏輯只係形式邏輯嘅其中一種,佢同形式邏輯嘅另一種類型——淨係處理定言命題(又叫做類稱命題、範疇命題等等)嘅三段論唔同。
「形式邏輯」通常被人當做係符號邏輯嘅同義詞,而非形式邏輯就被理解成唔包含符號抽象化嘅任何一種邏輯推論;呢個是由「形式語言」同「形式理論」之中類推得出黎嘅用法。但係廣義黎講,形式邏輯有好耐歷史,可以追溯到兩千年之前,而符號邏輯相對比較新,淨係得一個世紀左右嘅歷史。
邏輯系統可以擁有嘅有效性質有:
絕對唔存在一個同時滿足上面三個性質嘅系統。其中,庫爾特·哥德爾證明咗冇一個有用嘅算術系統可以同時滿足相容性和完備性;詳見哥德爾不完備定理。[5]
邏輯產生於對辯論正確性嘅關注。邏輯作為辯論嘅研究入面嘅概念喺在歷史上係好基本嘅課題,而且呢樣嘢亦都係唔同邏輯傳統嘅創立者例如柏拉圖同亞里士多德設想邏輯嘅方法。現代嘅邏輯學家經常會希望確保對邏輯嘅研究侷限喺由適度一般化咗嘅推論入面所產生出黎嘅論證;所以例如《斯坦福哲學百科》入面會叫邏輯做「無論如何,都無辦法涵蓋住整個有效嘅推理,係理性理論嘅工作。更加明確咁講,邏輯處理一種推論,佢嘅有效性可以追溯至包含住推論表述嘅形式特徵,佢可以係語言嘅,心理嘅,或其他嘅表述。」(Hofweber 2004).
相對地,伊曼努爾·康德引入咗另外一種概念黎到解釋咩係邏輯。佢主張邏輯應該被設想做判斷嘅科學,這種諗法被戈特洛布·弗雷格接納,寫入佢嘅邏輯同哲學著作之中。其中,思維(德語:Gedanke)呢個詞取代咗康德嘅判斷(德語: Urteil)。喺此種觀點之下,有效嘅邏輯推論係遵循住判斷或者思維嘅結構特徵。
演繹推理關注由特定嘅前提下可以得出啲咩。而歸納推理(從觀察之中導出可靠廣義化嘅過程)有時亦都包含咗對邏輯嘅研究之中。相對應地,必須要區分出演繹有效性同歸納有效性。一個推論係演繹有效嘅若且唯若唔可能存在所有前提都真但係結論係假嘅狀況。演繹有效性嘅概念可以用語義學當中已經明確理解嘅概念喺形式邏輯嘅系統入面被嚴格咁陳述。另一方面,歸納有效性要求必須定義對某一觀察集合嘅「可靠廣義化」。呢個定義可以用各種唔同嘅方式黎到完成,有啲方式會比其他方式更少形式化;有啲定義亦都會用到機率嘅數學模型。大部份對邏輯嘅探討都淨係會處理演繹邏輯。
雖然好多文化都採用推理嘅複雜系統,但係作為將推理方法明確分析嘅邏輯學最初就淨係喺三個地方得到持續發展:前6世紀嘅印度,前5世紀嘅中國同埋前4世紀至到前1世紀之間嘅希臘。
現代邏輯嘅形式複雜處理明顥流傳自希臘嘅傳統,但係有人提出布爾邏輯嘅先驅可能識印度邏輯(Ganeri 2001)。希腊傳統本身黎自亞里士多德邏輯嘅傳播、伊斯蘭哲學家同中世纪邏輯學家對佢嘅評論。歐洲以外嘅傳統冇存活到現代時期:喺中國,對邏輯嘅學術研究傳統喺韓非嘅法家哲學後被秦朝壓制。喺伊斯蘭世界,阿修阿里學派嘅崛起壓制邏輯嘅原始工作。
但係喺印度,經院學派正理派嘅創新持續到18世紀早期。佢冇存活到殖民地時期。喺20世紀,西方哲學家例如Stanislaw Schayer同Klaus Glashoff探究咗印度傳統邏輯學嘅一部分。
中世紀時期,喺亞里士多德嘅想法顯示同信仰大量兼容之後,佢嘅邏輯被人更加強調。喺中世紀嘅後期,邏輯變咗哲學家嘅一個主要焦點,佢地想從事哲學論證嘅重要邏輯分析。