En la meva opinió, els sistemes que ens inventem per fer lògica
han de permetre dues operacions:
- Formalització: traducció de les
idees que tenim al cap al llenguatge escollit.
- Raonament: manipulació dels
conceptes mitjançant les operacions permeses pel llenguatge.
Hi hauria una tercera fase, desformalització (entendre la nova informació
generada al raonament), però no la poso perquè considero que la
formalització és un procés bidireccional, i el raonament, tancat
(és l'habitual als mecanismes usats pels humans).
Les dues fases són imprescindibles per expressar raonaments, i
una ha de combinar amb l'altra. Si això no passa, el llenguatge
perd eficiència. Per exemple:
Subsections
Daniel Clemente Laboreo 2006-07-13
