2016年11月13日 星期日

邏輯(英語:logic),又稱理則、論理、推理、推論

邏輯(英語:logic),又稱理則、論理、推理、推論,
是有效推論哲學研究。邏輯使用在大部份的智能活動中,
但主要在哲學數學語義學電腦科學等,
領域內被視為一門學科。
邏輯討論邏輯論證呈現的一般形式,
哪種形式是有效的,以及其中的謬論
哲學裡,邏輯被應用在大多數的主要領域之中:
在數學裡,邏輯是指研究某個形式語言的有效推論
辯證法中也會學習到邏輯。
一些古文明(如印度中國希臘)都有對邏輯進行研究。
在西方,亞里斯多德將邏輯建立成一門正式的學科,
並在哲學中給予它一個基本的位子。
邏輯通常可分為三個部份:
邏輯(英語:logic)的字根,
源起於希臘語邏各斯希臘語λόγος),
最初的意思有詞語思想概念論點推理之意。
後譯為(法語:logique),
最後發展為英文中的邏輯(英語:logic)。

1902年嚴復譯《穆勒名學》時,將其意譯為「名學」,
但這不合名家或者名教之名學中「名」的本意。
( 嚴復(1854年1月8日-1921年10月27日),乳名體乾,初名傳初,改名宗光,字又陵,
後名復,字幾道,晚號壄老人,福建侯官(後併入閩縣,稱為閩侯,今福州市)人。
中國近代啟蒙思想家翻譯家。嚴復系統地將西方的社會學政治學政治經濟學
哲學自然科學介紹到中國,他翻譯了《天演論》、《原富》、《群學肄言》、
群己權界論》、《社會通詮》、《法意》、《名學淺說》、《穆勒名學》等著作。
他的譯著在當時影響巨大,是中國20世紀最重要啟蒙譯著。
嚴復的翻譯考究、嚴謹,每個譯稱都經深思熟慮,
他提出的「信、達、雅」的翻譯標準對後世的翻譯工作產生深遠影響。 )

和製漢語採用漢字「論理」,意譯為「論理學」。
孫文於其文《治國方略·以作文為證》意譯為「理則」,
然則邏輯究為何物?當譯以何名而後妥?
作者於此,蓋欲有所商榷也。凡稍涉獵乎邏輯者,
 莫不知此為諸學諸事之規則,為思想行為之門徑也。
人類由之而不知其道者眾矣,而中國則至今尚未有其名。
吾以為當譯之為「理則」者也。夫斯學至今尚未大為發明,
故專治此學者,所持之說,亦莫衷一是。
而此外學者之對於理則之學,則大都如陶淵明之讀書,
不求甚解而已。惟人類之稟賦,其方寸自具有理則之感覺,
故能文之士,研精構思,而作成不朽之文章,
則無不暗合於理則者;而叩其造詣之道,
則彼亦不自知其何由也。


當代中文一般採取音譯方式,將其譯為~邏輯。
邏輯本身是指是推論和證明的思想過程,而邏輯學~
是研究「有效推論和證明的原則標準」的一門學科。
作為一個形式科學,邏輯透過對推論形式系統,
自然語言中的論證等,來研究並分類命題與論證的結構。

邏輯的範圍非常廣闊,對謬論悖論的研究之類的核心議題,到利用機率來推論,及包含因果論的論證等專業的推理分析。邏輯在今日,亦常被使用在論辯理論之中。
傳統上,邏輯被作為哲學的一個分支來研究,
文法修辭一同被稱為古典三學科。

自十九世紀中葉,「形式邏輯」已被作為數學基礎而被研究,當中經常被稱之為符號邏輯
寫成了《Principia Mathematica》,試圖將邏輯形式地,
建立成數學的基石。不過,除了些基本的以外,
當時的系統已不再被使用,大部份都被集合論所取代掉了。
當對形式邏輯的研究漸漸地擴張了之後,
研究也不再只局限於基礎的議題,之後的各個數學領域,
被合稱為數理邏輯。形式邏輯的發展和其在電腦上的應用,
電腦科學的基礎。
邏輯(英語:logic)的字根源起於希臘語邏各斯
希臘語λόγος),最初的意思有詞語思想概念
論點推理之意。後譯為(法語:logique),
最後發展為英文中的邏輯(英語:logic)。

