在最廣泛的層面上，類型論是關(guān)注把實(shí)體分類到叫做類型的搜集中的數(shù)學(xué)和邏輯分支。在這種意義上，它與類型的形而上學(xué)概念有關(guān)?，F(xiàn)代類型論在部分上是響應(yīng)羅素悖論而發(fā)明的，并在伯特蘭·阿瑟·威廉·羅素和阿爾弗雷德·懷特黑德的《數(shù)學(xué)原理》中起到重要作用。
威特金類型論
美國心理學(xué)家威特金（H．A．Witkin）等人，在場依存性的研究中作出了貢獻(xiàn)。威特金長期在美國新澤西州普林斯頓大學(xué)教育測驗(yàn)服務(wù)社心理學(xué)研究部工作，他早年從事知覺個(gè)別差異研究，以后研究場依存性問題，近年來他把心理分化理論運(yùn)用于跨文化心理研究領(lǐng)域。威特金等人在研究知覺時(shí)發(fā)現(xiàn)，有些人很難從視野中離析出知覺單元，有些人較易從視野中離析出知覺單元。他根據(jù)場的理論，將人劃分為場依存性和場獨(dú)立性兩種類型。場依存性的人，比較容易受當(dāng)時(shí)環(huán)境中的其它事物（包括知覺者本身的狀況）的影響，很難離析出知覺單元；場獨(dú)立性的人，比較少受知覺當(dāng)時(shí)的情境影響，比較易于離析出知覺單元。許多研究表明，大多數(shù)人處于場依存性和場獨(dú)立性之間，或多或少地處于中間狀態(tài)。因此，大多數(shù)人是相對場依存性的人或相對場獨(dú)立性的人，但為表述上的簡明，也稱之為場依存性的人或場獨(dú)立性的人。場依存性和場獨(dú)立性是認(rèn)知方式中的一個(gè)主要的方面，也是研究得最多的方面。威特金指出，場依存性的人和場獨(dú)立性的人，是按照兩種對立的信息加工方式工作的，場依存性的人，傾向于以外在參照（客觀事物）作為信息加工的依據(jù)；場獨(dú)立性的人，傾向于更多地利用內(nèi)在參照（主體感覺）。
1．場依存性和場獨(dú)立性具有普遍性和穩(wěn)定性
（1）普遍性
認(rèn)知方式的場依存性和場獨(dú)立性維度不僅存在于知覺過程中，而且普遍地存在于思維和性格等領(lǐng)域中。
場依存性的人，獨(dú)立性差，并且容易受暗示；場獨(dú)立性的人，有較大的獨(dú)立性，并且不易受暗示。
場依存性的人，對于需要找出問題的關(guān)鍵成分和重新組織材料的任務(wù)感到困難，場獨(dú)立性的人，比較容易完成要找出問題的關(guān)健成分和重新組織材料的任務(wù)。
場依存性的人，更多地利用外在參照；用外在的社會(huì)參照來確定自己的態(tài)度和行為，他們的行為是社會(huì)定向的。場獨(dú)立性的人，更多地利用內(nèi)在參照，他們的行為是非社會(huì)定向的。具體地說，場依存性的人，社會(huì)敏感性強(qiáng)，容易注意他人提供的社會(huì)線索，并且容易受他人的影響；場獨(dú)立型的人，社會(huì)敏感性差，不大注意他人提供的社會(huì)線索，比較獨(dú)立、自信、自尊心強(qiáng)。場依存性的人注意他參與的人際關(guān)系；場獨(dú)立性的人喜歡孤獨(dú)的非人際情境。場依存性的人對他人有興趣；場獨(dú)立性的人關(guān)心抽象的概念和理論。場依存性的人善于并愛好社交，社會(huì)工作能力較強(qiáng)；場獨(dú)立性的人不大善于社交。
（2）穩(wěn)定性
許多實(shí)驗(yàn)表明，個(gè)人在場依存性和場獨(dú)立性連續(xù)維度上的相對位置是相對穩(wěn)定的。人類的認(rèn)知方式和性格特征在發(fā)展上具有一致性。威特金等人在1967年起對1584名大學(xué)生（男女各半）進(jìn)行為期十年的追蹤研究。他們發(fā)現(xiàn)，場獨(dú)立性的學(xué)生比較一貫地偏愛需要認(rèn)知改組技能的、與人聯(lián)系較少的學(xué)科（如自然科學(xué)），場依存性的人比較一貫地對認(rèn)知改組不感興趣，偏愛人際關(guān)系的學(xué)科。此外，進(jìn)入大學(xué)時(shí)所學(xué)學(xué)科與認(rèn)知方式不符合的學(xué)生，在大學(xué)畢業(yè)或進(jìn)入研究院時(shí)，大多轉(zhuǎn)向與自己認(rèn)知方式一致的學(xué)科，而認(rèn)知方式與所學(xué)學(xué)科符合的學(xué)生，一直保持原來所選擇的學(xué)科，他們的成績也是比較好的。
2．評定場依存性和場獨(dú)立性的測驗(yàn)
（1）身體順應(yīng)測驗(yàn)
早期這個(gè)測驗(yàn)主要用來測試當(dāng)外在視野線索與內(nèi)在線索（身體垂直知覺）不相一致時(shí)，個(gè)體主要參照哪一種線索進(jìn)行垂直判斷。后來，人們發(fā)現(xiàn)這種測驗(yàn)上的個(gè)別差異，在許多心理活動(dòng)中都存在，具有穩(wěn)定性，因此，就成為測定場依存性的一項(xiàng)測驗(yàn)。測驗(yàn)時(shí)，被試坐在一間小的斜屋內(nèi)，要求他把身體調(diào)正。結(jié)果發(fā)現(xiàn)，場獨(dú)立性的人，在調(diào)整身體時(shí)，主要不考慮屋子的位置，更多地利用從身體內(nèi)部來的經(jīng)驗(yàn)作為參照；場依存性的人，往往調(diào)整身體以與斜屋看齊，即他在確定身體位置時(shí)，以環(huán)境作為主要參照物。
（2）棒框測驗(yàn)
測驗(yàn)時(shí)，被試坐在暗室內(nèi)，面前放著一個(gè)習(xí)以調(diào)節(jié)傾斜度的亮框，框中心裝有一個(gè)能夠轉(zhuǎn)動(dòng)度數(shù)的亮棒，要求被試把亮捧調(diào)到垂直。結(jié)果表明，場依存性的人，傾向于外在參照，他們調(diào)節(jié)亮棒與亮捧看齊，即根據(jù)框主軸來判斷垂直；場獨(dú)立性的人，傾向于更多地利用內(nèi)在參照，他們往往利用感覺到的身體位置，把棒調(diào)成接近于垂直。
（3）鑲嵌圖形測驗(yàn)
簡單圖形暗含在復(fù)雜圖形中，要求被試把簡單圖形分離出來，這需要重新組織材料的能力。場獨(dú)立性的人比場依存性的人，容易分離出簡單圖形。
關(guān)于場依存性和場獨(dú)立性與內(nèi)外向性格關(guān)系，存在著兩種不同的觀點(diǎn)。艾溫斯（F.L.Evans）、托爾斯塔（P．T.Towrstud）等人的研究表明，兩者相關(guān)程度很高，很可能是性格的一種特質(zhì)的反映。費(fèi)恩（B.L．Fine），塞格里斯（J．ACegalis）等人的研究表明，兩者沒有相關(guān)，它們是性格的兩種不同的特質(zhì)。張厚粲教授等認(rèn)為："場依存性--獨(dú)立性認(rèn)知方式與內(nèi)外向性格有著本質(zhì)的區(qū)別，二者之間無顯著相關(guān)，可以認(rèn)為是人格的兩種不同特質(zhì)（維度）……但是，二者之間存在著某種程度的一致性，因此，它們在人格表現(xiàn)中互相影響，互相制約，共同存在于人格這一統(tǒng)一體中。"
場依存性的研究是現(xiàn)代研究性格問題的一大趨勢，在國外很受心理學(xué)界的重視。場依存性是性格的一個(gè)重要維度，他們的研究豐富了性格心理學(xué)理論，對教育、醫(yī)學(xué)和管理等具有重大實(shí)踐意義。例如，場依存型人適合于學(xué)文科，場獨(dú)立型人適合于學(xué)理科等。威特金等人所運(yùn)用的幾種測驗(yàn)，使用方便，與實(shí)際情況對照，有相當(dāng)高的符合程度。艾瑞克·弗洛姆是當(dāng)代新弗洛伊德主義的理論權(quán)威，精神分析社會(huì)文化學(xué)派的主要代表。弗洛姆指出，西格蒙德·弗洛伊德學(xué)說的基礎(chǔ)是家庭，阿爾弗雷德·阿德勒、哈里·沙利文、卡倫·霍妮等人雖強(qiáng)調(diào)文化因素和社會(huì)因素，但最后仍然歸結(jié)于家庭。弗洛姆與他們不同，他把文化與經(jīng)濟(jì)、政治、社會(huì)意識(shí)形態(tài)等結(jié)合起來，強(qiáng)調(diào)社會(huì)中的大的方面對性格的影響。他把性格分為兩個(gè)部分："社會(huì)性格"和"個(gè)人性格"。"社會(huì)性格"是性格結(jié)構(gòu)的核心，為同一文化群體中一切成員所共有，"個(gè)人性格"是同一文化群體中各個(gè)成員之間行為的差異。人的性格主要由社會(huì)性格決定，在此基礎(chǔ)上表現(xiàn)出個(gè)人性格的差異。他的一個(gè)十分重要的觀點(diǎn)是"性格的形式受社會(huì)和文化形態(tài)影響。"他指出，性格是由氣質(zhì)和體格受生活經(jīng)驗(yàn)的影響所決定的?！?a href="/hebeideji/2416876949629048959.html">逃避自由》、《為自己的人》、《健全的社會(huì)》等都是有關(guān)性格的著作。
弗洛姆將性格類型
劃分為兩大類型。生產(chǎn)的傾向性和非生產(chǎn)的傾向性（傾向性指一個(gè)人的普遍的態(tài)度或觀點(diǎn)）。前者是健康的性格，后者是不健康的和病態(tài)的性格。
1．生產(chǎn)的傾向性
弗洛姆把健康性格稱為生產(chǎn)的傾向性。生產(chǎn)性的人是人類發(fā)展的一種理想境界和目標(biāo)。他指出，生產(chǎn)的傾向性在任何社會(huì)都還沒有達(dá)到，獲得生產(chǎn)的傾向性的唯一方法，就是生活在健全的社會(huì)中，生活在促進(jìn)創(chuàng)造性的社會(huì)中。生產(chǎn)性的人充分發(fā)揮他的潛能，成為創(chuàng)造者，對社會(huì)可以作出創(chuàng)造性的貢獻(xiàn)。
生產(chǎn)性的人依靠他們天生的全部潛能，首先創(chuàng)造了自我。生產(chǎn)性的人創(chuàng)造了他自己，這可以說是人的最重要的產(chǎn)物，健康性格的另外4個(gè)方面是：創(chuàng)造性的愛、創(chuàng)造性思維、幸福和道德心。
2．非生產(chǎn)的傾向性
非生產(chǎn)的傾向性又可進(jìn)一步分為下列幾種類型。
（1）接受傾向性
這種人沒有生產(chǎn)或提供愛的能力，他所需要的任何東西完全依賴于別人。這種人是被動(dòng)的接受者，尋求別人的幫助，希望依附于人。當(dāng)沒有人管他們的時(shí)候，他們就會(huì)感到焦慮、恐怖，并且癱瘓無力。
（2）剝削傾向性
這種人并非依賴自己進(jìn)行生產(chǎn)和創(chuàng)造的能力，他們依靠暴力、詭計(jì)等方法，從他人那里索取東西，希望靠力量來滿足自己的欲望，對他人進(jìn)行攻擊或榨取。他們"喜歡"那些可以利用的人，"討厭"那些已經(jīng)被他們榨取過的人。艾瑞克·弗洛姆指出，這種傾向是極權(quán)主義或法西斯主義的特征，但在任何社會(huì)中都會(huì)產(chǎn)生。
（3）貯藏傾向性
這種人通過貯藏而獲得安全感，他們的哲學(xué)是："資產(chǎn)和財(cái)富就是安全"。貯藏型的人似乎在周圍筑起一道墻，不使財(cái)富流出來，也不讓任何東西流進(jìn)去。這種人表現(xiàn)為節(jié)儉，極端吝嗇，堅(jiān)持不與別人分享財(cái)富，與他人疏遠(yuǎn)，在人際關(guān)系上表現(xiàn)為退縮等。
（4）市場傾向性
這是資本主義社會(huì)的價(jià)值觀對人格的直接滲透。這種人在各方面卻表現(xiàn)為隨雇主的需要而變化其性格特征，使自己具備適合被雇傭的性格，否則就要為社會(huì)淘汰。這種人很難獲得安全感，他們把自己當(dāng)作商品，他們的價(jià)值是在市場上取得成功，而不依賴他個(gè)人的品質(zhì)。艾瑞克·弗洛姆認(rèn)為："這種類型的人有喪失個(gè)人獨(dú)特性而變成純粹機(jī)器人的危險(xiǎn)"。
以上四種非生產(chǎn)的傾向性性格都是不健全的社會(huì)（剝削制度）造成的病態(tài)性格，但這些概念只是"理想類型"，而不是對某一特定個(gè)體的性格的描述。在實(shí)際生活中，在每一個(gè)人的性格結(jié)構(gòu)中并非只是一種傾向性，而或是幾種非生產(chǎn)的傾向性的混合，或是非生產(chǎn)的傾向性與生產(chǎn)的傾向性的混合。在后一種情況下，生產(chǎn)的傾向性和非生產(chǎn)的傾向性各自的比重是不同的。在一個(gè)非生產(chǎn)的傾向性占優(yōu)勢的人身上，常表現(xiàn)出此種性格消極的方面。而在一個(gè)生產(chǎn)的傾向性占優(yōu)勢的人身上，非生產(chǎn)的傾向性性格則會(huì)表現(xiàn)出其積極的方面。艾瑞克·弗洛姆還列舉了四種非生產(chǎn)的傾向性性格積極的和消極的兩個(gè)方面的各種特性。例如：
接受傾向性（領(lǐng)受）
積極方面消極方面
領(lǐng)受………………………………………被動(dòng)、無主動(dòng)性
敏感………………………………………無主見、無個(gè)性
忠實(shí)………………………………………順從
謙虛………………………………………無自尊心
可愛………………………………………寄生
適應(yīng)性強(qiáng)…………………………………無原則
社會(huì)性適應(yīng)………………………………奴性、無自信
理想主義…………………………………不切買際
靈敏………………………………………怯懦
有教養(yǎng)……………………………………無骨氣
樂觀……………………………………一廂情愿
信任………………………………………輕敵
溫柔………………………………………多愁善感
這些積極的和消極的特性并不是同時(shí)存在的兩類獨(dú)立的傾向性，而是連續(xù)體中的一點(diǎn)，是由占主導(dǎo)地位的生產(chǎn)的傾向性的程度所決定的。
艾瑞克·弗洛姆晚年還提出一種非生產(chǎn)的傾向性性格，即戀生狂與戀尸狂性格。戀生狂者愛好生命和生長，戀尸狂者愛好死亡和腐朽。弗洛姆把戀尸狂看作是萬惡的根源，是一種極端的類型，例如法西斯主義頭子等。
本篇文章來源于有效營銷原文鏈接：http://www.em-cn.com/chuangye/2006/71811.shtml
計(jì)算機(jī)應(yīng)用
在計(jì)算機(jī)科學(xué)分支中的編程語言理論中，類型論提供了設(shè)計(jì)分析和研究類型系統(tǒng)的形式基礎(chǔ)。實(shí)際上，很多計(jì)算機(jī)科學(xué)家使用術(shù)語“類型論”來稱呼對編程語言的類型語言的形式研究，盡管有些人把它限制于對更加抽象的形式化如有類型lambda演算的研究。
下面的系統(tǒng)是Mendelson的(1997:289-93)ST。量化的域被劃分成上升的類型層次，帶有所有的個(gè)體都被指派了一個(gè)類型。量化的變量確立范圍只在一個(gè)類型上；所以底層邏輯是一階邏輯。ST是"簡單的"(相對于《數(shù)學(xué)原理》中的類型論)主要是因?yàn)槿魏侮P(guān)系的域和陪域的所有成員都必須是同一個(gè)類型的。
有一個(gè)最低的類型，它的個(gè)體沒有成員并且是次最低類型的成員。最低類型的個(gè)體對應(yīng)于特定集合論中的基本元素(urelement)。每個(gè)類型都有一個(gè)更高的類型，類似于在皮亞諾算術(shù)中后繼者。ST對是否有極大類型保持沉默，形成超限數(shù)個(gè)類型沒有困難。這些因素，和回應(yīng)于皮亞諾公理，使它方便和習(xí)慣于指派自然數(shù)到每個(gè)類型，開始于0給最低類型。這個(gè)類型論不要求自然數(shù)的先決定義。
ST的特有符號(hào)是加右上角標(biāo)的變量和中綴。在任何給定的公式中，無角標(biāo)的變量都有相同的類型，而有角標(biāo)的變量(x')取值于更高的類型上。ST的原子公式與兩種形式，(同一性)和。中綴符號(hào)暗示了預(yù)想的釋義，集合成員關(guān)系。
出現(xiàn)在同一性定義和外延和概括公理中所有變量都取值于連貫的兩個(gè)類型之上。一個(gè)"低層"類型和另一個(gè)"高層"類型。取值于高層類型上的變量加角標(biāo)；而取值于低層類型的變量不加。ST的一階公式化排除在類型上的量化。所以每對連續(xù)的類型都要求它自己的外延和概括公理，如果“外延”和“概括”公理采用公理模式的方式取值于類型上就是可能的。
同一性定義:。
外延公理模式:。
設(shè)Φ(x)表示包含自由變量x的任何一階公式。
概括公理模式:。
備注：相同類型的元素的任何搜集都可以形成更高類型的一個(gè)對象。概括公理有關(guān)于Φ(x)也有關(guān)于類型。
無窮公理。存在著在最低層類型的個(gè)體之上的非空二元關(guān)系R，它是反自反的、傳遞的和強(qiáng)連接的()。
備注：無窮公理是ST的唯一真正的，并且本質(zhì)上完全是數(shù)學(xué)的公理。R也是一個(gè)嚴(yán)格全序，帶有同一的域和陪域。如果0被指派給最低層類型(依次1是對(雙元素集合，單元素集合)，2是有序?qū)?，R的類型是3。這個(gè)公理強(qiáng)迫一個(gè)無窮集合的存在，因?yàn)橹挥蠷的(陪)域是無窮的時(shí)候它才可以被滿足。如果關(guān)系以有序?qū)Φ姆绞蕉x，這個(gè)公理要求有序?qū)Φ南葲Q定義；ST接受Kuratowski的定義。文獻(xiàn)沒有給出ZFC和其他集合論的無窮公理(存在歸納集合)不能結(jié)合于ST的理由。
ST披露了類型論可以制定得何其類似于公理化集合論。而ST更加精致的本體論，根源于現(xiàn)在所謂的“集合的迭代構(gòu)想”，導(dǎo)致了遠(yuǎn)比有著更簡單的本體論的常規(guī)集合論如ZFC簡單得多的公理(模式)。公理化集合論起步于類型論，但是它的公理、本體論和術(shù)語不同于上面所述ST系統(tǒng)，還包括新基礎(chǔ)和Scott-Potter集合論。
參考資料 >