结构主义的研究方法范文

前言：我们精心挑选了数篇优质结构主义的研究方法文章，供您阅读参考。期待这些文章能为您带来启发，助您在写作的道路上更上一层楼。

第1篇

关键词：翻译；结构主义；结构主义方法论

中图分类号：H059 文献标识码：A 文章编号：1005-5312（2012）30-0101-01

一、引言

翻译活动是一种以语言为媒介的活动，涉及到以语言为内容的文本的处理，所以，语言学理论对翻译的研究就必然产生很大的影响。在各种各样的哲学以及语言学理论中，结构主义理论对翻译的影响尤其巨大。

二、结构主义语言学理论

结构主义语言学认为语言是一个自成一体的系统，此系统可以分析为几个层次：单位，结构，类别和系统。由此分析，可以得到一个语言模型，该模型具有客观性，因为这是就语言这个客体本身所进行的分析，而不涉及到分析者的主观影响。既然强调语言自身的独立性和客观性，结构主义对语言的历史性是不屑一顾的，“结构主义的目的就是要寻找确定的结构，建立系统的可以把握的知识”，结构主义在文学分析和研究中的应用表现出如下特点：忽视对作品意义的分析，而重视对产生意义的作品、文本结构的分析。作者的主观意图也被忽略了，因为产生意义的是语言及其结构，而并非是作者的意图或者作者有意识的言语行为。因此，在文学创造中，结构主义认为，作品的内容受制于作品的结构。

三、翻译思想中的结构主义方法论

（一）结构主义方法论

1、整体性：结构主义认为，整体对于部分来说是具有逻辑上优先的重要性。因此，对语言学的研究就应当从整体性、系统性的观点出发，而不应当离开特定的符号系统去研究孤立的词。所以，结构主义坚持只有通过存在于部分之间的关系才能适当地解释整体和部分。结构主义方法的本质和首要原则在于，它力图研究联结和结合诸要素的关系的复杂网络，而不是研究一个整体的诸要素。

2、共时性：索绪尔认为，既然语言是一个符号系统，系统内部各要素之间的关系是相互联系、同时并存的，因此作为符号系统的语言是共时性的。于是索绪尔提出一种与共时性的语言系统相适应的共时性研究方法，即对系统内同时存在的各成分之间的关系，特别是它们同整个系统的关系进行研究的方法。

3、任意性和差异性原则：索绪尔认为所有的语言符号都分为两个部分，即能指和所指。首先，能指与所指之间的联结方式是任意和约定俗成的，这是索绪尔语言学理论的两个基本原则之一的任意性原则；其次，符号不仅是任意和约定俗成的，而且还有严格的区别意义与作用，这是两个基本原则之一的差异性原则。

4、二元对立原则：霍克斯在《结构主义与符号学》一书中指出：“成双的功能性差异的复杂格局这个概念，或曰‘二元对立’概念显然是结构概念的基础。”二元对立是结构主义最基本的结构观念。索绪尔提到四个二项对立：历时与共时方法；语言与言语；能指与所指；系统差异决定语义。与此同时他也反复指出二元对立原则是真正了解语言性质的必要方法。

（二）结构主义翻译观

结构主义翻译观的主要代表人物有罗曼·雅可布逊、尤金·奈达、卡特福特、彼得·纽马克等人，而其中奈达是结构主义翻译范式的典型代表。

1、语言结构分析方法：奈达将语言二分为表层结构和深层结构：表层结构是外在的表现形态，深层结构是内在的决定因素。翻译则是将原文表层结构还原为基本的核心部分，再将深层结构转换成译语的深层结构，最后重新组织成译语表层结构的过程。

2、共时性的分析方法：结构主义相信，共时分析是优于历时分析的。因为在他们看来，历史无关紧要，重要的是“现时”的关系。这种观点引申到翻译思想中，就造成了译者总是关注文字本身，探求文字背后的意义，而不去分析作者当时的社会背景、历史等外界因素。在这种看似无误的翻译背后实际也会造成对原文的曲解。

3、二元对立的分析方法：索绪尔提出了一系列诸如语言与言语、所指与能指、共时与历时等对立的概念，而所有这些对立都是不平等的，其中一方总是占有优先的地位，另一方则被看作是对于前者的衍生、否定和排斥。以此为指导，在传统的翻译理论中，作者与译者、原作与译作也始终处于一种二元对立的关系。

四、结语

