二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである。二階述語論理もさらに高階述語論理や型理論に拡張される。一階述語論理と同様に議論領域（ドメイン）の考え方を使う。ドメインとは、量化可能な個々の元の集合である。一階述語論理では、そのドメインの個々の元が変項の値となり、量化される。例えば、一階の論理式 ∀x (x ≠ x + 1) では、変項 x は任意の個体を表す。二階述語論理は個体の集合を変項の値とし、量化することができる。例えば、二階の論理式 ∀S ∀x (x ∈ S ∨ x ∉ S) は、個体の全ての集合 S と全ての個体 x について、x が S に属するか、あるいは属さないかのどちらかであるということを主張している。最も一般化された二階述語論理は関数の量化をする変項も含んでいる（詳しくは後述）。
越智 武臣（おち たけおみ、1923年（大正12年）11月20日 - 2006年（平成18年）1月10日）は、日本の西洋史学者。愛媛県出身。第三高等学校卒業後、兵役を経て京都大学文学部卒業。英国ハル大学に学び、1952年京大文学部助教授、1969年「近代英国の起源」で文学博士号取得。1970年教授。1987年定年退官、名誉教授、京都橘女子大学教授、1989年同学長。近代イギリス史を研究。
2018年3月15日、クラブでの活躍が認められ、国際親善試合に挑むイングランド代表に初選出される。更に5月には、2018 FIFAワールドカップのメンバーにも招集された。
ユース時代をイプスウィッチ・タウンFCで過ごしていたポープだったが、16歳の時の2008年に解雇され、イスミアンフットボールリーグ (実質最下位リーグ) のイスミアンリーグ・ディヴィジョン1・ノースに所属するベリー・タウンFCに入団。プロデビューを果たす。2011年5月24日、フットボールリーグ1 (実質3部) のチャールトン・アスレティックFCに移籍するも、正GKの蓙を獲得することは出来ず、ローン移籍を繰り返すシーズンに終始した。2016年7月19日、プレミアリーグに復帰を果たしたバーンリーFCと3年契約を締結。加入1年目の2016-17シーズンは、リーグ戦不出場で終了。翌2017-18シーズンは、9月10日のクリスタル・パレスFC戦で、正GKのトム・ヒートンが前半戦で負傷した関係で、後半戦から途中出場となり、念願のプレミアリーグ初出場を果たし1-0の勝利に貢献。17日のアンフィールドでのリヴァプールFC戦では、相手攻撃陣の猛攻に耐え、1-1で凌ぎ切り勝ち点1をもたらす。更に10月1日のグディソン・パークでのエヴァートンFC戦では、1-0で自身初のプレミアリーグ完封勝利を達成した。10月9日、新たに2020年6月まで、バーンリーとの契約延長にサインした。
ヒマラヤで遭難し気を失ったイギリスの地質学者のヒギンズの前に、一人の老人が現れる。老人はヒマラヤの秘境のシャングリラの国王で、ヒギンズはその弟・タルチンだと言うのである。桃源郷に連れていかれたビギンズは、入り口にある凍りついた滝の前で遠き日を追憶する。
世界寄付指数（せかいきふしすう）、World Giving Index（ワールド・ギヴィング・インデックス）は、イギリスのチャリティー団体 Charities Aid Foundation（CAF）および、アメリカの世論調査企業ギャラップの調査による、人助け、寄付、ボランティアに関する指数。2010年から発表されている。
植田自身が定期的にゲストで出演する『ビーバップ!ハイヒール』（ABCテレビ）のオープニング・テーマ曲。表題曲のミュージック・ビデオは自身が監督を務めているため、「今の私の環境でしか作れないものだと思った」とコメントしており、また監督を務めたことについては「絵を描くように、いろんな色をのせていくように作った曲だから、私が単純にリボルバーを手に持って映っているようなMVは違うと思ったんです。それで、イメージを広げていったときに、私の頭の中にあるものを誰かに説明して共有しようとするより、私がディレクションしたほうが早いんじゃないかと思って、はじめて監督というものをやらせていただきました」と説明している。製作は自身が所属している事務所で行われた。
イギリスの障害者団体「隔離に反対する身体障害者連盟(UPIAS)」が1976年に発した、「障害とは社会が障害者としている人たちにもたらしている不利益である」という声明は、障害観のパラダイムを転換させる契機となった。障害学のマイク・オリバーは、この声明を承けて障害の社会モデルという認識枠組みを提示した。障害の社会モデルでは、身体的（精神的・知的）制約を「インペアメント(impairments)」、社会によって作られる障壁や差別を「ディスアビリティ(disabilities)」と呼び、それぞれを明確に区別している。従来から一般的だった障害の個人モデル(Individual model of disability)では、障害者が直面する問題の根本原因は障害者個人のインペアメントにあるとし、問題を解決する方法はインペアメントの除去であるとされてきた。障害の社会モデルでは、「障害」の問題を社会的に発生したものと捉え、個人が社会へ全面的に適応する際の課題とみなす。このモデルは、障害は個人に帰する問題ではなく、様々な状態が絡み合った複雑さとして受け止め、多くは社会環境から発生していると考える。従って、この問題と向き合うには社会活動が求められ、人々が障害者と社会生活全般の場面で供に生きられる環境を整備する社会全体の集団責任となる。この問題は文化と、健常な心身を正常なものとするイデオロギー双方に関わり、また個人・共同体・そしてより広い社会の変化が必要になる。これらから、減損や障害を持つ人々の機会平等は、重要な人権問題となる。