我以前学习的是逻辑学，如今想考中级经济师，需要什么要求？

我也是学习的逻辑学，计划报名考试中级经济师，中级经济师报名考试的要求是报名参与经济专业资格考试的人员应反对中国共产党在社会主义初级阶段的根本道路，遵纪违法，恪守社会私德。并具有以下要求之一者，均契合中级经济师报名考试要求。1、中等专业学校毕业后从事专业职业满10年， 获得经济专业初级资格。2、大学专科毕业后从事专业职业满6年。3、大学本科毕业后从事专业职业满4年。4、 获第二学士学位后或研讨生班结业后从事专业职业满2年5、获硕士学位后从事专业职业满1年。6、获博士学位

2024年中级经济师-考后真题解析

¥0

去领取​

　　剖析如下：

　　支持关系和矛盾关系都属于不相容关系，或叫全异关系，但是二者是有区别的。

　　1、矛盾关系：

　　矛盾关系是指统一的两种状况，没有第三种状况存在，非此即彼，非彼即此。比方“正义和平”和“非正义和平”，不是“正义和平”一定是“非正义和平”。

　　2、支持关系：

　　支持关系是指在统一的两种状况之外，还存在其他状况，非此不一定彼，非彼不一定此。比方“白色”和“白色”。不是“白色”，不一定就是“白色”。

　　扩展材料：

　　1、逻辑学 研讨思想规律的学问。逻辑和逻辑学的开展，经过了具象逻辑—笼统逻辑—具象逻辑与笼统逻辑相一致的对称逻辑三大阶段。

　　2、本专业以逻辑学为中心，横跨多学科，培育文理穿插、理论与使用相结合的复合型高级人才。逻辑学专业学生主要学习逻辑学、数学、计算机迷信和哲学方面的根本理论和基础知识，遭到公理化办法、方式化办法和语义剖析方面的根本训练，具有专业研讨的根本才能。

　　3、激励学生向逻辑学与哲学、逻辑学与数学、逻辑学与法学、逻辑学与计算机迷信等四个方向开展。

　　参考材料来源：

全国职业资格证书品种大全

一、休息部证书：人力资源管理师 | 营销师| 电子商务师 | 物流师| 物业管理师 | 运营师| 筹划师 | 养分师 | 秘书 | 项目管理师 | 心理询问师 | 公关员 | 企业培养训练师 | 职业经理人 | 理财规划师 | 园艺师 | 景观设计师

二、人事部证书：一级建造师 | 二级建造师 | 造价工程师 | 注册询问工程师（投资）| 质量专业技术资格 | 监理工程师 | 经济师 | 一级注册建筑师 | 二级注册建筑师 | 投资建立项目管理师 | 环境影响评价工程师 | 房地产经纪人 | 房地产估价师 | 会计职称 | 企业法律参谋

三、建立部证书：造价员 | 建筑预算员 | 建筑质检员 | 建筑资料员 | 建筑施工员 | 建筑平安员 | 建筑五大员年审继教 | 装饰预算员 | 装饰施工员 | 物业管理企业经理

四、旅游局证书：导游资格 | 中级导游

五、财政部证书：会计从业资格证 | 会计职称

六、教育部证书：教员资格证

你本人选合适的吧

由于逻辑学是关于人们思想方式及其规律的迷信，人们在没有学习逻辑学知识之前，也在不盲目的运用和恪守着思想的方式与规律。但是学好了逻辑学知识，可以使人们变原先的不盲目为盲目，对人们的思想增强标准性，让人少犯思想方式和思想规律的错误。

你的导师说得很有道理。逻辑学作为工具性学科，学好了有助于人们正确看法事物、探求新知识；有助于人们正确地表达思想和无效论证思想；有助于人们反驳错误、揭露狡辩。

但是留意，它的作用仅仅是“有助于”，也就是说，学好了逻辑学并不能替代其他详细学科，还必需具有其他专业知识。

如何学习呢？逻辑学本身的规律性很强，前后知识联络十分亲密，不懂基础知识，无法学习深化知识。因而，学习这门知识，必需从基础学起，按部就班。学习起来能够有难度，各个章节的内容难易水平差异较大，容易的可以自学完成，相对困难的，可以请教于教师。当然，“百度晓得”也是个很好的空间，假如你遇到成绩，在这里可以有人答复，甚至于耐性的解说，这里还是有不少通晓逻辑学知识的人，但是最好你在发问前要多累计分数，这样会进步答复者的积极性。

你可以参考高等教育自学考试用书《方式逻辑》（第三版），华东师范大学出版社出版，华东师范大学哲学系逻辑学教研室编写。也可以参考全国高等师范专迷信校教学材料《方式逻辑》，华中师范大学出版社出版，蔡贤浩主编。这两部教学材料相比对较粗浅，也容易自学。假如你想深化学习，建议你参考上海人民出版社《普通逻辑》（增订本），《普通逻辑》编写组编写，北京师范大学吴家国参编，他是目前逻辑学界的威望学者，其他编写者也都是在逻辑学界很有造诣的学者。

以上建议仅供参考。

退职读研有以下两种状况：

1.非学历教育：

指退职人员攻读专业硕士学位。退职人员攻读专业硕士学位实行全国联考，普通每年7月报名，10月考试。毕业后只能获取专业硕士学位，不能获得研讨生学历。

2.学历教育：

全日制学习、但不转户口和职业关系的委培和定向的退职研讨生。这种状况和全国一致的全日制硕士研讨生完全一样，普通10月份网上报名，11月份现场报名，考试普通在次年的1月份，只不过录取类别为定向或委培，退学时不转户口和档案关系，毕业后回原单位职业。和全日制统考生和公费生一样，委培生和定向生（即退职研讨生）毕业后都能获取研讨生学历和硕士学位。

一、退学要求区别：

1、5月份“同等学力申硕”（退职研讨生）的门槛门槛是最高的,门槛必需具有本迷信历和学士学位，且取得学士学位满三年才可以参与申硕考试。

2、1月份高校统招退学的（全日制研讨生），只需大专毕业满2年就可以报名考试，或许本科毕业没有门槛职业阅历。

3、10月的专业硕士（退职研讨生），是先考后读退学，没有门槛学位，含金量相关于1月和5月份考出来的硕士要低半级。

二、学习的侧重点区别：

1、1月份“全日制研讨生”的学习是侧重基础理论、知识，全日制学生学习门槛偏理论，对基础的门槛扎实；考试较难。

2、5月份“退职申硕”的学习是侧重论文。考试难度比全日制要低，但退学要求要比全日制高，侧重点在前面的论文，论文要比全日制的学生门槛高一些，对退职学员来说，平常上课时刻少，考试难度就相对低，但有职业经历，所以论文门槛与实际操作相结合，可以有一定的创新。

三、取得证书的区别：

1、1月份“全日制考研”学员毕业后可以取得“硕士学位证书”+“硕士学历证书”，双证。

2、5月份“同等学力申硕”属于非学历教育，学员申硕考试界当时可以取得“硕士学位证书”，单证。

3、10月份“专业硕士”属于非学历教育，学员毕业后可以取得“硕士学位证书”，单证。

四、有关同等学力申硕

可以先报读“退职研讨生课程进修班”停止学习，提早学习专业课程及参与考试，等您取得学士学位满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）其他需要的模态的或外延的算子，例如