我们必须全方位地对结构主义展开思考，从各个角度对其加以分析和说明，只有这样，我们才能不断加深对结构主义的理解；也只有在此基础之上，才有希望建立科学的翻译观和翻译理论。

第2篇

一、引言

索绪尔的语言学基本观点对当代西方文艺理论产生了深刻的影响。俄国形式主义、新批评、结构主义和解构主义都通过借鉴索绪尔的语言学观点，发展自己独特的文学批评方法来研究文学。

结构主义文论借鉴和发展了索绪尔的以下语言学观点来发展结构主义的文学研究方法：（1）语言系统概念；（2）语言和言语；（3）本文由收集整理能指、所指和符号的任意性。本文从这三个方面探讨索绪尔结构主义语言学对结构主义文论的影响，旨在更好地理解结构主义文论，进一步研究和探讨结构主义文学批评方法的理论来源。

二、索绪尔的语言学对结构主义文论的影响

（一）语言系统与结构主义文论

索绪尔认为语言是一个系统，“在词里，重要的不是声音本身，而是使这个词区别于其他一切词的声音上的差别，因为带有意义的正是这些差别”。意义主要取决于语言各要素在言语链和语法体系中形成的相互关系。通过借鉴和发展这一观点，结构主义文论认为文学的意义来自于某个文学作品或者作为一个系统的文学整体中各文学要素之间的差别和联系。

罗兰·巴尔特认为，“结构主义活动包含两个典型动作：分割和明确表达。分割原客体，那个承受模拟活动的客体，就是要在其中发现某些机动的部分，它们的不同处境会产生某种意义；那个部分本身并无意义，但它却是这样的部分，在它构造中造成的最细微的不同会引起整体的变化”。

（二）语言和言语与结构主义文论

索绪尔将大家普遍所讲的语言分为两个方面：“语言”和“言语”。语言是人类特有的一个符号体系，而言语是人们所说的话的总和。正如索绪尔所说：“语言本身就是一个整体、一个分类的原则。”而言语受制于语言，并使语言具体化。

通过对索绪尔语言、言语划分的类比应用，结构主义文论认为可以将文学看做是“语言”。正如在《散文中的诗学》中，托多洛夫所赞成的法国象征派诗人瓦莱里的名言：“文学是而且也只是某些语言属性的扩展和应用。”　既然语言是由一定的语法规则制约的一个体系，那么文学可以被类比为由一定的规则制约的文学体系，而单个的文学作品就如同索绪尔所说的“言语”。

列维·施特劳斯在他的理论中应用了索绪尔的方法论的区分和概念，其中当然包括“语言”和“言语”。从这对概念中，他得到启发，并将其应用于对人类的基本心理结构的研究，揭示人的思维是怎样运作的。他发现形成社会“深层语法”的那些结构在人脑中产生并在潜意识中发挥作用。他还将索绪尔的“语言”和“言语”应用到自己的神话研究中。他认为神话故事和语言有着相同的结构，所以可以被看做是一种语言。

（三）能指、所指和符号的任意性与结构主义文论

索绪尔认为语言符号由概念和音响形象两部分组成。他将前者称为“能指”，将后者称为“所指”。他认为，“能指和所指的联系是任意的，或者，因为我们所说的符号是指能指和所指相联结所产生的整体，我们可以简单地说：语言符号是任意的”。但是，这一任意性并不代表我们任何个人可以任意选择能指，因为某个语言符号在整个语言系统中确定以后，是不能被个人所改变的。

根据符号任意性原则，结构主义文论认为，文本不再是读者和作者进行思想和情感交流的地方，因为我们以前所认为的文学这一“能指”和意义这一“所指”之间的关系不再是确定的。如罗兰·巴尔特所说作者“死了”。因此，结构主义更注重研究意义是如何产生的，而非意义本身。

第3篇

关键词：结构主义；现代逻辑学；结构；关系

关于数学与逻辑的关系问题，费雷格学派主张：“数学是逻辑学的一个分支”；布尔学派则认为：“逻辑学是数学的一个分支”[1]220。不争的事实则是：逻辑学与数学不能相互剥离，它们“血脉相连”、“生命相依”，二者“你中有我，我中有你”[1]220。从逻辑学和数学双重视域来看，形式化的现代逻辑学可以说是应用数学的一个分支，其高度抽象性和形式化特征决定了它像数学一样具有广泛的应用性。现代逻辑学的蓬勃发展，离不开对逻辑进行哲学反思。

