hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
布拉格之春 苏联干涉
军事入侵当天，国营电台除了播放国歌外，没有对外作任何广播。国际电话以及新闻社的对外电报也被封锁。只有唯一没有能被限制的业余无线通讯，将这个事件向全世界公布。
关于苏联对捷克斯洛伐克武装入侵，8月21日，应美国、英国、法国及加拿大等国的要求，联合国安理会召开紧急会议。会中巴西、加拿大、丹麦、法国、巴拉圭、英国和美国提出“入侵是违反联合国宪章的干涉内政行为，要求立即撤退”的决议案，最终10票赞成、3票弃权和2票反对，由于苏联行使常任理事国的一票否决权，该决议没能生效。此外，加拿大提议联合国秘书长向布拉格派遣特使。武装入侵当天正在南斯拉夫访问的哈耶克外交部长在24日到联合国指责武装入侵。但是由于缔结了《莫斯科议定书》，捷克斯洛伐克方面撤回了议题，最终在联合国的议论失去了实际效果。中华人民共和国方面也对苏联的入侵行为表达了谴责，时任总理周恩来在出席罗马尼亚大使馆举办的国庆日招待会时，在讲话中（这一讲话后来被称为“六八讲话”）公开指责苏联方面的侵略行为，引得苏方人员全体退场。
布拉格之春 苏联干涉
此外，西方国家尤其是美国，一方面认同杜布切克政府的改革运动，但另一方面却没有采取任何具体行动。这是因为这起事件发生在“不扩散核武器条约的签订、限制战略武器谈判的开始以及对于改善美苏关系的期待”等背景之下，美国担心由于捷克斯洛伐克事件的影响。导致了上述进程的中断。另外，由于当时美国正陷入越南战争的泥沼之中，对于提供北越武装的捷克斯洛伐克，约翰逊政府也无法作出积极的支持举动。因此，与捷克斯洛伐克的情况相比较，更为重视同苏联的关系的约翰逊政府的反应，恰好说明了在冷战格局下美苏互不干涉其势力圈的不成文规则。
苏联在入侵后，面对国际舆论以及捷克斯洛伐克方面消极的抵抗之后，也决定接受斯沃博达总统的要求，从9月23日开始，在克里姆林宫展开双方谈判。但是，勃列日涅夫与以“反革命势力”罪名被拘禁的杜布切克的会谈遭到了非议。在莫斯科聚集的华约其他成员国首脑，始终坚持成立革命劳农政府，并强硬地建议如有必要可以实施一定期限的军事占领。另外，在9月25日的苏共政治局会议上，对于勃列日涅夫和柯西金所采取的解决事态的方案，也有人表示异议。
布拉格之春 苏联干涉
经过4天的会谈，8月26日，两个领导层签署了“莫斯科议定书”。其内容有15项，再次确认了控制媒体、更换改革派的切尔纳会谈的“合意”事项，同时明确宣布9月22日临时召开的全党大会的无效性。此外，对于干预军队的撤退问题，并没有明确撤军的时间。
这次事件之后，西方社会将苏联此次为武装介入所作的正当化理论，称为“限制主权论”或“勃列日涅夫主义”。这个理论主要通过9月26日苏联《真理报》所载论文《主权和社会主义祖国的国际义务》以及11月在波兰统一劳动者党第5次全党大会上勃列日涅夫的演讲（11月13日《真理报》）被明确化。主要内容即：“一国的社会主义危机也是社会主义阵营全体的危机，其他国家不能对此毫不关心，为了保护全体的利益，可以超越一国的主权。”这个理论从阶级的观点重新评价了主权，将保卫社会主义置于尊重主权和不干涉内政原则之上。另外，勃列日涅夫主义并不是为了将军事干预正当化而在事后仓促形成的理论，在此之前的华沙信件和布拉迪斯拉发宣言中就有所体现。事实上，这个方针是自赫鲁晓夫时期就开始对东欧实施的政策，虽然冠以勃列日涅夫之名，却并非其首创。
布拉格之春 苏联干涉
从莫斯科归来的杜布切克领导层，对国民发表了继续改革的声明。但是，迫于苏联以及国内亲苏派要求执行《莫斯科议定书》的压力，杜布切克的回旋空间日渐狭窄。例如，在入侵军队撤退问题上，随着10月暂定驻留条约的签订，实际上将驻捷军队的存在合理化，这支苏联军队直到1991年才最终撤退。另外，对于改革派的压力，最终也集中到国民爱戴的斯姆鲁科夫斯基身上，他被撤去了国民议会议长的职务。
另一方面，10月28日开始实施《行动纲领》中提出的联邦制。1969年1月1日，捷克斯洛伐克社会主义共和国正式实行联邦制。
1969年1月16日，查理大学的学生扬·巴拉夫为抗议军事干预和改革的倒退，企图自焚。3月，在斯德哥尔摩举行的世界冰球锦标赛上，捷克斯洛伐克队战胜了苏联队，这个消息传到国内后，众多的国民走上街头，拍手称快。此后，又出现了在布拉格围攻苏联航空公司办公点的事件。这一切都反映了捷克斯洛伐克国民对于苏联的厌恶和仇恨。苏联将这一系列事件定性为反革命势力的阴谋，要求杜布切克予以制止。
1969年4月，古斯塔夫·胡萨克接替杜布切克就任第一书记，进行所谓“正常化”，开始压制国内党内的自由化倾向，至此，“布拉格之春”宣告结束。
中华书局
中华书局是成立于1912年的出版社，自1949年来已重组分割为多个部分，其可以指：
黔江区
黔江区是中华人民共和国重庆市下辖的一个市辖区。位于重庆市东南部，公路距离重庆主城区425公里，是重庆市唯一的一个少数民族自治县改设的市辖区，设区后仍比照民族自治地方，享受民族优惠政策。
黔江区 行政区划
黔江区下辖6个街道办事处、15个镇、9个乡：
城东街道、​城南街道、​城西街道、​正阳街道、​舟白街道、​冯家街道、​阿蓬江镇、​石会镇、​黑溪镇、​黄溪镇、​黎水镇、​金溪镇、​马喇镇、​濯水镇、​石家镇、​鹅池镇、​小南海镇、​邻鄂镇、​白石镇、​中塘镇、​沙坝镇、​蓬东乡、​杉岭乡、​太极乡、​水田乡、​白土乡、​金洞乡、​五里乡、​水市乡和​新华乡。
黔江区 人口
总人口48.15万人，其中非农业人口5.63万人。民族有汉族、土家族、苗族、回族等14个，其中，少数民族人口占总人口的72.4%。人口密度为199人/平方公里。
黔江区 文化教育
城区共有中学6所：黔江中学、新华中学、民族中学、实验中学、人民中学、平坝中学，其中普通高中三所，民族中学，黔江中学，新华中学,小学4所:人民小学、黔江实验小学、民族小学、新华小学，有一广播电视大学，重庆市黔江区民族职业教育中心，以及重庆旅游职业学院、黔江经贸职业学院两所普通高等专科学校。黔江拥有一家广播电视集团和一家报业公司。即1991年成立，1992年7月18日正式开播的黔江电视台和1988年成立的武陵都市报。
游戏的人
《游戏的人》（Homo Ludens）是荷兰学者约翰·赫伊津哈在1938年写的一本著作，它讨论了在文化和社会中游戏所起的重要作用。Homo Ludens，翻成中文為：人，遊戲者，或簡單稱作「遊戲人」，形式就像我們比較熟悉的 Homo sapien (智人)，是對「人」這種「生物」或「生活型態」做的概念化描繪。 Homo ludens 同時也是一個社會科學的理論模型，在此理論模型中闡明，一如在經濟活動中，人們最主要透過遊戲發展其技能。由於在遊戲中有被規範的行動自由並要求獨立思考能力，人類可以發現自己的特點並將從中所得到的經驗轉化入自己的人格塑造中。在此模型中指出，人類需要遊戲來做為一種發展觀念及意義的基本形式。作者在书中认为游戏同理性和制造同等重要。
此概念最早係藉由本書在近代為人們所普遍接受，在其中指出了，我們的文化系統，諸如政治，科學，宗教，法律等，都是由帶有遊戲性的行為發展，再隨著時間加深其儀式化而成。當遊戲變得神聖莊重，且其規則被明確定下來後，就不再輕易受到更動，且開始具有強制性了。
貞節旌表
貞節旌表是中國、朝鮮的一個制度，是指由朝廷公開表揚獎勵守節不再嫁或拒受污辱而自殺的婦女（即節婦與烈女）。要識別「貞婦」，關鍵在「貞」字。《廣雅‧釋詁一》給出界說「貞，正也」。這樣釋「貞」為「正」，用在臣對君、僕對主、下對上的關係上，就是指忠實、精誠；用在女性對男子，特別是妻子對丈夫的關係上，則是指專一。無論前者還是後者，都屬於意志或操守堅定不移的具體化。
此制度在中國起源甚早，但到明清時代制度完備並受到重視，因而對鄉里社會以及女性生命產生重大的影響。北洋政府时期，政府仍推行此类制度。国民政府执政时期，政府不再推崇貞節旌表:183，但对社会风气影响仍存，直至中华人民共和国建国后。
貞節旌表 中國
貞節旌表最早在春秋戰國時代見於記載，劉向《列女傳》中記述楚國的兩位守節婦女受楚王贈封號為「貞姜」、「貞姬」。其後在秦朝，秦始皇曾下令為巴寡婦清築造懷清臺以獎其貞節。但這些旌表大多屬於針對個別婦女的例子，尚不能確定有一個屬於多數婦女的制度存在。
成為制度的貞旌表在西汉開始出現。最早的記載為漢宣帝時對潁川郡的「貞婦順女」賜帛，其後從漢平帝、漢安帝、漢順帝、漢桓帝等時代的相關詔令中，可看出開始把這種賞賜及獎勵擴及全國。尤其安帝時的詔令，顯示出應已有一套由地方官推舉甄選的制度。
到魏晉南北朝時期，對貞節婦女的獎勵雖仍然如漢代時僅存於詔令之中，但有更明確要求地方官推選，出現一套層層負責的流程，可看到旌表貞節與地方行政、監察等制度相結合。
到隋唐時代，貞節旌表制度正式見於典章制度中，例如隋代規定「孝子、順孫、義夫、節婦，並免課役」。亦即被認可有特殊德性者，皆可獲得免稅賦、勞役的優待並獲得獎勵。並有一整套較完整的選拔方式，由地方官的奏聞、巡方大吏的採訪、地方鄉里的認可等作為旌選的標準。
貞節旌表 中國
宋朝除承襲唐代之外，對於貞節婦女的表揚方式更多，包括實物賞賜、免賦役之外，尚有旌表門閭（亦即在家族的大門建築上加上特定的標示裝飾以作為標記，後來明清時代的貞節牌坊亦為其中一種）、封爵贈號、立祠供鄉人祭祀、在墓上表記等。
元朝時，由於世家大族冒請旌表以求名利的情形日漸增多，朝廷開始對於受表婦女的資格與身分作出較嚴格的規定，訂出三十歲以前丈夫去世，守節到五十歲以後的才能算是節婦的標準；此外，對於申請旌表的過程也作較嚴格的規定，這些制度為明清時代所承繼並進一步嚴謹化。
大體而言，明代以前雖然已有貞節旌表的制度，但尚未受到朝廷及一般社會上的高度重視，旌表的人數也較少。基本上，受旌表的貞節婦女被認為是少數道德高尚的典範人物，而不是一般人都要遵行的規範，因此旌表制度對於社會風氣及一般婦女的生活，比如寡婦再嫁或婦女離婚再嫁的影響較小。
明代開始，旌表制度遠比前代受到重視，明太祖在位期間詳細制定關於旌表的規定，其後的歷朝皇帝也遵循其重視旌表制度的政策，在許多詔令中屢次重申此制度。在實際運作上形成一套嚴密而規律化的制度，而清代也大致上承襲了明代的制度。
貞節旌表 中國
貞節旌表可分為「節婦」和「烈女」，承襲元代的制度，節婦定義為三十歲之前喪夫，守節到五十歲以上的婦女；烈女較無明確定義，但一般指婦女為維護自身貞操而死的行為。到了清代，對任意自殺的烈女變得不再像明代那樣鼓勵，因此主要僅旌表節婦。
除此之外，明代朝廷對貞節旌表有兩項規定，第一是已過世的節婦不得旌表，第二是已申請、但在漫長的申請過程中逝世的也不得旌表，但第二項規定後來受到廣大的批評和質疑，因此在嘉靖三年時廢除。
此外，亦規定誥命夫人不得受旌表，因為誥命夫人的名號本身就是國家封贈的榮譽，且誥命夫人已有終身不得改嫁的規矩，因此不適用於民間寡婦的表彰規定。但隨著貞節旌表廣的榮譽受到社會上的日漸重視，其價值甚至遠高於誥命夫人的身分，許多人開始要求誥命夫人也能獲得旌表，這個規定也在部分個別情形下適度放寬。
貞節旌表 中國
首先由地方的里老人或學校上報給縣官，或由縣地方官親自採訪之後，將符合資格者呈報於府，由府覆覈之後，過了之後再上呈禮部，之後禮部必須再次發文，向府、州縣、里甲等層級要求保勘（亦即保證無誤），再由禮部交由各所屬的按察院最後審定，無誤後由禮部統一奏請旌表，獲准之後，即可行文當地政府對受旌表者免差役及蓋牌坊。
這套制度由於太過繁复，至嘉靖十年被修訂，取消了向各級政府要求覆勘的規定。並從以禮部為審核的中心，改為以地方監察單位，包括按察使、巡撫為主要的中心，而禮部只需要按照撫、按所奏名單奏報朝廷旌表。
但即便如此，整個制度仍然十分繁複，公文來往動輒數年，造成申請者莫大的麻煩。加上競爭激烈，很多有資格者無法受旌，因此除了中央朝廷的旌表之外，地方政府也開始提供次一級的表揚方式，其程序較為簡單，由地方人士或學校推舉或由地方官查訪確認之後，直接予以立碑、寫入地方志、實物獎勵、地方紀念活動（厚葬、立祠奉祀等）作為獎勵。
貞節旌表 中國
由於明清社會上對旌表的重視，而受旌表的名額有限，使得申請者的競爭十分激烈，但在繁複的申請過程中，官僚內部的腐化問題（尤其常被胥吏把持），以及申請方式的資訊流通的困難（偏遠鄉下及窮苦人家可能不了解方式），都造成世家大族的貞節烈女往往更能在旌表的競爭中勝出，平民幾乎難有受旌的機會。這點造成許多士人的不滿，他們並非認為世家大族的節婦不應受旌表，而很多是認為許多貧者守節更困難，其道德層次更高，卻反不受旌，因此有違旌表原本的教化意義。
此外，由於規定的嚴格性，造成道德標準的形式化。以守節來說，30歲以前丈夫死去便守寡守到50歲者，雖符合節婦的可旌標準，但不考慮其實踐的內容差異，也受到士人的批判。
此種不滿，造成士人以自己認為的理想，開闢另外的領域空間來表揚貞節婦女，包括地方志的書寫，貞節事蹟或節婦傳記的撰寫。如黃宗羲即認為國家旌表反不如士人作傳表彰來得有意義。事實上，當時尤其是有權威名望的人為婦女所作的傳記常流傳甚廣，使被作傳者更能得到廣泛的名聲，這種傳布也與明中葉以後印刷業的發達有關。
貞節旌表 中國
民国三年（1914年），中華民國大總統袁世凯下令颁布《褒扬条例》，规定褒扬“妇女节烈贞操可以风世者”。《褒扬条例条例实施细则》规定，“凡遇强暴不从致死或羞忿自尽及夫亡殉节者”，“自三十岁以前，守节至五十岁以后者，但年未五十而身故，其守节已六年者”可受褒扬:183。
民国六年（1917年）10月，代理大总统馮國璋执政时期，修正“褒扬条例”。明确规定“夫亡殉节者”得受褒扬，增加对自愿为亡故未婚夫守节的未嫁女子的褒扬。同时，寡妇守节时间以守满十年为限。褒扬流程有明确规定。不论已故、现存，符合褒扬条件的女性，第一种由其子女、亲族、邻里均得将事实呈报于县知事，请其确定详实，呈请褒扬。第二种由县知事访查，如有合于第一条所定各款之一者，征考行实后，详录事状，呈报上级地方长官，复核无异，呈报于内务总长:183。
貞節旌表 中國
现代研究者总结的褒扬流程：子女、亲族、邻里（呈报）→县知事（详核）→上级（复核）→内务总长（呈请）→大总统。最终审核无误后，授予匾额、褒章。根据节烈程度，褒章分为金质、银质，均配以黄色绶带，后改为白色，附褒章证书。褒章仅限受褒扬女性佩戴，已逝者仅给予题字匾额。符合《褒扬条例》两项以上者，可另加褒觪。政府允许受褒扬女性和其家人、同乡人士自行建坊立碑，用以纪念。地方官员亲撰碑文亦为常见:183。
北洋政府相关政策，除以褒扬代替旌表外，与清朝政府所设“节、孝、贞、烈”列女大同小异。
明代以前，貞節的觀念一直存在，且被認為是具有重要價值的道德，宋明理學家主張（程頤的名言：「餓死事小，失節事大」）。而旌表貞節的制度是對於能守節的典範人物的獎勵。
但到了明清時代，由於旌表制度的發達、受旌表人數的大量增加，以及朝廷與社會上對旌表的重視，使得雖然沒有婦女不可再嫁的規定，但在整個社會的氛圍中，包括鄉里中廣為流傳的貞節故事、地方上貞節牌坊的設立，再加上人們莫不以家族中有人受旌表為榮，在在都造成一種「守節才是正常」的社會期待，使得婦女在這種壓力之下，即使難以維持生計，還是堅持守節，以期待那很可能是遙不可及的旌表。这种思想影响深远，既使贞节旌表制度随北洋政府终结:183，至中华人民共和国建国仍然存在。
五四运动时期，中国知识分子“打倒旧礼教”、“不得干涉寡妇婚姻”的呼声高涨。反抗包办婚姻、争取自由恋爱被知识阶层所推崇。但社会对女性离婚、再婚仍存在污名化。当时女性丧偶人数多于男性，除女性平均寿命高于男性的原因外，也与男性丧偶后，再婚多、鳏居少，而女性丧偶后再婚少、寡居多相关。1931年，文绣向天津法院起诉与清末帝溥仪离婚时，文绣族兄表示“即果然虐待，在汝亦應耐死忍受，以報清室之恩。”，而溥仪亦要求文绣不得再嫁。
另一方面，也有歷史學者認為，旌表制度的發達，使得不能參與科舉考試當官的女性也有了光耀宗族的機會，因此在一些情形下，婦女反而很可能是較主動地選擇了守寡一途，以使自己在家族中獲得較高的地位及財產的繼承權。
约翰·赫伊津哈
约翰·赫伊津哈（荷蘭語：，1872年12月7日—1945年2月1日）是荷兰的语言学家和历史学家。
出生于荷兰的格罗宁根。在上学时就掌握了阿拉伯语。1891年考入格罗宁根大学学习文学和梵文。隨後於1896年以比較語言學的論文（關於梵文）取得學位。接著他進入哈勒蒙（Haarlem）高級中學教歷史課，在其間他出版了他唯一的一部古代史著作《哈勒蒙的興起》。
之後他透過他的導師布洛特（P. J. Blot）引薦下在1905年進入格羅寧根大學擔任歷史學教授，而於1915年成為萊顿大學教授，1932年任校長。
约翰·赫伊津哈
赫伊津哈的論著豐富。主要有1905年就職演講《歷史表現中的審美因素》（Het aesthetische bestanddeel van geschiedkundige voorstellingen）、1918年向學生介紹美國史而寫的《美國的個人與大眾》（Mench enmenigte in Amerika）、1919年的成名作《中世紀的衰落》（The Waning of the Middle Ages）、1924年的《鹿特丹的伊拉斯謨》（Erasmus of Rotterdam）、1938年的《遊戲的人》（Homo Ludens: A Study of the Play-Element in Culture ）。
1942年他被德国人逮捕囚禁，1945年荷蘭解放前夕病逝。
北遼
北遼，即耶律淳政權，是1122年遼朝滅亡前夕耶律淳在遼南京道析津府被耶律大石等人擁立並建立的政權，後來金朝攻佔燕京，北遼滅亡，國祚不足一年。亦有将之後的耶律雅里政權也归入耶律淳北辽政权的说法，二者合并记二年时间（1122年-1123年）。
北遼 名稱
《遼史》及《遼史紀事本末》均稱耶律淳政權為「北遼」。近代學者如李錫厚《遼金西夏史》、李崇智《中國歷代年號考》等沿用史書稱呼。
不過，個別當代學者對「北遼」之名提出質疑。葛華廷和高雅輝在《耶律淳政權「世號為北遼」之說質疑》論証，「北遼」為宋人對遼朝的稱呼，非專指耶律淳政權，與遼人稱呼宋朝為「南宋」相應。以「北遼」稱遼南京的耶律淳政權是元代修史人的錯誤理解、名不符實，以方位詞稱呼應以「南遼」為是，而稱的上「北遼」者，應以耶律雅里政權為妥。苗潤博在《<遼史>探源》中提出，該政權立於遼朝南京，且位於遼朝天祚帝、耶律雅里、耶律大石等政權之南方，絕無稱「北遼」之理，《遼史》的說法明顯有誤。認為元人在修史時大量徵引史願《北遼遺事》，元人對於書名「北遼」之實際所指早已不甚了了，且因該書大量內容記載耶律淳政權之事，於是產生了「世號為北遼」的誤解。儘管苗潤博質疑「北遼」之名，但亦未使用或肯定「南遼」之名。邱永嘉《遼末耶律淳政權建立原因探析》從葛說不用「北遼」稱呼耶律淳政權。
北遼 歷史
辽朝保大二年（1122年）正月，中京被金兵攻陷，天祚帝流亡夹山（今內蒙古自治區武川縣西南大青山），燕京地區與天祚帝失掉了聯絡，人心震動。李處溫、李處能兄弟外借怨軍，內結都統蕭幹，密謀擁立南京留守耶律淳為皇帝。召集左企弓、曹勇義等番漢百官及諸軍、父老等數萬人耶律淳的府第要求此事。耶律淳再三辭讓也不行，只好答應。三月，百官上尊號為天錫皇帝，改保大二年為建福元年，降封遼天祚帝為湘陰王。遼朝於是一分為二。雙方都使用「大遼」國號，自稱是遼的法統所在，史家為了區分這兩個遼政權，仍稱天祚帝政權為遼，稱天錫帝政權為北遼。
建福元年（1122年）六月二十四日，耶律淳病死，德妃蕭普賢女以皇太后身份攝政，改元德興。期间击退宋朝进攻（宣和伐辽）。
德興元年（1122年）十二月五日，金朝兵抵居庸關，蕭德妃和耶律大石在夜間離開燕京，後投奔天祚帝，金朝攻佔燕京，北遼滅亡，國祚不足一年。後來，萧德妃在1123年二月二日因為謀反而被殺，但耶律大石卻得到赦免。
北遼 疆域
耶律淳的北遼政權建立後，繼承了遼朝南部的領土，疆域侷限在今北京、天津及河北省北部一帶。《遼史》記載「以燕、雲、平、上京、中京、遼西六路，淳主之；沙漠以北，南北路兩都招討府、諸蕃部族等，仍隸天祚。」實際上其中很多地方已經落入金朝之中，並非實際情況。
明治大学
明治大学（日语：／ Meiji daigaku；英語譯名：）是一所日本私立大学，簡稱明治（めいじ）、明大（めいだい），校本部位於东京都千代田區。
明治大学与早稻田大学、慶應義塾大學、法政大學、立教大學、东京大学共同组成“東京六大學棒球聯盟”，同时也是关东「难关私大」（非常難考的私立大學）“MARCH”之一，校友包括2名內閣總理大臣。
明治大学 歷史
前身為1881年1月17日三名曾学习法国法的岸本辰雄、宮城浩藏、矢代操设立明治法律學校。明治19年（1886年）12月11日迁入神田南甲贺町新校舍。1920年正式升格为大学，改称明治大学，并有了法、商二学院。1925年设置政治经济学院。1949年2月21日，日本学制改革，该校随之成为新制大学，拥有法、商、政经、文、工、农等六个学院，25日又设置了第二部(夜校)。
圭表
圭表是中国古代根据日影长度变化测定季节、划分四季和推算历法的工具。圭表由“圭”和“表”组成，表是一根垂直立于地面的杆或柱；圭是一根平贴地面而垂直于立杆或立柱的水平标尺，指向正北。正午，“表”的日影落在“圭”的刻度上，根据表影的长度可以测定节气，推算历法等。比如可以通过测量两次正午时（12点整）表影长度最长时刻（冬至点）的时间间隔（两个冬至点之间的时间间隔），确定一年的长度。通过测量正午表影长度确定冬至、夏至，进而推算回归年长度。
圭表 郭守敬的改良
中国元朝的郭守敬所制作的高表就是將圭表增長增高設計而成的。
此前圭表使用起来会遇到几个困难。首先，表影边缘不清晰。阴影越靠近边缘，颜色越淡，到底影子的尽头在什么位置，很难判断。影子的边界不清，影长就测量不准。其次，测量影长的技术欠精密。古代量长度的尺，一般只能量到分，往下可以估计到厘，即十分之一分。按照传统方法，测量冬至影长，如果量错一分，按此推算出来的冬至时刻就会有一个或半个时辰的误差。中国古代将一日分成12个时辰，一个时辰合如今所说的两小时。所以这在天文历法上是很大的误差。最后，圭表只能观测日影，不能观测月影和星影。
面对这些困难，唐宋以来，科学家们想过许多办法，但始终没有解决好。郭守敬在困难面前没有退缩。他从分析产生困难的原因入手，然后针对各个原因，分别寻找对策，逐一解决困难。
圭表 郭守敬的改良
前代圭表的“表”仅高八尺，表影很短，表影边缘模糊，测量错一点，实际误差很大。郭守敬设计的圭表，称为“高表”，就是把表竿增高至40尺，提高到五倍，因而观测时的表影也加长到五倍。表影加长了，相对于表影长度而言，边缘不清造成的误差就相应缩减了占表影长度的比例，测量的数据便精确多了，按此例推算节气的误差也就明显减少了。另外，高表顶部还架设了一根横梁，这也有助于识别表影边缘。
高表还不能彻底解决表影边缘清晰度的问题。郭守敬于是创造了一个称为“景符”的辅助仪器，用来提高测量的效果。景符，即影符。它是一片四寸长、二寸宽的铜叶，正中开一个针孔那样的小洞。铜叶的一端用枢纽接在一个二寸见方的框子边上；另一端用小棍支撑起来，就跟箱子盖那样可以自由启闭，以便调节其倾斜度。将景符放置在圭面上，正对太阳，日光通过小孔，射到圭面上，就会形成一个极微小的太阳像，非常明亮。测量正午日影时，先将景符放在圭面上影端旁边，使符面垂直于日光，然后前后移动景符，使太阳、高表顶部横梁与符上小孔三者正好处在同一条直线上，那么，圭面上所显露出的太阳像跟米粒大小，亮晶晶的，中间有一条细如发丝的横梁影子，立刻记下它的位置，就可以测量日影的长度了。这是利用针孔成像的办法，使高表横梁在日光下所投虚影成为精确实像，测得的表影长度比以前圭表测影要精确得多。
范达人
范達人又名范達仁（1935年生），1962年毕业于北京大学历史系，随后成为北大一名青年教师。文革以前在北大历史系负责学术批判工作。文革期间曾任“梁效”寫作组长。第四届全国人民代表大会时作为全国人大代表出席会议。中共十一大“点名批判梁效”。1976年10月10日深夜，四人帮被隔离审查后的第4天，“梁效”遭查封，所有成员受隔离审查。之后范达人未经审判，被投入监狱；大约一年后释放，但被警告不能讲课、不能写文章、不能出头露面（三不规定），1980年后才逐渐放宽。曾任中國文化書院導師、教授。1989年赴美國，曾任哈佛大學訪問學者、研究員。
金圓券
金圓券為中華民國於1948年（民國37年）8月19日至1949年（民國38年）7月3日間由中央銀行發行的法定貨幣，流通範圍為除臺灣省外的中華民國政府實際控制區域。该纸币由於發行準備不足以及未嚴格實行發行限額而導致惡性通貨膨脹而聞名。在發行初期，政府以行政手段強迫民間以黃金、外幣兌換金圆券，規定每金圓的含金量為0.22217克，以金圓券一圓折合法幣300萬元的比率收兌急劇貶值的法幣。此举给民间带来巨大經濟损失，對城市的中產階級影響尤巨，令中華民國政府大失民心，亦是中华民国政府在第二次国共内战中迅速失败的原因之一。金圓券後由中国共产党领导下之人民政府陸續用人民幣作價收回:4439。
金圆券发行失败后，中华民国政府发行银圆券，但很快在流通中被拒收。各地人民政府在1949年（民國38年）6月起宣布停止金圆券流通，以金圆券10万元兑换人民币1元的比率，收回后销毁。
金圓券 發行背景
發行金圓券的目的是取代原本惡性通貨膨脹的法幣。法幣在1935年（民國24年）起由中華民國國民政府發行。中國抗日戰爭期間，由於財政支出增加，法幣大量發行。到了戰後，國民政府為支付與中國共產黨作戰的巨額軍費，法幣的發行量更是變本加厲，由抗戰勝利（民國34年）時的5,569億元快速上升至1948年（民國37年）8月的604兆元，三年間發行量增加超過一千倍。
就通貨發行額而論，戰前只不過14億元:394。1947年（民國36年）初，法幣發行總額為3.5兆，至同年7月增至10兆以上:159。在政府庫存黃金、外幣都沒有實質性增加的情況下，如此巨大的發行量導致了民間的惡性通貨膨脹。當初更有造紙廠以低面額的法幣資源回收，作為造紙的原料獲利。宋子文任職行政院長時，試圖以金融政策穩定法幣，拋售庫存黃金購回法幣。但因為法幣發行量仍極劇增加而致無果。
金圓券 發行背景
1948年（民國37年）5月底，立法院同意由翁文灝出任行政院院長，王雲五被任為財政部長，開始籌劃貨幣改革。同时，蒋中正安排原财政部长、原中央银行总裁俞鸿钧亦拟定关于币制改革的方案。俞鸿钧组织的中央银行专家为主的起草班子，认为法币不作根本性改革还可以维持一段时间的局面，若从根本上改革那就会垮得更快。
俞鸿钧班子拟定的方案主要着眼于财政收入的增加和改善，建议仿照1947年（民國36年）用关金征收关税的办法，所有纳税款和外贸结汇均使用这种特殊货币，而不致于随法币一起贬值，这样可使财政收入占财政支出的比例从10%多增加到40%或50%。但蒋中正对此并不满意，认为不能收集举国的金、银、民间外汇储备应付现实的困难局面。1948年（民國37年）7月29日，蒋中正在莫干山松月庐召开会议研究发行金圆券事，谓王云五所拟金圆券方案，设计挽救财政，收集金银、外币，管制物价，都是必要的措施:352。会上行政院院长翁文灏、外交部长、中央银行总裁俞鸿钧表示同意。
这次币制改革是在极秘密情况下进行，除与会人员外，蒋中正只找了前中国银行总经理、刚辞去中央银行总裁的张嘉璈，另外由翁文灏在改革实施前几天，通知美国驻华大使司徒雷登。
金圓券 發行經過
1948年（民國37年）8月19日，中國國民黨召開中央政治會議，通過由翁文灝、王雲五提出的貨幣改革方案。翁文灏于当天下午召开行政院会议讨论、通过币制改革方案。根据第一屆國民大會第一次會議通过的《动员戡乱时期临时条款》赋予总统的紧急处分的特权。8月19日，蔣頒布《財政經濟緊急處分令》，發行金圓券，同時停止發行法幣；並在各地設置經濟管制督導員。蔣發表談話，呼籲同胞奉行法令，擁護新幣制，以福國利民:56。並公佈《金圓券發行办法》，主要內容為：
同時蒋中正派出經濟督導員到各大城市監督金圓券的發行。當中上海作為全國金融中樞，由蔣經國為副督導（8月23日就职，11月26日去职），正督导员是中央银行总裁俞鸿钧，實際掌握上海的經濟情況。
在兑换比例上，规定黄金每两兑金圆券200元，白银每两兑金圆券3元，1银元兑金圆券2元，美元1元兑金圆券4元。宣布实行币制改革时，承诺金圆券限额发行二十亿元，但二十亿金圆券折合法币为六千万亿元，已超过当时流通的法币总额六百六十多万亿元的九倍。
金圓券 發行經過
金圓券發行初期在沒收法令威脅下，大部分的城市中產階級民眾皆服從政令，將積蓄之金銀外幣兌換成金圓券。1948年（民國37年）11月16日中央银行总裁俞鸿钧向蒋介石报告收兑成绩：黄金166.3万两，白银（即银锭）893.7万元，银元2403.8万元，美钞4773.5万元，港元8732.5万元，合计折合1.9亿美元。
金圓券 發行經過
根据《中华民国人民存放国外外汇登记管理办法》，人民（包括自然人、法人及其它社团）存放国外的外汇资产均应在12月1日前向中央银行或其它指定银行申报登记。上海银行公会商定按照各行实力凑足1000万美元。蒋中正在1948年（民國37年）9月6日国民党中央党部举行的总理纪念周上，斥责上海这些商业银行领头人物不遵守法令将全部外汇资产（估计有3亿美元）向中央银行申报登记，想凑集1000万美元以敷衍了事，仍如过去二三十年前，只爱金钱，只知自己，不知民生，藐视法令，罔知大义，限他们本周三之前将所有外汇向中央银行登记，并派蒋经国去上海督办。据《大公报》1948年（民國37年）8月16日刊登報導统计，以战前的生活指数为比较，8月上半月的食物价格上涨了390万倍，住房价格上涨77万倍，服装价格上涨652万倍，当天报纸用花边新闻的方式圈出一条短讯：“大饼油条，每件10万元。”
與此同時中華民國政府試圖凍結物價，以法令強迫商人以8月19日以前的物價供應貨物，禁止抬價或囤積。而資本家在政府的壓力下，雖然不願，亦被迫將部分資產兌成金圓券。在上海，蔣經國將部分不從政令的資本家收押入獄以至槍斃，以作殺一儆百。而杜月笙之子杜維屏亦因囤積罪入獄。蔣經國在上海嚴厲「打老虎」，曾稍微得到人民對金圓券的信心。
金圓券 崩潰
隨著內戰失利，金圓券以極快速度崩潰，事件變化幾乎以「日」為單位。到了末期，市場上物價甚至有一日漲價數次現象，貨幣幾乎成廢紙，反而以物易物才能換取物資。
當1948年底開始准許以金圓券兌換黃金、白銀、外幣時，全國各地立即出現數以十萬計之搶兌人潮。至1949年（民國38年）6月發行增至130兆元；比十個月前初發行時增加二十四萬倍。金圓券鈔票面額不斷升高，最終出現面值一百萬元的大鈔，但仍不足以應付交易之需。至1949年5月一石大米的價格要4億多金圓券。各式買賣經常要以大捆鈔票進行。由於貶值太快，早上的物價到了晚上就已大幅改變。市民及商人為避免損失都不想持有鈔券（金圓券），交易後或發薪後所取得的金圓券，皆儘快將其換成外幣或實物，或乾脆拒收金圓券。
金圓券 崩潰
金圓券並無現金準備，發行又毫無限制，結果使其全然失敗:4439。金圆券的失败实际上在最初就是注定的，因为法币退出流通时发行总额为663兆元，以300万元法币合金圆券1元，法币总发行量仅为2.21亿元金圆券。而金圆券一开始就定为发行20亿元，这相当于一下子制造了相当于最末期法币9倍多的通货膨胀。1948年8月底，金圆券发行额是5.44亿元，到了1949年5月27日上海易手，金圆券发行额已达到294 722亿元。物价以上海为例，以1948年8月物价总指数为标准，到1949年4月涨了83800多倍。
軍事、政治、經濟及外交等情勢逆轉。1949年（民國38年）4、5月，南京、上海相繼被中國人民解放軍攻佔，中共解放區人民政府自6月起宣布停止金圓券流通。中華民國政府遷到廣州後曾繼續發行金圓券，新疆等地區亦繼續發行，但其價值皆已接近廢紙，例如新疆銀行就曾發行過單張六十億元的高額紙鈔 。
金圓券 钞券面额
在1946年（民國35年）的时候中华民国政府就尝试性的委托英国托馬斯德納羅印鈔公司印制了1角（10 cents）、2角2种小面额金圆券, 1948年8月发行了5角、10元、20元、50元和100元5种钞券。其中5角币券与10元券由中华民国中央印制厂印制，而20元至100元券则由中央印制厂和中华书局股份有限公司属下的印钞处授命发行每种面额钞券各2种制版，另外中华民国政府曾委托英国华德路公司印制过几种金圆券，不过发行数量极少，流通范围也只限在上海。1949年（民國38年）元月发行了100元中央印制厂版本的红色制版钞券以及500元券，2月逐渐开始印制和发行1000元券，1949年（民國38年）3月先发行5000元券，后又发行1万元券，4月发行5万元券和10万元券，5月再发行50万元券和100万元券。5月底印制了500万元券，但随即上海被解放军占领，没有来得及发行。
金圓券 影響
金圓券的快速貶值及造成的惡性通脹，源自政府的財政及貨幣政策。中华民国政府無視於財力的限制，繼續維持戰事。政府赤字以印鈔票支付造成急劇通貨膨脹。政府不能自控通貨發行，僅僅試圖以違反市場規律的行政命令去維持物價和幣值，最終引致金融混亂，市場崩潰。
受金圓券風暴影響最大的是城市內小中產階級。他們沒有大資本家的財力和資源去保護自己僅有的財產，亦不如鄉間農民或無產階級的無產可貶。在金圓券發行初期或被迫、或出於信任政府，將累積所得的財產換成金圓券，在惡性通貨膨脹中所承受的損失最大，部分人因而變成一無所有。中华民国政府雖然通過金圓券發行，搜得民間積聚之數億美元、金、銀、外匯，卻失去了國內原本最應傾向他們的中、小階層及城市人民的信任與支持。
金圓券 影響
1948年（民國37年）中華民國政府在軍事上已節節失利。金圓券風暴令中华民国政府在半壁江山內僅餘的民心、士氣亦喪失殆盡。濫發貨幣是造成中華民國政權迅速在大陸崩潰的原因之一。
當時臺灣省政府奉命依金圓券發行準備移交保管辦法，將臺糖總資產1億2千萬美元，劃撥4,300萬美元，將臺灣造紙總資產2,500萬美元，劃撥800萬美元。而當時金圓券一元兌換臺幣1,835元亦明顯高估，中國大陸流入臺灣套利的活動，使臺灣面臨嚴重的惡性通貨膨脹壓力，經濟情況更趨惡化。1949年（民國38年）6月，臺灣省改革幣制，發行新臺幣（1元新臺幣等於4萬元舊臺幣）:60。
诸子集成
《诸子集成》是一部辑录了先秦诸子和汉魏六朝诸家作品的集书。搜录儒家、道家、墨家、名家、法家、兵家、杂家等七家著作共三十一种。《诸子集成》共八册，分上下两部,上部一至六册是先秦诸子，下部七八册是汉魏六朝诸家。《诸子集成》最初由上海世界书局出版，1954年中华书局出版订正本。
二階邏輯
在逻辑和数学中，二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。
一阶逻辑和二阶逻辑都使用了论域（有时叫做“域”或“全集”）的想法。论域是可以在其上量化的个体元素的集合。一阶逻辑只包括取值为论域的个体元素的变量和量词。例如在一阶句子中变量  被用来表示一个任意的个体。二阶逻辑扩展了一阶逻辑，通过增加取值在个体的集合上变量和量词。例如，二阶句子声称对于所有个体的集合  和所有的个体 ，要么  在  中要么不在（这是二值原理）。最一般的二阶逻辑还包括量化在函数上的变量，和在下面语法章节解说的变量。
二階邏輯 二阶逻辑的表达能力
二阶逻辑比一阶逻辑更有表达力。例如，如果论域是所有实数的集合，我们可以在一阶逻辑中断言每个实数都有一个加法逆元：，但是需要二阶逻辑来断言实数的集合的上确界性质，它声称实数的所有有界的、非空集合都有上确界。如果论域是所有实数的集合，下列二阶逻辑句子表达了最小上界性质：
在二阶逻辑中，有可能写出声称“论域是有限的”或“论域有可数势的”这样的形式句子。要说论域是有限的，可使用声称从论域到自身的所有单射函数都是满射的句子。要声称论域有可数势，可以使用声称在所有的论域的两个無限子集之间存在双射的句子。从向上勒文海姆–斯科伦定理得出在一阶逻辑内不可能特征化有限性或可数性。
二階邏輯 语形
二阶逻辑的语法规定那些表达式是合式公式。除了一阶逻辑的语形之外，二阶逻辑包括了很多新「种类」（有时叫做「类型」）的变量。包括：
对于刚才定义的每类变量，允许使用全称和/或存在量词来建造公式。所以有很多种类的量词，每类变量两个。
在二阶逻辑中的「句子」同一阶逻辑一样也是没有（任何种类的）自由变量的合式公式。
在「一元二阶逻辑」中，只增加了给论域的子集的变量。有所有种类的变量的二阶逻辑有时叫做「完全二阶逻辑」来区别于一元（monadic）二阶逻辑。
同于一阶逻辑，二阶逻辑可以在特定二阶语言中包含非逻辑符号。但是它们是受限制于它们形成的所有项必须要么是一阶项（它可以代换一阶变量）要么是二阶项（它可以代换适当种类的二阶变量）。
二階邏輯 语义
二阶逻辑的语义建立每个句子的意义。不像只有一个标准语义的一阶逻辑，二阶逻辑有两个常用的不同语义：「标准语义」和「Henkin语义」。在这些语义中，一阶量词和逻辑连结词的解释是同于一阶逻辑的。只有在二阶量词变量的新量词需要定义语义。
在标准语义中，量词取值于适当种类的“所有”集合或函数上。所以一旦确立了一阶变量的论域，余下的量词的意义就固定了。这种语义给予了二阶逻辑强大的表达能力，本文采用了这种语义。
在Henkin语义中，每个二阶变量种类都有它自己取值的特定论域，它可以是所有此类的所有集合或函数的真子集。Leon Henkin（1950）定义了这种语义并证明了对一阶逻辑成立的哥德尔完全性定理和紧致性定理，在有Henkin语义的二阶逻辑中继续有效。这是因为Henkin语义几乎等同于多种类一阶语义，它通过增加额外的变量种类来模拟二阶逻辑的新变量。带有Henkin语义的二阶逻辑不比一阶逻辑有更大表达能力。Henkin语义经常用在二阶算术的研究中。
二階邏輯 演绎系统
逻辑的演绎系统是确定哪些公式序列构成有效证明的一组推理规则和逻辑公理。很多演绎系统可以用于二阶逻辑，尽管它们都不能针对标准语义（见後）是完备的。每个这种系统都是可靠的，这以为它们可以证明的任何句子在适当的语义中都是逻辑有效的。
可用的最弱的演绎系统由标准的一阶逻辑演绎系统（比如自然演绎）扩充上对二阶项的代换规则。这种演绎系统常用于二阶算术的研究中。
Shapiro (1991)和Henkin（1950）考虑的演绎系统想扩充的一阶演绎系统增加了内涵公理和选择公理二者。这些公理对于二阶语义是可靠的。它们对于Henkin语义是可靠的，只要考虑的是满足内涵和选择公理的Henkin模型。
二階邏輯 为什么二阶逻辑不能归约成一阶逻辑
一个乐观的人可能尝试按下述方法把二阶逻辑归约成一阶逻辑。把论域从所有实数的集合扩展为所有实数集合的集合。向语言增加一个新的二元谓词：成员资格关系。这样，二阶的句子就成为一阶的了。
但要注意这个论域被断言为包括实数的「所有」集合。这个需求没有被简约到到一阶句子! 真有某种方式来完成这种简约吗?经典的Löwenheim-Skolem定理蕴含了这是没有的。这个定理蕴含了有某个「R」的可数无限子集，它的成员我们称为“内在数”，和某个内在数集合的可数无限搜集，它的成员我们称为“内在集合”，而由内在数和内在集合组成的这个论域满足实数和实数集合所满足的所有一阶句子。特别是，它有效的满足一种最小上界公理：
有“内在”上界的所有非空“内在”集合都有最小“内在”上界。
所有内在数的集合的可数性（联合上这些形成稠密的有序集合的事实）必然的蕴含了这个集合不满足完全的最小上界公理。所有“内在”集合的集合的可数性必然的蕴含了它不是所有“内在”数的集合的“所有”子集的集合（因为康托尔定理蕴含了可数无限集合的所有子集的集合是不可数无限集合）。这个构造密切关联于斯科伦悖论。
二階邏輯 为什么二阶逻辑不能归约成一阶逻辑
所以实数和实数的集合的一阶理论可以有很多模型，其中一些是可数的。但是实数的二阶理论只有一个模型。这可以从只有一个阿基米德完备有序域的经典定理，和所有阿基米德完备有序域的在二阶逻辑中可表达的事实得出。这证实了实数的二阶理论不能简约到一阶理论，在实数的二阶理论之後一个模型但对应的一阶理论有很多模型的意义上。
有很多极端例子证实带有标准语义的二阶逻辑要比一阶逻辑表达能力强。有一个有限二阶理论其唯一的模型是实数的，如果连续统假设成立，而它没有模型如果连续统假设不成立。这个理论由把实数刻画为完备阿基米德有序域加上声称这个域是第一个不可数势的公理的所有有限理论构成，这个例子展示了二阶逻辑中的一个句子是否是相容的是非常微妙的问题。
下一节中描述二阶逻辑的另外的限制。
二階邏輯 二阶逻辑和元逻辑结论
作为哥德尔不完全性定理的必然结果，你不要打算让二阶公式的“可证明性”能给出同时满足下面三个想要的特性的语言的标准释义（或简化的一个标准语义）:
有时候这表达为二阶逻辑不容许完备的证明论。
在这方面二阶逻辑不同于一阶逻辑，至少这是逻辑学家避免使用它的一个理由。（确切的说，蒯因有时以此作为不把二阶逻辑作为逻辑看待的理由）。按照George Boolos所指出的，虽然这种不完备性只进入了多元二阶逻辑中：在n-元谓词上量化的逻辑，这裡的n > 1。但是限制于一元谓词的一元二阶逻辑不只是完备的和相容的（consistent）而且是可判定性的--就是说，每个真定理的证明不只是可能的而且可以通过机械方法确定的达到。在这方面，一元二阶逻辑比多元一阶逻辑更加进步：一元二阶逻辑是完备的，相容的和可判定的，但多元一阶逻辑，尽管是相容的和完备的，它不再是可判定的（参见停机问题）。
二階邏輯 二阶逻辑和元逻辑结论
在1950年Leon Henkin用Henkin语义给出对二阶逻辑的充分的（就是说完备的和可靠的）和简洁的证明。在标准和Henkin语义之间唯一区别是，在Henkin语义中谓词变量的域是（这个域的）个体的集合的一个任意集合，而不是（这个域的）个体的所有集合的集合。他的这个证明同对一阶函数演算做的证明在一起进行的。这两个结论包含在他的学位论文中。
二階邏輯 二阶逻辑的历史和有争议的价值
当谓词逻辑被弗雷格（独立的和更有影响力的皮尔士，他提出了术语“二阶逻辑”）介绍给数学社区的时候，他确实使用不同的变量来区分在物体上量化和在属性和集合上的量化；但是他自己没有去区分出两类不同的逻辑。在发现罗素悖论之後，认识到了他的系统有些毛病。最终逻辑学家建立了以各种方式做限制的弗雷格逻辑—现在叫做一阶逻辑—除去了这个问题：集合和谓词在一阶逻辑中不能被单独量化。现在标准的逻辑的阶数等级就是从那时开始的。
发现了集合论可以在一阶逻辑的设施内公式化为公理化系统（损失了某种完备性，但是不至于象罗素悖论那么糟糕），并且真就这么做了（参见Zermelo-Fraenkel集合论），因为集合是数学的关键。算术、分体论和各种其他强力逻辑理论可以被公理化的公式化，而不用使用比一阶量化更多的逻辑设施，随着哥德尔和Skolem忠于一阶逻辑，导致了对二（或更高）阶逻辑的工作的普遍放弃。
二階邏輯 二阶逻辑的历史和有争议的价值
这种舍弃由一些逻辑学家活跃的推动着，最著名的是蒯因。蒯因推进了这种观点，在谓词语言句子比如Fx中，x被认为是一个变量或指称一个物体的名字，所以可以被量化，如“对于所有的东西，情况是. . .”。但是F被认为是一个不完整句子的“一个缩写”，不是一个物体（甚至不是抽象的物体如性质）的名字。例如，它可能意味着“ . . .是个狗”，认为在这种事物上可以做量化是没有什么意义的。（这种立场同弗雷格自己对概念-物体区别的讨论是非常一致的）。所以要使用一个谓词作为变量就要让它占据只有个别的变量可以占据的一个名字的位置。这种推理被Boolos拒绝了。
近年来二阶逻辑有某种程度的恢复，由George Boolos把二阶量化解释为在同一阶量化一样的域上的复数量化所支持。Boolos进一步指出句子的非一阶可表达性，比如“有些罪犯只相互倾慕”和“有些Fianchetto人进入仓库而没有任何别人陪同”。这用二阶量化的完全力量来表达。（实际上这不是真的，因为一般性的量化和偏序的（或分支的）量化同样足以表达特定类的非一阶可表达的句子而不使用二阶量化)。
但是，已经说过在有些数学分支中比如拓扑学中，需要二阶逻辑的能力来做完整的表达。这方面的工作已经由Stephen G. Simpson在逆数学的名义下完成了。已经证明了二阶逻辑不只对达经典数学的某些重要部分是必须的，而且它也可以用做模型论和数学基础的工具。
二階邏輯 存在性片段在有限结构上的能力
单类二阶逻辑（MSO）的存在性片段（EMSO）是没有全称量词的二阶逻辑。在词之上，所有的MSO公式都可以转换成确定的有穷自动机。它可以再转换成EMSO公式。所以EMSO和MSO在这种词上是等价的。对于树作为输入，这个结果同样成立。但是，在有限网格之上，这个性质不再成立，因为瓦片系统识别的语言不闭合于补集之下。因为全称量词等价于否定的存在量词，它不能被表达，全称和存在量词的交替生成了在上的更大的一类语言。
二階邏輯 应用于复杂性理论
二阶逻辑的各种形式的表达力密切的连系于计算复杂性理论。特别是：
在这些语言类之间的联系直接影响了逻辑的相对的表达力；例如，如果PH=PSPACE，则向二阶逻辑增加的传递闭包算子不使它更有表现力。
晉簡文帝
晉簡文帝司馬昱（320年—372年9月12日），字道萬，河内郡温县（今河南省焦作市温县）人，東晉皇帝。东晋开国皇帝晋元帝的少子，母郑阿春。
为人宽厚，性情温和深沉，有智慧气度，爱好清谈。自永和元年辅佐穆帝十七年，又在哀帝、废帝临朝的九年中，皆总揽朝权，实际上执政二三十年，而最后只当了两年皇帝。执政时期，国无内乱，对外则把东晋的版图西扩至成汉（今四川省东部，重庆市全部，云南省、贵州省的一部分），北扩至许、洛。且勤政爱民，善交友名士，在学术文化发展上也频有口碑。其风雅宽博给东晋带来了一段安宁。
咸安元年，桓温废海西公，立司马昱。咸安二年，司马昱去世，时年五十二岁。谥号简文皇帝，庙号太宗。
晉簡文帝 生平
永昌元年（322年），晉元帝下詔封司馬昱為琅邪王，作為自己入繼大宗後父親爵位的繼嗣。咸和二年（327年）因其母喪，請求服重而改封會稽王，官拜散騎常侍。咸和九年（334年）轉任右將軍，加侍中。咸康六年（340年）進撫軍將軍，領祕書監。建元元年（343年）加領太常。
永和元年（345年），因著上一年晉康帝去世，年幼的晉穆帝登位，崇德太后褚蒜子抱晉穆帝臨朝。當時輔政的驃騎將軍何充希望由太后父親褚裒入朝輔政但對方辭讓，當時司馬昱聲望高，故升司馬昱為撫軍大將軍，錄尚書六條事，與何充輔政。同年，荊州刺史庾翼去世，死前請求以其子庾爰之接代其位，何充則屬意徐州刺史桓溫取代庾氏掌握荊州。司馬昱倚重的名士劉惔熟悉桓溫，指桓溫雖然有才幹但也極有野心，不能讓他居於荊州這個控制長江上游的「形勝之地」，建議由司馬昱親自外鎮荊州，或由劉惔自己任荊州刺史。司馬昱沒有聽從劉惔的建言，桓溫任荊州刺史，獲得了日後奪權掌政的資本。
晉簡文帝 生平
永和二年（346年），何充去世，左光祿大夫蔡謨加領司徒兼錄尚書六條事，與司馬昱一同輔政，司馬昱總理萬機，其實是東晉朝廷的決策者。何充兼領的揚州刺史此時出缺，褚裒舉薦了名士殷浩，殷浩辭讓並寫信給司馬昱說明理由，但司馬昱勸他出仕，四個月後殷浩終於出仕。次年，桓溫平滅成漢，建立大功，威望和勢力都大為提升，同時也引來朝內對其的忌憚。司馬昱決定以殷浩抗衡桓溫，後來後趙國內大亂，授殷浩以北伐的重任。然而殷浩北伐失敗，桓溫在永和十年借朝野對殷浩北伐失敗的不滿廢掉殷浩，司馬昱亦無力抗衡桓溫高漲的力量，令得桓溫在朝中獨大。
永和八年（352年），詔升司馬昱為司徒，司馬昱辭讓。興寧三年（365年），琅邪王司馬奕即位，即晉廢帝，琅邪國無嗣，晉廢帝封司馬昱爲琅邪王，改以司馬昱子司馬昌明為會稽王。司馬昱辭讓，所以仍以會稽王號封琅邪王。次年，詔進司馬昱為丞相、錄尚書事、入朝不趨，贊拜不名，劍履上殿、賜羽葆，鼓吹及班劍六十人，司馬昱又辭讓。
太和四年（369年），桓溫第三次北伐大敗於前燕和前秦聯軍，豫州刺史袁真不堪被桓溫所誣要負上北伐失敗的責任而叛變。司馬昱在涂中與桓溫會面，商討隨後的行動，以桓溫子桓熙為豫州刺史。
晉簡文帝 生平
太和六年十一月己酉日（372年1月6日），大司馬桓溫廢黜晉廢帝為東海王，率百官到會稽王府奉迎司馬昱，司馬昱即日即位為帝，是為晉簡文帝，改元咸安。桓溫及後就寫了講辭，打算向司馬昱陳述自己廢立的本意，但司馬昱每接見他都不停流淚，如此恐懼桓温，居然不能說一句話。
司馬昱的哥哥武陵王司馬晞有軍事才幹，被桓溫所忌。廢立不久，桓溫就誣陷司馬晞謀反將其免官，及後更逼令新蔡王司馬晃自誣與司馬晞及庾倩等人謀反，以求翦滅陳郡殷氏和穎川庾氏在朝中的勢力。隨後桓溫指示御史中丞司馬恬奏請司馬昱依律法處死司馬晞，司馬昱不肯，下令再作詳細議論。桓溫再次上奏求誅司馬晞，言詞十分嚴厲急切，司馬昱於是手詔給桓溫，寫道：「若果晉室國祚長久，那麼你就應該依從早前的詔命從事；如晉室大勢已去，那你就讓我退位讓賢吧。」桓溫看後流汗色變，不敢再逼，只上奏廢掉司馬晞和他三名兒子，並流放其家屬。
晉簡文帝 生平
司馬昱見熒惑入太微垣，因晉廢帝被廢時亦有同樣天象，故此十分不安，甚至對桓溫親信也是自己昔日僚屬的郗超問桓溫會否再行廢立之事。郗超斷言桓溫不會這樣作，司馬昱仍十分感慨，並詠庾闡之詩：「志士痛朝危，忠臣哀主辱。」司馬昱憂憤而得病，在咸安二年七月甲寅日（372年9月7日）因病急召桓溫入朝輔政，桓溫數度辭讓，司馬昱於是在己未日（9月12日）立兒子司馬昌明為太子。同日在東堂去世，享年五十三歲。臨終前，司馬昱寫了遺詔，要桓溫依周公先例居攝，更寫：「少子可輔者輔之，如不可，君自取之。」面對桓溫的野心，此舉幾近讓國。王坦之在司馬昱面前親手撕毀遺詔。司馬昱說：「晉室天下，只是因好運而意外獲得，你又對這個決定有甚麼不滿呢！」王坦之卻說：「晉室天下，是晉宣帝和晉元帝建立的，怎由得陛下你獨斷獨行！」司馬昱於是命王坦之改寫遺詔，寫道：「家國事一稟大司馬，如諸葛武侯、王丞相故事。」桓溫其實亦希望司馬昱臨終禪讓帝位給自己，又或者讓他像周公般居攝行事，王坦之改寫後的遺詔令桓溫大失所望。
司馬昱葬高平陵，廟號為太宗，諡為簡文皇帝。
晉簡文帝 延伸阅读
[在维基数据编辑]
《晉書/卷009》，出自房玄齡《晉書》
約克
约克（英語：，當地 i/ˈjɔːrk/），位於英國英格蘭約克郡-亨伯區域北約克郡，英格蘭的城市、單一管理區，位于乌斯河畔、利兹东北偏东，起初为盖尔人的居点，后为罗马人、盎格鲁人、丹麦人和诺曼人占领。中世纪该城是繁荣的羊毛市场和教育中心，其大主教地位仅次于坎特伯雷大主教。市區人口約为137,505人（2001年）。
至於在行政區劃方面，1996年4月1日時設置的約克市（英語：）則包含了傳統上的約克市區與一些鄰近的教區，是英格蘭的郡級行政單位──單一管理區──之一，隸屬於約克郡-亨伯，並具有自治市地位。根據2006年的統計，整個約克市行政區內的人口約有186,800人。
約克
約克傳統上是與其同名的約克郡首府，然而，它並不屬於組成約克郡之三個巡區（Ridings）的任何一部份。現代的約克市設立於1996年4月1日，是一個擁有自治城市地位的單一管理區，其範圍除了傳統上的約克市區本身之外，許多以前屬于周遭哈羅蓋特、拉伊代爾（Ryedale）與塞爾比等幾個區的教區，也在行政區改制時被劃入約克市的範圍之內。約克市的周圍大部分是被北約克郡所包圍，東側則是另一個單一管理區、約克郡東瑞丁。除此之外，北約克郡也是約克市的名譽郡。
約克 地理
约克位于约克谷地内，是一块位于本宁山脉、北约克漠泽的肥沃土地。位于最后一个冰河时代形成的冰渍土上的乌斯河和弗斯河的汇合处。
罗马时代，乌斯河和弗斯河是一片沼泽地带，使得约克成为一个易守难攻的城市。这座城市拥有水网密布的河流为富有实效的屏挡，包括乌斯河上的河堤，河上建设有可升降的水闸，2000年10月至11月，约克经历了 375 年来最大的一次洪水，300 户人家受灾。许多在城市里和市郊的土地因为洪水的原因，除了农业用途外没有其他用途。
約克 歷史
約克與羅馬帝國及維京人有很深的淵源，其建城歷史可以回溯到公元71年，曾是罗馬下不列顛的首府。豐富的歷史資產帶動了約克的觀光業，每年多達兩百萬的遊客使約克成為除倫敦以外遊客最多的英格蘭城市。約克同時也以其巧克力工業及約克大學而著名。
罗马人对约克的统治在3世纪末逐渐因为北部凯尔特人大举南下而逐渐衰败，并於356年陷落，378年再次夺回，但到了5世纪初，随着日耳曼人大举进攻西欧，而于415年陷落，但罗马人的残兵败将在430年再次攻占，并控制到7世纪末。
約克因其歷史而著名，在羅馬時代稱為艾伯拉肯（拉丁語：Eboracum）。這個城市建立於西元71年，在之後很長的一段期間裡，一直是英格蘭北部的主要城市。每年都有成千上萬的遊客聚集在這裡，造訪倖存的中世紀建築，和點綴其間的羅馬和維京人遺跡。約克市政廳有27個保護區，至少照料了2084個登錄建築和27處在册古迹。
約克 歷史
對古羅馬而言，艾伯拉肯是一個主要的軍事基地；羅馬帝国皇帝塞普蒂米烏斯·塞維魯和帝国西部奧古斯都（主皇帝，參見四帝共治制）君士坦提乌斯一世分別於211年和306年駕崩於此。305年，君士坦提烏斯一世渡海進入不列顛尼亞行省，前往該島的最北端對皮克特人發動了軍事遠征，並於306年1月7日取得勝利，獲得稱號「不列顛尼克征服者二世」。君士坦提烏斯退到艾伯拉肯過冬後，原計畫繼續征戰，但於306年7月25日駕崩。臨終前，君士坦提烏斯向軍隊推薦他的兒子作為繼承人；因此，君士坦丁大帝在約克被軍隊擁立為西部的奧古斯都，君士坦丁随后控制了帝国西部，並準備東征擊破剩下的三位皇帝（四帝內戰）。
主要的羅馬遺跡被發現於約克大教堂底下，另一個被重建的羅馬石柱現矗立於Deangate。这里还保留了一个罗马浴室，后来又挖掘出一个神庙和欧斯河上罗马古桥遗址。城墙外是牢固的罗马公墓，大量罗马发现品现在收藏在约克郡博物馆。
約克 歷史
7世纪初，约克的保利努斯（Paulinus of York）将基督教带到这个地区，国王诺森比亚的埃德温皈依，第一个大教堂据信建于627年，尽管早期大教堂的位置还在争论。当时的约克成为一个学习中心，最著名的学生是阿尔昆，他后来投入查理曼帐下，成为了著名的朝臣和学者。
西元866年，一支“強大的維京人軍隊”佔領了約克，876年之後，維京人長期定居於約克郡部分鄉間。維京人國王統治這個地區近一世紀，在歷史學界以約維克的維京王國著稱。直到西元954年，最後一位維京國王，挪威的埃里克一世被驅逐，而他的王國則併入新興的英格蘭王國。在此一時代，另一位知名的學者是約克大主教伍爾夫斯坦二世。
約克 歷史
1066年，諾曼征服英格蘭以后，约克于1069年遭到了北方大浩劫的災難并造成很大的破坏，此乃當時的英格兰國王征服者威廉发动了一系列针对約克地方起义的报复行动。乌斯河畔各建起了一座城堡。此时，约克逐渐成为一个重要的城市并成为约克郡的行政管理中心。并在这里设立了大主教，在13世纪末和14世纪，这里的主教成为了仅次于皇家政府另一重要的行政机构。它也是重要的贸易中心，在诺尔曼征服后，这里兴建了好几处宗教建筑，包括圣玛丽修道院和圣三一修道院，这座城市也成为皇家所有地，郡守对这里的犹太社区加以切实的保护。
1190年3月16日，一场市民暴动迫使约克的犹太人逃往郡守控制的木制城堡中避难，木制城堡最后被点燃犹太人遭到了屠杀，这极有可能是城里的富豪因为拖欠了犹太人的债务而鼓动市民造成的惨剧，最起码，他们在惨剧到来时袖手旁观，纪念约克大屠杀的犹太礼拜仪式一直延续到1990年，正统的犹太教禁止犹太人居住在这座城市。
中世纪晚期，约克达到了它的鼎盛时期，这反映在建筑环境上。约克大教堂是英格兰最大的中世纪主教座堂和欧洲最大的哥特式教堂之一。中世纪城墙和城门，即所谓的“长条”环绕着整个城市，至今仍可以看到。
14世纪末和15世纪初，约克被描绘成一片繁荣。在这期间，与圣体节相关的周期性宗教盛会或者表演充斥街头，越来越多的艺人来此卖艺表演。这段时间里，诸多社会名流，诸如老尼古拉斯布莱克伯恩，他是贵族并于1412年担任市长，同时他也是商界领袖。他的形象被刻画在北街诸圣堂东面窗户上。自15世纪末以来，它见证了约克的经济衰退；宗教上，约克的重要性也日趋衰减。在这个世纪内，新市政厅的建设可被视作是对前途未卜的市民信心重建的一种努力。
从中世纪后期一直到现在，约克郡的肉铺街长久以来一直以伸出街檐的肉铺吸引着众多游人，而现在出售纪念品的商店已经取代肉铺。约克也是众多幽灵走道的故乡。
約克 現代的約克
除了旅游胜地，约克还是交通枢纽，教育和商业中心。它是一个主要的铁路中转站，是奔宁山脉和英国东海岸的交汇点。
约克也是赛马的主要赛场。约克赛马场位于内维斯迈尔地区。
约克拥有两个生产巧克力的大型工场，罗斯瑞内尔斯特尔和泰瑞，虽然另一家主营炼糖业。约克是奇特凯特，斯玛特里和泰瑞橙味巧克力的故乡，与之齐名的有约克棒。2004年4月，泰瑞宣布它有意停止在约克的巧克力业务。
約克的足球队是英格兰足球联赛的成员，约克的英式橄榄球队名曰约克游侠队。在约克地区有地方性的报纸《约克晚报》。
约克还聚集着大量的酒吧。约克的酒吧之多据说一天去一家一年之内可以不重复，尽管有一点夸大。大概是因为诗歌许可证的缘故，在城墙上的任何一点你都能看到至少一所酒吧和一座教堂。
約克 現代的約克
欧斯河的泛滥使得约克总是处在洪水的威胁之下，约克有着规模庞大，但不一定有效果的防洪网络。包括沿着欧斯河修建的城墙，和横跨欧斯河的河堤（参见欧斯河），城内预留了大片为了防备洪水泛滥的空地。也正是基于这个原因，这里有别处所没有的大片绿地。欧斯河沿岸有着洪水滋润着的草地，而城市周边的低洼地带则环绕着沼泽。另一个类似的地方叫做流氓潭。夏天，当它们干涸，这片地被辟为消遣的娱乐场，牛群也在上面吃草。
现在，旅游业已成为约克最主要的产业，拥有历史建筑的核心区成为这个城市最主要的财富，在1968年，这一区域被划归为保护区。其他的旅游景点还包括1975年兴建的大英铁路博物馆。此外1963年创建的约克大学也为这座城市的繁荣增加了异彩。快速发展和不断更新的铁路技术让约克和伦敦实现两小时直达。很多公司在约克设立了办公室或者将整个公司迁往约克。
约克曾经在2007年被评选为当年的欧洲旅游城市，它是在战胜了130个其他欧洲城市后荣膺这一称号的。领先第二名的瑞典城市和第三名的西班牙城市。