複製鏈接
請複製以下鏈接發送給好友

類型論

鎖定
在最廣泛的層面上,類型論是關注把實體分類到叫做類型的蒐集中的數學和邏輯分支。在這種意義上,它與類型的形而上學概念有關。現代類型論在部分上是響應羅素悖論而發明的,並在伯特蘭·羅素和阿弗烈·諾夫·懷海德的《數學原理》中起到重要作用。
計算機科學分支中的編程語言理論中,類型論提供了設計分析和研究類型系統的形式基礎。實際上,很多計算機科學家使用術語“類型論”來稱呼對編程語言的類型語言的形式研究,儘管有些人把它限制於對更加抽象的形式化如有類型lambda演算的研究。
另外在社會學心理學上也有相關應用。
中文名
類型論
外文名
type theory
所屬學科
數理邏輯計算機邏輯
相關人物
威特金弗洛姆,羅素
應用學科
社會學,心理學
相關概念
羅素公理體系直覺類型論
類    型
社會學術語

類型論簡單的類型論

下面的系統是Mendelson的(1997: 289-93)ST。量化的域被劃分成上升的類型層次,帶有所有的個體都被指派了一個類型。量化的變量確立範圍只在一個類型上;所以底層邏輯是一階邏輯ST是"簡單的"(相對於《數學原理》中的類型論)主要是因為任何關係陪域的所有成員都必須是同一個類型的。
有一個最低的類型,它的個體沒有成員並且是次最低類型的成員。最低類型的個體對應於特定集合論中的基本元素(urelement)。每個類型都有一個更高的類型,類似於在皮亞諾算術後繼者ST對是否有極大類型保持沉默,形成超限數個類型沒有困難。這些因素,和迴應於皮亞諾公理,使它方便和習慣於指派自然數到每個類型,開始於0給最低類型。這個類型論不要求自然數的先決定義。
ST的特有符號是加右上角標的變量和中綴。在任何給定的公式中,無角標的變量都有相同的類型,而有角標的變量()取值於更高的類型上。ST的原子公式與兩種形式,(同一性)和。中綴符號暗示了預想的釋義集合成員關係。
出現 在同一性定義和外延和概括公理中所有變量都取值於連貫的兩個類型之上。一個"低層"類型和另一個"高層"類型。取值於高層類型上的變量加角標;而取值於低層類型的變量不加。ST的一階公式化排除在類型上的量化。所以每對連續的類型都要求它自己的外延和概括公理,如果“外延”和“概括”公理採用公理模式的方式取值於類型上就是可能的。
同一性定義:。
外延公理模式:。
設Φ(x)表示包含自由變量x的任何一階公式
概括公理模式:。
備註:相同類型的元素的任何蒐集都可以形成更高類型的一個對象。概括公理有關於也有關於類型。
無窮公理。存在着在最低層類型的個體之上的非空二元關係R,它是反自反的、傳遞的和強連接的。
ST披露了類型論可以制定得何其類似於公理化集合論。而ST更加精緻的本體論,根源於所謂的“集合的迭代構想”,導致了遠比有着更簡單的本體論的常規集合論如ZFC簡單得多的公理(模式)。公理化集合論起步於類型論,但是它的公理、本體論和術語不同於上面所述ST系統,還包括新基礎和Scott-Potter集合論。

類型論威特金類型論