逻辑哲学就是对逻辑进行哲学反思的科学。而数学哲学是数学的基础，“是研究数学的本体论、认识论和方法论以及其他问题的知识体系”，数学哲学研究的问题最后都会涉及到数学与逻辑的关系[2]15。虽然逻辑哲学与数学哲学在研究的论题、研究的视角、研究的侧重点和研究方式等方面都有所不同，但是由于逻辑(尤其是形式化的现代逻辑学)与数学具有如下共同特征：纯形式化特征、高度抽象性、极端精确性和严格性、广泛的应用性[2]15-16。这些共同特征以及数学和逻辑学常常具有一批共同或类似的课题，决定了逻辑哲学和数学哲学具有非常密切的关系。因此，从某种意义上说，对逻辑的哲学思考，很大程度上就是对数学的哲学思考。就像逻辑学与数学不能相互剥离一样，逻辑哲学和数学哲学其实也是很难剥离开来的。

20世纪以来，结构主义在数学哲学中占据着主导地位，那么结构主义是否在逻辑学中也有所反映呢？这正是本文要探讨的问题。

一结构主义的四大学派及其基本观点

19世纪，在微积分的算术化和集合论的建立基础上，逐步形成了数学基础的三大学派——逻辑主义、形式主义和直觉主义。逻辑实证主义者主张哲学唯一合法的研究领域是逻辑学，数学哲学则是研究数学语言的逻辑句法学和逻辑语义学[3]9。

20世纪初，哥德尔提出的不完全性定理说明，逻辑分析以存在建构自身作为参照，不然则会陷入无穷回归；而逻辑分析则是在集合论语言的基础上建构数学存在，这些观点蕴含了结构主义的思想[3]9。20世纪60年代，奎因认为，约束逻辑变元的取值其实就是存在，哲学本体论可以通过语言加以研究，利用语言可以研究存在，结构主义因而进行了数学哲学的范式转换。关系与其所依附的所有个体共同组成结构。根据结构所依附的个体的不同类型来看，数学结构主义主要包括四大学派：集合论结构主义[4]184-211[5]、先物(anterem)结构主义[4]188-198、范畴论结构主义[6][7]、模态结构主义[8]。

集合论结构主义使用模型论中熟知的方式，来描述数学结构及其相互关系。模态结构主义，不是通过对结构或位置进行字面上的量化，而是通过借助于适当的关系和定义域的(二阶)逻辑可能性，来满足经典公理系统的隐含定义条件[4]185。先物结构主义则主张：利用结构中的位置可以定义数学对象，数学对象的指称则要求结构与能够例示它们的任何系统是相互独立[9]；数学公式能够由相干公式来描述，而且这些相干公式能够由实际存在的先物结构来满足[10]。范畴论结构主义本质上是通过一系列结构保持映射，为数学结构提供系统概念，从而为数学作出哲学解释[7]。夏皮诺(Shapiro)认为，虽然这些学派有着明显的区别，但是，不论是从主流数学的目的来看，还是从某种更深层次的哲学意义来看，这几大学派其实是等价的。例如：处理哲学问题的一种方法与处理这种问题的其他方法，具有关联性，这种关联性可以通过系统间的自然转换来表达[4]184。这些学派通过语言的途径，把数学哲学引向了对意义和真理的探讨以及对数学对象的存在建构[3]10。

结构主义对数学存在的语言建构是建立在逻辑主义、形式主义和直觉主义这三大学派的研究基础之上的。这三大学派认为：结构主义可以利用语言框架来建构数学对象，这一点在模态结构主义和集合论结构主义中表现得尤为明显，这使得结构主义的本体论建构与作为数学基础的逻辑研究之间能够建立起密切的关系，从而为逻辑学与本体论之间搭建了沟通的桥梁[3]12。范畴论结构主义挣脱了逻辑语言的束缚，创立了崭新的本体论语言，在把语言纳入存在的内涵的同时，还把存在上升到了语言的境界，并通过集合论与逻辑语言保持紧密的联系，从而使得存在建构能够像逻辑建构那样成为严密的科学[3]13。

二现代逻辑学具有结构主义特征

形式主义是20世纪上半叶出现的一种数学哲学思潮，它是极端唯名论在数学中的具体体现。而形式化则是现代逻辑学最重要的研究方法。形式化过程一般包括：进行预备性研究、构造形式系统并对其进行解释、关于形式系统的元逻辑研究这几大步骤[2]124-130。具体地说，对现实世界进行模拟的现代逻辑学形式系统，一般都遵循这样的研究思路：首先，根据研究对象给出一个没有歧义的形式语言，目的是规定哪些符号串是所研究的形式系统的合式公式；其次，给出这一形式语言的语义解释，这需要利用赋值给出合式公式有效性定义；然后，给出这一形式系统的公理和推理规则；再次，根据这一形式系统的语言、语义、公理和推理规则，寻找相关定理；最后，研究系统的可靠性、完全性、可判定性和复杂性等等。

