数学就是不断抽象的过程。。。 我们来看个例子： 所有的人都比 madao756 帅，你是人，所以你比我帅 在之前的「命题逻辑」中，我们只能把它抽成三个「简单命题」 符号化以后就变成单从结果来看，其实损失了一些关键信息：比如「所有人」。 于是数学家们想出了一个更好的，更完美的方法，表示上述命题，我们把它叫做「一阶逻辑」。 为了将上述「你比我帅」抽成「一阶逻辑」的形式，我们得先学一点基础知识： 先有一个感性地认识： 其中「...最好看」就是一个「谓词」，抽象成数学就变成： F(x) : x 最好看 ，F(x) 就是一个谓词。 类似的还有很多很多： ... 量词是「一阶逻辑」中的关键，因为之前的「命题逻辑」并不能很好的体现「所有」、「存在」这样的描述词语 量词也很简单就两个： 像我们之前的「所有」、「一切」这样的词就可以抽象成「全称量词」用符号 表示 我们说的什么「存在」、「有」这样的词就可以抽象成「存在量词」用符号 表示 结合「谓词」和「量词」，我们就可以将一些命题抽象成「一阶逻辑」 比如「所有人都比 madao756 帅」可以抽象成， 谓词：F(x): x 比 madao756 帅 量词： 你有没有一种感觉，差了点什么？ 在说谓词的时候，F(x): x 比 madao756 帅。x 是啥？是猪？「猪比 madao756 帅」？就没个定义域啥的？有的！ 首先，先感性地认识「个体词」 小王、小李、madao756 可以是个体词，F(x): x 比 madao756 帅中的 x 也是个体词。前者与后者的具体差别就是：前者是固定的我们叫做「个体常项」后者不是固定的我们叫做「个体变项」 而「个体变项」的范围就是「个体域」 有一个特殊的「个体域」：它是宇宙一切事物组成的，称作「全总个体域」 现在我们根据 0X01 中的内容做一些题目： 将下述命题 分别 在 D1 和 D2 的「个体域」下「一阶逻辑」化 1）凡人都呼吸 2）有的人用左手写字 个体域 D1 为人类集合 个体域 D2 为全总个体域 由于上述命题是对人而言的也就是说，应该将上述命题写成： 1）如果个体是人，个体呼吸 2）如果个体是人，有的人用左手写字 所以我们要搞出一个定义人的谓词：M(x) : x 是人，写成： 1） 2） 在 和 中，由于有量词的存在，我们称量词后面的 x 是「指导变元」 量词后面的 或者 我们叫做：「辖域」 中所有 x 的出现，我们叫做 「约束出现」 而在 中所有 y 的出现，由于没有对 y 进行量词限制，所以对于 中出现 y，我们叫做「自由出现」 对于 中给 x 值这一动作叫做「赋值」 而将 F(x) 定义为 x 是大佬。这一动作叫做「解释」 第四章结束。。。
一阶逻辑是数理逻辑的基础部分，主要包括经典命题逻辑和一阶谓词逻辑。一阶逻辑之所以是“一阶”的，是因为它所包含的谓词逻辑是一阶的。谓词就是表示对象属性的语词。对象的属性具有层次，在谓词用法中，这种层次叫做“阶”。所谓一阶谓词就是指刻画个体属性的谓词，如“红色”“大于”等谓词都只适用于个体概念，像“鲜艳”“传递性”等用来刻画“红色”“大于”这种谓词的谓词就是高阶谓词了，它们刻画的是属性的属性。
一阶逻辑是研究数学中由个体、函数及关系构成的命题以及由这些命题经使用量词和命题连接词构成的更复杂的命题和这类命题之间的推理关系。在为数学的语言和推理建立形式系统的过程中，一阶逻辑处于核心地位，多数常见的数学公理系统都可在一阶逻辑中表述。（.）G.弗雷格首先建立了一阶逻辑的形式系统(1897)。人们也称之为谓词演算。其后，.怀特海和.罗素使其进一步精确化(1910)。1 正文回到顶部意见反馈相关搜索大家都在搜一阶逻辑公式一阶逻辑与一阶理论一阶逻辑的推理理论离散数学 一阶逻辑正文折叠编辑本段在一阶逻辑中描述一个数学理论，首先会涉及这个理论所讨论的对象、定义在这些对象上的函数、以及这些对象之间的关系或性质。数学理论所讨论的对象称为个体，由个体组成的非空集合称为论域或个体域。按通常数学中的定义，一个n元函数就是从论域A的个体的所有n元组的集合至A中的一个映射。A中个体的n元组(α1,α2,…,αn)经映射F对应到A中的个体表示为F(α1,α2,…,αn)。函数增加了个体的表达形式。人们也考虑论域A中哪些n元组满足关系R，即A中哪些n元组(α1,α2,…,αn)使得R(α1,α2,…,αn)为真。此时的R(α1,α2,…,αn)就是一个命题。在各种关系中，相等关系是经常要用的。因为常常需要知道不同个体的表达式是否指称同一个对象。例如3+3与2×3是否表示同一个数。可以将关系或命题用命题连接词来构成更复杂的关系或命题。当描述一些个数为无穷的对象的性质时，就需要引进量词。例如说“对任何一个自然数，都有一个比它大的素数”时，就引进了量词“所有个体”及“存在个体”，并且将关系或命题经量词构成了更复杂的关系或命题。“论域中的所有个体”称为全称量词，由它所构成的命题“论域中所有的个体有某性质”，当论域中所有个体都有此性质时，此命题是真的，否则为假。“论域中存在个体”称为存在量词，由它所构成的命题“论域中存在个体有某性质”，当论域中某些个体有此性质时为真，否则为假。“所有个体”、“存在个体”中，量词加在论域的个体上，称为一阶量词。在一阶逻辑中使用的量词仅限于一阶量词。“所有函数”、“存在函数”、“所有关系”和“存在关系”是二阶量词。此外还有更高阶的量词。相应地也有二阶逻辑、高阶逻辑等。按照建立形式系统的一般原则（见逻辑演算），一阶逻辑的形式系统应包括它的语言，即一阶语言，以及逻辑公理和推理规则。一阶语言的符号包括以下几类。① 个体变元x，y，z，…。② 函数符号（表示函数）ƒ，g，h，…；个体符号（表示论域中的个体） α，b，с，…；及谓词（表示关系）p,Q，R，…。其中有一个二元谓词=,称为等词（表示恒同关系）。③ 命题联结词塡,∧，∨，→,凮以及量词一阶逻辑(存在量词)，凬（全称量词）。①，③及等词称为逻辑符号，其他符号，即等词外的②称为非逻辑符号。归纳地定义一阶语言的项和公式，也称之为形成规则。项的定义：① 变元和个体符号是项。② 若t1,t2,…,tn是项，ƒ是一个n元函数符号,则ƒ(t1,t2,…,tn)是项。公式可定义为：① 若t1,t2,…,tn是项，p是n元谓词符号,则p(t1,t2,…,tn)是公式，也称为原子公式。② 若A是公式，则塡A是公式；若A，B是公式，则A∧B，A∨B，A→B，A凮B是公式。③ 若A是公式，则一阶逻辑xA,凬xA是公式。如果变元x出现在公式 A中形如一阶逻辑xB或凬xB的部分，称这个出现为x在A中的约束出现；否则，称为x在A中的自由出现。例如在公式x=0∨一阶逻辑x(x>0)中，第一个x是自由出现,第二、三个x是约束出现。没有变元自由出现的公式称为闭公式。谓词演算作为一个形式系统，可以规定它的解释。给定一个论域，对于谓词演算中出现的个体符号、函数符号及谓词依次解释为论域中的个体及定义在此论域上的函数及关系。此论域及其对于谓词演算中形式符号的解释称为该演算的一个结构或模型。由对于个体符号和函数符号的解释可知,项可解释为复合函数,它指称个体。原子公式p(t1,t2,…,tn)解释为t1,t2,…,tn所指称的个体满足n元关系p。若公式A(x)表示关系，则凬xA(x)解释为论域中所有个体满足关系A，一阶逻辑xA(x)解释为论域中存在某个体满足关系A。谓词演算的推理规则可规定如下：一阶逻辑谓词演算的逻辑公理陈述逻辑符号的性质，分为三类：① 命题公理 将重言式（见命题逻辑）中出现的命题变元代之以谓词演算中的任意公式后得到的公式；② 恒同公理 x=x及相等性公理一阶逻辑③ 替换公理 Ax【α】→一阶逻辑xA及凬xA→Ax【α】,其中Ax【α】表示将公式A中所有x的自由出现代之以项α。谓词演算的公理，即逻辑公理并不界定具体的函数或关系，而仅仅处理逻辑词项的一般性质。换言之，对它的个体符号、函数符号、及谓词的解释可以是任意论域中的任意个体、函数及关系。谓词演算的这个抽象性质对于近年来模型论的发展是本质的。在谓词演算的框架中，用形式语言表述数学的公理（并不一定能完全表述），就得到不同数学理论的形式系统。这类形式公理刻画了某些具体的非逻辑符号的性质，称为非逻辑公理。例如：全序理论的形式系统中仅有一个非逻辑符号二元谓词≤。除逻辑公理外，它还有非逻辑公理:①x≤y∧y≤z→x≤z;②x≤y∧y≤x→x=y；③x≤x;④x≤y∨y≤x。自然数集合及其上的顺序关系就是全序理论的一个模型。群论的形式系统中只有两个非逻辑符号：个体符号1及二元函数符号·。它的非逻辑公理为：① x·(y·z)=(x·y)·z；②x·1=x；1·x=x；③一阶逻辑y(x·y=1∧y·x=1)。任何一个群都是它的模型。数论的形式系统中的非逻辑符号有：个体符号0,一元函数符号s及两个二元函数符号＋及·。数论（或皮亚诺算术）的公理为：①塡s(x)=0，②s(x)=s(y)→x =y，③x+0=x，④ x+s(x)=s(x+y)，⑤ x·0=0，⑥x·s(y)=（x·y）+x，⑦若A为系统内的公式，x0在A中自由出现,则对每个这样的公式A，有公理一阶逻辑一阶逻辑一阶逻辑自然数的算术就是它的一个模型。陈述在一阶语言中，由逻辑公理、非逻辑公理及推理规则推出的全部形式定理（见逻辑演算）称为一阶理论，记为T。为区别不同的一阶理论T,只要指出T的语言中的非逻辑符号及非逻辑公理就够了。任何一阶理论都包含了谓词演算作为它的子系统。在谓词演算的任意模型中均为真的公式称为永真的或有效的公式。例如,公式A(x,y)∨塡A(x,y)就是有效的公式，而x≤y∨y≤x就不是有效的。因为在全序结构中，对x，y在个体域中的任意取值，该公式的解释均为真。而在半序结构中，例如该结构的论域为一个集合的全体子集的集合，≤解释为集合的包含关系，那么上式的解释当x，y取任意的两个子集时就不都是真的了。直观上看，逻辑的定理应当是在一切可能的世界中均为真的定理。在一定意义下，谓词演算满足这个性质。可以验证，谓词演算的公理均为有效的，它的推理规则的假设有效则结论也必有效。因此，谓词演算的所有定理都是有效的。这个性质称为谓词演算的有效性或可靠性。反之，任意有效的公式必为谓词演算的定理。这就是著名的哥德尔完备性定理。由K.哥德尔于1930年证明。用├A表示A是谓词演算的形式定理，即A 是系统内的定理。而可靠性与完备性刻画了整个形式系统的性质，是关于系统的定理，也称为元定理。形式系统的性质是数理逻辑主要的研究对象之一。由谓词演算的有效性及完备性容易推知一阶理论的可靠性与完备性。使一阶理论 T的所有公理为真的结构称为T 的一个模型。若T的一个公式A在T 的任意模型中均有效，称A在T中有效，记为T喺A。A是T的定理记为T├A。那么T的可靠性与完备性就可以陈述为T├ A的充分必要条件为T 喺A。若不存在A使得T├A且├塡 A，则称T是协调的。若T 是协调的，则T 必有模型（广义完备性定理）。形如一阶逻辑x1，一阶逻辑x2,…,一阶逻辑xnB 的公式称为前束型公式，其中一阶逻辑xi表示一阶逻辑xj或凬xj，B 是一个不含量词的公式。任何一个一阶理论T(当T 的非逻辑公理集为空集时就是一个谓词演算)的公式A，都有一个公式A′，使得T├A凮A┡,其中A┡为前束型公式一阶逻辑x1,一阶逻辑x2,…,一阶逻辑xηB，且B中的非逻辑符号均在A中出现。A′也称为A的前束范式。此性质可用于对谓词演算或一阶理论的公式进行分类上。此时只需考虑前束范式中的量词，将它作为公式复杂性的一种测度。参考资料：
分类: 教育/科学 >> 科学技术 解析: 在命题逻辑中，有些问题得不到解决 例如：判断以下推理是否正确： 凡人都是要死的， 苏格拉底是人，所以苏格拉底是要死的。 这是著名的“苏格拉底三段论”，若用分别表示以上3个命题，推理形式为，不是重言式，也就是说用命题逻辑无法解决这个根据常识就可断定的正确推理。 因此，有必要研究简单命题的各种成分(个体词，谓词，量词)，以及它们的形式结构和逻辑关系，总结出正确的推理形式和规则。这部分内容即一阶逻辑(又称谓词逻辑)。
关于毕业论文的概念和作用
大学生活要接近尾声了，大学毕业前都要通过最后的毕业论文，毕业论文是一种有计划的、比较正规的检验学生学习成果的形式，那么大家知道正规的毕业论文怎么写吗？下面是我整理的关于毕业论文的概念和作用，仅供参考，大家一起来看看吧。
概念：
毕业论文是按照专业教学计划的要求，在有经验的教师指导下，结合专业学科领域中的某一问题或现象，在调查与实验研究的基础上进行的科学分析与论证，由学生独立撰写的科技论文。
撰写毕业论文是在校大学生学习期间最后一个教学环节，也是一项重要的教学工作。按教学计划要求，本科生学完全部课程，成绩合格者，应在规定时间内进行毕业实习和撰写毕业论文。
作用：
教师通过指导毕业论文写作，对学生进行专业知识和技能、资料查阅归类、调查研究、实验设计、数据整理、现象分析等方面的能力的综合训练，培养学生综合运用所学知识解决实际问题和独立思考的能力，培养学生科技写作能力。同时，写作毕业论文也是教学部门为保证教育质量，促进教育水平提高对学生学习成绩与综合素质的一次全面考核，亦为学生今后更好地胜任工作打下良好基础。
毕业论文选题的意义和作用
所谓选题，顾名思义，就是选择毕业论文的题目，也就是说，在撰写毕业论文之前，要选择要研究论证的问题。这里首先要了解话题、话题、话题3个概念。学科、专题和专题属于学术问题中的一个课题，但课题通常是一个重大的研究课题，其研究范围要比专题大得多，一个课题可能包含多个题目;标题是指标题，研究范围略大于。和同一个题目，你可以选择很多具体的题目来写毕业论文。
毕业论文写作从提问开始，即从选题开始，选题过程实际上是毕业论文写作的准备，伴随着毕业论文材料的收集过程。选择进行研究，包括调查、实验、测试、分析数据，形成自己的思路;然后起草提纲或设计方案;最后，写出论文或图纸设计图纸和设计规范，并加以修改，这是一个紧密联系、一个环节、一个系统工程。通过选题，可以看出作者的研究方向和学术水平。爱因斯坦曾经说过：“面对科学，问问题往往比解决问题更重要。”问问题是解决问题的第一步。正确恰当的选题可以起到事半功倍的作用，对毕业论文写作具有重要意义。
1. 选题为提高毕业论文质量提供了保证
影响毕业论文质量的因素有很多方面，其中离不开调动人的主观能动性。毕业论文的题目无论是学生自己拟定的，还是在老师的指导下选择的，或是经院(系、所、教研室)下达的，都离不开一个“选”字，都需要学生充分发挥自己的主观能动性，经过反复思考，相互比较后才能确定下来。自己选择的题目会更好地鼓舞激励自己，这样由对选题的最初认识到以后的不断发展，从感性认识升华到理性认识，最终才会获得一个较好的研究成果。
选题绝不是仅仅给毕业论文定个题目和划定个范围这样简单，选择毕业论文题目的过程，就是初步进行科学研究的过程，毕业论文题目一旦确定后，学生就应在头脑中形成一个大致的轮廓。毕业论文的选题有意义，写出来的毕业论文才会有价值，否则，即使花费了再多的时间和精力，毕业论文写得主题很突出，结果很合理，语言很流畅，格式很规范，从表面上看是一篇很不错的毕业论文，但也不会有积极的效果和较高的价值。
2. 选题有利于充分发挥学生的特长
学生根据个人实际情况选题，有利于扬长补短，弥补某个方面知识和技能储备不足的缺陷，并且做到有针对性、高效率地获取相关知识，利于早出成果。通过选题，学生对自己所要研究的对象有了初步的了解和认识，为下一步深入开展研究奠定了基础。在一定意义上来说，选题规划了毕业论文写作的蓝图，确定了毕业论文的研究角度和规模，决定了毕业论文写作乃至该项研究工作的.方向和最终可能取得的成果。
3. 选题有助于学生研究能力的提高
大学生在校期间学过的知识很多，但知识并不等于能力，学生的研究能力相对还比较弱，研究能力要在应用知识的实践中，即在科学研究的实践中自觉地培养和锻炼才能得到提高。选题是大学生从事科学研究实践迈出的第一步，选题前，要对某一学科的专业知识进行研究，查阅整理一些相关材料，有侧重地深化对所研究问题的认识，从而使自己的分析综合、判断推理、归纳演绎、联想发挥等方面的思维能力和研究能力得到锻炼和提高。
4. 选题可使毕业论文写作顺利地完成
选择难度和合适的题目大小可以保证毕业论文写作的顺利进行。如果选题过于困难，学生就很难完成;如果题目太小太简单，就达不到写论文的目的。
总之，选题是毕业论文写作的初始阶段，也是毕业论文写作的重要组成部分。结果将直接影响毕业论文教学质量和培养学生的专业素质，毕业论文应紧紧围绕教学大纲的培养目标、专业知识和技能，使学生学会综合运用，探索和解决一些实际问题。因此，选择一个好的主题是毕业设计的关键。
学年论文我们先来讲一下学年论文。学年论文就是高等院校要求学生每学年完成的一篇学术论文，这是一种初级形态的学术论文。其目的在于指导学生初步学会对一学年所学专业知识进行科学研究。每学年写一篇，逐步培养学生的科研能力，为将来写毕业论文打基础。撰写学年论文要在导师的指导下进行。在一些学校，各个专业执行的情况不同。这个是学位条例规定要这么做的，教育部规定先要写学年论文，逐步逐步积累经验以后，在毕业的时候撰写毕业论文就不会成为一件太难的事了。但是有很多学校没有把学年论文当作是一个培养学生研究能力的一个途径或者是工具。那么，临近毕业的时候，学生还不知道毕业论文该怎么写。当然还是有相当一部分高等院校，特别是重点院校是很注重学年论文的撰写的，因为只有训练学年论文的写作才能顺理成章的过渡到毕业论文的写作。每一门课的授课到最后的考试，从某种意义上来说实际上就是在训练一学期或一学年论文的写作。因为任课老师都是从自己的课程的角度出发给大家考一点知识题，再考一个论述题。那么对于论述题，应该说有经验的老师是可以很好的利用论述题来训练学生写论文的。有一部分学校这样做了，但还有部分学校没有将其提到日程上来。还是由各个老师具体要求，让学生当一次作业来做的，没有强调学术性。北京师范大学的原来的中文系，现在的文学院要求学生从大学二年级开始训练写学年论文，在“五四”或者“七一”、“一二九”等特殊的日子进行论文竞赛，对学生进行论文写作训练。那么在每学年，每一位任课老师都有责任去训练学生撰写学年论文，为将来毕业论文打基础。那么这是一个概念和相关的状况。毕业论文下面要讲的是毕业论文。什么叫毕业论文？毕业论文就是高等院校应届毕业生独立完成的一篇总结性的学术论文。这里有这样几点需要大家注意：一是应届毕业生；二是独立完成，当然是在老师的指导下；三是总结性的，所谓总结性的就是说，将来在选题的时候，比如中文系，你可能会选语言方面的，也可能会选文学方面的。语言方面，你可能更喜欢古代汉语，或者更喜欢现代汉语，或者更喜欢应用语言学。文学方面，你可能喜欢古典文学，或者喜欢现代文学，或者是当代文学、外国文学。外国文学，你可能喜欢东欧的或者西欧的，或者喜欢日本的等。总起来说专业分的比较强。为什么说是总结性的呢？尽管你选择的选题可能是你所学的四年来最感兴趣的的题目，但要真正写出一篇象样的、合格的毕业论文，需要调动各种基础知识。所以我们可以通过毕业论文来检查一下你四年或三年半学习的基础知识、基本理论和技能都处在一个什么水平上。因此，从这个意义上来说毕业论文具有总结性。那么说它是论文，就意味着它不同于平时的读后感之类，自己有什么感性的认识记下来。毕业论文具有学术性，所谓的学术性就是说当你提出自己的一个观点的时候即立论的时候，你必须有自己充分的理据加以证实，使得你的立论能够站住脚。不光能够站住脚，而且我们要求你的理论要对社会或者说对你的学科要有一定的贡献。为什么要在毕业之前要求学生一定要写一篇毕业论文呢？主要是要让学生总结一下在校四年来的学习成果。学校方面通过考察学生的毕业论文，检查学生在综合运用所学知识解决实际问题的能力怎么样。一个是综合运用所学知识，一个是解决实际问题的能力，这是两个要点。所以一定不要小看毕业论文，选个题，写一写就行了。真正动手开始写了以后，就会感觉到自己通过这篇论文的写作梳理了一下自己所学的知识，这是一个很好的锻炼。只要是认真去撰写论文的同学，他最后的体会就是如果我没有写这篇论文就可能不知道自己的知识掌握了多少，有的时候是通过背诵参加闭卷考试的。但是这篇论文是开放的，它不用你去背诵。主要看你的选题能力怎么样，是不是能够结合社会实践，能够选一个社会需要的论题。这就看你的社会敏锐性怎么样了。这也是一种考察，从选题上来讲，这就是一种能力的考察，这篇论文写出来有没有价值，有什么样的价值，价值的深刻性、新颖性怎么样等等。当你选出了一个题目，要真正形成一篇论文是不那么简单的。有的学生说毕业论文我突击一下就可以完成了，一般情况来说毕业论文需要将近一学期的时间来写。从我们的经验来看，在四年级的上学期，我们已经把学生分给各个导师，由导师与所辅导的学生进行沟通。学生选择了论题就由导师研究，看合适不合适，合适了就让学生动笔写提纲。提纲被导师认可了，就再动笔撰写。从时间上讲有将近一学期的时间。当然也有一些学校，可能就是突击一下，让学生在最后一两个月完成。那么这样的论文到底是一种什么样的水平我们可以做一下比较。当然我们并不是说时间长了就一定好，时间短了就一定不好。但是话说回来，我们说写论文需要搜集大量的资料去思考。有没有充分的时间对论文的质量还是有影响的。这是我要讲的毕业论文，主要是学校能够通过毕业论文来考察一下学生综合运用知识的能力和解决实际问题的能力。考试的时候回答一个大题，那还不能叫科学研究。那是你面对着一门课看你学得怎么样。有经验的老师必定会出一道论述题，那就是面对着所教授的那门课通过这一道论述题来考察一下学生解决问题的能力怎么样。因此，毕业论文对学生来讲是非同小可的。毕业论文要根据学生所学的专业和培养的要求，在指导老师的指导下选定一个论题。有的学生说我不知道怎么去选择题目。那么我说今天我讲完课了，你就应该知道怎么去选题。应该选择什么样的题目来做论文题目。那么当你自己没有把握的时候要跟导师沟通。为什么要有导师呢？有导师的目的就是要在这个大题目中进一步培养学生的科研能力。毕业论文的完成也就是得到了导师的认可。导师根据自己的经验认为你这篇论文完成了，也就是定稿了。定稿了以后，导师要邀请若干个老师组成论文答辩小组，然后让学生围绕着自己的这篇论文进行答辩，也就是说答辩小组的各个老师看了你的论文以后，从论文中提出相关问题，你面对着各位评委提出的问题应该作出实事求是的回答。一个是书面的撰写论文，一个是论文完成以后的论文答辩，这两个过程结合起来，最后答辩小组对学生的论文给予一个成绩。那么这个过程结束以后，我们就说这个毕业论文完成了。毕业论文现在分为三个等级，一个是本科生的毕业论文，一个是研究生的毕业论文，一个是博士生的毕业论文。那么这三个层次的毕业论文的要求是不一样的。
论文一般由题名、作者、摘要、关键词、正文、参考文献和附录等部分组成，其中部分组成（例如附录）可有可无。
1、题名
题名应简明、具体、确切，能概括论文的特定内容，有助于选定关键词，符合编制题录、索引和检索的有关原则。
2、作者
作者署名置于题名下方，团体作者的执笔人，也可标注于篇首页地脚位置。有时，作者姓名亦可标注于正文末尾。示例：王军1，张红2，刘力1。
3、摘要
摘要是对论文的内容不加注释和评论的简短陈述，要求扼要地说明研究工作的目的、研究方法和最终结论等，重点是结论，是一篇具有独立性和完整性的短文，可以引用、推广。
4、关键词
关键词是反映论文主题概念的词或词组，通常以与正文不同的字体字号编排在摘要下方。一般每篇可选3~8个，多个关键词之间用分号分隔，按词条的外延（概念范围）层次从大到小排列。
5、正文
为了做到层次分明、脉络清晰，常常将正文部分分成几个大的段落。这些段落即所谓逻辑段，一个逻辑段可包含几个小逻辑段，一个小逻辑段可包含一个或几个自然段，使正文形成若干层次。论文的层次不宜过多，一般不超过五级。
6、参考文献
为了反映文章的科学依据、作者尊重他人研究成果的严肃态度以及向读者提供有关信息的出处，正文之后一般应列出参考文献表。
引文应以原始文献和第一手资料为原则。所有引用别人的观点或文字，无论曾否发表，无论是纸质或电子版，都必须注明出处或加以注释。凡转引文献资料，应如实说明。
对已有学术成果的介绍、评论、引用和注释，应力求客观、公允、准确。伪注、伪造、篡改文献和数据等，均属学术不端行为。
7、致谢
一项科研成果或技术创新，往往不是独自一人可以完成的，还需要各方面的人力，财力，物力的支持和帮助。因此，在许多论文的末尾都列有＂致谢＂。主要对论文完成期间得到的帮助表示感谢，这是学术界谦逊和有礼貌的一种表现。
毕业论文的基本教学要求是：
1、培养学生综合运用、巩固与扩展所学的基础理论和专业知识，培养学生独立分析、解决实际问题能力、培养学生处理数据和信息的能力。
2、培养学生正确的理论联系实际的工作作风，严肃认真的科学态度。
3、培养学生进行社会调查研究；文献资料收集、阅读和整理、使用；提出论点、综合论证、总结写作等基本技能。
人工智能与现今逻辑学的发展-.〔摘要〕 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 〔关键词〕 人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成功。于是，逻辑学将不得不比较全面地研究人的思维活动，并着重研究人的思维中最能体现其能动性特征的各种不确定性推理，由此发展出的逻辑理论也将具有更强的可应用性。 实际上，在20世纪中后期，就已经开始了现代逻辑与人工智能（记为AI）之间的相互融合和渗透。例如，哲学逻辑所研究的许多课题在理论计算机和人工智能中具有重要的应用价值。AI从认知心理学、社会科学以及决策科学中获得了许多资源，但逻辑（包括哲学逻辑）在AI中发挥了特别突出的作用。某些原因促使哲学逻辑家去发展关于非数学推理 的理论；基于几乎同样的理由，AI研究者也在进行类似的探索，这两方面的研究正在相互接近、相互借鉴，甚至在逐渐融合在一起。例如，AI特别关心下述课题： ·效率和资源有限的推理； ·感知； ·做计划和计划再认； ·关于他人的知识和信念的推理； ·各认知主体之间相互的知识； ·自然语言理解； ·知识表示； ·常识的精确处理； ·对不确定性的处理，容错推理； ·关于时间和因果性的推理； ·解释或说明； ·对归纳概括以及概念的学习。[①] 21世纪的逻辑学也应该关注这些问题，并对之进行研究。为了做到这一点，逻辑学家们有必要熟悉AI的要求及其相关进展，使其研究成果在AI中具有可应用性。 我认为，至少是21世纪早期，逻辑学将会重点关注下述几个领域，并且有可能在这些领域出现具有重大意义的成果：（1）如何在逻辑中处理常识推理中的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 1．常识推理中的某些弗协调、非单调和容错性因素 AI研究的一个目标就是用机器智能模拟人的智能，它选择各种能反映人的智能特征的问题进行实践，希望能做出各种具有智能特征的软件系统。AI研究基于计算途径，因此要建立具有可操作性的符号模型。一般而言，AI关于智能系统的符号模型可描述为：由一个知识载体（称为知识库KB）和一组加载在KB上的足以产生智能行为的过程（称为问题求解器PS）构成。经过20世纪70年代包括专家系统的发展，AI研究者逐步取得共识，认识到知识在智能系统中力量，即一般的智能系统事实上是一种基于知识的系统，而知识包括专门性知识和常识性知识，前者亦可看做是某一领域内专家的常识。于是，常识问题就成为AI研究的一个核心问题，它包括两个方面：常识表示和常识推理，即如何在人工智能中清晰地表示人类的常识，并运用这些常识去进行符合人类行为的推理。显然，如此建立的常识知识库可能包含矛盾，是不协调的，但这种矛盾或不协调应不至于影响到进行合理的推理行为；常识推理还是一种非单调推理，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论；常识推理也是一种可能出错的不精确的推理模式，是在容许有错误知识的情况下进行的推理，简称容错推理。而经典逻辑拒斥任何矛盾，容许从矛盾推出一切命题；并且它是单调的，即承认如下的推理模式：如果p?r，则pùq?r；或者说，任一理论的定理属于该理论之任一扩张的定理集。因此，在处理常识表示和常识推理时，经典逻辑应该受到限制和修正，并发展出某些非经典的逻辑，如次协调逻辑、非单调逻辑、容错推理等。有人指出，常识推理的逻辑是次协调逻辑和非单调逻辑的某种结合物，而后者又可看做是对容错推理的简单且基本的情形的一种形式化。[②] “次协调逻辑”（Paraconsistent Logic）是由普里斯特、达·科斯塔等人在对悖论的研究中发展出来的，其基本想法是：当在一个理论中发现难以克服的矛盾或悖论时，与其徒劳地想尽各种办法去排除 或防范它们，不如干脆让它们留在理论体系内，但把它们“圈禁”起来，不让它们任意扩散，以免使我们所创立或研究的理论成为“不足道”的。于是，在次协调逻辑中，能够容纳有意义、有价值的“真矛盾”，但这些矛盾并不能使系统推出一切，导致自毁。因此，这一新逻辑具有一种次于经典逻辑但又远远高于完全不协调系统的协调性。次协调逻辑家们认为，如果在一理论T中，一语句A及其否定?A都是定理，则T是不协调的；否则，称T是协调的。如果T所使用的逻辑含有从互相否定的两公式可推出一切公式的规则或推理，则不协调的T也是不足道的(trivial)。因此，通常以经典逻辑为基础的理论，如果它是不协调的，那它一定也是不足道的。这一现象表明，经典逻辑虽可用于研究协调的理论，但不适用于研究不协调但又足道的理论。达·科斯塔在20世纪60年代构造了一系列次协调逻辑系统Cn（1≤n≤w），以用作不协调而又足道的理论的逻辑工具。对次协调逻辑系统Cn的特征性描述包括下述命题：(i)矛盾律?(Aù?A)不普遍有效；(ii)从两个相互否定的公式A和?A推不出任意公式；即是说，矛盾不会在系统中任意扩散，矛盾不等于灾难。(iii)应当容纳与(i)和(ii)相容的大多数经典逻辑的推理模式和规则。这里，(i)和(ii)表明了对矛盾的一种相对宽容的态度，(iii)则表明次协调逻辑对于经典逻辑仍有一定的继承性。 在任一次协调逻辑系统Cn(1≤n≤w)中，下述经典逻辑的定理或推理模式都不成立： ?(Aù?A) Aù?A→B A→(?A→B) (AA)→B (AA)→?B A→A (?Aù(AúB))→B (A→B)→(?B→?A) 若以C0为经典逻辑，则系列C0, C1, C2,… Cn,… Cw使得对任正整数i有Ci弱于Ci-1，Cw是这系列中最弱的演算。已经为Cn设计出了合适的语义学，并已经证明Cn相对于此种语义是可靠的和完全的，并且次协调命题逻辑系统Cn还是可判定的。现在，已经有人把次协调逻辑扩展到模态逻辑、时态逻辑、道义逻辑、多值逻辑、集合论等领域的研究中，发展了这些领域内的次协调理论。显然，次协调逻辑将会得到更进一步的发展。[③] 非单调逻辑是关于非单调推理的逻辑，它的研究开始于20世纪80年代。1980年，D·麦克多莫特和J·多伊尔初步尝试着系统发展一种关于非单调推理的逻辑。他们在经典谓词演算中引入一个算子M，表示某种“一致性”断言，并将其看做是模态概念，通过一定程序把模态逻辑系统T、S4和S5翻译成非单调逻辑。B·摩尔的论文《非单调逻辑的语义思考》（1983）据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。自动认知推理则不是这种类型，它是与人们自身的信念或知识相关的推理，可用它模拟一个理想的具有信念的有理性的代理人的推理。对于在计算机和人工智能中获得成功的应用而言，非单调逻辑尚需进一步发展。 2．归纳以及其他不确定性推理 人类智能的本质特征和最高表现是创造。在人类创造的过程中，具有必然性的演绎推理固然起重要作用，但更为重要的是具有某种不确定性的归纳、类比推理以及模糊推理等。因此，计算机要成功地模拟人的智能，真正体现出人的智能品质，就必须对各种具有不确定性的推理模式进行研究。 首先是对归纳推理和归纳逻辑的研究。这里所说的“归纳推理”是广义的，指一切扩展性推理，它们的结论所断定的超出了其前提所断定的范围，因而前提的真无法保证结论的真，整个推理因此缺乏必然性。具体说来，这种意义的“归纳”包括下述内容：简单枚举法；排除归纳法，指这样一些操作：预先通过观察或实验列出被研究现象的可能的原因，然后有选择地安排某些事例或实验，根据某些标准排除不相干假设，最后得到比较可靠的结论；统计概括：从关于有穷数目样本的构成的知识到关于未知总体分布构成的结论的推理；类比论证和假说演绎法，等等。尽管休谟提出着名的“归纳问题”，对归纳推理的合理性和归纳逻辑的可能性提出了深刻的质疑，但我认为，（1）归纳是在茫茫宇宙中生存的人类必须采取也只能采取的认知策略，对于人类来说具有实践的必然性。（2）人类有理由从经验的重复中建立某种确实性和规律性，其依据就是确信宇宙中存在某种类似于自然齐一律和客观因果律之类的东西。这一确信是合理的，而用纯逻辑的理由去怀疑一个关于世界的事实性断言则是不合理的，除非这个断言是逻辑矛盾。（3）人类有可能建立起局部合理的归纳逻辑和归纳方法论。并且，归纳逻辑的这种可能性正在计算机科学和人工智能的研究推动下慢慢地演变成现实。恩格斯早就指出，“社会一旦有技术上的需要，则这种需要比十所大学更能把科学推向前进。”[④] 有人通过指责现有的归纳逻辑不成熟，得出“归纳逻辑不可能”的结论，他们的推理本身与归纳推理一样，不具有演绎的必然性。（4）人类实践的成功在一定程度上证明了相应的经验知识的真理性，也就在一定程度上证明了归纳逻辑和归纳方法论的力量。毋庸否认，归纳逻辑目前还很不成熟。有的学者指出，为了在机器的智能模拟中克服对归纳模拟的困难而有所突破，应该将归纳逻辑等有关的基础理论研究与机器学习、不确定推理和神经网络学习模型与归纳学习中已有的成果结合起来。只有这样，才能在已有的归纳学习成果上，在机器归纳和机器发现上取得新的突破和进展。[⑤] 这是一个极有价值且极富挑战性的课题，无疑在21世纪将得到重视并取得进展。 再谈模糊逻辑。现实世界中充满了模糊现象，这些现象反映到人的思维中形成了模糊概念和模糊命题，如“矮个子”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代，其代表性人物是L·A·查德和P·N·马林诺斯。模糊逻辑为精确逻辑（二值逻辑）解决不了的问题提供了解决的可能，它目前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然，它在21世纪将继续得到更大的发展。 3．广义内涵逻辑 经典逻辑只是对命题联结词、个体词、谓词、量词和等词进行了研究，但在自然语言中，除了这些语言成分之外，显然还存在许多其他的语言成分，如各种各样的副词，包括模态词“必然”、“可能”和“不可能” 、时态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等，以及各种认知动词，如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”，这些认知动词在逻辑和哲学文献中被叫做“命题态度词”。对这些副词以及命题态度词的逻辑研究可以归类为“广义内涵逻辑”。 大多数副词以及几乎所有命题态度词都是内涵性的，造成内涵语境，后者与外延语境构成对照。外延语境又叫透明语境，是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其中适用的语境；内涵语境又称晦暗语境，是上述规则在其中不适用的语境。相应于外延语境和内涵语境的区别，一切语言表达式（包括自然语言的名词、动词、形容词直至语句）都可以区分为外延性的和内涵性的，前者是提供外延语境的表达式，后者是提供内涵性语境的表达式。例如，杀死、见到、拥抱、吻、砍、踢、打、与…下棋等都是外延性表达式，而知道、相信、认识、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。 在内涵语境中会出现一些复杂的情况。首先，对于个体词项来说，关键性的东西是我们不仅必须考虑它们在现实世界中的外延，而且要考虑它们在其他可能世界中的外延。例如，由于“必然”是内涵性表达式，它提供内涵语境，因而下述推理是非有效的： 晨星必然是晨星， 晨星就是暮星， 所以，晨星必然是暮星。 这是因为：这个推理只考虑到“晨星”和“暮星”在现实世界中的外延，并没有考虑到它们在每一个可能世界中的外延，我们完全可以设想一个可能世界，在其中“晨星”的外延不同于“暮星”的外延。因此，我们就不能利用同一性替换规则，由该推理的前提得出它的结论：“晨星必然是暮星”。其次，在内涵语境中，语言表达式不再以通常是它们的外延的东西作为外延，而以通常是它们的内涵的东西作为外延。以“达尔文相信人是从猿猴进化而来的”这个语句为例。这里，达尔文所相信的是“人是从猿猴进化而来的”所表达的思想，而不是它所指称的真值，于是在这种情况下，“人是从猿猴进化而来的”所表达的思想（命题）就构成它的外延。再次，在内涵语境中，虽然适用于外延的函项性原则不再成立，但并不是非要抛弃不可，可以把它改述为新的形式：一复合表达式的外延是它出现于外延语境中的部分表达式的外延加上出现于内涵语境中的部分表达式的内涵的函项。这个新的组合性或函项性原则在内涵逻辑中成立。 一般而言，一个好的内涵逻辑至少应满足两个条件：（i）它必须能够处理外延逻辑所能处理的问题；（ii）它还必须能够处理外延逻辑所不能处理的难题。这就是说，它既不能与外延逻辑相矛盾，又要克服外延逻辑的局限。这样的内涵逻辑目前正在发展中，并且已有初步轮廓。从术语上说，内涵逻辑除需要真、假、语句真值的同一和不同、集合或类、谓词的同范围或不同范围等外延逻辑的术语之外，还需要同义、内涵的同一和差异、命题、属性或概念这样一些术语。广而言之，可以把内涵逻辑看作是关于象“必然”、“可能”、“知道”、“相信”，“允许”、“禁止”等提供内涵语境的语句算子的一般逻辑。在这种广义之下，模态逻辑、时态逻辑、道义逻辑、认知逻辑、问题逻辑等都是内涵逻辑。不过，还有一种狭义的内涵逻辑，它可以粗略定义一个内涵逻辑是一个形式语言，其中包括（1）谓词逻辑的算子、量词和变元，这里的谓词逻辑不必局限于一阶谓词逻辑，也可以是高阶谓词逻辑；（2）合式的λ—表达式，例如(λx)A，这里A是任一类型的表达式，x是任一类型的变元，(λx)A本身是一函项，它把变元x在其中取值的那种类型的对象映射到A所属的那种类型上；（3）其他需要的模态的或内涵的算子，例如�，ù、ú。而一个内涵逻辑的解释，则由下列要素组成：（1）一个可能世界的非空集W；（2）一个可能个体的非空集D；（3）一个赋值，它给系统内的表达式指派它们在每w∈W中的外延。对于任一的解释Q和任一的世界w∈W，判定内涵逻辑系统中的任一表达式X相对于解释Q在w∈W中的外延总是可能的。这样的内涵逻辑系统有丘奇的LSD系统，R·蒙塔古的IL系统，以及E·N·扎尔塔的FIL系统等。[⑥] 在各种内涵逻辑中，认识论逻辑（epistemic logic）具有重要意义。它有广义和狭义之分。广义的认识论逻辑研究与感知（perception）、知道、相信、断定、理解、怀疑、问题和回答等相关的逻辑问题，包括问题逻辑、知道逻辑、相信逻辑、断定逻辑等；狭义的认识论逻辑仅指知道和相信的逻辑，简称“认知逻辑”。冯·赖特在1951年提出了对“认知模态”的逻辑分析，这对建立认知逻辑具有极大的启发作用。J·麦金西首先给出了一个关于“知道”的模态逻辑。A·帕普于1957年建立了一个基于6条规则的相信逻辑系统。J·亨迪卡于60年代出版的《知识和信念》一书是认知逻辑史上的重要着作，其中提出了一些认知逻辑的系统，并为其建立了基于“模型集”的语义学，后者是可能世界语义学的先导之一。当今的认知逻辑纷繁复杂，既不成熟也面临许多难题。由于认知逻辑涉及认识论、心理学、语言学、计算机科学和人工智能等诸多领域，并且认知逻辑的应用技术，又称关于知识的推理技术，正在成为计算机科学和人工智能的重要分支之一，因此认知逻辑在20世纪中后期成为国际逻辑学界的一个热门研究方向。这一状况在21世纪将得到继续并进一步强化，在这方面有可能出现突破性的重要结果。 4．对自然语言的逻辑研究 对自然语言的逻辑研究有来自几个不同领域的推动力。首先是计算机和人工智能的研究，人机对话和通讯、计算机的自然语言理解、知识表示和知识推理等课题，都需要对自然语言进行精细的逻辑分析，并且这种分析不能仅停留在句法层面，而且要深入到语义层面。其次是哲学特别是语言哲学，在20世纪哲学家们对语言表达式的意义问题倾注了异乎寻常的精力，发展了各种各样的意义理论，如观念论、指称论、使用论、言语行为理论、真值条件论等等，以致有人说，关注意义成了20世纪哲学家的职业病。再次是语言学自身发展的需要，例如在研究自然语言的意义问题时，不能仅仅停留在脱离语境的抽象研究上面，而要结合使用语言的特定环境去研究，这导致了语义学、语用学、新修辞学等等发展。各个方面发展的成果可以总称为“自然语言逻辑”，它力图综合后期维特根斯坦提倡的使用论 ，J·L·奥斯汀、J·L·塞尔等人发展的言语行为理论，以及P·格赖斯所创立的会话含义学说等成果，透过自然语言的指谓性和交际性去研究自然语言中的推理。 自然语言具有表达和交际两种职能，其中交际职能是自然语言最重要的职能，是它的生命力之所在。而言语交际总是在一定的语言环境（简称语境）中进行的，语境有广义和狭义之分。狭义的语境仅指一个语词、一个句子出现的上下文。广义的语境除了上下文之外，还包括该语词或语句出现的整个社会历史条件，如该语词或语句出现的时间、地点、条件、讲话的人（作者）、听话的人（读者）以及交际双方所共同具有的背景知识，这里的背景知识包括交际双方共同的信念和心理习惯，以及共同的知识和假定等等。这些语境因素对于自然语言的表达式（语词、语句）的意义有着极其重要的影响，这具体表现在：（i）语境具有消除自然语言语词的多义性、歧义性和模糊性的能力，具有严格规定语言表达式意义的能力。（ii）自然语言的句子常常包含指示代词、人称代词、时间副词等，要弄清楚这些句子的意义和内容，就要弄清楚这句话是谁说的、对谁说的、什么时候说的、什么地点说的、针对什么说的，等等，这只有在一定的语境中才能进行。依赖语境的其他类型的语句还有：包含着象“有些”和“每一个”这类量化表达式的句子的意义取决于依语境而定的论域，包含着象“大的”、“冷的”这类形容词的句子的意义取决于依语境而定的相比较的对象类；模态语句和条件语句的意义取决于因语境而变化的语义决定因素，如此等等。（iii）语言表达式的意义在语境中会出现一些重要的变化，以至偏离它通常所具有的意义（抽象意义），而产生一种新的意义即语用涵义。有人认为，一个语言表达式在它的具体语境中的意义，才是它的完全的真正的意义，一旦脱离开语境，它就只具有抽象的意义。语言的抽象意义和它的具体意义的关系，正象解剖了的死人肢体与活人肢体的关系一样。逻辑应该去研究、理解、把握自然语言的具体意义，当然不是去研究某一个（或一组）特定的语句在某个特定语境中唯一无二的意义，而是专门研究确定自然语言具体意义的普遍原则。[⑦] 美国语言学家保罗·格赖斯把语言表达式在一定的交际语境中产生的一种不同于字面意义的特殊涵义，叫做“语用涵义”、“会话涵义”或“隐涵”（implicature），并于1975年提出了一组“交际合作原则”，包括一个总则和四组准则。总则的内容是：在你参与会话时，你要依据你所参与的谈话交流的公认目的或方向，使你的会话贡献符合这种需要。仿照康德把范畴区分为量、质、关系和方式四类，格赖斯提出了如下四组准则： （1）数量准则：在交际过程中给出的信息量要适中。 a．给出所要求的信息量； b．给出的信息量不要多于所要求的信息量。 （2）质量准则：力求讲真话。 a．不说你认为假的东西。 b．不说你缺少适当证据的东西。 （3）关联准则：说话要与已定的交际目的相关联。 （4）方式准则：说话要意思明确，表达清晰。 a．避免晦涩生僻的表达方式； b．避免有歧义的表达方式； c．说话要简洁； d．说话要有顺序性。[⑧] 后来对这些原则提出了不少修正和补充，例如有人还提出了交际过程中所要遵守的“礼貌原则”。只要把交际双方遵守交际合作原则之类的语用规则作为基本前提，这些原则就可以用来确定和把握自然语言的具体意义（语用涵义）。实际上，一个语句p的语用涵义，就是听话人在具体语境中根据语用规则由p得到的那个或那些语句。更具体地说，从说话人S说的话语p推出语用涵义q的一般过程是： （i）S说了p； （ii）没有理由认为S不遵守准则，或至少S会遵守总的合作原则； （iii）S说了p而又要遵守准则或总的合作原则，S必定想表达q； （iv）S必然知道，谈话双方都清楚：如果S是合作的，必须假设q； （v）S无法阻止听话人H考虑q； （vi）因此，S意图让H考虑q，并在说p时意味着q。 试举二例： （1）a站在熄火的汽车旁，b向a走来。a说：“我没有汽油了。”b说：“前面拐角处有一个修车铺。”这里a与b谈话的目的是：a想得到汽油。根据关系准则，b说这句话是与a想得到汽油相关的，由此可知：b说这句话时隐涵着：“前面的修车铺还在营业并且卖汽油。” （2）某教授写信推荐他的学生任某项哲学方面的工作，信中写到：“亲爱的先生：我的学生c的英语很好，并且准时上我的课。”根据量的准则，应该提供所需要的信息量；作为教授，他对自己的学生的情况显然十分熟悉，也可以提供所需要的信息量，但他有意违反量的准则，在信中只用一句话来介绍学生的情况，任用人一旦接到这封信，自然明白：教授认为c不宜从事这项哲学工作。 并且，语用涵义还具有如下5个特点：（i）可取消性：在给原话语附加上某些话语之后，它原有的语用涵义可被取消。在例（1）中，若b在说“前面拐角处有一个修车铺”之后又补上一句：“不过它这时已经关门了”，则原有的语用涵义“你可从那里得到汽油”就被取消了。（ii）不可分离性：如果某话语在特定的语境中产生了语用涵义，则无论采用什么样的同义结构，该含义始终存在，因为它所依附的是话语的内容，而不是话语的形式。（iii）可推导性，前面已说明这一点。（iv）非规约性：语用涵义不能单独从话语本身推出来，除要考虑交际合作原则之类的语用规则之外，也需要假定通常的逻辑推理规则，并需要把上文语句、交际双方所共有的背景知识作为附加前提考虑在内。（v）不确定性：同一句话语在不同的语境中可以产生不同的语用涵义。显然，确定某个话语的语用涵义是一个极其复杂的过程，需要综合和分析、归纳和演绎的统一应用，因此具有一定的或然性。研究如何迅速有效地把握自然语言表达式在具体语境中的语用涵义，这正是自然语言逻辑所要完成的任务之一，它将在21世纪取得进展。
鱼包子Ray关注06 第五章 一阶逻辑等值演算与推理 原创2020-11-19 18:06:13 1点赞鱼包子Ray 码龄8年关注离散数学与组合数学汇总文章目录 一阶逻辑等值式与置换规则等值式置换规则、换名规则、代替规则 一阶逻辑前束范式 一阶逻辑的推论理论推理定律量词消去引入规则自然推理系统N~L~主要内容一阶逻辑等值式与基本的等值式置换规则、换名规则、代替规则前束范式自然推理系统NL及其推理规则 一阶逻辑等值式与置换规则等值式定义 设A, B是两个谓词公式, 如果A↔B是永真式, 则称A与B等值, 记作A⇔B, 并称A⇔B是等值式基本等值式第一组 命题逻辑中16组基本等值式的代换实例例如，¬¬∀xF(x)⇔∀xF(x),∀xF(x)→∃yG(y)⇔¬∀xF(x)∨∃yG(y) 等
解此类问题的步骤应为： ① 将简单命题符号化 ② 写出各复合命题 ③ 写出由各复合命题组成的合取式 ④ 将写出的公式化成析取范式，给出其成真赋值，即可得到答案。 具体解法如下： ① 令 p：派赵去 q：派钱去 r：派孙去 s：派李去 u：派周去 ② (1) p→q (2) s∨u (3) ((q∧┐r)∨(┐q∧r)) (4) ((r∧s)∨(┐r∧┐s)) (5) u→(p∧q) ③ 设A=(p→q)∧(s∨u)∧((q∧┐r)∨(┐q∧ r))∧((r∧s)∨(┐r∧┐s)) ∧(u→(p∧q)) ④ 求A的析取范式(用等值演算法)，简要过程如下： A(┐p∨q)∧(s∨u)∧((q∧┐r)∨( ┐q∧r))∧ ((r∧s)∨(┐r∧┐s))∧(┐u∨(p∧q)) (┐p∨q)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))∧ (s∨u)∧(┐u∨(p∧q)) ((┐p∧q∧┐r)∨(q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧ (s∨u)∧(┐u∨(p∧q)) ((q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧ (┐u∨(p∧q)) （用了吸收律） ((┐p∧┐q∧r∧s)∨(q∧┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) ((┐p∧┐q∧r∧s)∨(┐p∧┐q∧r∧s∧u)∨(q∧┐r∧┐s∧u))∧(┐u∨(p∧q)) (┐p∧┐q∧r∧s∧┐u)∨(p∧q∧┐r∧┐s∧u) 最后一步得到一个主析取范式，含有两个极小项。当p，q，r，s，u取值分别为0，0，1，1，0 或 1，1，0，0，1 时，A为真，故公司应派孙、李去，而赵、钱、周不去，或赵、钱、周去，而孙、李不去。 注意，在演算中，多次用了矛盾律和同一律。
孙和李去。
解此类问题的步骤应为：
① 将简单命题符号化
② 写出各复合命题
③ 写出由各复合命题组成的合取式
④ 将写出的公式化成析取范式，给出其成真赋值，即可得到答案。
具体解法如下： ① 令 p：派赵去 q：派钱去 r：派孙去 s：派李去 u：派周去
② (1) p→q (2) s∨u (3) ((q∧┐r)∨(┐q∧r)) (4) ((r∧s)∨(┐r∧┐s)) (5) u→(p∧q)
③ 设A=(p→q)∧(s∨u)∧((q∧┐r)∨(┐q∧ r))∧((r∧s)∨(┐r∧┐s)) ∧(u→(p∧q))
④ 求A的析取范式(用等值演算法)，简要过程如下：
A(┐p∨q)∧(s∨u)∧((q∧┐r)∨( ┐q∧r))∧ ((r∧s)∨(┐r∧┐s))∧(┐u∨(p∧q)) (┐p∨q)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))∧ (s∨u)∧(┐u∨(p∧q)) ((┐p∧q∧┐r)∨(q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧ (s∨u)∧(┐u∨(p∧q)) ((q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧ (┐u∨(p∧q)) （用了吸收律） ((┐p∧┐q∧r∧s)∨(q∧┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) ((┐p∧┐q∧r∧s)∨(┐p∧┐q∧r∧s∧u)∨(q∧┐r∧┐s∧u))∧(┐u∨(p∧q)) (┐p∧┐q∧r∧s∧┐u)∨(p∧q∧┐r∧┐s∧u) 最后一步得到一个主析取范式，含有两个极小项。
当p，q，r，s，u取值分别为 0，0，1，1，0 或 1，1，0，0，1 时，A为真，故公司应派孙、李去，而赵、钱、周不去， 或赵、钱、周去，而孙、李不去。 注意，在演算中，多次用了矛盾律和同一律。
离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。
通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
参考资料：离散数学-百度百科
将论文上传至查重系统进行检测的一个过程简称为论文查重，论文查重是用来核查论文当中的重复率、引用率、格式排版等问题，只有通过学校的论文查重环节，才能迎来答辩环节。学校设立论文查重的目的是为了防止学生在写作论文时出现抄袭等学术不端行为，也为了提高毕业生论文的质量，旨在学术界营造积极向上的学术风气。
论文查重，是把自己写好的论文通过论文检测系统资源库的比对，得出与各大论文库的相似比。简而言之，就是检测抄袭率，看你论文的原创度，是不是抄袭的论文。目前高校定稿查重系统有知网、维普、万方等，前期初稿检测可以使用paperbye论文查重软件，每日不限篇数和字数，支持边改边测。
如果想知道自己论文的重复率，那么就必须借助论文查重系统。如果没有查重系统，我们当然不知道论文的重复率。选择一个执行查重网站后，我们进去提交论文进行检测。一般在几十分钟内就可以得到查重的结果，当然会有一个检测高峰期。这个时候查重的时间可能会稍微长一点，需要耐心等待。得到的查重报告结果可以清楚的看到论文的重复率，在报告中也会注明哪些内容是重复的，哪些是合格的。我们只需要按照报告重复的内容去修改它。
有一点需要注意的是，不同的论文查重系统可能不完全一样，因为它们的对比数据库和计算重复率的算法都不一样。而且不同的查重系统的检测费用是不同的，有的按千字单价计算，有的按论文计算。小编建议大家不要选择太贵的，这样不划算。
现在有很多论文查重网站会提供免费查重活动，例如新用户可以直接领取免费查重字数或者次数，然后进行抵扣进行免费查重，例如paperbye论文查重网站就挺不错的，检测相对比较严格，并且使用率也比较高，提供的服务也很全面。如何检测论文重复率？
论文查重就是毕业的时候，防止论文抄袭而进行查重，审查论文和网络文章重复率，常用的是知网查重，知网学位论文检测为整篇上传，格式对检测结果可能会造成影响，需要将最终交稿格式提交检测，将影响降到最小，此影响为几十字的小段可能检测不出。对于3万字符以上文字较多的论文是可以忽略的
从字面意义上看，论文查重就是检查论文的重复率，即抄袭程度，论文重复的关键词就是重复率。论文的查重率可不是随随便便就计算出来的，查重过程是由系统将论文与系统对比库中的文献信息资源进行一一数据比对的，有重复的句段就会被标注，论文全部内容比对完成之后就会计算重复率，也就是计算重复部分对于全篇论文的所占比重。论文是为了检查论文的重复率，那我们又为什么要检查论文？自然是有原因的，查重就是为了减少并防止出现抄袭现象，也就是为了制止学术不端行为的出现;而在一定文化程度能够得到有效方法提高教学论文的质量就是更有意义的目的，促进教育学生学习氛围风气的健康良性经济发展。
社会管理从属于社会治理。社会不是一个实在的事物，所以社会管理是通过管理社会事务体现出来的，而治理，不仅包含了管理，同时也包含了规划，秩序，体制、规则的建立。所以概念内涵社会管理 < 社会治理。社会治理 = 规划 + 建立秩序 + 制定规则 + 组织 + 管理。说管理到治理是一个必然趋势这句话，可以这么考虑，建立体制与规划是一个发展的过程，也可以这么说，当还没有建立规划、秩序的时候，社会仅仅处于响应社会事务管理需求的阶段，只有社会管理，没有治理，随着社会意识水平提高，开始能够预先规划，建立秩序，构成治理也是水到渠成的事情。但是我们知道的，许多原始部落，他们有解决争端的方式以及婚嫁丧葬祭祀仪式，所以也有实质意义上的社会管理，但是发展了几万年到现在，他们还没有发展出秩序，也就是说的没有实质意义上的社会治理，所以，社会管理并非必然发展到治理。
1、首先，社会治理体系是国家治理体系的重要组成部分，社会治理如果存在短板，势必严重影响国家治理体系的完备性、规范性和有效性。
2、其次，社会治理体系内部是一个相对独立和完整系统，必须科学设计，既不能简单拼凑，也不能抱残守缺。
3、社会治理体系与其他治理体系存在相互联系、相互作用和相互影响的关系，必须瞻前顾后，相互配套。
必须坚持以人民为中心的发展思想，牢固树立和贯彻落实新发展理念，在经济社会的发展进程中不断完善中国特色社会主义社会治理体系。
治理目标
民生福祉作为一切工作的出发点和落脚点。社会治理的行动主体是人民，受益的主体同样是人民。在“人人享有”的社会治理共同体中，社会治理要突出人人参与、人人受益的价值取向，是相较于过去更加公平、更高层次、更高质量的受益，是实现更高更优的治理目标的价值升华。
基层社会治理所涉及的都是和群众利益息息相关的民生问题，目的是健全幼有所育、学有所教、劳有所得、病有所医、老有所养、住有所居、弱有所扶的基本公共服务体系。在社会治理中，要坚持民生优先，落实好统筹城乡的民生保障制度，确保如期顺利全面建成小康社会。
社会学学科体系的建构要突出社会学作为一门独立学科的特殊性、科学性和应用性 ,以及学科内部各构成部分之间的关联性。下文是我为大家搜集整理的关于社会学论文参考的内容，欢迎大家阅读参考!
浅谈网格化社会管理的组织社会学分析
社会管理是政府的一项重要职能，是政府部门为了保证社会秩序的稳定和社会系统的正常运转而采取的一系列组织、沟通、协调、监督等行政行为的总称。社会管理的能力也是政府能力的重要方面，包含政府部门对于社会的控制力和导向力，直接影响到政府职能的实现。长期以来，如何创建一个能实现社会良好治理的社会管理模式，一直都是我国各级政府面临的重大课题。从改革开放前采用的单位制，到八九十年代采用的街居制，都是我国政府追求良好社会管理模式的探索。近年来，在全面建成小康社会以及全面深化改革战略的实施过程中，各种各样的社会问题也频繁出现，中国的社会管理面临着“失范”的风险。为了控制社会风险，保证良好的社会秩序，当前我国很多地方采取了网格化社会管理的模式，其成效不能低估，但其中也存在一些值得注意的问题，本文拟就此作一些分析。
一、单位制：社会管理的传统模式
(一)单位制的特征
单位制是中国在20世纪50年代以后实行的，以企事业组织为单位，承担政府的社会分工目标，并对其成员进行全面管理的制度。执行这种制度的企事业组织称为单位。[1]单位制有以下几个特征：
首先，单位制中的国家垄断控制资源的供给。单位制具有强烈的中国特色，是计划经济体制的产物。“在计划经济体制下，国家控制了几乎所有的资源，大多数社会成员都被国家组织到一个个具体的由国家所建立的‘单位组织’中，由这些单位给予他们社会行为的权利、身份和合法性，满足他们的各种需求，代表和维护他们的利益，控制他们的行为。”[2]单位制下的“单位”也可以看作是政府的延伸，承担了政府的分配资源的功能，而政府本身则是一切资源的垄断者，是个无所不包的全能政府。
其次，单位制的组织机理是国家与单位、单位与个人双重的依附与庇护。单位依附于国家，国家为单位提供庇护。同时，个人必须依附于单位，而单位为个人提供庇护。美国学者Andrew. G. Walder曾提出研究20世纪中后期中国城市基层社会的崭新视角――单位和单位依附理论。该理论认为，“社会主义国家的公有制体系属于再分配体制，所有的资源都由国家来统一分配，单位的资源来源于国家，但国家再分配的功能也必须依赖于单位来实现，单位和国家之间形成了依附与庇护的关系;在短缺经济以及单位占有和使用资源的条件下，职工所需的生活必需品是通过单位来分配的，职工与单位之间也形成了依附与庇护的关系。”[3]
第三，单位制中的单位承担了无限的社会功能。“从单位的社会功能的角度来看，单位作为‘小福利国家’，向单位人提供了最基本的生活福利保障。一个人一旦进入单位， 单位就有代表国家对其生老病死、吃喝拉撒负责的无限义务。”[4]在这个意义上讲，单位成为社会的代名词，单位的概念与社会的概念无限重合。
(二)单位制的执行效用
首先，单位制的实施使得单位与其成员之间形成了一种特殊的“保护――束缚”机制。单位给城市居民提供了相对充足的物质和社会资源，保证了他们的生活，但是后者付出的代价却是选择自己工作和生活方式的自由，最终形成了一种依附性的人格，限制了人性中的创造力。因为一旦离开了单位的庇护，个人就是孤独的和无所依托的，根本无法获取生活所需的必要资源。同时，“单位所控制的资源不仅包括以货币和实物体现的物质生活资源， 而且包括无形而重要的‘制度性资源’”，[5] 如机会、权利、社会身份等等。如果个人希望从单位中获取这种制度性资源，那就必须在日常生活的方方面面接受单位的束缚和控制。
其次，单位制的实施促进了社会生活组织化的实现，保证了社会生活的秩序。单位制下的个人必须做好单位所赋予的角色，遵循单位中的秩序而无法脱离单位自主行事。这样一来就形成了一种组织化的社会生活，这种组织化自由度极低，但却保证了社会生活的极端稳定，克服了传统中国“一盘散沙”式的结构性危机。
第三，单位制的实施有效地实现了社会控制。“全国人民几乎都被纳入了行政权力的控制范围之内，国家的触角延伸到了全国的每一个角落和社会生活的每一个领域，整个社会实现了高度的整合。”[6]中央政府借由单位制运用行政权力塑造了一个“无缝隙”的政府，每个人都在社会中有自己的一席之地，国家经由单位对每一个体制内的人负责，从而在最大限度上减少了社会失范的可能性，实现了社会控制。
二、网格化社会管理：当前社会管理的新模式
网格化社会管理是一种数字化社会管理模式，主要是运用地理编码技术、网络地图技术、现代通信技术，将不同街道、社区划分成若干网格，使其部件、事件数字化，同时将部件、事件管理与网格单元进行对接。形成多维的信息体系，一旦发现问题，都能及时传递到指挥平台，通过指挥平台通知相应职能部门解决问题，实现社会管理空间和时间的无缝衔接。 (一)网格化社会管理的运行流程
图1网格化社会管理运行流程图1.信息收集。网格长对本网格区域内各类不稳定因素、治安隐患、事故隐患、居民矛盾进行随时排查，监督员在若干单元网格内巡视，在县级的社会管理服务中心接受社会公众的举报。上报需要解决的问题或者领导批转的问题，由监督员进行核实。对于能在自然村(社区)解决的问题，解决后登记备案;需要上报处理的问题由自然村(社区)或监督员提交乡镇(居委会)处理并备案;需上报县级指挥中心处理的问题由乡镇(居委会)上报或监督员直接上报，真正做到“全覆盖、全方位、全动态、全过程”。
2.案卷建立。县级网格化社会管理协调服务中心的坐席人员接收各乡镇(社区)或监督员上报的问题和各类信息，根据部件、事件的处理预案进行立案，并报值班班长审核。
3.任务派遣。县级网格化社会管理协调服务中心值班班长将立案的案卷进行分解，确定责任单位，并交由坐席人员派遣至相关责任单位进行处置。
4.任务处理。相关责任单位按照网格化社会管理协调服务中心的指令，按规定组织力量到现场进行处置。涉及多个部门联合答复解决的问题，由责任单位协调各协办单位答复或解决，并由网格化社会管理协调服务中心督促落实。
5.结果反馈。各相关责任单位对问题处理完毕之后，要通过社会管理网格化监督指挥系统及时将处理结果反馈给网格化社会管理协调服务中心。
6.核查结案。网格化社会管理协调服务中心的坐席人员利用短信和网络等方式通知相应区域的监督员到现场核查问题处理情况，并将信息反馈至网格化社会管理协调服务中心，经坐席人员核查、值班班长审核后，若上报的核查信息与问题处置标准一致，协调服务中心将进行结案处理;若未达到处置标准，将由网格化社会管理协调服务中心立案督办。如督办未果将转交县效能办追究有关人员的责任。
7.综合评价。在社会管理网格化监督指挥平台系统中设置绩效评价模块，自动生成评价结果。同时，社会管理监督指挥中心定期发布问题处置情况和各责任单位的绩效评分，接受社会监督。
(二)网格化社会管理的配套机制
1.“网格化管理”问题流转机制。在网格化社会管理协调服务中心领导组与部门、部门与乡镇(居委会)、部门与行政村(社区)之间建立问题流转办理机制。每半月召开一次工作例会，监督员汇报工作情况、群众生产生活情况及矛盾纠纷排查情况;每月底进行 经验 总结 和下月工作部署。网格化社会管理协调服务中心建立基础台账，统一登记、造册、分类，真正做到“全覆盖、全方位、全动态、全过程”。对群众反映需要解决的问题，由行政村(社区)通过社会管理网格化监督指挥信息平台提交乡镇(居委会)，乡镇(居委会)再通过社会管理网格化监督指挥信息平台通知县直相关职能部门;县直各部门要及时答复或解决乡镇(居委会)通过社会管理网格化监督指挥信息平台提交的问题。
2.联合执法工作机制。对于各部门、乡镇、行政村在职权范围内无法解决的重点和难点问题，县级政府建立了联合执法工作机制，采取联合执法形式予以解决。
3.“五个每天”管理机制。管理机制以网格化社会管理监督员即网格员上报案件为切入点，监督员在负责区域内不间断巡逻，对各责任主体履行职责的情况进行监督，形成新的城市管理体制，即“五个每天”：责任主体“每天维护”;城市管理监督员“每天监督”;社区、乡镇等“每天管理”;县城市管理监察大队“每天执法”;数字化管理平台对五类主体(产权主体、责任主体、监督主体、管理主体、执法主体)“每天评价”。通过“五个每天”管理体制，有效推进各方认真履行职责，实现管理的社会化和常态化运作，提高城市(农村)问题的及时解决率，改善城市(农村)面貌和秩序。
4.建立量化绩效考评体制。将社会管理网格化工作纳入县级政府年度目标考核的指标体系，进行量化打分，考核结果作为单位和个人年终评优的重要依据。同时将考核评价结果在政府网站以及报纸等媒体和信息平台进行公示，逐步推进监督方式的社会化和公开化。
(三)网格化社会管理模式的特点
1.组织架构特点：
打破部门区隔，建立部门协调联动机制。以往的社会管理之所以没有效率，原因是社会管理的职能分散在各个政府部门当中而没有形成合力，社会管理的问题却往往是复杂多元的，远远不是单个政府部门凭借自己的力量就可以解决的，这时候部门分立区隔的劣势就凸显出来了，各个政府部门之间基本缺乏协调联动机制，出了问题之后互相扯皮，谁也没有勇气和决心去处理问题。而网格化社会管理的模式在一定程度上可以解决这个问题。网格化社会管理的模式其实创建了一个社会问题的分拣和处置平台，通过网格化社会管理协调服务这个平台统一把收集到的问题加以归类和分拣。这样不仅避免了各个横向的职能部门自己分类和处置问题所可能带来的不科学和不积极的情况，而且形成了一个处理问题的协调和监督机制。不仅可以协调有关的部门来共同处理这个问题，而且可以对问题处理的最终结果形成监督和控制。
2.管理技术特点：
将现代化信息技术和网格技术应用于政府的社会管理事业当中，实现精细化管理。网格化社会管理的又一大特点是现代化信息技术和 网络技术 的广泛运用，可以说网格化社会管理的模式就是信息技术和网络技术运用到政府社会管理之后的产物。社会管理所一直面临的问题就是社会管理的幅度问题，也就是说我们的政府所面对的社会是一个高度分散而且异质化的社会，社会管理所面临的问题非常庞杂，而且我们社会管理的中心――政府也很难保证自身所有的政策都能覆盖到社会的边缘，社会控制、社会管理、社会秩序维护的能力也并非那么强。不过，当网络技术、信息技术应用到社会管理当中之后，事情发生了变化。虽然整个社会的分散性和异质性依然没有改变，但是政府通过运用网络技术和信息技术可以显著地增强自身社会管理和社会秩序维护的能力。尤其是在网格化社会管理中，网格化社会管理协调服务中心可以通过建立网格化社会管理信息平台，显著地增强信息收集和传递的效率，把社会管理的范围扩展到社会生活的每一个角落。
3.行政流程特点：
被动处理与主动吸纳并重，实现了社会管理的双向互动。传统的社会管理模式往往是一种被动的社会管理模式，被动性主要体现在社会管理问题的发现主要依靠群众的举报和反映，而且问题的解决和处理还依赖于群众的反映是否找到了正确的接受单位，并且相关单位对于问题的解决还必须是热心尽责的。而在实际的社会管理实践中，这些条件也不一定能够完全具备。网格化社会管理的模式则创建了一个社会问题的收集和归纳平台，通过网格员的努力把社会问题发现和收集起来，而不是让单个的老百姓去寻求政府部门的帮助和介入。这样社会问题的收集就拥有了两种方式，一种是根据网格员的主动吸纳和收集，另一种是根据群众的反映。而且这两种方式并不是割裂的，而是双向互动的，网格员也需要对群众反映的问题进行调研和分析，群众也可以对网格员的工作进行监督。
三、社会控制思维的延续――单位制与网格化的相通之处
网格化社会管理的模式虽然是一种新出现的社会管理模式，但是这种社会管理的模式却并非是完全创新的，其中仍然包含着单位制社会控制模式的基因，二者之间仍然有内在逻辑继承性。
(一)社会管理的核心推动力：政府及其拥有的行政权力
单位制中的企事业单位部分承担了社会管理职能，而这部分社会管理的职能是由政府赋予的，而且从根本上来看应该由政府来承担。可以说是政府借由单位这只手实现了对单位中的个人的管理，虽然单位是个人的直接管理者，但是从根本上说政府才是最终的控制者，单位只是一个实现社会管理的中介工具。网格化社会管理模式中，虽然不是由单个的单位来承担社会管理的职能，但却是由一个统一的网格化社会管理协调服务中心来承担社会管理的职能，这个大型“单位”的职能基本上是无限的，几乎所有的社会上的问题都可以由它去组织协调。这个网格化协调服务中心却并不是一个社会性质的组织，而是由政府创建的一个行政性质的组织，它的运行依赖行政资源，耗费公共财政。可见，网格化的社会管理模式的推动力还是政府及其拥有的行政权力。
(二)社会管理的方式：社会管理行政化的路径依赖
“‘社会管理’在中国基本上就是政府管理社会，是行政对于社会管理的吸纳和化解。似乎社会管理工作只能通过行政化方式来进行。无论何种需求都必须被吸纳到行政运作机制中才能得到化解与解决。”[7]在单位制中，社会管理的方式主要采用行政手段，工作单位基本上就是一个小型社会，单位负责职工的薪资、升迁、调动等一切管理活动，员工需求的回应也只在单位内部进行。到现在，网格化的社会管理方式依然是一种行政化的社会管理方式。县级政府建立一个网格化社会管理协调服务中心来推动网格化社会管理这项涉及到社会整体运行的公共事业，出发点无非是维持整个社会的良好秩序。但是采取的方式依然是行政化的，不是通过社会自身和自发的力量去维护社会秩序，而是通过再设立一个政府部门去统筹协调社会反馈的各种问题，而且对于反映的问题往往一股脑地通过网格化这一统筹平台加以分拣，然后分配到各个政府部门加以解决，在必要的时候还充当各个政府部门之间的桥梁和中介。整个运行流程就是一个收集社会问题然后通过行政手段加以解决的过程，很少考虑 其它 利益主体的意见。这种处理社会问题的方式与之前单位制下应对社会需求的 方法 没有本质区别，是一种行政化路径依赖的结果。
(三)社会管理依赖“中介组织”：单位抑或网格
在单位制的社会管理模式中，单位的角色就是国家与个人之间的中介。国家如果直接面向个人提供和分配资源，会造成行政成本高、执行效率低，所以国家通过单位来实现资源的分配，从这个角度来看，国家其实是依赖单位进行社会管理的。不过与此同时，由于国家对于资源的垄断，个人也只能依附于单位才能从国家那里得到较良好的社会资源，形成了一种双重的依附与庇护的关系。个人依附单位，单位依附国家，反过来讲，国家庇护单位，单位庇护个人，于是，单位就充当了国家进行社会管理的中介组织。而新的历史条件下，国家再也不可能去垄断社会资源的分配，个人也无需一定通过单位才能获得足够的社会资源，于是这种依附与庇护的关系也就解体了。但是，与此同时也产生了国家对于社会的管控力的下降，整个社会的失范行为增多。这时候国家就通过建立网格的方式来增强对社会状况的了解程度，进一步增强社会管理和社会控制的能力。在这个过程中，网格也充当了一个中介组织的作用，既要向政府部门反映社会的问题，也要帮助公民个人解决社会生活中遇到的问题。
(四)社会管理的目的：社会控制导向重于社会发展导向
“社会控制是指通过社会力量保证人们遵守社会规范、确立和维护社会秩序的过程。”[8]从这个角度来进行分析，采用单位制的社会管理模式和网格化社会管理模式都可以实现社会控制和维护良好的社会秩序的目标。单位制的社会管理模式通过单位包办和控制一切的手段把个人牢牢地与单位连接在一起，单位成为个人与外界联系的唯一依托，个人必须通过单位才能获取必要的社会资源。这样一来，社会控制就实现了，国家可以通过单位来控制个人，进而控制社会秩序。网格化社会管理的模式也是同样的目的，通过建立网格的方式把每一个公民个人都框到一个网格当中去，由网格员来负责向政府反映网格内民众的意见和问题，然后由一个统一的网格化管理协调服务中心来协调处理社会问题，进而通过社会问题的解决来实现社会控制和社会秩序的维护。简而言之，不管是单位制还是网格化的管理模式，社会控制的意味在其中都体现得较为明显，都强调运用行政的力量来实现稳定的社会秩序，而单位制和网格化则是两种维持稳定社会秩序的管理模式。但是这两种模式都没有强调社会本身的自主性和活力，推动社会本身的良性发展并不是这两种管理模式的主要目标。
四、超越单位制：网络化治理的生发
(一)网络化治理应运而生
网格化社会管理方式有一些单位制社会管理模式的基因，但是并不能因此认为网格化社会管理就一点优点也没有，是一种应该被抛弃的社会管理模式。网格化社会管理模式在一定程度上打破了政府内部横向的部门区隔，构建了一个统筹协调政府各部门，让它们联合起来去解决某一个问题的协调机制，提高了政府部门处理社会事务的效率。但是，政府部门内部的协调和联合还是很难达到社会事务的良性治理，因为政府虽然强大却并不具有完全控制社会的能力，社会的事务单靠社会中的某一组织――政府去处理是远远不够的。要想更好地处理社会事务，实现优良的社会秩序，必须依靠各个社会组成部分的协调和联合，于是，“网络化治理”便应运而生了。
斯蒂芬?戈德史密斯和威廉?D?埃格斯合著的《网络化治理――公共部门的新形态》 提出了 “网络化治理”的概念。网络化治理是“管理非营利性和营利性供应商网络的政府管理”，当“政府横向联合并纵向推行服务的时候”，[9]政府经常会遇到各种复杂的供应服务问题。 通常的解决办法是政府将各种复杂的问题组合在一起，然后将需要提供的服务安排给各个组织，这样就可以创造一个广泛的、互相连接的、以顾客为导向的网状服务网络。“网络化管理主要表现是高程度的公私合作， 又意味着政府有效地管理公私合作网络。 网络化治理针对的是公共治理，除了传统的层级治理外， 还必须依靠各种合作伙伴建立起横向的行动线。”[9]
(二)网络化治理对于网格化社会管理模式的补构和超越
1.治理主体的转变：从单主体到多主体。现在推行的网格化社会管理的模式主张政府通过信息化的手段收集社会信息然后加以整合分配到各个职能部门，治理的主体依然局限在政府这个单一的主体。而网络化治理的模式则认识到了在现代社会只依靠政府这个单一主体是不够的，任何单一主体都不具备独力建立良善社会的资源和能力，每个治理主体都只在自己特定的领域内有比较优势。所以，社会的良好治理一定是各个治理主体“各得其所、各尽所能”的结果。具体来说，治理主体主要有政府、企业、非营利组织和个人等四种不同类型的主体。政府只是治理网络中的一个中心和节点，并不负有处理所有社会事务的无限责任。
2.治理工具的运用：从强力管控到平等沟通。现在所实施的网格化的社会管理模式在某种意义上讲是把每个人公民个体都框到一个网格中去，由这个网格来收集和处理问题，采取的手段主要是管控式的。这种管控式的手段在现代社会的效用必然会呈现递减的趋势。而网络化治理则减少了这种管控手段的使用，着重采用沟通协商的手段来达成意见的整合。而且政府在其中依然需要发挥比较大的作用。“政府作为在政策网络中具有‘驾驭’能力的主体，灵活地运用各种治理工具，影响和协调其他主体的行为，发挥‘领航’的作用，实现对目标群体行为的改变，达到预期目的。”[10]
3.治理流程的再造：从单向度推进到螺旋式上升。网格化社会管理模式中，治理的流程主要是单向度推进的，网格员反映情况，政府部门解决问题。网络化治理则实现了政府的流程再造，“以业务过程为中心，摆脱传统组织分工理论的束缚，提倡公民导向、组织变通、向基层授权及正确地运用信息技术，达到适应快速变动的环境的目的，以期政府组织绩效的显著提高，进而推动整个组织结构的优化。”[11]可见，网络化治理的流程不是单线的，而是实现了治理主体和治理对象的双向互动，是个螺旋式上升的运行过程。
结论
网格化社会管理的模式把先进的网络信息技术运用到了社会管理的过程中，较好地实现了民情的反映和部门的协同。但是这种社会管理模式依然具有强烈的单位制式的社会控制基因，期望再次把公民个人固定到一个个政府划定的网格之中，由网格员来反馈网格内的问题，再通过行政手段进行归口和解决。但时代已经不同了，现在的政府已经不再能够垄断控制一切资源，所以要想通过网格化的手段再次实现社会生活的高度组织化，维护良好的社会管理已经变得非常艰难。所以，超越这种单位制式的社会控制思维，采取网络化的社会治理方式应该成为社会管理模式转型升级的必由之路。这种主张多元、协同、互动的新型治理模式必将推进全面建成小康社会的历史进程，推动中华民族伟大复兴的中国梦的实现。
>>>下页带来更多的社会学论文参考
努力加强和创新社会治理一、明确加强和创新社会治理的原则和思路 社会治理，是指以维系社会秩序为核心，通过政府主导、多方参与，规范社会行为、协调社会关系、促进社会认同、秉持社会公正、解决社会题目、化解社会矛盾、维护社会治安、应对社会风险，为人类社会生存和发展创造既有秩序又有活力的基础运行条件和社会环境、促进社会***的活动。正确把握社会治理的基本原则，明确改革社会治理体制的基本取向，是加强和创新社会治理的基本条件。 一要坚持以人为本、服务优先。始终把实现好、维护好、发展好最广大人民的根本利益作为出发点和落脚点，寓治理于服务之中，实现依法治理、科学治理、人性化治理，使人民群众在社会生活中切实感受到权益得到保障、秩序安全有序、心情更加愉快。 二要坚持多方参与、共同治理。充分发挥政府在社会治理中的主导作用，同时充分发挥多元主体在社会治理中的协同、自治、自律、互律作用，使各种社会气力形成推动社会***发展、保障社会安定有序的协力。 三要坚持统筹兼顾、动态协调。正确反映和协调各个方面、各个层次、各个阶段的利益诉求和社会矛盾，既要“左顾右盼”，又要“瞻前顾后”，使社会治理能够体现维护公平正义的“刚性”、协调各方利益的“柔性”、应对新情况新题目的“弹性”，促进社会动态平衡，保障国家长治久安。 四要坚持既有秩序、又有活力。把维系社会秩序和激发社会活力有机结合起来，既要保证社会的安定有序、规范运行、调控有力，又要有利于激发全社会的创造活力，降低社会运行本钱，进步社会运行效率，从而最广泛、最充分地调动一切积极因素，促进社会进步和人的全面发展。 五要坚持立足国情、改革创新。从我国实际出发，充分发挥社会主义制度的优越性和政治上风，充分发挥优秀传统文化的作用。同时，树立世界眼光，积极鉴戒国外先进经验和做法，勇于变革、勇于创新，把改革贯串在整个社会治理过程之中，为推进***社会建设提供不竭动力。 根据上述原则，加强和创新社会治理，完善中国特色社会治理体制，要实现以下几个方面的转变。 在思想观念上，要从重经济建设、轻社会治理向更加重视社会治理和经济社会协调发展转变。努力解决经济建设“一手硬”、社会治理“一手软”的题目，切实把加强社会建设、创新社会治理作为重要而紧迫的战略任务，下大气力统筹推进，不断进步政府社会治理的能力和水平，努力取得加强和创新社会治理的新突破，促进经济社会协调发展。 在治理主体上，要从重政府作用、轻多方参与向政府主导型的社会共同治理转变。改变政府在社会治理中包揽一切的做法，解决好越位、错位和缺位题目。既要发挥政府主导作用，又要鼓励和支持社会各方更加积极、有效地参与社会治理，发挥多元主体的作用，尽快从传统治理转向时代发展要求的“治理”。 在治理方式上，要从重管制控制、轻协商协调向更加重视协商协调转变。要改变主要靠行政手段通过管、控、压、罚实施社会治理的方式，更加善于运用群众路线的方式、***的方式、服务的方式，尽可能通过同等的对话、沟通、协商、协调等办法来解决社会题目，化解社会矛盾。 在治理环节上，要从重事后处置、轻源头治理向更加重视源头治理转变。努力摆脱总是事后应对的被动局面，更多地把工作重心从治标转向治本、从事后救急转向源头治理，更加重视民生和制度建设，使社会治理关口前移，尽可能使社会矛盾和社会冲突少产生、少转化、少激化。 在治理手段上，要从重行政手段、轻法律道德等手段向多种手段综合运用转变。努力改变社会治理手段单一的题目，在运用行政手段进行社会治理的同时，更多地运用法律规范、经济调节、道德约束、心理疏导、***引导等手段，充分发挥党的政治上风，规范社会行为，调节利益关系，减少社会题目，化解社会矛盾。