美國心理學家威特金(H.A.Witkin)等人,在場依存性的研究中作出了貢獻。威特金長期在美國新澤西州普林斯頓教育測驗服務社心理學研究部工作,他早年從事知覺個別差異研究,以後研究場依存性問題,近年來他把心理分化理論運用於跨文化心理研究領域。威特金等人在研究知覺時發現,有些人很難從視野中離析出知覺單元,有些人較易從視野中離析出知覺單元。他根據場的理論,將人劃分為場依存性和場獨立性兩種類型。場依存性的人,比較容易受當時環境中的其它事物(包括知覺者本身的狀況)的影響,很難離析出知覺單元;場獨立性的人,比較少受知覺當時的情境影響,比較易於離析出知覺單元。許多研究表明,大多數人處於場依存性和場獨立性之間,或多或少地處於中間狀態。因此,大多數人是相對場依存性的人或相對場獨立性的人,但為表述上的簡明,也稱之為場依存性的人或場獨立性的人。場依存性和場獨立性是認知方式中的一個主要的方面,也是研究得最多的方面。威特金指出,場依存性的人和場獨立性的人,是按照兩種對立的信息加工方式工作的,場依存性的人,傾向於以外在參照(客觀事物)作為信息加工的依據;場獨立性的人,傾向於更多地利用內在參照(主體感覺)。 [1] 

類型論普遍性和穩定性

(1)普遍性
認知方式的場依存性和場獨立性維度不僅存在於知覺過程中,而且普遍地存在於思維和性格等領域中。
場依存性的人,獨立性差,並且容易受暗示;場獨立性的人,有較大的獨立性,並且不易受暗示。
場依存性的人,對於需要找出問題的關鍵成分和重新組織材料的任務感到困難,場獨立性的人,比較容易完成要找出問題的關健成分和重新組織材料的任務。
場依存性的人,更多地利用外在參照;用外在的社會參照來確定自己的態度和行為,他們的行為是社會定向的。場獨立性的人,更多地利用內在參照,他們的行為是非社會定向的。具體地説,場依存性的人,社會敏感性強,容易注意他人提供的社會線索,並且容易受他人的影響;場獨立型的人,社會敏感性差,不大注意他人提供的社會線索,比較獨立、自信、自尊心強。場依存性的人注意他參與的人際關係;場獨立性的人喜歡孤獨的非人際情境。場依存性的人對他人有興趣;場獨立性的人關心抽象的概念和理論。場依存性的人善於並愛好社交,社會工作能力較強;場獨立性的人不大善於社交。
(2)穩定性
許多實驗表明,個人在場依存性和場獨立性連續維度上的相對位置是相對穩定的。人類的認知方式和性格特徵在發展上具有一致性。威特金等人在1967年起對1584名大學生(男女各半)進行為期十年的追蹤研究。他們發現,場獨立性的學生比較一貫地偏愛需要認知改組技能的、與人聯繫較少的學科(如自然科學),場依存性的人比較一貫地對認知改組不感興趣,偏愛人際關係的學科。此外,進入大學時所學學科與認知方式不符合的學生,在大學畢業或進入研究院時,大多轉向與自己認知方式一致的學科,而認知方式與所學學科符合的學生,一直保持原來所選擇的學科,他們的成績也是比較好的。

類型論測驗

(1)身體順應測驗
早期這個測驗主要用來測試當外在視野線索與內在線索(身體垂直知覺)不相一致時,個體主要參照哪一種線索進行垂直判斷。後來,人們發現這種測驗上的個別差異,在許多心理活動中都存在,具有穩定性,因此,就成為測定場依存性的一項測驗。測驗時,被試坐在一間小的斜屋內,要求他把身體調正。結果發現,場獨立性的人,在調整身體時,主要不考慮屋子的位置,更多地利用從身體內部來的經驗作為參照;場依存性的人,往往調整身體以與斜屋看齊,即他在確定身體位置時,以環境作為主要參照物。
(2)棒框測驗
測驗時,被試坐在暗室內,面前放着一個習以調節傾斜度的亮框,框中心裝有一個能夠轉動度數的亮棒,要求被試把亮捧調到垂直。結果表明,場依存性的人,傾向於外在參照,他們調節亮棒與亮捧看齊,即根據框主軸來判斷垂直;場獨立性的人,傾向於更多地利用內在參照,他們往往利用感覺到的身體位置,把棒調成接近於垂直。
(3)鑲嵌圖形測驗
簡單圖形暗含在複雜圖形中,要求被試把簡單圖形分離出來,這需要重新組織材料的能力。場獨立性的人比場依存性的人,容易分離出簡單圖形。