哲学本体论是研究隐藏在真实世界背后存在的最高本质，即对本体、属性和关系进行哲学思考。因此，现代逻辑学本体论的现实原型就是现实世界的本体、属性和关系。从科学哲学的视角看，不论是计算机科学、应用数学，还是逻辑学，一般都遵循着相同的研究思想——结构主义的研究思想：重要的不是个体对象、集合，而是所研究对象的结构以及结构之间的关系。正如高斯所说：“数学是关于关系的科学，从关系中可以抽象出任何概念。”彭加勒也认为，“数学家不是研究对象，而是研究对象之间的关系”[11]1-34。计算科学的基本特征就是研究对象的构造性的数学特征，并利用定义和解释，在对现实中的对象进行抽象和模型化的基础上，给出相关定理的证明[12]89。

从19世纪末以来发展起来的数理逻辑、模态逻辑、动态逻辑(包括命题动态逻辑、量化动态逻辑)、认知逻辑、广义量词理论、类型逻辑语法、范畴类型逻辑等逻辑分支，都或明或暗地采用了结构主义的方法，即对象的结构化的总体特征常常靠利用公理化方法、对象间的映射与同构来加以研究。从20世纪以来，作为数学哲学的结构主义，就已经成为研究逻辑学的主导方法，在模态逻辑、命题动态逻辑、广义量词理论和范畴类型逻辑中表现得尤为突出。从总体上看，结构主义的特征在逻辑学一直或隐或显地存在着，正是这一结构主义特征激发了逻辑学界、科学哲学界等对结构主义进行深入研究的兴趣。

笔者认为：不论数学结构主义有多少种学派，也不论各学派之间有何分歧，逻辑学，尤其是形式化的现代逻辑学，几乎都或隐或显地采用了结构主义的研究方法。也就是说，形式化的现代逻辑学主要是描述各自论域中的各种研究对象的结构性特征及其相互关系，而不必考虑具体对象的内在的品质，不同的逻辑对象可以由其相应结构的性质或结构之间的基本关系来表示。

比如：模态逻辑充分考虑了含有“可能”和“必然”的模态语句的这一命题结构，引入了“可能”和(或)“必然”模态词，对传统的一阶逻辑进行扩展而得到的。因为预设的公理和推理规则不同，而得到的模态系统也不同，对这些模态系统的框架进行解释就可以得到不同的模型。认知逻辑则是模态逻辑的改版，即：把模态逻辑中的必然算子，解释成相信算子或知道算子等而得到的。虽然各个逻辑系统千差万别，但是，各个系统所给出的句法和语义，以及随之而定义的框架与模型和在此基础上对可靠性和完全性、可判定以及复杂性的探讨等等，都或隐或显地彰显了结构主义的特征。

由于很多数学都研究抽象的结构，因此，数学结构主义在数学哲学中占据着主导的地位。根据数学结构主义的观点，数学理论描述各自论域中的结构的性质，而不必考虑所讨论对象的内在品质[13]。狄德金主张把数学结构作为以集合、运算和关系的系统的基础，并认为同构概念与结构的类型紧密相关[3]10。为了准确清晰地表述“结构”或“结构映射”的概念，数学只有利用集合论，或者只有利用作为结合论的一个分支的模型论，才能够准确表征结构、结构映射等概念。因此，集合论就成为结构主义重建数学的语言基础，成为结构主义表述各种数学对象及其相互关系的基本语言。作为现代逻辑学的重要分支之一的广义量词理论，集合论语言是其基本语言，因此，广义量词理论也采用了结构主义的研究方法。下面，笔者将以广义量词理论为例，来考察结构主义在现代逻辑学中的具体体现。

三结构主义在现代逻辑学中的具体实例

广义量词理论是揭示广义量词的普遍语义性质和推理特征的自然语言逻辑理论。集合论视域下的广义量词是通过对自然语言中的名词短语或其限定词进行语义解释后而得到的。即：广义量词对应于所有名词短语或其限定词的指称。一阶逻辑的全称量词和存在量词也是广义量词。可见，广义量词理论是在一阶逻辑和集合论的基础上发展起来的，它对广义量词的真值定义是建立在标准模型论的基础之上，广义量词的量化论域是由个体组成的集合，真值的模型论概念则是利用非逻辑符号的解释和量化论域来加以表述的[14]40-41。广义量词理论以集合论语言作为其基本语言，而集合论语言是结构主义表述各种数学对象及其相互关系的基本语言，因此，广义量词理论在诸多方面都体现了数学结构主义的思想。

