En mi opinión, los sistemas que nos inventamos para hacer lógica
han de permitir dos operaciones:
- Formalización: traducción de las
ideas que tenemos en la cabeza al lenguaje escogido.
- Razonamiento: manipulación de los
conceptos mediante las operaciones permitidas por el lenguaje.
Habría una tercera fase, desformalización (entender la nueva información
generada en el razonamiento), pero no la pongo porque considero que
la formalización es un proceso bidireccional, y el razonamiento,
cerrado (es lo habitual en los mecanismos usados por los humanos).
Las dos fases son imprescindibles para expresar razonamientos, y
una ha de combinar con la otra. Si esto no pasa, el lenguaje pierde
eficiencia. Por ejemplo:
Subsecciones
Daniel Clemente Laboreo 2006-07-13
