Can you summarize the following document?
        
  邏輯(英語:logic)的字根源起於希臘語邏各斯(),最初的意思有詞語、思想、概念、推理、論點之意。後譯為(),最後發展為英文中的邏輯(英語:logic)。  1902年嚴復譯《穆勒名學》時,將其意譯為「名學」,但這不合名家或者名教之名學中「名」的本意。和制漢語採用漢字「論理」,意譯為「論理學」。孫文於其文《治國方略·以作文為證》意譯為「理則」,當代中文一般採取音譯方式,將其譯為邏輯。  邏輯本身是指是推論和證明的思想過程,而邏輯學是研究「有效推論和證明的原則與標準」的一門學科。作為一個形式科學,邏輯透過對推論的形式系統與自然語言中的論證等來研究並分類命題與論證的結構。  邏輯的範圍是非常廣闊的,從對謬論與悖論的研究之類的核心議題,到利用機率來推論及包含因果論的論證等專業的推理分析。邏輯在今日亦常被使用在論辯理論之中。  傳統上,邏輯被作為哲學的一個分支來研究,和文法與修辭一同被稱為古典三學科。自十九世紀中葉,「形式邏輯」已被作為數學基礎而被研究,當中經常被稱之為符號邏輯。1903年,阿弗烈·諾夫·懷海德與伯特蘭·羅素寫成了《Principia Mathematica》,試圖將邏輯形式地建立成數學的基石。不過,除了些基本的以外,當時的系統已不再被使用,大部分都被集合論所取代掉了。當對形式邏輯的研究漸漸地擴張了之後,研究也不再只侷限於基礎的議題,之後的各個數學領域被合稱為數理邏輯。形式邏輯的發展和其在電腦上的應用是電腦科學的基礎。戈特弗裡德·萊布尼茨、喬治·布林、戈特洛布·弗雷格、 大衛·希爾伯特、庫爾特·哥德爾,等等,都在這個過程中非常重要。

  形式是邏輯的核心,但在「形式邏輯」中對「形式」使用時常不很明確,因而使其闡述變得很費解。其中,符號邏輯僅為形式邏輯的一種型別,而和形式邏輯的另一種型別-只處理直言命題的三段論不同。  「形式邏輯」通常作為符號邏輯的同義詞,而非形式邏輯則是被理解為不包含符號抽象化的任何一種邏輯推論;這是由「形式語言」和「形式理論」中類推而來的用法。但廣義地來說,形式邏輯是古老的,可追溯至兩千年以前,而符號邏輯則相對較新,只有一個世紀左右的歷史而已。

  邏輯系統可具有下列性質:  一些邏輯系統不擁有上述所有性質,比如庫爾特·哥德爾的哥德爾不完備定理證明了,沒有任何一個蘊涵皮亞諾公理的算術形式系統可以同時滿足自洽性和完備性。同時他的針對沒有通過特定公理擴充套件為帶有等式的算術形式系統的一階謂詞邏輯的定理,證實了它們可以同時滿足自洽性和完備性。

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

  演繹推理關注於從給定的前提下有什麼是可得出的。而歸納推理(從觀察中推論出可靠廣義化的過程)有時也被包含在對邏輯的研究中。相對應地,必須要區分出演繹有效性和歸納有效性。一個推論是演繹有效的,當且僅當不可能存在所有前提皆為真但結論為假的狀況。對於形式邏輯的系統,演繹有效性的概念可以用語義學中已明確理解的概念嚴格地陳述出來。另一方面,歸納的有效性則要求必須定義對某一觀察集合的「可靠廣義化」。此定義可以用各種不同的方式來達成,有的方式會比其他的方式不那麼形式化;有些定義也許會用到機率的數學模型。

  許多文化都採用複雜的推理系統,最初僅有三個地方把邏輯學作為對推理方法的明確分析,並且有持續的發展,那就是前6世紀的印度、前5世紀的中國和前4世紀與前1世紀間的希臘。  現代邏輯的形式複雜處理明顯源自希臘傳統,但是有人提出布林邏輯的先驅可能知道印度邏輯(Ganeri 2001)。希臘傳統自身來自亞里士多德邏輯的傳播,伊斯蘭哲學家和中世紀邏輯學家對它的評論。歐洲以外的傳統沒有存活到現代時期:在中國,對邏輯的學術研究傳統在韓非的法家哲學之後就被秦朝壓制;在伊斯蘭世界,艾什爾裡派(Ash'ari)的崛起壓制了邏輯的原始工作。  但是在印度,經院學派正理派的創新持續到18世紀早期。它沒有存活到殖民地時期。在20世紀,西方哲學家如Stanislaw Schayer和Klaus Glashoff探究了印度傳統邏輯學的某些方面。  中世紀時期,在亞里士多德的想法顯示與信仰大量相容之後,他的邏輯被給予更大強調。在中世紀的後期,邏輯成為一部分哲學家的關注焦點,他們專注於對哲學論證的邏輯分析。
邏輯(;;;英語:logic;義大利語、西班牙語、葡萄牙語: logica),又稱理則、論理、推理、推論,是對有效推論的哲學研究。邏輯被使用在大部分的智慧活動中,但主要在心理、學習、哲學、語義學、數學、推論統計學、腦科學、法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論。