(一)广义量词的同构闭包性彰显了结构主义的思想

1957年，莫斯托维斯基(Mostowski)为〈1〉类型广义量词附加了这样条件：不允许我们对论域中的元素加以区分。1966年，林登斯托姆(Lindström)把这一条件推广到更为普遍的情况，而且这一条件得到了逻辑学家的公认。这一条件被称为同构闭包(isomorphismclosure)，即：在逻辑中，只有结构才是重要的，个体对象、集合本身并不重要。这一思想与数学哲学中的结构主义思想不谋而合。用逻辑的术语来表述同构闭包的思想就是：如果一个逻辑语言中的语句在一个模型中为真，那么该语句在所有的同构模型中为真。即：逻辑是主题中立的[14]95。如果逻辑是独立于主题事物，那么逻辑常元将在论域间的任意双射下都是不变的，或者更弱一点地说，逻辑常元在论域的任意置换下是不变的[14]324-325。比如：假设把“学生”一一映射成“狗狗”，把“面包”一一映射成“骨头”，把“在吃”一一映射成“在啃”，那么，如果“每个学生最少吃三块面包”在一个模型中为真，那么“每个狗狗最少啃三块骨头”肯定在其同构模型中也为真。这说明，“每个”和“最少三(块)”具有同构闭包性。可见，逻辑学对所有对象都同等对待，逻辑性质不但在严格变换下是不变的，而且在所有双射下也是不变的[14]325。

同构闭包不仅仅局限于量词。比如，命题联结词也不关注主题事物：合取词可以统一运用于两个语句或两个集合或两个别的对象，而不考虑这两个对象的具体内容，仅仅考虑这两个对象的结构。这说明，同构闭包表达的思想与结构主义的思想也是相通的。对于自然语言量化而言，同构闭包具有重要的意义。莫斯托维斯、林登斯托姆、塔斯基和范本特姆都认为，满足同构闭包性是满足逻辑性的必要条件[14]327-328。值得我们注意的是，逻辑学家和计算机科学家，在实践中提出的所有形式语言都具有这样的性质：真在同构下得以保持，在系统中使用的所有算子以及由这些算子定义的别的所有算子，都满足同构闭包性[14]328。

(二)广义量词的真值定义体现了结构主义的思想

从语法的视角看，一个广义量词是一个变元约束算子，此算子把每个定义域与其任意子集间的一个二元关系联系起来。从语义的视角看，一个广义量词是一个映射，此映射通过表征广义量词的论元集合的性质或论元集合之间的关系，来揭示广义量词的语义性质[15]。例如：每个亚氏量词(即：all、some、no、notall这四个特殊的广义量词)实际上表示的是个体的集合之间的一个特殊的二元关系。比如：在“所有学生都去操场了”中，令论域中所有学生组成的集合用S表示，论域中所有去操场的个体组成的集合用P表示，这一语句就可以表示为all(S，P)这一三分结构，其真值定义all(S，P)⟺S⊆P的意思是，集合S是包含在集合P中，即：论域中，所有学生组成的集合包含在所有去操场的个体组成的集合中。

从以上的分析可以看出，广义量词理论很好地诠释了数学结构主义的内涵。比如：all(S，P)这一三分结构还可以表示“所有的人都是要死的”、“所有的狗狗都要睡觉”、“所有的大米都吃完了”等等，这里的“学生”“人”、“狗狗”“大米”等对象所组成的集合S，以及这些对象分别与“去操场了”、“要死的”、“要睡觉”和“吃完了”等对象所组成的集合P，这些具体对象本身并不重要，重要的是这些语句都可以用all(S，P)这一三分结构来加以统摄。其真值条件就是，当S⊆P(即S包含于P时)时，all(S，P)就为真。

(三)广义量词理论对单调性的处理也展示了结构主义的思想

