El hombre, el mundo, el destino (fragmento)Francisco Miró Quesada
El hombre, el mundo, el destino (fragmento)

"Cuando el filósofo, después de haber aplicado el método del contra-ejemplo llega a un resultado que le parece verdadero, puede aplicar la lógica para llegar a nuevas verdades. La lógica consiste en hacer deducciones partiendo de premisas determinadas. Por ejemplo, en la aritmética hay proposiciones que son verdaderas. Y, partiendo de ellas, se puede llegar a nuevas proposiciones que son, también, verdaderas. La aritmética clásica tiene solamente cinco axiomas cuya verdad es evidente. Por ejemplo, si N es un número natural, entonces N+1 también será un número natural. Y si N es mayor que M, entonces M es menor que N. Partiendo de estos dos axiomas, más los tres restantes, es posible deducir una cantidad asombrosa de teoremas, algunos muy profundos, que no tienen nada de evidentes. Pero estamos seguros de su verdad porque confiamos en la lógica que hemos utilizado. La verdad de una proposición que ha sido deducida de premisas verdaderas está garantizada. La lógica es un instrumento que permite transmitir verdades. "


El Poder de la Palabra
epdlp.com