逻辑

邏輯英语:logic),又稱理則論理推理推論,是有效推論哲學研究。[1]邏輯被使用在大部份的智能活動中,但主要在哲學心理学习推论统计学脑科学數學語義學法律電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論

邏輯通常可分為三個部份:歸納推理溯因推理演繹推理

哲學裡,邏輯被應用在大多數的主要領域之中:形上學/宇宙論本體論知識論倫理學

數學裡,邏輯是指形式逻辑和数理邏輯,形式逻辑是研究某個形式語言的有效推論[2]。主要是演繹推理。 在辯證法中也會學習到邏輯[3]。数理邏輯是研究抽象邏輯关系和数学基本的问题。

心理脑科学語義學法律裡,是研究人类思想推理的处理。

学习推论统计学裡,是研究最大可能的结论。主要是歸納推理溯因推理

電腦科學裡, 是研究各种方法的性质,可能性,和实现在机器上。主要是歸納推理溯因推理,也有在歸納推理的研究。

古文明开始(如印度[4]中國[5]希臘)都有對邏輯進行研究。在西方,亞里斯多德將邏輯建立成一門正式的學科,並在哲學中給予它一個基本的位置。

概論

邏輯(英语:logic)的字根源起於希臘語邏各斯(希腊语:λόγος),最初的意思有詞語思想概念推理、論點之意。後譯為(法语:logique),最後發展為英文中的邏輯(英语:logic)。

1902年嚴復譯《穆勒名學》時,將其意譯為「名學」,但這不合名家或者名教之名學中「名」的本意。和製漢語採用漢字「論理」,意譯為「論理學」。孫文於其文《治國方略·以作文為證》意譯為「理則」,

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

當代中文一般採取音譯方式,將其譯為邏輯。

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

逻辑的范围是非常广阔的,從對謬論悖論的研究之類的核心議題,到利用機率來推論及包含因果論的論證等專業的推理分析。邏輯在今日亦常被使用在論辯理論之中。[6]

传统上,逻辑被作为哲学的一个分支来研究,和文法修辭一同被稱為古典三學科。自十九世紀中葉,「形式邏輯」已被作為數學基礎而被研究,當中經常被稱之為符號邏輯。1903年,阿弗烈·諾夫·懷海德伯特蘭·羅素寫成了《Principia Mathematica》,試圖將邏輯形式地建立成數學的基石。[7]不過,除了些基本的以外,當時的系統已不再被使用,大部份都被集合論所取代掉了。當對形式邏輯的研究漸漸地擴張了之後,研究也不再只侷限於基礎的議題,之後的各個數學領域被合稱為數理邏輯。形式邏輯的發展和其在電腦上的應用是電腦科學的基礎。