03.06.2015 Views

Perspectivas en las teorias de sistemas

Perspectivas en las teorias de sistemas

Perspectivas en las teorias de sistemas

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

38<br />

Carlos Torres Alcaraz<br />

Desarrollo <strong>de</strong>l método axiomático<br />

Hablar <strong>de</strong> los oríg<strong>en</strong>es <strong>de</strong>l método axiomático es hablar <strong>de</strong> geometría<br />

y <strong>de</strong> la Grecia antigua. Como sabemos, la geometría nace, <strong>en</strong> tanto<br />

que saber especulativo, con los griegos, qui<strong>en</strong>es también nos legaron<br />

el método axiomático. Mucho se ha subrayado este aspecto <strong>de</strong> la geometría<br />

griega, a cuyo perfeccionami<strong>en</strong>to habría <strong>de</strong> contribuir Eucli<strong>de</strong>s:<br />

establece vínculos <strong>de</strong>ductivos <strong>en</strong>tre sus proposiciones <strong>de</strong> manera<br />

organizada, instituy<strong>en</strong>do una jerarquía <strong>de</strong>ductiva claram<strong>en</strong>te <strong>de</strong>finida<br />

<strong>en</strong>tre <strong>las</strong> mismas. Se trata <strong>de</strong> una “puesta <strong>en</strong> forma” <strong>de</strong> la <strong>de</strong>ducción<br />

material, <strong>de</strong> un “ord<strong>en</strong>ami<strong>en</strong>to” <strong>de</strong>l conocimi<strong>en</strong>to <strong>en</strong> un cuerpo<br />

bi<strong>en</strong> estructurado <strong>de</strong>s<strong>de</strong> el punto <strong>de</strong> vista <strong>de</strong> la lógica. Para ello, fue<br />

necesario reconocer algunos hechos y conceptos fundam<strong>en</strong>tales que<br />

habrían <strong>de</strong> servir como base para <strong>de</strong>rivar, por <strong>de</strong>finición y <strong>de</strong>ducción<br />

respectivam<strong>en</strong>te, el resto <strong>de</strong> nociones y <strong>en</strong>unciados <strong>de</strong> la geometría.<br />

Este proce<strong>de</strong>r está <strong>en</strong> franca consonancia con <strong>las</strong> bases que fija<br />

Aristóteles <strong>en</strong> Los Analíticos posteriores a todo conocimi<strong>en</strong>to <strong>de</strong>mostrativo:<br />

“Por lo que a nosotros toca —nos dice— sost<strong>en</strong>emos, ante<br />

todo, que no toda la ci<strong>en</strong>cia es <strong>de</strong>mostración.” A partir <strong>de</strong> esta i<strong>de</strong>a,<br />

fija <strong>las</strong> bases para la organización <strong>de</strong>l conocimi<strong>en</strong>to geométrico: la<br />

<strong>de</strong>mostración <strong>en</strong> geometría ha <strong>de</strong> partir <strong>de</strong> proposiciones autoevid<strong>en</strong>tes<br />

que no requier<strong>en</strong> <strong>de</strong>mostración alguna, proposiciones cuya verdad es<br />

clara y mejor conocida que <strong>las</strong> que <strong>de</strong> el<strong>las</strong> se sigu<strong>en</strong>. De no ser así,<br />

habría que <strong>de</strong>mostrar <strong>las</strong> hipótesis <strong>en</strong> que se apoya cada <strong>de</strong>mostración<br />

ad infinitum (i.e., recorrer el infinito), o incurrir <strong>en</strong> circularida<strong>de</strong>s<br />

(al <strong>de</strong>mostrarse <strong>las</strong> proposiciones unas a otras). Según parece, esta<br />

doctrina tuvo una influ<strong>en</strong>cia <strong>de</strong>cisiva <strong>en</strong> Eucli<strong>de</strong>s <strong>en</strong> el mom<strong>en</strong>to<br />

<strong>de</strong> escribir los libros <strong>de</strong> los Elem<strong>en</strong>tos. El mo<strong>de</strong>lo que <strong>en</strong> ellos sigue<br />

para organizar el conocimi<strong>en</strong>to geométrico es lo que hoy <strong>en</strong> día se<br />

llama axiomática intuitiva (o material) y que po<strong>de</strong>mos resumir así:<br />

1. Ciertos términos iniciales se <strong>de</strong>fin<strong>en</strong> a fin <strong>de</strong> sugerir qué es lo<br />

que se pret<strong>en</strong><strong>de</strong> significar con ellos <strong>en</strong> el discurso.<br />

2. Cualquier otro término técnico <strong>de</strong>l discurso se <strong>de</strong>fine a partir<br />

<strong>de</strong> los términos iniciales. Es condición que toda <strong>de</strong>finición se exprese<br />

con términos referidos a nociones anteriores y <strong>en</strong> apari<strong>en</strong>cia mejor<br />

conocidas que aquello que se <strong>de</strong>fine.<br />

3. Ciertas proposiciones t<strong>en</strong>idas por ciertas a partir <strong>de</strong>l significado<br />

<strong>de</strong> los términos iniciales se <strong>en</strong>uncian sin <strong>de</strong>mostración. A estas<br />

proposiciones se les llama axiomas o postulados.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!