广义量词的单调性是广义量词最为重要的语义性质。例如：至少三分之二的学生认真完成了作业。⟹至少三分之二的学生完成了作业。令S表示论域中所有学生组成的集合，P表示论域中认真完成作业的个体组成的集合，P′表示论域中完成作业的个体组成的集合。“至少三分之二的学生认真完成了作业”可表示成atleast2/3(S，P)这样的三分结构，“至少三分之二的学生完成了作业”可表示成atleast2/3(S，P)这样的三分结构。这一单调性推理可形式化为atleast2/3(S，P)⟹atleast2/3(S，P′)，由于P⊆P′，由P到P′，集合在增大，因此，这一推理体现了“至少三分之二的”这一广义量词的右单调递增的性质。而P⊆P′可以理解为，所有的P都是P′，这可表示成all(P，P′)。具体地说，就是：所有认真完成了作业的个体都是完成了作业的个体。这一单调性推理其实是省略了all(P，P′)这一前提的广义三段论推理，其形式化结构为：atleast2/3(S，P)∧all(P，P′)⟹atleast2/3(S，P′)。事实上，所有关于广义量词的单调性推理，都是省略了一个暗含前提的广义三段论推理。

可见，广义量词理论对单调性的处理所使用的基本语言也是集合论语言，这一语言也是结构主义的基本语言，因而体现了结构主义的思想。1984年范本特姆提出的利用数字三角形方法，来表征具有驻留性、扩展性和同构闭包性的〈1〉类型和〈1，1〉类型广义量词的单调性，其背后也暗含了浓烈的结构主义思想。限于篇幅，不再详细论述。

(四)基于广义量词理论的广义三段论推理蕴涵了结构主义的思想

正如一阶逻辑的全称量词和存在量词是广义量词的特例一样，亚氏三段论也是广义三段论的特例。自亚里士多德开始的很长时期内，对亚氏三段论的有效性的研究，几乎都是采用的是非形式化的方法。自从有了广义量词理论后，对包括亚氏三段论在内的广义三段论的研究，就可以用形式化的方法来对其进行表示和有效性的证明[1]155-202。而且利用广义量词理论，不仅可以对24个有效的亚氏三段论进行形式化，而且还可以对其进行公理化[16]。这种形式化的逻辑研究方法不仅拓展了逻辑研究的范围、提升了逻辑学的研究能力，更重要的是有利于计算机科学中的知识表示、知识推理和自然语言信息处理。

广义量词理论完成以上这些任务主要还是利用了集合论语言，彰显了结构主义的思想。具体地说，就是充分利用了“含有〈1，1〉类型的广义量词Q的量化语句具有Q(S，P)这样的三分结构”这一知识。〈1，1〉类型的广义量词揭示的是所涉及的左论元所组成的集合与其右论元所组成的集合之间的二元关系。〈1〉类型的广义量词揭示的是所涉及的论元所组成的集合的性质。由于自然语言中的广义量词绝大多数都是〈1〉类型和〈1，1〉类型的广义量词，而且对〈1〉类型的广义量词的研究可以转化为对其〈1，1〉类型的亲缘广义量词的研究[1]46。因此，利用这一结构主义思想，就可以对自然语言中绝大部分广义三段论进行形式化和有效性的证明。简言之，这一结构主义的研究方法具有很强普适性。

例如：“所有渴望暴富的人都是浮躁之人。大多数人都是渴望暴富的人。所以，大多数人都是浮躁之人。”其中的“大多数的”对应的是〈1，1〉类型的广义量词。令论域中所有人组成的集合用S表示，论域中浮躁之人组成的集合用P表示，论域中渴望暴富的人组成的集合用M表示。利用结构主义的形式化表示方法，这一广义三段论，可以形式化为：all(M，P)∧most(S，M)⟹most(S，P)。利用广义量词的真值定义就可证明这一广义三段论的有效性。证明：假设all(M，P)与most(S，M)这两个条件均成立。根据all和most的真值定义可知：all(M，P)⟺M⊆P，且most(S，M)⟺|S∩M|≥|0.55|S|，因此，|S∩P|≥0.55|S|。再根据most的真值定义“most(S，P)⟺|S∩P|≥0.55|S|”可知：most(S，P)成立。证毕。对亚氏三段论和其他广义三段论的形式化及其有效性的证明均可以类似处理。可见，利用结构主义的形式化研究方法，可以简洁明了地对包括亚氏三段论在内的广义三段论进行形式化及其有效性的证明。

笔者多年的研究表明：这一结构主义研究方法普适性非常强。因为不论是自然语言中无处不在的广义量词的单调性推理，还是亚氏三段论推理，抑或是广义三段论推理，以及建基于这三种推理之上的语篇推理，都可以使用这种结构主义的研究方法来进行形式化及其有效性的证明。

四结论