LÓGICA FORMAL Y LÓGICA INFORMAL

LÓGICA FORMAL Y LÓGICA INFORMAL

En efecto, la condición fundamental en la construcción de una lengua artificial es que cada signo tenga uno y solamente un sentido, al igual que cada expresión bien construida. El objetivismo al cual hace alusión, presupone que la lógica moderna no se ocupa más que de propiedades objetivas, verdad, falsedad, probabilidad, necesidad, etc., independientes de la actitud de los hombres, de lo que piensan o creen. Lo mismo ocurrirá con los axiomas del sistema, enumerados al comienzo, así como las reglas de sustitución y de deducción que indican cuáles son las operaciones permitidas, conformes a las reglas, y que permiten distinguir una deducción correcta de una incorrecta.

Praxis filosófica

http://www.redalyc.org/pdf/2090/209014642009.pdf

2007