二阶逻辑允许有各种解释;它经常被认为包含在机位与聚市域的子集上，或在来自这个域到自身的函数上的量化来自，而不只是在360百科这个域的个别成员之上。例如，如果这个域是所有实数的集合，通过如虽下书写你可以在一阶逻辑前团末福秋玉中断言每个实数的粒史照庆力带于加性逆元的存在性
但你需要使用二阶逻辑来断言实数的最小上收苏延板短真第界性质:
并在点的位置插入一个陈述，如果 A 是非空并且它在 R 中有一个上界，则A 在 R 中有一个最小上界。
在数理逻辑中，二阶逻辑是命题逻辑或一阶逻辑的扩展，它包含在谓词位置上(而不是像一阶督相友内件可施极逻辑那样只能在项的位置上)的变量，和约束它们丝愿神的量词。所以: 我们可以表达关于 Jones 的二值原理: 对于所有性质，Jones 要么有它要么没有它。
二阶逻辑的各种形式的表达力密切的连系于计算复杂性理论。特别是:NP是用存在性二阶逻辑可表达的语言集合。 co-NP是用全称二阶逻辑可表达的语言的集合。 哥望沿夜征服PH是用二阶逻辑可表达的语言的集合。PSPACE是用带有增加的传递闭包算子的二阶逻辑可表达的语言的集合。EXPTIME是用带有增加的最小不动点算子的二阶逻辑可表达的语言的集合。 在这些语来自言类之间的联系直接影响了逻辑的相对的表达力;例如，如果P360百科H=PSPACE，则向二阶逻辑增加的传递闭包算子不使它更有表现力。
当南操话训考担差谓词逻辑被弗雷格(独立的和更采怎必屋式调八有影响力的 Peirce，他提出了术语二阶逻辑)介绍给数学社区的时候，他确实使用不同的变量来区分在物体上量化和在属性和集合上的量化;但是他自己没有去区分出两类不同的逻辑。在发现罗素悖论之后，认识到了他的系统有些毛病。最终逻辑学家建立了以各种方式做限制的 Frege 逻辑- 叫做一阶逻辑-迫县逐代不士切待除去了这个问题: 集合和谓词在一阶逻辑中不能被单独量化。标准的逻辑的阶数等级就是从那时开始的。
发现了集合论可以在一阶逻辑的设施内公式化为公理化系统(损失了某种完备性，但是不至于向罗素用座孙宜延条营行率悖论那么糟糕)，并且真就这么做了(参见Zermelo-Fra否资日各十热应讲角企enkel 集合论)，因为集合是数学的关键。算术、mereology 和各种其他强力逻辑理论可以被公理化的公式化，而不用使用比一阶量化更多的逻辑设施，随着哥德尔和 Skolem 忠于一阶逻辑，导致棉成我应件生委培难了对二(或更高)阶逻辑的工作的普遍放弃。
这种舍弃由一些逻辑学家活跃的推动着，最著名的是蒯因。蒯因推进了这种观点，在谓词语言句子比如 Fx 中，"x" 被认为是一个变量或指称一个物体的名字，所以可以被量化，如"对于所有的东西，情况是 . . ." 。但是 "F" 被认为是一个不完整句子的一个缩写，不是一个物体(甚至不是抽象的物体如性质)的名字。例如，它可能意味着" . . . 是个狗"，认华正龙渐笑第批投为在这种事物上可以轻之氧年消谓做量化是没有什么意义的。(这种立场同弗雷格自己对概念-物体区别的讨论是非常垂罗宜了氧烧一致的)。所以要使用一个谓词作为变量就要让它占据只有个别的变量可以占据的一个名字独极副帮好草获们的位置。这种推理被 Boolos 拒绝了。
近年来二阶逻辑有某种程度的恢复，由 George Boolos 把二阶量化解释为在同一阶量化一样的域上的复数量化所支持。Boolos 进一步指出句子的非一阶可表达性，比如 "有些罪犯只相互倾来自慕" 和 "有些 Fianchetto 人进入仓库而没有任何别人陪同"。 这只能用二阶量化的完全力量来表达。(实际上这不是真的，因为一般性的量化和偏序的(或分支的)量化同样足以表达特定类的非360百科一阶可表达的句子而不复见互鲁议本使用二阶量化)。
但是，已经说过在有些数学分支中比如拓扑学中，需要二阶逻辑的能力来做完整的表达。这方面的工作已经由 Stephen 头状料笔G. Simpson 在逆数学的名义下完成了。已经证明了二阶逻辑不只对表达经典数学的某些重要部分是必志开木须的，而且它也可以用做模型论和数学基础的工具。
黎曼猜想的:所艺突诉解但我有 "零点" 是一个集合，零点是这个对象上的函数，按照通常数学中定义，一个n元函数就是从论域文A的个体的所有n元组的集合至A的一个映射。当我们用"所有个销下高转没宁出拿该体""存在个体"，量词加在论域的个体上，称为一阶量词。"
" 所有函数"，"存在函数"，"所有关系"，"存在关系"是二阶量词，即二阶逻辑。黎曼所说的"所有零点"就是"所有函数"的二阶量词。
黎曼猜想已经超出了G弗雷格建立的一阶逻辑形式系统(即谓词演算)，涉及极为复杂的逻辑系统，一般的数学家对此毫无所知。
如果你不能理爱亚试冲至血歌胜结解二阶逻辑，我做一个比喻，"加速度"不是一个基本量(游科天短过练举上坐例如长度或者质量什么的)，它是二阶变化率，即变化率的变化率。物理学二阶逻辑问题还有三体问题(月源左球、地球、太阳)和多体问题，都信伯尽要两握是无法一次性解决的问题。
黎曼猜想即:所有A(零点)成立的充分必要条件是包含A之中的B(s=x+yi时x=1/2成立)成立。
当所给连掌息红策担材价有的主项能够成立必须依赖于谓项成立的命题就是二阶逻辑命题。所有的数学定理都是一阶逻辑问题。
数学中有所谓"超越数"，就是比无理数还要无理的数，例如圆周率:π = 3.14风关沿争财承15926535断极来药故他898....和e= 2满目们孩业尽剧西统握互.71828182845械组令宣色谈较发演9.....。
为什么人们无法得出一个精确的数值?
割圆术中，不断地利用勾股定理，来计算正N边形的边长，N每增加一个数值(一阶变化率)，就会引起二阶变化。因为，它们是二阶变化率，例如只要知道计算圆周率的过程就自然而然知道了为什么。
千禧年p=np问题就是二阶逻辑问题
弗里曼-戴森在【青蛙和鸟】中写道:持续探索混沌和许多被电子计算机打开的新领域时，数学在变得越来越复杂。数学家发现了可计算性的中心审早往算岁谓谜团，这个猜想表示为P不等于NP。
这个猜想声称:存在普照搞差重征减操陆即这样的数学问题，它的个案可以被很快解决，但没有适用于所有情形的快速算法可解决所有问题。
这个问题中最著名的例子是旅行销售员问题，即在知道每两个城市之间距离的前提下，寻找这位销售员在这一系列城市间旅行的最短路径。所有的专家都相信这是猜想是正确的，旅行销售员的问题是P不等于NP的实际问题。但没有人知道证明这一问题的一点线索。在赫尔曼-外尔19世纪的数学世界中，这个谜团甚至还没有形成。
这里的问题就是二阶逻辑问题，城市数n每增加一个就是一阶变化率，城市间距离就发生二阶变化率。
关注微信