類型論觀點分歧

關於場依存性和場獨立性與內外向性格關係,存在着兩種不同的觀點。艾温斯(F.L.Evans)、托爾斯塔(P.T.Towrstud)等人的研究表明,兩者相關程度很高,很可能是性格的一種特質的反映。費恩(B.L.Fine),塞格里斯(J.ACegalis)等人的研究表明,兩者沒有相關,它們是性格的兩種不同的特質。張厚粲教授等認為:"場依存性--獨立性認知方式與內外向性格有着本質的區別,二者之間無顯著相關,可以認為是人格的兩種不同特質(維度)……但是,二者之間存在着某種程度的一致性,因此,它們在人格表現中互相影響,互相制約,共同存在於人格這一統一體中。"

類型論重要性

場依存性的研究是現代研究性格問題的一大趨勢,在國外很受心理學界的重視。場依存性是性格的一個重要維度,他們的研究豐富了性格心理學理論,對教育、醫學和管理等具有重大實踐意義。例如,場依存型人適合於學文科,場獨立型人適合於學理科等。威特金等人所運用的幾種測驗,使用方便,與實際情況對照,有相當高的符合程度。弗洛姆是當代新弗洛伊德主義的理論權 威,精神分析社會文化學派的主要代表。弗洛姆指出,弗洛伊德學説的基礎是家庭,阿德勒、沙利文、霍妮等人雖強調文化因素和社會因素,但最後仍然歸結於家庭。弗洛姆與他們不同,他把文化與經濟、政治、社會意識形態等結合起來,強調社會中的大的方面對性格的影響。他把性格分為兩個部分:"社會性格"和"個人性格"。"社會性格"是性格結構的核心,為同一文化羣體中一切成員所共有,"個人性格"是同一文化羣體中各個成員之間行為的差異。人的性格主要由社會性格決定,在此基礎上表現出個人性格的差異。他的一個十分重要的觀點是"性格的形式受社會和文化形態影響。"他指出,性格是由氣質和體格受生活經驗的影響所決定的。《逃避自由》、《為自己的人》、《健全的社會》等都是有關性格的著作。

類型論弗洛姆將性格類型

劃分為兩大類型。生產的傾向性和非生產的傾向性(傾向性指一個人的普遍的態度或觀點)。前者是健康的性格,後者是不健康的和病態的性格。

類型論生產的傾向性

弗洛姆把健康性格稱為生產的傾向性。生產性的人是人類發展的一種理想境界和目標。他指出,生產的傾向性在任何社會都還沒有達到,獲得生產的傾向性的唯 一方法,就是生活在健全的社會中,生活在促進創造性的社會中。生產性的人充分發揮他的潛能,成為創造者,對社會可以作出創造性的貢獻。
生產性的人依靠他們天生的全部潛能,首先創造了自我。生產性的人創造了他自己,這可以説是人的最重要的產物,健康性格的另外4個方面是:創造性的愛、創造性思維、幸福和道德心。

類型論非生產的傾向性