1902年嚴復譯《穆勒名學》時,將其意譯為「名學」,
但這不合名家或者名教之名學中「名」的本意。
和製漢語採用漢字「論理」,意譯為「論理學」。
孫文於其文《治國方略·以作文為證》意譯為「理則」,
然則邏輯究為何物?當譯以何名而後妥?作者於此,
蓋欲有所商榷也。凡稍涉獵乎邏輯者,莫不知此,
為諸學諸事之規則,為思想行為之門徑也。
人類由之而不知其道者眾矣,而中國則至今尚未有其名。
吾以為當譯之為「理則」者也。
夫斯學至今尚未大為發明,
故專治此學者,所持之說,亦莫衷一是。
而此外學者之對於理則之學,則大都如陶淵明之讀書,
不求甚解而已。惟人類之稟賦,其方寸自具有理則之感覺,
故能文之士,研精構思,而作成不朽之文章,
則無不暗合於理則者;而叩其造詣之道,
則彼亦不自知其何由也。
當代中文一般採取音譯方式,將其譯為邏輯。
邏輯本身是指是推論和證明的思想過程,
邏輯學是研究「有效推論和證明的原則標準」的一門學科。
作為一個形式科學,邏輯透過對推論形式系統,
自然語言中的論證等,來研究並分類命題與論證的結構。
邏輯的範圍是非常廣闊的,對謬論悖論的研究之類的核心,到利用機率來推論,及包含因果論的論證等專業的推理分析。邏輯在今日亦常被使用在論辯理論之中。
傳統上,邏輯被作為哲學的一個分支來研究,
文法修辭一同被稱為古典三學科。

自十九世紀中葉,「形式邏輯」已被作為數學基礎而被研究,
當中經常被稱之為符號邏輯
寫成了《Principia Mathematica》,
試圖將邏輯形式地建立成數學的基石。
不過,除了些基本的以外,當時的系統已不再被使用,
大部份都被集合論所取代掉了。當對形式邏輯的研究,
漸漸地擴張了之後,研究也不再只侷限於基礎的議題,
之後的各個數學領域被合稱為數理邏輯
形式邏輯的發展和其在電腦上的應用,是電腦科學的基礎。

形式是邏輯的核心,但在「形式邏輯」中對「形式」
使用時常不很明確,因而使其闡述變得很費解。
其中,符號邏輯僅為形式邏輯的一種類型,
而和形式邏輯的另一種類型-只處理直言命題三段論不同。
  • 形式邏輯是研究純形式內容的推論的一門學科,這種內容是很明確的。若一個推論可以被表達成一個完全抽象的規則(即不只是和任一特定事物或性質有關的規則)的一個特定應用,則這個推論擁有純形式內容。形式邏輯的規則由亞里斯多德最先寫成。在許多邏輯的定義中,邏輯推論與帶有純形式內容的推論會是同一種概念。但這不表示非形式邏輯的概念是空洞的,因為沒有任何一種形式語言可以捕捉到自然語言語義間所有的微細差別。
「形式邏輯」通常作為符號邏輯的同義詞,而非形式邏輯,
則是被理解為不包含符號抽象化的任何一種邏輯推論;
這是由「形式語言」和「形式理論」中類推而來的用法。
但廣義地來說,形式邏輯是古老的,可追溯至兩千年以前,
而符號邏輯則相對較新,只有一個世紀左右的歷史而已。

邏輯學基本原理

同一律(the law of identity)
事物跟其自身相等同,「自己」不能「不是自己」。
無矛盾律(the law of non-contradiction)
事物不能同時「是」跟「不是」。是就是,不是就不是。
排中律(the law of excluded middle)
事物只能有「是」或「不是」兩種狀態,
不存在其他中間狀態。
充足理由律(the law of sufficient reason)
任何事物都有其存在的充足理由。

邏輯系統的性質邏輯系統可具有下列性質:

有效性(validity)
依系統的推理規則,若所有前提皆為,
則結論必為真(保真)。
所有命題前提皆
語義蘊涵(semantically implies)結論。
自洽性(consistency)
系統中任一定理都不與其他定理相矛盾
不存在命題P,P和P皆可在系統中證明
可靠性(soundness)
系統中所有定理(有效且可證明的命題)皆為真。
可靠性與完備性互為逆命題
完備性(completeness)
系統中不存在無法證明或證否的有效命題。
系統中真命題皆可證明
(真命題皆為定理)且假命題皆可證否。
一些邏輯系統不擁有上述所有性質,
比如庫爾特·哥德爾哥德爾不完備定理證明了,
沒有任何一個蘊涵皮亞諾公理算術形式系統,
可以同時滿足相容性和完備性。
同時他的針對沒有通過特定公理,
擴展為帶有等式的算術形式系統的一階,謂詞邏輯的定理
證實了它們可以同時滿足相容性和完備性。

對於邏輯的不同理解

邏輯產生於對論證正確性的關注。

邏輯是對論證的研究,這個概念在歷史上是很基本的,

也是不同邏輯傳統的創立者,

柏拉圖亞里斯多德所設想的。

