エディンバラ大学
エジンバラ大学（University of Edinburgh）は、1583年に設立された、英国で6番目に長い歴史を有する大学である（「Ancient University」の1つ）[1]。キャンパスはスコットランドの首都エジンバラにあり、ユネスコの世界遺産に登録されている旧市街の多くの建物がエジンバラ大学の所有物である[2][3]。スコットランドで4番目に古い大学であり、スコットランドにある最高学府のうち最高峰とされている[4][5][6]。QS世界大学ランキング2019では世界18位、英国5位、スコットランド1位であり、世界トップクラスの研究大学とされている[7]。スコットランドの大学としてラッセルグループに所属しているのは当大学とグラスゴー大学のみであり、ヨーロッパの大学の提携組織であるコインブラ・グループ、ヨーロッパ研究大学連盟 (LERU) に加盟していることも特徴である[8]。また、アイビーリーグやU15など米国やカナダの高等教育機関とも歴史的に深いつながりがあり、現在まで学術交流を盛んに行っている[9][10][11]。
ヒュームの原理
ヒュームの原理は、フレーゲの『算術の基礎』において、デイヴィッド・ヒュームの『人間本性論』第1巻第3部からの引用というかたちで言及されている。この著作でヒュームは観念と観念の基本的関係には7種類あると述べている。その1つである量や数における比例についてヒュームは、量に関してわれわれがおこなう推論は幾何学によって表現されるが、それが「完全な厳密さと確実さ」に達することはありえないと述べている。幾何学の原理は感覚認識に由来しているからである。これに対して、ヒュームによれば、数や算術について行われる推論は厳密さと確実さに達しうると述べている。