Nossa intenção é comparar esses dois tipos de lógica formal: a lógica que os escolásticos faziam durante o “Siglo de oro” luso-hispânico e a lógica “simbólica” ou “matemática” (ou ainda “clássica”). A propósito, para indicar a “lógica simbólica” usarei a palavra “lógica recente”, ainda que consciente de que há várias “lógicas” na atualidade. Direi umas palavras acerca da lógica menor em geral. Mas, antes de mais nada, quero descrever uma doutrina concreta do frei Alonso de la Vera Cruz, a qual irei comparar com uma doutrina similar na lógica recente (a partir de Frederic B. Fitch): as regras de quantificação.