(Universidad Nacional Mayor de San Marcos, 1979) Chávez Noriega, Alejandro.
Este trabajo busca establecer la lógica como un lenguaje preciso, para ello, utiliza signos abstractos que surgen del análisis de campos como la matemática y la teoría de conjuntos. Se parte del lenguaje común para entender cómo se constituyen los lenguajes científicos, se destaca la necesidad de signos y reglas de formación o sintaxis. La lógica se define como un lenguaje simbólico, manejado mediante reglas exactas que permiten la deducción y la inferencia sin ambigüedades. La abstracción en la lógica, facilitada por símbolos vacíos de contenido, es fundamental para el desarrollo de deducciones precisas, lo cual solo fue posible gracias a la formalización simbólica.
