As regras de quantificação no ‘Siglo de oro’ e na lógica atual

Abstract

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.

Our intention is to compare, according to an example,two kinds of formal logics: the Iberian’s scholastic logic in the “Siglo de oro” and thein the current symbolic, mathematical or classical logic, which we will call “contemporary logic”, even thoughwe know that there are many such logics. I will talk, in general, about the minor logic. First of all, I will choose a concrete doctrine of fray Alonso de la Vera Cruz about the quantificational rules, which I will compare with a similar doctrine in the current logic (from Frederic B. Fitch).