現代的邏輯學家,通常會希望確保對邏輯的研究,
只局限於由適度一般推論中所產生出來的論證;
所以如《斯坦福哲學百科》所稱,
「邏輯……沒有涵蓋有效推理的整個課題,
那是理性理論的工作。更明確地說,邏輯處理一種推論,
其有效性可追溯至推論中的表述的形式特徵,
這可以是語言的,心理的,或其他的表述。」
(Hofweber 2004).
相對地,伊曼努爾·康德,引入了另一種概念來闡述邏輯。
他主張邏輯應當被設想為判斷的科學,
這種想法被戈特洛布·弗雷格採納,
寫入他的邏輯與哲學著作之中,
其中,思維(德語Gedanke)這一詞取代了
康德的判斷(德語Urteil)。
在此觀點下,有效的邏輯推論,
是源於判斷或思維的結構特徵。

演繹和歸納

演繹推理關注於從給定的前提下,有什麼是可得出的。

歸納推理(從觀察中推論出可靠廣義化的過程)

有時也被包含在對邏輯的研究中。

相對應地,必須要區分出演繹有效性和歸納有效性

一個推論是演繹有效的,若且唯若不可能存在所有前提,

皆為真但結論為假的狀況。對於形式邏輯的系統,

演繹有效性的概念可以用語義學中,已明確理解的概念,

嚴格地陳述出來。另一方面,歸納的有效性則要求,

必須定義對某一觀察集合的「可靠廣義化」。

此定義可以用各種不同的方式來達成,

有的方式會比其他的方式不那麼形式化;

有些定義也許會用到機率的數學模型

許多文化都採用複雜的推理系統,
最初僅有三個地方把邏輯學,作為對推理方法的明確分析,
並且有持續的發展,那就是前6世紀印度
現代邏輯的形式複雜處理明顯源自希臘傳統,
但是有人提出布爾邏輯的先驅,
可能知道印度邏輯(Ganeri 2001)。
希臘傳統自身來自亞里士多德邏輯的傳播,
歐洲以外的傳統沒有存活到現代時期:
在中國,對邏輯的學術研究傳統在韓非的法家哲學之後,
就被秦朝壓制;
在伊斯蘭世界,艾什爾里派(Ash'ari)的崛起,
壓制了邏輯的原始工作。
但是在印度,經院學派正理派的創新持續到18世紀早期。
它沒有存活到殖民地時期。在20世紀,西方哲學家如Stanislaw Schayer和Klaus Glashoff
探究了印度傳統邏輯學的某些方面。
中世紀時期,在亞里士多德的想法顯示與信仰大量兼容之後,他的邏輯被給予更大強調。
在中世紀的後期,邏輯成為一部分哲學家的關注焦點,
他們專注於對哲學論證的邏輯分析。

12 則留言:

  1. 邏輯(英語:logic),又稱理則、論理、推理、推論

    回覆刪除
  2. 暈~~~~,
    原來邏輯都有甘多邏輯,
    就是光看文字, 也夠傷腦筋。
    如果再深入了解, 肯定諗到我傻。

    回覆刪除
    回覆
    1. 諸邏輯者~大自然規律
      道可道
      非常道
      名可名
      非常名

      刪除
  3. 大夫,
    西方學問加中樂背景,
    看來有點格格不入。

    回覆刪除
    回覆
    1. 眼~色~看
      耳~聲~聴
      鼻~香~嗅
      舌~味~嚐
      身~觸~
      意~法~思.....logic

      無眼耳鼻舌身意
      無色聲香味觸法
      本能無分中西


      刪除
    2. 大夫,
      衣食住行,
      民族個性,
      中西有別啊﹗

      不過,極權無分界別,
      都是一籃子貨式。

      刪除
  4. ♦・゚✬好友★。゚☾晚安☁¨☆・。。゚🌛
       ╭───────╮
       │瞓覺豬呢💤│
       ╰───────╯
    ╭───────╮
    │甜夢安睡💤│
    ╰───────╯
      O
       o
     .∧_∧・。。゚💤
     ( ・ω・ )
     |⊃/(___
    /└-(____/
     ̄ ̄ ̄ ̄ ̄ ̄
    💞大家💛⊹¨*💜週末💚╠╣aΡpy💙。゚💕

    回覆刪除
    回覆
    1. ⛅好友♦・゚☼我的早晨&你的午安好☁*`☀
      っˆヮˆ)っ・゚。💟¸¸。゚💖
      ╔═════╗  .•*¨`*•💛
      ║░═══░║¸.•*¨`*•💗
      ╚═════╝╔═╩═╗•*¨`*•💙
      ░══╬══░⊹╬╬⊹💝
      ░░░║░░░⊹╚╬═⊹。゚💕
      💞齊齊💜享受💚╠╣aΡpy週末💘

      刪除