非生產的傾向性又可進一步分為下列幾種類型。
(1)接受傾向性
這種人沒有生產或提供愛的能力,他所需要的任何東西完全依賴於別人。這種人是被動的接受者,尋求別人的幫助,希望依附於人。當沒有人管他們的時候,他們就會感到焦慮、恐怖,並且癱瘓無力。
(2)剝削傾向性
這種人並非依賴自己進行生產和創造的能力,他們依靠暴力、詭計等方法,從他人那裏索取東西,希望靠力量來滿足自己的慾望,對他人進行攻擊或榨取。他們"喜歡"那些可以利用的人,"討厭"那些已經被他們榨取過的人。弗洛姆指出,這種傾向是極權主義或法西斯主義的特徵,但在任何社會中都會產生。
(3)貯藏傾向性
這種人通過貯藏而獲得安全感,他們的哲學是:"資產和財富就是安全"。貯藏型的人似乎在周圍築起一道牆,不使財富流出來,也不讓任何東西流進去。這種人表現為節儉,極端吝嗇,堅持不與別人分享財富,與他人疏遠,在人際關係上表現為退縮等。
(4)市場傾向性
這是資本主義社會的價值觀對人格的直接滲透。這種人在各方面卻表現為隨僱主的需要而變化其性格特徵,使自己具備適合被僱傭的性格,否則就要為社會淘汰。這種人很難獲得安全感,他們把自己當作商品,他們的價值是在市場上取得成功,而不依賴他個人的品質。弗洛姆認為:"這種類型的人有喪失個人獨特性而變成純粹機器人的危險"。
以上四種非生產的傾向性性格都是不健全的社會(剝削制度)造成的病態性格,但這些概念只是"理想類型",而不是對某一特定個體的性格的描述。在實際生活中,在每一個人的性格結構中並非只是一種傾向性,而或是幾種非生產的傾向性的混合,或是非生產的傾向性與生產的傾向性的混合。在後一種情況下,生產的傾向性和非生產的傾向性各自的比重是不同的。在一個非生產的傾向性佔優勢的人身上,常表現出此種性格消極的方面。而在一個生產的傾向性佔優勢的人身上,非生產的傾向性性格則會表現出其積極的方面。弗洛姆還列舉了四種非生產的傾向性性格積極的和消極的兩個方面的各種特性。例如:
接受傾向性(領受)
積極方面消極方面
領受………………………………………被動、無主動性
敏感………………………………………無主見、無個性
忠實………………………………………順從
謙虛………………………………………無自尊心
可愛………………………………………寄生
適應性強…………………………………無原則
社會性適應………………………………奴性、無自信
理想主義…………………………………不切實際
靈敏………………………………………怯懦
有教養……………………………………無骨氣
樂觀……………………………………一廂情願
信任………………………………………輕敵
温柔………………………………………多愁善感
這些積極的和消極的特性並不是同時存在的兩類獨立的傾向性,而是連續體中的一點,是由占主導地位的生產的傾向性的程度所決定的。
弗洛姆晚年還提出一種非生產的傾向性性格,即戀生狂與戀屍狂性格。戀生狂者愛好生命和生長,戀屍狂者愛好死亡和腐朽。弗洛姆把戀屍狂看作是萬惡的根源,是一種極端的類型,例如法西斯頭子等。

類型論計算機應用

下面的系統是Mendelson的(1997:289-93)ST。量化的域被劃分成上升的類型層次,帶有所有的個體都被指派了一個類型。量化的變量確立範圍只在一個類型上;所以底層邏輯是一階邏輯。ST是"簡單的"(相對於《數學原理》中的類型論)主要是因為任何關係的域和陪域的所有成員都必須是同一個類型的。
有一個最低的類型,它的個體沒有成員並且是次最低類型的成員。最低類型的個體對應於特定集合論中的基本元素(urelement)。每個類型都有一個更高的類型,類似於在皮亞諾算術中後繼者。ST對是否有極大類型保持沉默,形成超限數個類型沒有困難。這些因素,和迴應於皮亞諾公理,使它方便和習慣於指派自然數到每個類型,開始於0給最低類型。這個類型論不要求自然數的先決定義。
ST的特有符號是加右上角標的變量和中綴。在任何給定的公式中,無角標的變量都有相同的類型,而有角標的變量(x')取值於更高的類型上。ST的原子公式與兩種形式,x=y(同一性)和。中綴符號暗示了預想的釋義,集合成員關係。
出現 在同一性定義和外延和概括公理中所有變量都取值於連貫的兩個類型之上。一個"低層"類型和另一個"高層"類型。取值於高層類型上的變量加角標;而取值於低層類型的變量不加。ST的一階公式化排除在類型上的量化。所以每對連續的類型都要求它自己的外延和概括公理,如果“外延”和“概括”公理採用公理模式的方式取值於類型上就是可能的。
參考資料
  • 1.    周嘉華,李華隆著,大眾化學化工史,山東科學技術出版社,2015.08,第72頁