カトリック王フェルナンドは、カタリナを長男フアンと結婚させようとしたが、彼女は南フランスに広大な領地を有するペリゴール伯兼アルブレ伯ジャン（ジャン・ダルブレ）との結婚を選んだ（1494年）。カトリック王フェルナンドはそれに懲りずに、ナバラに対して長く抱いてきた計画を諦めず、カタリナの従妹である自身の姪孫ジェルメーヌと再婚した（ジェルメーヌの父ジャン・ド・フォワは、兄の遺児カタリナを差し置いてナバラ王位を要求したこともあった）。ナバラはフランスに対する神聖同盟への加盟を拒んで中立を宣言し、フェルナンド軍の国内通過を妨害しようとしたため、後にフェルナンドは将軍ファドリケ・デ・トレド（第2代アルバ公）を1512年にナバラ侵攻のために派遣した。ジャン・ダルブレは逃れ、パンプローナ、エステーリャ、オリテ、サングエサ、およびトゥデラは占領された。ナバラ王家および神聖同盟のすべての敵対者は教会から破門されたため、ナバラの人々は、フェルナンドが1515年6月15日に王国領を獲得したと宣言した。王国領のうちピレネー山脈の北側については、フェルナンドは寛大にも敵に譲った。カトリック王フェルナンドはジャン・ダルブレを破った後、1515年にナバラの大部分を自領に加えた。1511年または1516年に、スペインのナバラ、すなわち王国領の大部分にあたるピレネー山脈の南側部分は、最終的にフェルナンドによって併合された。後にフェルナンドは、この王国領を娘のカスティーリャ女王フアナ1世に譲った。このため、スペインのナバラはアラゴンではなく、カスティーリャの統治下にあると理解されることになった。しかし、スペインのナバラは副王領として統治され、公式には1833年までスペイン王国に併合されなかった。国土の2つの部分の歴史は、スペインのナバラがカトリック王フェルナンドに征服され、北側の一部がフランスに残る1512年までは同一である。
ナバラ女王ブランカ1世の夫フアン2世は、たびたび外征を重ねる兄アルフォンソ5世に代わってアラゴンを統治し、ナバラの統治を長男ビアナ公カルロスに任せた。ブランカは夫に先立って死去した際、カルロスが父の同意の下にナバラ王位を継承するよう遺言したが、フアンは同意を与えず、ナバラの王位継承法に反して王位にとどまった。カルロスには総督の地位のみが授けられた。1450年にフアンはナバラを自身の統治下に戻し、野心家の後妻フアナ・エンリケスから、彼らの間に生まれた息子フェルナンド（のちのカトリック王フェルナンド）をアラゴンおよびナバラの王位継承者とするように執拗に迫られた。その結果、王と王妃を支持した強力なアグラモンテス党と、カルロスの主張に賛同した大臣ボーモントのフアンを指導者とし、その名に由来するベアウモンテス党との間で激しい内乱が勃発した（ナバーラ内戦）。高地が王太子の側に、平野が王の側にあった。不幸な王太子は、1451年にアイバルで父に敗れ、2年間投獄された。その間にカルロスは、この事件に関する現在の知識の典拠となったナバラの年代記を書いた。カルロスは釈放後、フランス王シャルル7世と伯父アルフォンソ5世（ナポリ在住）の支援をむなしく求めた。1460年、継母のそそのかしによりカルロスは再び投獄された。しかし、カタルーニャの人々がこの不正に抗議し、暴動を起こした。カルロスは再び解放され、カタルーニャの総督に任命された。カルロスはナバラ王国を奪回することができないまま、1461年に死去した。彼は相続人として同母妹ブランカを指名した。しかし、ブランカはフアン2世によって直ちに投獄され、1464年に死去した。ブランカの権利は、フアン2世の同盟者であるフォワ伯兼ベアルン伯ガストン4世の夫人となっていた、同母妹のレオノールに受け継がれた。レオノールはフアン2世の死後間もなく死去したため、1479年にほんの僅か玉座にあっただけだが、彼女が死んだ後はその孫であるフォワ家のフランシスコ・フェボ（在位：1479年 - 1483年）が王位を継承した。早世したフランシスコも、次に王位に就いたその妹カタリナも未成年者だったため、2人の母であるフランス王シャルル7世の王女マドレーヌが摂政を続けた。
古典論理では、自然言語とよく似た方法で量化を扱っており、形式的解析にはあまり向いていなかった。アリストテレスの論理学では、紀元前1世紀から真理様相との関連において All、Some、No といった概念を扱っている。最初に変項ベースの量化を導入したのは、1879年、ゴットロープ・フレーゲの『概念記法』 Begriffsschrift であった。フレーゲは変項の全称量化を行った箇所で直線を窪ませ、その窪みの上に全称量化された変項を書くという記法を採用した。存在量化については独立した記法はなく、 と等価な記法であった。フレーゲの量化の扱い方は、1903年、バートランド・ラッセルの『数学原理』Principia Mathematica まで、あまり注目されなかった。一方、チャールズ・サンダース・パースとその学生 O. H. Mitchell は独自に全称量化子だけでなく存在量化子も生み出していた（1885年）。パースと Mitchell は、我々が ∀x と ∃x と書くところを Πₓ と Σₓ と書いていた。この記法は Ernst Schroder、Leopold Loewenheim、トアルフ・スコーレムらによって1950年代ごろまで使われることとなる。クルト・ゲーデルが、1930年の一階述語論理の完全性定理に関する論文と、1931年のペアノ算術の不完全性定理で採用したのも、この記法であった。パースは後に存在グラフと呼ばれる記法を提案したが、これは最も浅いインスタンスによって変項の量化が暗黙的に決定されることを特徴とする。パースの量化に関する手法は Ernst Schroder や William Ernest Johnson に影響を与え、ジュゼッペ・ペアノ を通してヨーロッパ全体に影響を与えることとなった。パースの論理学は数十年間に渡って推論に興味を持つ人々に注目されることとなった。ジュゼッペ・ペアノは、全称量化を (x) と記した。"(x)φ" は、x のあらゆる値について、式 φ が真であることを意味する。また彼は1897年に、存在量化を表す記法として (∃x) を採用した。アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルの『数学原理』Principia Mathematica ではペアノの記法が採用されている。また、ウィラード・ヴァン・オーマン・クワインとアロンゾ・チャーチも生涯を通じて、ペアノの記法を使用した。ゲルハルト・ゲンツェンは1935年、ペアノの ∃ 記号からの類推で ∀ 記号を導入した。しかし、∀ が一般に浸透したのは1950年代になってからである。