La clasifcacin de las ciencias, la existencia misma de disciplinas separadas, siempre posee algo de arbitrario. Representa una distincin que se ha hecho para mayor comodidad y facilidad para estudiar la realidad, pero no porque sta est diidida en compartimentos separados. !oda clasifcacin es un intento de organi"ar seg#n ciertas caractersticas a las disciplinas existentes, que no admiten un tratamiento #nico. $ continuacin, desarrollaremos la clasifcacin que se considera m%s &pr%ctica'. $s, nos encontramos entonces con una distincin que las diide en ciencias formales y ciencias f%cticas. Las ciencias formales estudian el saber en contraposicin a las ciencias fcticas que estudian el ser. (e diferencian entre s por su objeto de estudio, su mtodo )por el cual se ponen a prueba los enunciados* y sus objetivos, y tambin da cuenta de la diferencia de especie entre los enunciados que establecen ambos tipos de ciencia. +,-.+,$( /0RM$L-( (on aquellas ciencias que establecen el ra"onamiento lgico y traba1an con formas, con ob1etos ideales creados por la mente del hombre y que son obtenidos por abstraccin, no se referen a cosas sino a entidades puramente conceptuales, como los n#meros, las fguras geomtricas o las proposiciones, sus propiedades y sus relaciones. -1emplo de ciencias formales son la Lgica y la Matem%tica. $ estas ciencias les interesa las formas, no los contenidos, no les importa lo que se dice sino cmo se dice. La erdad de las ciencias formales es necesaria y formal. 2stas crean su propio ob1eto de estudio, su mtodo de traba1o es el lgico inductio con todas sus ariantes, conform%ndose as, entonces, con la Lgica, para comprobar sus teoremas. 3or ende, su lengua1e es el de esta #ltima disciplina. (u n#cleo metodolgico lo constituye el mtodo axiomtico, que consiste en la postulacin de un con1unto de proposiciones o enunciados que guardan entre s una relacin de deductibilidad. -ste con1unto de proposiciones recibe el nombre de sistema axiomtico, por cuanto el punto de inicio de toda la cadena deductia lo constituyen los axiomas, proposiciones cuya erdad no se demuestra aunque se toman como erdaderas. $ partir de los axiomas y mediante la aplicacin de una serie de reglas de inferencia, se derian los otros componentes de la cadena deductia denominados teoremas. 2stos, habida cuenta del proceso deductio que les dio origen, habr%n de ser erdaderos en la medida en que lo sean los axiomas. AXIOMAS Y POSTULADOS Etimolgicamente, la palabra axioma proviene del griego (axioma), que significa lo que parece !usto o aquello que es considerado evidente " sin necesidad de demostracin# $a palabra viene del griego %&' (axioein) que significa valorar, que a su ve( procede de %) (axios) que significa valuable o digno# Entre los antiguos filsofos griegos, un axioma era aquello que parec*a ser verdadero sin ninguna necesidad de prueba# +n axioma, en epistemolog*a, es una verdad evidente que no requiere demostracin, pues se !ustifica a s* misma, " sobre la cual se constru"e el resto de conocimientos por medio de la deduccin, aunque no todos los epistemlogos est,n de acuerdo con esta definicin cl,sica# El axioma gira siempre sobre s* mismo, mientras los postulados " conclusiones posteriores se deducen de -ste# En matem,tica, un axioma no es necesariamente una verdad evidente sino una expresin lgica utilizada en una deduccin para llegar a una conclusin. $os griegos .ac*an una diferencia entre axiomas " postulados# /ara ellos, axioma era una verdad evidente mientras que un postulado era un enunciado ra(onable que se pod*a aceptar sin demostracin# E!emplos0 2 1xioma0 El todo es ma"or que sus partes# /ostulado0 2i dos rectas cortan a una tercera, -stas se cortarn del lado de la tercera donde la suma de los ,ngulos de corte es menor a dos rectos# En t-rminos coloquiales, -stos son enunciados que son verdaderos en cualquier universo posible, ba!o cualquier interpretacin posible " con cualquier asignacin de valores# +sualmente uno toma como axiomas lgicos un con!unto m*nimo de tautolog*as que es suficiente para probar todas las tautolog*as en el lengua!e# En las matem,ticas modernas no se .ace distincin alguna para las palabras axioma " postulado, las dos significan lo mismo0 enunciado que se acepta sin demostracin, sin importar si es evidente o no# Los ennciados de las ciencias formales consisten en relaciones entre signos. .o nos dicen nada sobre el mundo que iimos. .o se referen a fenmenos de la experiencia y, en consecuencia, no dependen de ella para establecer la verdad de sus 3roposiciones, ya que la erdad se decide mediante procedimientos demostratios4 aplicacin de axiomas, teoremas y reglas de c%lculo, ya sean lgicos o matem%ticos, por eso, le1os de ser falible, la demostracin en ellas es completa y fnal. $hora bien, en la mente del hombre com#n casi siempre se ha relacionado el concepto de ciencia propiamente dicha con las ciencias formales m%s que con las ciencias f%cticas. 3ero la explicacin desarrollada a continuacin dar% cuenta de una clasifcacin %lida y es la que incluye tambin, dentro de lo que modernamente se considera ciencia, a las llamadas ciencias em!"ricas o fcticas. +,-.+,$( -M35R,+$( 0 /6+!,+$( Fcticas , de &factum', hecho: lo que quiere decir que traba1an con hechos. 3 .os encontramos entonces con un tipo de ciencia que tambin se caracteri"a por su mtodo y su pretensin de explicar la realidad sobre la base de pruebas, racional y crticamente. 7tili"an, a diferencia de las ciencias formales, el mtodo de la obseracin y el experimento. -ste tipo de ciencias traba1an con ob1etos reales )los fenmenos del mundo*, tratan de los seres humanos, de su conducta y de sus creaciones, que ocupan un espacio y un tiempo y sus enunciados se referen, mayoritariamente, a sucesos y procesos. (u fnalidad es describir estos fenmenos, explicarlos y predecirlos. 3or eso di1imos que sus mtodos de 1ustifcacin recurren a la experiencia 8como obseracin o como experimentacin8 para establecer la erdad de sus afrmaciones. La distancia entre la experiencia humana que es limitada en el tiempo y en el espacio, y la pretensin de leyes uniersales, implica la necesaria falibilidad de las mismas. -n otras palabras, las ciencias f%cticas, en especial las naturales, pretenden que sus enunciados se referan, sin excepcin, a todos los fenmenos de un mismo tipo, pero las obseraciones o experimentaciones que fundan dichos enunciados slo abarcan una cantidad fnita de casos de tales fenmenos. -n consecuencia, nunca es posible estar completamente seguro de su erdad )falibilidad*. #il$em %ilt$e& /ue el flsofo 9ilhem :ilthey quien obser que, dentro de estas ciencias llamadas 'f%cticas' haba una gran diferencia en cuanto a las caractersticas de cada una. Reproduciendo sus palabras, el flsofo comentaba4 &.o conocemos la naturale"a interna de las cosas y de los procesos fsicos y hemos de establecer un orden causal entre ellos por hiptesis, mientras que en el mundo del espritu conocemos directamente aquello de lo que estamos tratando'. Mediante esta explicacin, y aplicando un criterio relatio al contenido de ambas distingui, dentro de las ciencias llamadas fcticas, entre4 4 a' ciencias de la natrale(a ). ciencias del es!"rit* sociales o del m)ito $mano +$manas o de la cltra, -l hombre es un ser natural pero su mundo ya no lo es, por eso afrma que &el ob1eto de las ciencias de la naturale"a es lo que aparece a los sentidos como un caos de excitaciones y sensaciones lgicamente conectadas mediante el pensamiento discursio o racional; las ciencias del espritu, en cambio, estudian directamente la realidad porque los hechos espirituales se dan en la iencia tal y como son'. 3or lo tanto, se puede afrmar que las ciencias de la naturale"a son propias de la creatiidad humana a partir de ob1etos no humanos &que permanecen exteriores', mientras que las del espritu son &creaciones humanas en su totalidad, es decir, en la forma y en el contenido'. $greguemos que ambas recurren, sobre todo las naturales, a las formales para establecer sus lengua1es.
NATURALES4 tratan de explicar los fenmenos naturales, es decir que se referen a los fenmenos no producidos por el hombre. La naturale"a se desenuele independientemente de la oluntad del hombre. -l hombre, con sus relaciones sociales y su libertad de decidir, no es su ob1eto de estudio.
+,-.+,$( /6+!,+$( SOCIALES: es el mundo del hombre, el ob1eto de estudio es el hombre. -stas ciencias estudian algunos productos de la actiidad humana y la conducta humana misma. !ienen criterios metodolgicos propios. 5 La erdad de estas ciencias es &f%ctica' porque depende de hechos y es &proisoria', porque las nueas inestigaciones pueden presentar elementos para su refutacin. -sto signifca que estas ciencias erifcan )confrman o niegan* hiptesis que mayoritariamente, como di1imos, son proisionales. -sto es4 la erifcacin es incompleta y temporaria. <ay casos, sin embargo, en los que las lneas diisorias no son tan claras, por e1emplo, los casos de la medicina, la geografa y la ingeniera. !omemos el caso de la -eo-raf"a. seg#n algunos aspectos, puede ser incluida en las ciencias naturales, por e1emplo cuando se estudian accidentes geogr%fcos o las eras geolgicas, mientras que, por otros aspectos, la podemos incluir dentro de las ciencias sociales, por e1emplo, cuando se estudia la geografa en sus aspectos polticos o econmicos. -n este sentido el cientfco <empel, el creador del mtodo nomolgico- deductivo que estudiaremos en parte con el tipo de explicaciones por argumento, reconoce que &el criterio en irtud del cual se hace esta diisin es mucho menos claro que el que permite distinguir la inestigacin emprica de la no emprica y no existe acuerdo general sobre cu%l es el lugar donde ha de tra"arse la lnea diisoria'. -n lo que respecta a la medicina o la ingeniera, si bien se nutren de las ciencias naturales )la primera de la biologa o la qumica, etc.; la segunda, de la fsica, etc.*, se las suele considerar como tecnologas, esto es, como aplicaciones pr%cticas de la ciencia. $dem%s, esta clasifcacin excluye por completo a la flosofa, las artes en general, la teologa, la tica, %reas que antes estaban incluidas en las ciencias sociales. CIENCIAS FCTICAS /ARMETRO %E CONTRASTACI0N CIENCIAS FORMALES <echos y fenmenos de O)1eto de estdio -ntidades de car%cter ideal la experiencia
6 +ontrastacin emprica Mtodo de tra)a1o :emostracin lgico8 )utili"an el ra"onamiento deductia inductio*. -l punto de partida son los hechos (intticos )sucesos y proce8 Ti!os de ennciados $nalticos )relaciones entre sos erifcables en la signos* experiencia* :escripcin, explicacin Finalidad +onstruccin de sistemas y prediccin de los fen8 abstractos de pensamiento menos del unierso y del hombre 7