The objective of this article is, from the notion of existence as a function of choice, to propose a dynamic quantifier capable of capturing ontological slides or fluctuations within a logical proof. Indeed, we call ontological sliding the passage from indetermination to the ontological determination of the singular terms involved in a proof. Both notions will be presented in the pragmatic approach of Dialogics that, due to its dual semantics, allows to handle both questions in an optimal fashion.
El objetivo del presente articulo es, a partir de la nocion de existencia como funcion de eleccion, proponer un cuantificador dinamico capaz de capturar los deslizamientos ontologicos dentro de una prueba logica. En efecto, llamamos deslizamiento ontologico al paso de la indeterminacion a la determinacion ontologica de los terminos singulares involucrados en una prueba. ambas nociones seran presentadas en el enfoque pragmatico de la dialogica que por su semantica dual permite llevar ambas cuestiones de manera idonea./n
