匡夫
（亞里士多德）
“廣義邏輯”，現在不是一個國內外學者有了共識的概念。所謂“狹義邏輯”，其實就是邏輯學，這在世界上的認識是一致的——其研究對象，是思維的規律。有人說，“廣義邏輯”不僅研究思維規律，還研究客觀規律。請恕冒昧，是不是有點兒神乎其神了，世界上能有這樣的邏輯學麼？這種學問還能稱為邏輯學麼？讓人搞不懂，所以討論也沒有什麼意義——大氣環流的客觀規律，和同一律有什麼關係呢？太扯了。
既然沒有達成共識，或者說被廣泛認可的“廣義邏輯”，也就不可能有“廣義邏輯同一律”。在邏輯學中，也只古典邏輯（或稱標準邏輯）有“同一律”；現代邏輯早已超越了研究“同一律”的階段。
古典邏輯學中的“同一律”。
很有意思，在學界，一般把黑格爾1831年去世，作為分界點——這之後的是現代邏輯，之前的全都算古典邏輯。
古典邏輯，都屬形式邏輯，包括萊布尼茲和穆勒的邏輯理論，其最早是由古希臘的亞里士多德創立的。
亞里士多德的形式邏輯，後人認為是“命題邏輯”，研究思維和語言中的命題和判斷。他概括了若干邏輯規律，如“不矛盾律”、“排中律”、“同一律”等。
1，現在說到的“同一律”，是包括後人的研究成果在內的，因而更為周延和準確。其主要內容是——
在同一思維過程中，每一思想必須與其自身保持同一。也就是說，任一個概念、判斷，都必須是確定的，是什麼就是什麼；一個判斷是真的就是真的，是假的就是假的。
同一律的公式是：A是A，或A→A。
A表示任何一個概念、判斷。“A是A”或“A→A”，表示同一思維過程中每一概念和判斷必須與其自身保持同一性。
2，概括起來，同一律有以下兩點要求:第一，在同一思維過程中所使用的概念有確定的內容，即有確定的內涵和外延。如果概念保持了確定性，那麼運用概念進行判斷和推理，也就可以保證確定性；反之，如果概念不確定，既可以指這個，又可以指那個，同一個概念在前面指一種含義，到後面又指另一種意思，那就會出現思想和表達混亂。
第二，在思考問題和表達時，要有確定的思考和表達對象，要始終圍繞這個中心，有確定的範圍。所謂思考和表達對象，可以是任何客觀事物、事物的性質和關係，也可以是非客觀事物，如“上帝”、“靈魂”、“地獄”、“天堂”、“神仙”、“魔鬼”等等，只要可以用來思考和表達。在對問題的思考或討論的過程中，不能轉移中心，或以其他的問題來置換。
3，違反同一律的邏輯錯誤是——
第一，混淆概念和偷換概念。
混淆概念，是無意地違反了同一律而犯的邏輯錯誤。例如，學駕照要考交規，有人說：“教條主義明明是錯的，為什麼還要死記硬背地考交規呢？”這就是把“教條主義”和“記牢交規”的概念混淆了。
偷換概念，則是有意違反同一律的邏輯錯誤。亞里士多德舉過一個偷換概念的例子。他說，一個詭辯論者對他的朋友說：“你沒有失掉的東西，那麼你就有這件東西，對嗎？”他的朋友說：“對”。這個詭辯論者接著說：“你沒有失掉頭上的角吧？那麼你的頭上就有角了。”人的頭上有角顯然是荒謬的。可是這個荒謬的結論，卻象是從對方承認的道理中推導出來的。在這裡，“沒有失掉的東西”，應該指“原來具有現在還沒有失掉的東西”，不能指“從來沒有的東西”；既然從來沒有，當然就談不上是否失掉了。問題出在詭辯論者偷換了概念。
第二，轉移論題和偷換論題。
轉移論題，一般是指無意地違反同一律的邏輯錯誤。 俗話說，“人家說前門樓子，你說大馬猴子”，即所謂文不對題。
偷換論題，則指有意違反同一律的邏輯錯誤。前不久高鐵上那個“霸座男”，列車員讓他回到自己的座位上去，他回答說他買的是有座位的車票。這是把“按號就坐”的論題，偷換為“買了有座位的票就可以隨便坐”了，是一種惡意故意。
同一律還有一些要求，比如，概念不是一程不變的，會隨著事物的發展而發展，等等，不多贅述。
（羅素）
比古典邏輯更廣的“廣義邏輯學”。
國內外，對“廣義邏輯”沒有共識，但對“廣義邏輯學”是看法基本一致的。所謂“廣義邏輯學”，是指包括古典邏輯學和現代邏輯學在內的所有邏輯學理論。
自黑格爾去世以後，邏輯學又有了長足的發展，此後都稱為現代邏輯，
1，現代階段的形式邏輯有了很大發展，表現在三個方面——
一是形式化的演算方法。演算規則僅僅涉及符號的形狀，而不涉及符號的含義。儘管古典邏輯也曾部分地使用過形式化的方法，但只有現代形式邏輯才將這種方法確立為邏輯方法的一般原則。
二是不同於以前，邏輯定理借普通語言的抽象而得；現代符號邏輯正相反，它首先構設純粹的形式體系，之後再尋求日常語言的合宜解釋。這樣的構設原則至少自布爾開始即被自覺地運用，井適於整個現代邏輯領域。
三是現代形式邏輯的規律以人工語言形成， 並由相似於數學符號的符號組成。尤其是作為這一新特點的體現，甚至對常項也以人工符號表述。
現代形式邏輯的代表人物有：哈密爾頓、德摩根、布爾、傑芳斯、文恩、漢廷頓、施羅德、皮爾斯、弗雷格、皮亞諾、懷特海、羅素等。其中以布爾邏輯代數和羅素《數學原理》貢獻為最大。
2，19世紀中期以後，圍繞數理邏輯基礎和元數學的發展，逐步形成了邏輯學的“三大學派”——以羅素為代表的邏輯主義派，以布勞維爾為代表的直覺主義派，以希爾伯特為代表的形式主義派。
邏輯主義派主張邏輯與數學是同一的， 在兩者之間不能劃出一條界限。他們認為，整個數學是建立在邏輯的基礎上。
直覺主義邏輯就是他們在構造數學時所用的邏輯方法。具體地說，他們依循數學的直觀進行推理，而在回溯推理的過程中，就可以發現邏輯的法則。
形式主義派以德國的著名數學家和邏輯學家希爾伯特為主要代表人物。他認為邏輯不是數學的基礎，應該同時建立邏輯和算術系統，而構設這些演繹系統必須採用公理化的方法。
3，哥德爾、維特根斯坦、華沙學派和奎因等人的貢獻。
德國著名數學家和邏輯學家哥德爾，提出邏輯的不完全性定理。奧地利的維特根斯坦提出了邏輯原子主義。華沙學派的塔爾斯基和卡爾納普則側重於邏輯的語法理論。美國的奎因強調邏輯科學的性質和邏輯不是一成不變的。
（維特根斯坦）
4，現代邏輯學的分支大致如下——
第一，基本邏輯
標準邏輯（古典的邏輯）
（1）命題邏輯；（2）量詞邏輯：A、謂詞邏輯、B、關係邏輯；（3）關係邏輯；（4）數學邏輯：A、模型論、B、集合論、C、遞歸論、D、證明論；
非標準邏輯（非古典的邏輯）
（1）多值邏輯；（2）模態邏輯；（3）模糊邏輯；（4）直覺主義邏輯；（5）相關(相干)邏輯。
第二，元邏輯
（1）邏輯語法學；（2）邏輯語義學；（3）邏輯語用學。
第三，應用邏輯
（1）認識邏輯；（2）問題邏輯；（3）規範邏輯；（4）時態邏輯；（5）義務邏輯；（6）量子論邏輯；（7）電路分析邏輯。
囉嗦了這麼多，是想說，邏輯學是極嚴謹精細的科學。不是說創立就創立了的，尤其別被打著科學之名的騙子騙了。
一老沈一
理解廣義邏輯同一律，要先懂邏輯及狹義的邏輯同一律。
邏輯是經實踐再實踐，思考再思考嚴密推理後的結果，即道理。哲學是道之魂，科學是道之體，兩者合則成道成理，分則道魂道體，互根一體，即一分為二的道可道，非常道的道體與道魂和合二為一的大道理！
具體到政治來說，階級鬥爭是改朝換代的動力，爭權奪利是宮庭政變的工具。改朝換代的動力是推動社會發展進步的利器，而政變的工具是社會倒退，使黨體由病變癌或黨魂由生變亡的加速器！簡單的說是
公勝利社會向好處發展，私勝利社會向壞處發展。
三間生
我是這樣理解"狹義"與"廣義"的概念的。先舉個例:我們傳統認為的"近親婚配\
資料完善度低
在邏輯方面，同一律是指，在整個邏輯體系中，在使用邏輯時，對於同一件事情，整個邏輯系統一律是相同的，比如，在邏輯體系中，某個地方已經說了張三是男人，整個邏輯系統說到張三時，就不再允許其它地方出現說張三是女人這種事情發生，同一律指的就是這類要求。簡單地說就是，邏輯推理模式是整體思考模式，邏輯推理要求前後要連貫，同一律就是邏輯連慣最基本的要求。還有就是，在思想方面，哲學思想認為，所有事情都是可以使用邏輯證明的，科學思想認為，不是什麼事情都可以使用邏輯證明的，凡涉及到公理的事情，正確的方法是使用實踐公認，這些地方只要使用邏輯證明，就被判定邏輯錯誤，而哲學在這些地方只承認邏輯證明的，那怕出現實踐公認與邏輯證明發生衝穾，也堅持邏輯證明是正確的，所以，哲學與科學，到了關鍵時刻，就會發生雞和鴨一樣，根本談不到一塊的事情，這是兩種不同的思想決定的。
龍一歐
你應該知道太極圖吧！太極圖就包含了矛盾的對立、統一、和同一的三個定性！太極的陰陽表示了矛盾的對立性;陰陽的對立離不開對方的存在，這是陰陽或矛盾的統一性;在陰裡面有一陽點，在陽裡面有個陰點，這是矛盾的同一性;也就是說矛中有盾，盾中有矛。我只悟到這些，但願你能比我悟得更深，更透！
尋真理91
廣義邏輯同一性就是指思維的內涵和外延不矛盾，不排斥，外延相融性，內涵確定性。而與之相對的是，狹義邏輯矛盾性，指思維的內涵和外延不同一，不相融，外延相似，內涵不同，但不是對立性，絕對性。兩者有關係，是矛盾性，外延不同，內涵確定性。確定外延與內涵的關係，是實現廣狹邏輯異同性的關鍵方式，所有邏輯性都如此。換句話說，廣義邏輯同一性是思維的起點和歸宿，是思維科學的最終真理，類似邏輯學的不矛盾性，宗教中思維的歸零現象(禪定，涅槃，寂滅，入靜)。思辯哲學的歸宿，詭辯論的墳墓。唯物與唯心的暖房。
豐豐224616993
導遊：看哪！這是拿破崙的頭骨！獨一無二的拿破崙的頭骨！
小孩：老師說拿破崙很聰明頭很大！
導遊：對！拿破崙的頭很大。這是拿破崙小時候的頭骨！
大家：哦！（都睜大了眼睛看）
百變金剛24
萬變不離其宗，大意所有趨勢都是必然的結果，只有小部分的歸宗成一，估計就是這句話的解釋了吧。
無名氏大同
我只能粗淺地理解為:遵循普通的道理而釋解或概括廣泛的世界了。
紅塵看客28袁緒球
單一事物的眾多面相其本質只能被論證為相同的一個結果，而不可以是別的！
