LA TEOLOGIA COM A CIENCIA (19)

LA METODOLOGIA DE LA CIÈNCIA A). EL MÈTODE DE LES CIÈNCIES FORMALS Rau fonamentalment en l´axiomatització, que consisteix a prendre com a punt de partida axiomes i deduir-ne mitjançant unes regles el conjunt dels teoremes d´un sistema dotat. Els requisits fonamentals són tres: -Que sigui consistent, és a dir, que dels axiomes no es pugui derivar cap contradicció dins del sistema. -Que sigui complert, és a dir, que puguin deduir dels axiomes tots els teoremes vàlids del sistema. -Que els axiomes siguin independents, és a dir, que cap dels axiomes no es pugui derivar dels altres. Un sistema axiomàtic posseeix les característiques següents: a)- Està constituït formalment, és a dir, consisteix en un llenguatge formalitzat. b)- Els axiomes es distingeixen de les regles. Els primers pertanyen al llenguatge-objecte i les segones al metallenguatge.