同一檢視原始碼討論檢視歷史
| 同一 |
 |
同一 是指矛盾的對立面相互之間不可分割的聯繫，是對立面之間相互聯結、相互吸引、相互滲透的傾向。 同一性是指兩種事物或多種事物能夠共同存在，具有同樣的性質。
生物信息學中，同一性是指兩序列在同一位點核苷酸或氨基酸殘基完全相同的序列比例。
基本信息
中文名稱 同一性 [1]
同一問題 邏輯中的"同一"問題是
指稱論 "涵義"與"指稱"這兩個概
晨星暮星 晨星與暮星是否同一，
相對詞條 鬥爭性
同一問題
邏輯中的"同一"問題是"同一性的可替換原理"能否成立的問題。洛克在《人類理解論》中引入了"同一"概念，他說:"我們如果把一種事物在某個時間和地點存在的情形，同其在另一種時間和地點時的情形加以比較，則我們便形成同一性(identity)和差異性(diversity)的觀念。我們如果看到任何事物在某地某時存在，則我們一定會相信(不論它是什麼)，它就是它，不是別的--雖然別的東西在同時在別的地方存在，而且在其他各方面都和它似。"[3]在這裡，洛克所強調的是一個事物與其自身同一，應當是不成問題的。萊布尼茲也思考了相同的論題，他解釋說，詞項是同一的或一致的，就是說它們能在隨便什麼地方，以一個代之以另一個而不改變任何命題的真值。A=B表示A和B是同一的。這樣，"同一"便成了指代同一對象的兩個詞項或名稱之間的關係。例如"三角形"與"三邊形"表示同一個東西,那麼這兩個名稱或表達式可以隨時互相替代。萊布尼茲的這一"同一東西的不可分辨性"思想後來被弗雷格引進到邏輯當中，成了現代邏輯十分重要的運算原理，即"同一性的可替換原理"。但是這一原理引入邏輯當中並沒有經過嚴格論證。正如涅爾所說:"同一理論被認為是邏輯的一部分，但是為什麼它被包含在邏輯當中，這並不十分清楚，敵對的批評家可以提出以下的異議:弗雷格並沒有給予我們對邏輯的一般的解釋。"當然弗雷格對此也不是毫無解釋，他的論文《論涵義和所指》[6]就是對"同一"問題所作的專題解釋。他在文中感嘆道:"'同一'(sameness)觀念令人深思。它提出了一些頗不易解答的問題。同一是一種關係嗎?是對象之間的關係呢，還是對象的名稱或指號之間的關係?"他選擇了後一種說法，並提出了"涵義與指稱"理論對"同一"問題作出了解答。但是，以邏輯中的同一理論來考察，現代邏輯屬於共時性形式邏輯，形式邏輯在運用它的概念時嚴格講究概念間的差異區分，求異而不求同，因此不存在運用概念的所謂"同一"關係;概念具有結構系統的觀點認識到，在形式邏輯的概念結構系統中不存在完全相同的概念;弗雷格的解答不能令人信服;"同一性的可替換原理"並不成立。
世界萬物"莫不相同"，它們有相同的本原，相互一致，相互依存，構成統一的整體;世界萬物又"莫不相異"，它們各有不同的內容和形式，各有不同的運動和變化，使世界異彩紛呈、斑斕多姿。同與異是對立面的統一，"合異以為同，散同以為異"。"同一論"既考察事物(系統)相同的一面，又考察事物(系統)不同的一面，"是描述、闡發事物(系統)同異關係的哲學理論"。[1]同異關係是事物中最基本的關係，也是人們認識事物，建立邏輯系統的最基本依據。人們認識事物既可以同中求異，也可以異中求同。同中求異，認識千差萬別的個體事物及其運動形式，形成千差萬別的個體概念及其感性概念;異中求同，尋求事物的類型，尋求事物的規律，尋求事物的本原，形成種類概念，形成科學規律，形成物質(或精神)的本體論。分析事物，劃分概念是同中求異;綜合事物，概括概念或規律是異中求同。由內涵索外延是同中求異，由外延索內涵是異中求同。對現實事物作共時性考察主要採取同中求異，對歷史事物作歷時性考察主要採取異中求同。形式邏輯對現實事物作共時性考察，可以稱為共時性邏輯，主要特徵是同中求異;辯證邏輯對歷史事物作歷時性考察，可以稱為歷時性邏輯，主要特徵是異中求同。共時性的形式邏輯確認事物或概念間的差異區分，"A是A，不是非A"，"同一律"、"矛盾律"、"排中律"起絕對作用;歷時性的辨證邏輯探尋事物或概念間的同一演變，"A是A，又是非A"，傳統邏輯的基本規律失去了效應。林耐的生物學物種系統以形式邏輯為基礎，它的物種區分十分明確;達爾文的生物學物種系統以辯證邏輯為基礎，認為生物的進化是連續的，不承認物種的存在。[2]以哲學的"同一論"來考察邏輯現象就可以看到，邏輯中也存在"同一"理論。
其他區別
指稱論
"涵義"與"指稱"這兩個概念毫無疑問是指稱論的產物。弗雷格的指稱論將客觀事物反映到人的思維中的意象、觀念或概念都斥之為"主觀性"、"私人性"的東西，並拒之於邏輯之外[7]。這樣，能夠與他的"指號"或"專名"相聯繫並成為解決"同一"問題的關鍵性概念便只有"涵義"與"指稱"。但是，弗雷格的這兩個概念恰恰是沒有說清楚的概念。
所謂"指稱"，弗雷格定義為"就是這個名稱所命名的對象本身。"以"對象本身"來解釋"指稱"，顯然也有含混性，它可以指思維中的對象本身，也可以指客觀世界的對象本身。既然弗雷格排斥思維中的對象，那就只能指客觀世界的對象。雖然，唯物主義哲學承認有一個客觀的物質世界，但是也承認這個物質世界只有通過人的感覺才能被認識，"不通過人的感覺，我們就不能知道實物的任何形式，也不能知道運動的任何形式"[8]。概念具有結構系統的觀點認為，客觀世界及其事物以其信息傳遞於人的感官和大腦反映為意象、觀念，並由此形成概念系統;意象、觀念或概念是客觀對象在思維中的信息形式。凡是被人們所稱道的對象都是對思維意識所顯現的對象。反過來人類只有通過思維中的這些信息形式的中介才能認識客觀對象;離開意象、觀念或概念等信息的中介，我們對客觀世界及其事物本身或本來面目就一無所知。所以，弗雷格排斥思維中的對象，要跳到客觀世界中去尋找"對象本身"，是無法做到的。他的"指稱"或"對象本身"，如果是人類已知的，則必定與人類思維中一定的意象、觀念或概念相聯繫;如果是人類未知的，也無法成為他的邏輯對象。
至於"涵義"，弗雷格"從來沒有說清楚名稱的涵義究竟是什麼"，也"沒有說清楚涵義的來源"。[9]在《論涵義和所指》論文中，他說:"任何一個懂得某種語言或全部名稱(designation)--專名只是其中的一部分--的人，都能領會一個專名的涵義。"他以"令a、b、c為三角形中連接角與對邊中點的直線，則a和b與b和c的交點為同一點"為例，來證明"'a和b的交點'與'b和c的交點'這兩個表達式的所指是同一的，而兩者的涵義卻不同"，並由此證明指號的涵義就是"被命名的對象被給出的方式"。"對象被給出的方式"雖然晦澀難懂，但大體上可以理解為對象的存在方式。如果這樣，則涵義就在對象本身之中，因而與對象本身無從區分。可是，弗雷格又說"涵義處於所指的對象和意象之間;它不再象意象那樣是主觀的，但它也不是對象本身。"他用了一個比喻來說明這種關係:"有一個人用望遠鏡觀察月亮，我們把月亮本身比作所指的對象(指稱)，它是通過它投射到望遠鏡內物鏡上的真實影象和觀察者視網膜上的影象而成為觀察對象的。我們把望遠鏡內物鏡上的影象比作涵義，而把視網膜上的影象比作表象(或心理學意義上的意象)。"弗雷格用這個比喻來說明涵義的存在及其客觀性，可謂煞費苦心。但是，這個比喻恰恰證明所謂的涵義根本無處託身。用望遠鏡觀察月亮，月亮的信息由於有望遠鏡的物鏡為媒介，才轉換成影象的;沒有這一片物鏡作媒介，就不可能存在影象。以此來考察弗雷格指號、涵義和對象的關係，就可發現，在指號和對象之間，除了弗雷格所不信任的人的大腦可作為媒介之外，沒有別的所謂"客觀性"的東西能夠作為涵義寄存的媒介，所以，這個既不是對象也不是意象的涵義是一個無所寄身的東西。弗雷格含糊地提到:"我們不能否認人類擁有代代相傳的共同思想寶庫"，他似乎暗示人類的"共同思想寶庫"是涵義的寄存之所。這就引出了另一個問題:涵義是由對象本身產生的，還是從人類思想寶庫借來的?如果是借來的，它的困難就在於怎麼能夠隨時借到一個確切的涵義來與對象、意象和指號構成四點一線的對應聯繫。人類的"共同思想寶庫"來源於人類個體的思想寶庫，雖然通過人類共同接受的語言符號記錄因而能夠"客觀"地存在，但是它必須通過個體的人腦譯解才能起作用。無論是它的起點，還是它的終點，都打上了人類主觀性的烙印，完全不符合弗雷格純客觀性的標準。它的位置也不是處在對象與意象之間，而是在人所獲得的感性意象之上建構起來的。因此，人類的"共同思想寶庫"也不能成為弗雷格涵義的藏身之地。這樣看來，弗雷格要在人的思維之外證明名稱的涵義的存在是難乎其難的。
人們用一定的名稱或指號去命名一定的對象，其實只能命名反映到思維中的對象，即命名思維中的概念。洛克指出，名稱是"觀念的標記"。[10]羅素在他的"親知"認識論中也表示:"一個名稱只能在一個詞(其意義是一個殊相)的狹窄的邏輯意義上應用於講話者親知的一個殊相，因為你不可能命名你沒有親知的任何事物。"[11]名稱作為語音或字形的符號，只能在思維中與作為客觀對象的意象、觀念或概念建立起"暫時聯繫"。離開思維的中介，名稱無法直接與客觀對象建立起聯繫。名稱只有與思維中的概念建立起穩定的對應聯繫才有意義;脫離了概念，名稱本身就沒有任何意義，更無法構成邏輯上的相互關係。邏輯上的同一關係顯然不是邏輯之外的客觀對象之間的關係，不是名稱與客觀對象之間的關係，更不可能是名稱之間的關係。它只能是與名稱相聯繫的概念之間的關係。晨星與暮星是否同一，不是說"晨星"與"暮星"這兩個名稱是否同一，而是說這兩個名稱所代表的概念是否同一。
晨星暮星
晨星與暮星是否同一，涉及到一個單獨概念的內部關係。歷來許多學者都把單獨概念看作不可分析的整體，或者認為"單獨概念不能限制與劃分"。這種觀點無法解釋金星與晨星、暮星，月亮與上弦月、下弦月，魯迅與青年魯迅、中年魯迅、老年魯迅等組概念內部之間的關係。討論單獨概念的問題又讓我們回到了洛克那個初始問題，即對於一個不斷運動變化着的單獨事物，人們何以能夠認識到"它就是它，不是別的東西"。概念具有結構系統的觀點認為，思維中的概念是客觀事物的信息的反映。一個單獨事物在任何一個時空點上反映到人腦中的意象或觀念都是信息的表現形式，也是我們所說的感性概念。它在這一時空點上所形成的感性概念與另一時空點上所形成的感性概念既包含了相同的信息，也包含不同的信息;人的思維通過比較，撇開其不同的信息，抽象出其相同的信息，並概括成單獨概念的。一個處於永恆流動中的單獨事物之所以能夠被認識為同一個事物並形成一個單獨概念，既取決於它本身包含的相同信息，也取決於人類認識舍異求同的概括作用。人類將晨星與暮星概括為金星的歷程就是有力的證明。因此，一個概括而成的單獨概念不是不可分析的整體，而是包含了全部感性概念並具有金字塔結構的複雜系統。在概念結構系統里，同異關係體現為概念間的層次關係，上層概念概括了下層概念的相同共性，下層對立的概念之間則表現為相異特性。這種關係在單獨概念和普遍概念的結構系統中都是一致的。以金星與晨星、暮星為例，所構成的就是這樣一個系統: