?isomorphic

isomorphic發(fā)音

英：[?a?s??'m?:f?k]　　美：[?a?s?'m?:f?k]

英：　　美：

isomorphic中文意思翻譯

adj. 同形的；異種同形的

isomorphic常見(jiàn)例句

1 、isomorphic factorisation───同構分解

2 、isomorphic effect───同型異質(zhì)效應, Koebner現象, 同形反應

3 、isomorphic image───同構象同構圖形

4 、isomorphic lattices───同構格

5 、On the jumble "Generation Compositor" for meaning expression of isomorphic phonogram───同形聲符表意"代次"混雜問(wèn)題探討

6 、isomorphic line───同形線(xiàn)

7 、THE EQUIVALENT CONDITION OF THE ISOMORPHIC GRAPHS───同構圖的等價(jià)條件

8 、isomorphic gliosis───同形性膠質(zhì)增生

9 、isomorphic sets───同構集

10 、ACD is isomorphic in the space.───三角洲頂點(diǎn)城市具有空間同構性,處于不同等級、規模和地位的三角洲,頂點(diǎn)城市的區域意義也不相同。

11 、isomorphic mode───同形模態(tài)

12 、"Dysmorphic erythrocytes are found in the urine of patients with glomerular bleeding, whereas isomorphic erythrocytes characterize nonglomerular or urological hematuria."───利用尿中的紅細胞是畸形的（也就是多形型）還是比較正常的（也就是均一型）來(lái)判斷炎癥的起源。

13 、locally isomorphic───[計] 局部同構的

14 、isomorphic substitutions───同晶型取代

15 、isomorphic model───同構模型

16 、If N(A ) denotes the number of positive elements in A , then N(A) ＝ min N(B) if and only if B is isomorphic to B in theorem 3.───又設N(A)是A中含正元的個(gè)效，則B是含最小個(gè)效正元的n階本原矩陣的充要條件是B同構于定理3中的B。

17 、IDENTIFICATION OF ISOMORPHIC HYBRID SWITCHING TOPOLOGY───同構混合開(kāi)關(guān)拓撲的辨識

18 、The controls are isomorphic one to one, they respond only to me.─── 這些控制器是一對一 心身同型的 只有我能控制

19 、On the model with reasonable isomorph suppose,a model-based diagnosis is used in program debbuging for logic errors,and compare this model to the other classical models on its advantages.───在此模型上,使用合理的同構假定,運用基于模型的診斷方法對程序進(jìn)行邏輯錯誤的診斷,并與經(jīng)典的診斷模型作了比較。

20 、The logical structure of the picture, whether in thought or in language, is isomorphic with the logical structure of the state of affairs which it pictures.───圖畫(huà)的邏輯結構，不管是在思想還是在語(yǔ)言中，都和它所摹畫(huà)的事件狀態(tài)的邏輯結構是同構的。

21 、isomorphic ring───同構環(huán)

22 、isomorphic theory───同構論

23 、According to algebraic property that a direct sum of Galois fields is isomorphic to a finite ring,the linear block code for multiplexing systems is proposed.───依據有限域直和與有限環(huán)同構的代數性質(zhì)，對多路復用系統構造線(xiàn)性分組碼。

24 、isomorphic statement───同構語(yǔ)句

25 、Necessary and sufficient conditions of isomorph for two classes of graphs───兩類(lèi)圖同構的充分必要條件

26 、Therefore ,we can get the following result : G/C_G(F*(G)) is isomorphic to a subgroup of Aut(F*(G)).───因此，下列同態(tài)包含關(guān)系成立：G/C_G(F~*(G))同態(tài)于A(yíng)ut(F~*(G))的一個(gè)子群。

27 、isomorphic game───同構對策

28 、To take another example, elliptic geometries with different radii of curvature have isomorphic automorphism groups.───在舉一例，不同曲率半徑的橢圓幾何有同構的自同構群。

29 、isomorphic digraph───同構有向圖

30 、isomorphic reaction───同形反應

31 、Relation grid is isomorphic to the actual social network, so it satisfies the small-world model with members short chain connected.───關(guān)系網(wǎng)格與現實(shí)的社會(huì )關(guān)系網(wǎng)絡(luò )是同構的，因此滿(mǎn)足小世界模型并具有內部成員短鏈連接的性質(zhì)。

32 、isomorphic space───同構空間

33 、algebraically isomorphic───代數同構的

34 、isomorphic replacement───同晶置換

35 、Poisson isomorphic───Poisson同構

36 、isomorphic group───同構群

37 、anti isomorphic lattice───反同構格

38 、isomorphic phenomenon───同形反應, 喬伯納現象

39 、We may thereby compute the number of graphs which are isomorphic to their complements───因此我們可以計算同構于其補的圖的數目。

40 、On the model with reasonable isomorph suppose, a model-based diagnosis is used in program debbuging for logic errors, and compare this model to the other classical models on its advantages.───在此模型上，使用合理的同構假定，運用基于模型的診斷方法對程序進(jìn)行邏輯錯誤的診斷，并與經(jīng)典的診斷模型作了比較。

41 、The isomorphic conditions of some lattices generated by transitive sets of subspaces under finite pseudo-symplectic groups───偽辛群作用下子空間軌道生成的格的同構條件

42 、isomorphic cooperative game───同構合作對策

43 、The theoretical rationale and operational rules are given.The judgment principles and reduction rules about redundant nodes and isomorphic graphs are presented.───同時(shí)闡述了算法的理論原理及計算步驟，并給出了冗余節點(diǎn)、子圖同構的判斷方法和簡(jiǎn)化規則；

44 、isomorphic mapping───同構映射

45 、isomorphic transformation───同態(tài)變換

46 、isomorphic coloring species───同構著(zhù)色類(lèi)

47 、isomorphic complex───同構復合形同相復形

48 、anti isomorphic───adj. 反同構的

49 、The human communist movement and the cosmic communist movement are homogeneous, isomorphic and synchronous, and are both returning to the primitive Daoist nature of the universe.───人類(lèi)共產(chǎn)運動(dòng)與宇宙共產(chǎn)運動(dòng)是同質(zhì)、同構、同步的，都是在回歸宇宙原始道性。

50 、Isomorphic fundamental theorem of the convex hull───同構化凸殼構造基本定理

51 、isomorphic response───克布納現象, 同形異質(zhì)反應[現象]

52 、isomorphic field───同構域

53 、isomorphic root system───同構根系

54 、Corporate Accounting Governance and Corporate Governance: Isomorphic, Imbedding, or Intersected?───公司會(huì )計治理與公司治理:同構、嵌入還是交叉?

55 、isomorphic beowulf───同構集群

56 、Isomorphic Mapping Hypothesis(IMH)───同構映射假想

57 、isomorphic alternation of generations───同源器官

58 、The Isomorphic Character for Direct Product of a Family of Boolean Algebra Reduced by Mod a Prime and Strong Filter───Boolean代數族模素強濾子約化直積的同構特征

59 、Artistic Isomorph of Garden and Qun Opera───園林與昆劇的藝術(shù)同構

60 、isomorphic equivalent───同構等價(jià)

61 、From the viewpoint of homomorphism idea of gestalt psychology, the vocal technique is a kind of practice and operational method with isomorphic of feeling and substance.───從完型心理學(xué)“同形論”角度看，聲樂(lè )技術(shù)是一種“心物同形同構”性操作方法和技能；

62 、isomorphic matrices───同構的陣

63 、isomorphic graph───同構圖

64 、isomorphic substitution───同晶取代

65 、isomorphic interpretations───同構解釋

66 、The isomorphic attribute is an effective way to transmit and accept design information, and then make innovative activity of design go on wheels.───事物的同構性質(zhì)是設計信息能夠實(shí)現傳播和接受的有效條件，并能夠確保設計創(chuàng )新路途通暢。

67 、isomorphic partially ordered set───同構半序集

68 、Isomorphic Factorizations and Hamiltonian Decompositions of a Class of Vertex-Transitive Digraphs───一類(lèi)頂點(diǎn)可遷有向圖的同構因子分解與Hamilton分解

69 、isomorphic map───同構象

70 、isomorph of same morpheme───同素同構

71 、Under the prerequisite of iso-or near isoformula, space group discrim-ination is of crucial importance in deciding whether the crystals are isomorphic or polymorphic.───在形式化學(xué)式相同或相似的前提下，關(guān)鍵在于正確判斷晶體的空間群。

72 、On the other hand， risk distribution is isomorphic with class and stratus differentiation to some extent， with the former to intensify the latter.───另一方面，具體風(fēng)險的分布又在一定程度上同階級、階層的分化同構，強化后者的分化。

73 、Isomorphic information temperature───同構化信息溫度

74 、isomorphic objects───同構對象

75 、Fluctuation, left and right sides is symmetrical, isomorphic, be called with color, coessential semmetry absolutely semmetry;───上下、左右對稱(chēng)，同形、同色、同質(zhì)對稱(chēng)被稱(chēng)為絕對對稱(chēng)；

76 、isomorphic source───同構源

77 、isomorphic complexes───同構復形

78 、An elementary sentence is a combination of names and if it is true it will be a picture of the isomorphic fact formed by the combination of the named objects.───一個(gè)原子命題就是名稱(chēng)的組合，如果它是真的，那么這個(gè)原子命題就將是由被命名的對象的組合而成的同構事實(shí)的一副圖畫(huà)。

79 、inverse isomorphic───反同構的

80 、isomorphic relation───同構關(guān)系

81 、isomorphic representation───同構表示

什么是NPM，為什么要用NPM來(lái)管理包？

會(huì )產(chǎn)生冗余問(wèn)題

前端與后端使用同一套包管理軟件可以減少公共部分的耦合，但是會(huì )導致不必要的冗余。

比如一個(gè)bootstrap包，是不可能被后端使用的。但是如果統一使用npm管理，每次npm install都會(huì )安裝bootstrap包，而后端一輩子都用不倒，完全是浪費帶寬、存儲空間、時(shí)間。并且你在運行后端前，每次都安裝個(gè)bootstrap，你不覺(jué)得惡心嗎？

運行環(huán)境完全不同

前端與后端的運行環(huán)境是完全不同的，前端運行于瀏覽器內（即主要是DOM與BOM環(huán)境，相對受限），后端則運行于OS內（有無(wú)限的API與可能性）。所以這兩種開(kāi)發(fā)環(huán)境是完全不同的。不同的開(kāi)發(fā)環(huán)境使用同一個(gè)包管理文件顯然是不合時(shí)宜的，也不符合模塊化的理念。

開(kāi)發(fā)人員也可能不同

前端與后端通常是不同的開(kāi)發(fā)團隊，因些前端關(guān)注的是HTML，CSS，DOM，BOM， js的UI庫與動(dòng)作庫。而后端關(guān)注的是性能，安全，效率，數據，緩存，用戶(hù)管理。他們可能都會(huì )用到gulp/grunt，而后端通常不會(huì )用到webpack，wiredep，bootstrap, jQuery這類(lèi)純前端的包。所以強行將他們捆綁在一起是沒(méi)有必要的。

同構包可以分開(kāi)打包

由于isomorphic js的流行，同構包也會(huì )越來(lái)越多。但是其實(shí)你會(huì )發(fā)現，不管如何同構，前后端的運行環(huán)境還是不同的。所以同構包的調用環(huán)境還是不一樣的。前端的包通常需要通過(guò)browserify，webpack或者gulp等工具發(fā)布成前端可用的包。跟npm包直接通過(guò)package.json決定從什么地方接入是不同的。即使npm可以為前端包提供字段供前端接入，也會(huì )顯得非?；靵y。

理論的科學(xué)是什么？

你好，這里是“陽(yáng)明悟行學(xué)宮”很高興看到你這個(gè)問(wèn)題，針對你的問(wèn)題我先簡(jiǎn)單的舉兩個(gè)例子：

當我們通常詢(xún)問(wèn)什么是某某時(shí)，我們期待著(zhù)能得到一個(gè)清楚而明確的回答。例如，如果有人問(wèn)我，什么是有理數，我可以給出一個(gè)簡(jiǎn)單而精確的回答：有理數是兩個(gè)整數之比。還有一些其他類(lèi)型的簡(jiǎn)單問(wèn)題，也能給出精確回答，但是對于這些問(wèn)題而言，通常給出和接受相當模糊的回答。某人在一本書(shū)中讀到了油桃，但他從來(lái)沒(méi)有見(jiàn)過(guò)油桃，或者可能看見(jiàn)過(guò)油桃，但不熟悉油桃的英語(yǔ)名稱(chēng)。他可能問(wèn)我，“什么是油桃？”我可能答復說(shuō)，“一種皮很光滑的桃子”。當然，這不是一個(gè)很確切的回答，但如果我的提問(wèn)者知道什么是桃子，這種回答可能幾乎是令人滿(mǎn)意的?！笆裁词强茖W(xué)理論”的問(wèn)題與這兩種模式都不相符?？茖W(xué)理論與有理數或油桃不一樣。無(wú)疑，科學(xué)理論與油桃不一樣，因為它們不是物體。它們與有理數一樣，都不是物體，但它們又與有理數完全不一樣，在這方面，科學(xué)理論不可能根據其他非物理的抽象對象作出簡(jiǎn)單的或直接的定義。

“什么是物理學(xué)？”“什么是心理學(xué)？”“什么是科學(xué)？”這些熟悉的質(zhì)問(wèn)提供了相關(guān)問(wèn)題的很好事例。我們確實(shí)無(wú)法對這些問(wèn)題給出簡(jiǎn)單而精確的回答。另一方面，對物理學(xué)或心理學(xué)這些問(wèn)題能夠做出許多有趣的評論。我希望表明，科學(xué)理論也是如此。

傳統概述

科學(xué)理論的傳統概述一一我強調了“概述”這個(gè)詞一一有點(diǎn)像下列方式進(jìn)行的：一個(gè)科學(xué)理論是由兩部分組成的。一部分是抽象的邏輯演算，這種演算包括邏輯學(xué)的詞匯和該理論的原始符號（primitive symbols）。用理論的原始符號陳述理論的公理（axioms）或公設（postulates），來(lái)確定理論的邏輯結構。對于許多理論而言，原始符號被認為是像“電子”或者“粒子”之類(lèi)的理論術(shù)語(yǔ)，這些術(shù)語(yǔ)不可能以任何一種簡(jiǎn)單的方式與可觀(guān)察的現象相關(guān)。

理論的第二部分是這樣的一組規則，這些規則通過(guò)為最起碼的某些原始的和確定的演算符號提供通常所謂的“操作定義”（coordinating definitions）或“經(jīng)驗解釋”（empirical interpretations），把經(jīng)驗內容賦予邏輯演算。人們總是強調，只有第一部分不足以給科學(xué)理論下定義；因為如果不對理論預期的經(jīng)驗解釋作出系統的詳細說(shuō)明，就無(wú)論如何不可能將理論作為科學(xué)的一部分對之進(jìn)行評價(jià)，盡管它能作為純數學(xué)的一部分得到簡(jiǎn)單的研究。

這種描述最突出的東西是它的高度的示意性（schematic nature）。就理論的第一部分而言，在科學(xué)哲學(xué)家的著(zhù)作中，把一個(gè)理論實(shí)際上當作邏輯演算的事例幾乎是罕見(jiàn)的。許多模糊的論證過(guò)分沉溺于證明：作出邏輯演算原則上是簡(jiǎn)單的，而且只是一個(gè)單調乏味的細節問(wèn)題，但是很少給出具體的證據。理論的第二部分的概述，也就是說(shuō)，某些術(shù)語(yǔ)的操作定義或經(jīng)驗解釋也是高度示意性的。對所提供的相對模糊的框架作出的一種常見(jiàn)辯護是，各種不同的經(jīng)驗解釋?zhuān)?，測量質(zhì)量的許多不同方法，使精確描述很困難。此外，當我們從精確地闡述的理論轉移到幾乎所有的科學(xué)家都使用的很不確切相簡(jiǎn)潔的實(shí)驗語(yǔ)言時(shí)，很難把一種定義模式強加于經(jīng)驗解釋的規則。

我想要支持的觀(guān)點(diǎn)，不是說(shuō)這種標準的概述是斷然錯誤的，而是說(shuō)它過(guò)分簡(jiǎn)單。它的概述性使它有可能既遺漏了理論的重要特性，也遺漏了理論之間可能引入的重要區別。

理論的模型與經(jīng)驗解釋

首先，許多哲學(xué)家表現出一種很強的傾向，即把理論的第一部分說(shuō)成是完全用句法術(shù)語(yǔ)進(jìn)行的純邏輯演算。第二部分提供的操作定義，在現代邏輯的意義上，沒(méi)有為形式演算提供一種適當的語(yǔ)義學(xué)。且不說(shuō)關(guān)于直接的經(jīng)驗觀(guān)察的問(wèn)題，從邏輯的觀(guān)點(diǎn)談?wù)摾碚摰哪Ｐ褪乔‘數暮妥匀坏?。這些模型是抽象的、非語(yǔ)言的實(shí)體，它們的概念通常遠離經(jīng)驗觀(guān)察。因此，除了邏輯之外，有人可能有理由問(wèn)這樣的問(wèn)題：一個(gè)模型概念能對常見(jiàn)的理論的經(jīng)驗解釋的討論增加什么呢？

我認為，大多數哲學(xué)家發(fā)現，談?wù)摾碚摫日務(wù)摾碚撃Ｐ透菀?，這種說(shuō)法是正確的。其理由有幾種，但也許最重要的兩種理由是：第一，哲學(xué)家的理論范例通常在特征上是相當簡(jiǎn)單的，因而易于以直接的語(yǔ)言方式進(jìn)行討論。第二，引入理論模型必然會(huì )把一個(gè)較強的數學(xué)元素引入到討論當中。當理論以所謂標準的形式化給出時(shí)，作為語(yǔ)言實(shí)體來(lái)談?wù)摾碚?，即明確地說(shuō)出理論的精確定義的句子集合等，是一件很自然的事情。當我們在一階邏輯的范圍內闡述理論時(shí)，通常說(shuō)理論有一種標準的形式化。

大體上說(shuō)，一階邏輯正好是為一類(lèi)對象提供了句子連詞和謂詞的邏輯。不幸的是，當一個(gè)理論假定了超出一階邏輯的范圍時(shí)，還以這種方式闡述理論就既不自然，也不簡(jiǎn)單。例如，如果在公理化的幾何學(xué)中，我們希望把線(xiàn)定義為是某些點(diǎn)的集合，我們必須在已經(jīng)包含有集合論思想的框架內進(jìn)行。誠然，對幾何學(xué)和集合論的相關(guān)部分同時(shí)公理化在理論上是可能的，但這是非常棘手的和很困難的。更復雜的結構的理論，像量子子力學(xué)、經(jīng)典熱力學(xué)或現代定量的學(xué)習理論，不僅需要運用一般的集合論思想，而且需要運用關(guān)于實(shí)數的許多結果。在一階邏輯的范圍內對這也理論迸行形式化是完全不切實(shí)際的。這類(lèi)理論在其復雜性上非常類(lèi)似于純數學(xué)中主要研究的理論。在這樣的語(yǔ)境中．更加簡(jiǎn)單的是斷言關(guān)于理論模型的問(wèn)題，而不是直接地和明確地談?wù)摾碚摰恼Z(yǔ)句。也許這方面的主要理由是，當理論不以標準形式化出現時(shí)，理論的一個(gè)語(yǔ)句的概念是很不明確的。

我喜歡舉兩個(gè)例子，在這兩個(gè)例子中，模型概念以自然的和明確的方式研討科學(xué)理論。第一個(gè)例子是關(guān)于測量本性的。特定的測量理論的基本目標是以精確的方式表明，從定性的觀(guān)察如何過(guò)渡到更精致的科學(xué)理論階段所需要的定量的斷言。對實(shí)驗上可實(shí)現的運算和關(guān)系的適當代數的公理化提供了如何實(shí)現從定性到定量這個(gè)過(guò)渡的一種分析。已知某一經(jīng)驗參量的一個(gè)公理化的測量理論，例如，質(zhì)量、距離或力，數學(xué)的任務(wù)是為該理論的模型證明一個(gè)表征定理，粗略地說(shuō)，它確定了任何一個(gè)經(jīng)驗模型都同構于

（isomorphic）該理論的某種數值模型（numericalmodel）。模型之間存在的這種同構性（isomorphism）證明把數（numbers）應用于事物（things）是正當的。我們確實(shí)無(wú)法把手頭的一個(gè)數應用于一個(gè)物體。我們所能做的是表明，經(jīng)過(guò)某些經(jīng)驗操作所產(chǎn)生的一個(gè)現象集的結構，與經(jīng)過(guò)算術(shù)運算和關(guān)系得到的某種數集的結構是一樣的。模型在給定語(yǔ)境中的同構性定義使同樣結構的直覺(jué)想法變得更加精確。發(fā)現模型的這樣一種同構性的重大意義在于我們就可以把所有我們熟悉的計算方法的知識應用于算術(shù)模型，推論出關(guān)于同構的經(jīng)驗模型的事實(shí)。對與數值模型同構的一個(gè)測量理論的經(jīng)驗模型這個(gè)核心概念給出一種語(yǔ)言表述．是極其困難的和乏味的。但是，用模型論的術(shù)語(yǔ)來(lái)說(shuō)，這個(gè)概念是簡(jiǎn)單的，事實(shí)上，正如第三章所表明的，這個(gè)概念是純數學(xué)的所有領(lǐng)域用到的很一般的同構表征概念的一種直接應用。

運用模型的第二個(gè)例子涉及科學(xué)哲學(xué)中對還原論(reductionism）的討論。與把一門(mén)學(xué)科還原為另一門(mén)學(xué)科的問(wèn)題相關(guān)所闡述的許多問(wèn)題，可以作為運用一個(gè)理論模型的表征定理的一系列概念問(wèn)題來(lái)闡述。例如，對于許多人來(lái)說(shuō)，針對一個(gè)心理學(xué)理論的任一模型，都有可能在某個(gè)生理學(xué)理論中建構一個(gè)同構模型，表明這一點(diǎn)會(huì )適當地確立可以把心理學(xué)還原為生理學(xué)的論點(diǎn)。當前，不論是在心理學(xué)領(lǐng)域，還是在生理學(xué)領(lǐng)域，都缺乏任何深層次的統一理論，這使得現在試圖解決這樣一個(gè)還原論問(wèn)題毫無(wú)希望。來(lái)自物理學(xué)的經(jīng)典例子是把熱力學(xué)還原為統計力學(xué)。盡管從邏輯的觀(guān)點(diǎn)來(lái)看，這種還原通常并沒(méi)有以絕對令人滿(mǎn)意的形式得到過(guò)闡述，但毫無(wú)疑問(wèn)，它在本質(zhì)上是正確的，并代表了經(jīng)典物理學(xué)的一個(gè)偉大勝利。

第八章的兩個(gè)密切相關(guān)的學(xué)習理論證明了一個(gè)真正的還原定理。即使這種在概念上相當簡(jiǎn)單的情形，也要求進(jìn)行大量的技術(shù)論證。在數學(xué)上提供從熱力學(xué)到統計力學(xué)的可接受的還原的困難，是難以克服的，而且基本文獻中已經(jīng)認可了這一點(diǎn)（例如，參見(jiàn)，Khinchin, 1949; Ruelle, 1969）。

理論的內在描述與外在描述

除了剛才提到的理論模型概念的兩種應用，我們可以把理論的模型概念直接應用于描述科學(xué)理論的問(wèn)題。我希望在內在特征和外在特征之間作出對比。把一個(gè)理論作為一種邏輯演算的表述，或者用我更喜歡的術(shù)語(yǔ)來(lái)說(shuō)，作為具有標準形式化的一個(gè)理論，提供了一種內在特征，但這當然不是惟一的進(jìn)路。例如，在邏輯語(yǔ)境中很自然要問(wèn)的問(wèn)題是，是否能夠根據標準的形式化，即在一階邏輯的范圍內，使一個(gè)特定的理論公理化。為了精確地闡述這樣一個(gè)問(wèn)題，有必要用某種外在方式來(lái)描述理論。提供這樣一個(gè)外在描述的最簡(jiǎn)單的方式之一是，只定義該理論的預期的模型類(lèi)。問(wèn)我們是否能把這個(gè)理論公理化，恰好是問(wèn)我們是否能陳述一組公理，使得這些公理的模型恰好是所定義的類(lèi)中的模型。

作為在外在意義上和內在意義上表述理論的一個(gè)很簡(jiǎn)單的例子，考慮在熟悉的小于關(guān)系條件下，與一個(gè)實(shí)數集同構的簡(jiǎn)單排序（orderings）理論的外在表述。也就是說(shuō)，考慮與實(shí)數的小于關(guān)系的某個(gè)片段同構的所有二元關(guān)系的類(lèi)。一個(gè)理論的外在特征通常遵循為這些排序所規定的類(lèi)型，即我們指定一個(gè)特殊的理論模型（在這種情況下是數值上的小于關(guān)系），然后描述與這種獨特模型相關(guān)的整個(gè)理論模型的類(lèi)。內在特征的問(wèn)題現在是表述一個(gè)公理集，該公理集在不涉及模型之間的關(guān)系只涉及任何一個(gè)模型的內在特性的前提下描述該模型的類(lèi)。根據當前的情形，這種解決方案是相對簡(jiǎn)單的，盡管這還不是在一階邏輯的范圍內進(jìn)行的自然表述。

對科學(xué)理論的偶爾審查間接地表明，通常的表述在特征上是內在的，而不是外在的，因此，外在表述的問(wèn)題通常只出現在純數學(xué)中。這似乎是一種令人愉快的結果，因為我們的哲學(xué)在覺(jué)的確是，一個(gè)內在特征一般說(shuō)來(lái)比一個(gè)外在特征更可取。

然而，一個(gè)科學(xué)理論的內在公理化的問(wèn)題會(huì )比這一評論所表明的更加復雜和更加敏感得多。幸運的是，恰好通過(guò)對理論模型類(lèi)的明確考慮，就能正確地看待問(wèn)題，并以有可能考慮其精確解的方式表述問(wèn)題。在這一點(diǎn)上，我僅概述性地舉一個(gè)簡(jiǎn)單的例子。經(jīng)典質(zhì)點(diǎn)力學(xué)的公理通常是根據默許地假定的作為一個(gè)參照系的坐標系來(lái)陳述的。這種結果之一是，從公理中推論出的關(guān)系，相對于伽利略變換，未必是不變的。我們能夠把一個(gè)參照系的默認假設看成是理論常見(jiàn)特征的一個(gè)外在方面。從理論模型的觀(guān)點(diǎn)來(lái)看，對力學(xué)進(jìn)行標準公理化的困難在于，可以用大量形式上不同的模型來(lái)表達同樣的力學(xué)事實(shí)。每一個(gè)不同的模型都代表了對一個(gè)不同參照系的默認選擇，但是表征相同力學(xué)事實(shí)的所有模型都是通過(guò)伽利略變換相關(guān)的。因此，公平地說(shuō)，在這個(gè)例子中，通過(guò)伽利略變換相關(guān)的模型之間的不同沒(méi)有任何理論意義，可以把這看成是下列公理的一個(gè)缺陷：即，這些有著(zhù)細微差別的不同模型是存在的。重要的是意識到，關(guān)于通過(guò)伽利略變換相關(guān)的模型的這種觀(guān)點(diǎn)，不是在理論的經(jīng)驗解釋標題下通常提出的那種觀(guān)點(diǎn)。這個(gè)概念要點(diǎn)恰好屬于物理學(xué)的理論問(wèn)題。我在這里介紹這個(gè)例子是為了提供這樣一個(gè)簡(jiǎn)單的事例：對模型的明確考慮如何能使關(guān)于科學(xué)理論本性的討論更加微妙。從哲學(xué)的觀(guān)點(diǎn)來(lái)看，一定有可能堅持認為，質(zhì)點(diǎn)力學(xué)，作為一個(gè)科學(xué)理論，應該只用伽利略的不變關(guān)系來(lái)表示，而且慣用的表述在這方面是有缺陷的。第六章較詳細地討論了這些問(wèn)題；第四章闡述更一般的不變性理論。

操作定義和理論的層次結構

我現在轉向上面提到的理論的第二部分。在前面的討論中，我們用“理論”這個(gè)詞只指理論的第一部分，也就是說(shuō)，指理論的公理化，或者作為一種邏輯演算的理論表達；但正如我在一開(kāi)始所強調的那樣，提供一個(gè)理論的經(jīng)驗解釋的必要性與闡述這個(gè)理論的形式問(wèn)題恰好是同樣重要的。我關(guān)于理論的這方面的核心觀(guān)點(diǎn)是，這個(gè)故事比關(guān)于理論的操作定義和經(jīng)驗解釋的熟悉評論所表明的要復雜得多。哲學(xué)家應常描述的這類(lèi)操作定義，在流行的理論的哲學(xué)闡明中占有一席之地，但在檢驗科學(xué)理論的實(shí)踐中，為了把理論與數據聯(lián)系起來(lái)，要求作出更詳細的闡述和提供更精致的形式機制?？茖W(xué)家標明一個(gè)實(shí)驗的具體經(jīng)驗本身，不可能在任何完備的意義上與一個(gè)理論相聯(lián)系。經(jīng)驗必須經(jīng)過(guò)概念加工，這一點(diǎn)在許多情形下是很不精致的，所呈現出的是標準形式的實(shí)驗數據。這些標準數據建構了實(shí)驗結果的一個(gè)模型，而且直接的操作定義是為這個(gè)模型提供的，而不是為理論的模型提供的。還有一個(gè)特征是，實(shí)驗結果的模型與理論的任何一個(gè)模型都具有相對小同的邏輯類(lèi)型。一個(gè)理論的模型通常包含有連續函數或元窮系列，但實(shí)驗結果的模型在特征上是高度離散的和有窮的。

對實(shí)驗結果的模型和某個(gè)指定的理論模型關(guān)系的評價(jià)，是近代統計方法論的一個(gè)典型的基本問(wèn)題。從當前的目的來(lái)看，這種方法論的重要之處在于：首先，它本身在本質(zhì)上是形式的和理論的；第二，這種方法論的一個(gè)典型功能一直是要提供一個(gè)詳細闡明的實(shí)驗理論，它能在任何一個(gè)基本的科學(xué)理論和原始實(shí)驗經(jīng)驗之間作出調解。我這里的論點(diǎn)只是，使這種層次結構的存在變得更加明顯，并且指出根本沒(méi)有一個(gè)簡(jiǎn)單程序能給出理論的操作定義。認為在剛提到的數據的標準形式的意義上，給出操作定義是確定理論模型與實(shí)驗結果模型之間的適當聯(lián)系，這種說(shuō)法簡(jiǎn)直是任意刪改事實(shí)。例如，參考操作定義不足以涵蓋根據這些實(shí)驗結果的模型來(lái)評價(jià)理論模型中的理論參量的詳細方法。

如果有人問(wèn)“一個(gè)科學(xué)理論是什么？”似乎對我來(lái)說(shuō)，根本給不出一個(gè)簡(jiǎn)單的回答。我們將會(huì )把為了檢驗理論而精心構想的統計方法論作為理論的一部分包括進(jìn)來(lái)嗎？如果我們會(huì )認真地接受這種標準主張：操作定義是理論的一個(gè)組成部分，那么似乎不可避免的是，我們也一定在更詳細的理論描述中包括了設計實(shí)驗、評價(jià)參量和檢驗理論模型適合度的方法論。似乎對我而言，給出下列形式的精確定義是不重要的：X是一個(gè)科學(xué)理論，當且僅當，如此這般。重要的是承認，存在著(zhù)由檢驗基本理論的實(shí)驗方法論所產(chǎn)生的理論的層次結構，這是任何一門(mén)精致的科學(xué)的學(xué)科的一個(gè)基本要素。

本章后面的部分沒(méi)有系統地闡述檢驗理論的統計方法論的重要主題。第五章關(guān)于概率的解釋或表征，即本書(shū)最長(cháng)的一章，是統計方法分析的一個(gè)詳細緒論。我在幾本較早的出版物中已經(jīng)討論過(guò)這些問(wèn)題，第六章對視覺(jué)吧間的本性進(jìn)行了相當詳細的實(shí)驗討論，第八章的最后一節根據極值統計概念的經(jīng)驗應劇對詞和句子的腦電圖表征的數掘進(jìn)行了相當詳細的討論。

工具性的理論觀(guān)

我迄今汪沒(méi)有提到無(wú)疑是相當重要的一種科學(xué)現論觀(guān)：這種觀(guān)點(diǎn)是從工具性的觀(guān)點(diǎn)來(lái)看待理論。按照這種觀(guān)點(diǎn)，理論的一個(gè)最重要的作用不是整理陳述或斷言陳述的真偽，而是提供可以用來(lái)從一組事實(shí)推論出另一組事實(shí)的重要的推理原理。這樣，在熟悉的三段論的推理中，“所有的人都是會(huì )死的；蘇格拉底是人；例此，蘇格拉底是會(huì )死的”，按照工具性的觀(guān)點(diǎn)，大前提“所有的人都是會(huì )死的”，被轉化為一個(gè)推理原理。于是，在這個(gè)三段論的推理中，現在只有小前提“蘇格拉底是人”。從邏輯的觀(guān)點(diǎn)來(lái)看，顯然這是相當不重要的步驟，而且，很自然地提出的問(wèn)題是，就工具性的觀(guān)點(diǎn)是否還有更重要的東西有待闡明呢？或許，對于在看待理論或定律的這兩種方式之間不僅僅存在著(zhù)言語(yǔ)差異這種主張的最有趣的論證是：當把理論看成是推理原理而不是大前提時(shí)，我們不再直接關(guān)心確定理論的真偽，而是評價(jià)理論在推斷新的事實(shí)陳述時(shí)的有用性。最初的形式概念實(shí)際上沒(méi)有一個(gè)概念產(chǎn)生于這些哲學(xué)討論：它們能替代真理和有效性的經(jīng)典語(yǔ)義概念。比如說(shuō)，除非引入某些系統的語(yǔ)義概念來(lái)代替這種標準分析，否則，談?wù)摱膳c事實(shí)陳述具有不同的職責，是沒(méi)有價(jià)值的。

從另外一個(gè)方向來(lái)看，有一種認真的具體努力是，提供一個(gè)評價(jià)理論的形式框架，它可以取代經(jīng)典的真理觀(guān)。我想到了近代統計決策理論。典型的統計決策理論是談?wù)撔袆?dòng)，而不是陳述。一旦焦點(diǎn)從陳述轉向行動(dòng)，似乎就相當自然地用預期的損失或風(fēng)險概念取代了真理概念。問(wèn)一個(gè)陳述是否正確，是適當的，但是，問(wèn)一個(gè)陳述是否有風(fēng)險，是沒(méi)有多大意義的。另一方面，問(wèn)一種行動(dòng)有多大風(fēng)險，而不是問(wèn)這種行動(dòng)是否正確，是合理的。顯然，照字面意義來(lái)理解的話(huà)，統計決策理論比已經(jīng)概述的觀(guān)點(diǎn)更根本地突出了理論的工具性觀(guān)點(diǎn)。理論也不能被看成是推理原理，而應被看成是整理證據的方法，以決定在幾種行動(dòng)中采取哪一種行動(dòng)。當把理論看成是推理原理時(shí)，一個(gè)直接的問(wèn)題是，返回到經(jīng)典的觀(guān)點(diǎn)，并把作為推理原理的理論與在一個(gè)論證中作為一個(gè)真的大前提的理論概念聯(lián)系起來(lái)。經(jīng)典的觀(guān)點(diǎn)與作為導向采取一種行動(dòng)的工具的理論概念之間的聯(lián)系，肯定更加疏遠和間接。

盡管在有關(guān)統計學(xué)基礎的文獻中，應用統計訣策理論思想的許多事例是很成功的，但是這些事例決不與復雜的科學(xué)理論相關(guān)。再一次公平地說(shuō)，當我們想談?wù)撽P(guān)于精致的科學(xué)理論的評價(jià)問(wèn)題時(shí)，像統計決策理論那樣的學(xué)科迄今還沒(méi)有提供任何一種真正的選擇來(lái)替代真理和有效性的語(yǔ)義概念。事實(shí)上，即使是對統計決策理論的偶爾審查也會(huì )表明，盡管基本思想有工具性趨向，但是，理論的形式發(fā)展完全取訣于標準的語(yǔ)義概念，而決非取而代之。我這里的意思是說(shuō)，當把關(guān)注集中在作為探究的最終狀態(tài)的作出行動(dòng)時(shí)，決策理論家已經(jīng)發(fā)現，在描述證據、他們自己的理論等的過(guò)程中，有必要運用標準的語(yǔ)義概念。比如說(shuō)，我記不得決策理論家進(jìn)行過(guò)這樣一次討論，在這種討論中，他們是根據效用，而不是根據其真偽，來(lái)處理特殊的觀(guān)察陳述。

目前，統計決策理論似乎顯然沒(méi)有提供一種真正一致的或完全原創(chuàng )的新的科學(xué)理論觀(guān)。也許，決策理論的未來(lái)發(fā)展將會(huì )向著(zhù)這個(gè)方向進(jìn)行。不管怎樣，還是有我喜歡作為本結論的最終要點(diǎn)來(lái)討論的一種更根本的工具性觀(guān)點(diǎn)。正如我已注意到的那樣，許多工具性分析的特征是，把理論的狀況與對事實(shí)的特殊斷言的狀況區分開(kāi)來(lái)。運用語(yǔ)言的更激進(jìn)的工具性的、行為主義的觀(guān)點(diǎn)，向這種區分提出了挑戰，并且從一種行為主義的觀(guān)點(diǎn)考慮整個(gè)語(yǔ)言的運用，包括理論陳述和特殊的事實(shí)問(wèn)題在內。按照對這個(gè)問(wèn)題的這種觀(guān)點(diǎn)，對語(yǔ)言的所有用法進(jìn)行分析都將尤為強調語(yǔ)言的使用者。據說(shuō)，現代邏輯的語(yǔ)義分析遠不足以對語(yǔ)言的認知用法給出說(shuō)明，因為它沒(méi)有明確地考慮說(shuō)話(huà)者、作者、聽(tīng)眾和讀者對語(yǔ)言刺激的產(chǎn)生與接受。很明顯，對于行為主義者而言，根據前面考慮的那些概念，他們無(wú)法對“什么是科學(xué)理論”這個(gè)問(wèn)題提供最終有意義的回答。一個(gè)適當而完備的回答，只能根據對理論的生產(chǎn)者和使用者的明確而詳細的考慮來(lái)提供。一般情況下，用這種行為主義的方式考慮理論或語(yǔ)言是很有吸引力的。然而，當前它所缺乏的是充分的科學(xué)的深刻性和明確性，據此它可以作為一種真正的選擇來(lái)代替現代邏輯和數學(xué)的進(jìn)路。此外，前面所討論的理論與模型的大多數語(yǔ)言確實(shí)是如此近似正確，以至于對我們看待理論的方式作出任何行為主義的修正，都一定會(huì )把模型和理論作為一級近似來(lái)談?wù)?。未?lái)的問(wèn)題是，看看行為主義的進(jìn)路是否會(huì )加深我們對科學(xué)理論本性的理解。第八章的結尾，即本書(shū)的最后一節，考慮了某些新的方向，因為從行為主義的心理學(xué)轉向了作為把語(yǔ)需分析擴展到其腦電圖表征的適當框架的認知神經(jīng)科學(xué)。

這種工具性的科學(xué)觀(guān)的一個(gè)不同方面是它句實(shí)用主義有密切的聯(lián)系，尤其是，為了達到某種別的日的，最好是實(shí)踐的目的，只認真地接受有用的東西，在這種更根本的意義上，與實(shí)用主義的聯(lián)系更密切。對于概率論的這種實(shí)用主義的態(tài)度，第五章的最后一節作出了某種詳盡的考慮，正如所評論的那樣，這一節完全專(zhuān)注于概率的表征問(wèn)題。