什麼是邏輯?

邏輯是什麼 邏輯是純形式的推演。 1.所有人都有四隻腳， 2.你是人， 3.所以你有四隻腳。 以上三句的推論合乎邏輯形式，但事實卻是錯的。邏輯是關於推論的過程是否成立，邏輯不能增進你的經驗知識。

這樣就是充分的定義嗎? "邏輯是純形式的推演。 邏輯是關於推論的過程是否成立。 邏輯不能增進我們的經驗知識。"

邏輯是...... 要準確無訛地回答“邏輯是什麼”這個問題似乎並不容易，正如 Bochenski指出除了哲學外沒有一個知識分支像邏輯那樣被賦予了如此眾多的定義。不過這並不表示此問題不可討論，本人就試以比較“正統”的理解，並撇除各種哲學的纏訟 (如實在論和反實在論邏輯觀的論爭)簡介一下邏輯家究竟搞些什麼。 一般而言，邏輯是探討推理(inference)或論証(argument)的學科。粗鬆地說，論証就是一組具有某些關係的述句(statement) [在此無需探究它和“語句”(sentence)或“命題”(proposition)等字眼於語言哲學等場合的分別，以免節外生枝]，它們分別是前提(premise)和結論(conclusion)。推理就是從前提推導結論的過程，可以大概分為演繹推理(deductive inference)和歸納推理(inductive inference)兩大類。又由於邏輯關心的只是論証或述句的形式而不是它們的實際內容，所以有時候我們會以形式邏輯(formal logic)這名稱來稱呼邏輯。從Aristotle正式確立邏輯這學科至今，邏輯的研究都是以演繹推理為主，即是保證若前提真確結論都必然真確的確當(valid)推理，故此邏輯很多時候專指演繹邏輯。 自十九世紀下半葉以來，邏輯的研究引入不少數學的方法，並獲得了重大的進展。由於現代的邏輯大量使用形式語言及數學方法，故此有時又叫符號邏輯(symbolic logic)或數理邏輯(mathematical logic)。 〔註：數理邏輯有時專指數學當中和邏輯有密切關係的範域，它們包括諸如模型論(model theory)和証明論(proof theory)等部門。〕 現代邏輯至為成熟的部分是一階邏輯(first order logic)，它可再分為命題邏輯(propositional logic)和一階謂詞邏輯(first order predicate logic)。〔有時叫一階量化邏輯或狹謂詞邏輯〕 [註：此區分並非表示二者地位對等。] 當然現代邏輯已經演變成一個十分龐大的學科，一階邏輯只是現代邏輯的一個 部分。然而，它的重要性是無可置疑的。

又醒又勁!!! 成日用"邏輯"二字,終於知道個解釋