We present in this note a plea for Barcan formula. This view connects Barcan formula with a modal principle that expresses the -Introduction rule of first-order logic.

En este trabajo se confrontan dos posturas epistemológicas, la lockeana y la viquiana, en torno al modelo de demostración que uno y otro autor defendieron. Se pretende abrir, así, una reflexión acerca de si los modelos demostrativos sobre los que uno y otro autor teorizaron constituyen realmente el orden expositivo de las ciencias que trataron de construir: una Ética demostrada, en el caso de Locke, y una Nueva arte crítica que sintetizara Filología y Filosofía, en el caso del napolitano.This paper (...) devises two distintic epistemological approaches, the Lockean and the Vichian, related with the models of demonstration. It claims to see the two models as two distintic schemes of the sciences they intended to achieve: Locke's demonstrated Ethics; and Vico's critical art synthesizing Philology and Philosophy. (shrink)