Metodologa de las ciencias formales Clasificacin de las Objetivo ciencias Formales (matemtica, Disear esquemas vacos lgica) de contenido,

que pueden ser aplicados por las ciencias fcticas Fcticas Forjan teoras para explicar (fctico quiere decir y predecir algo del mundo emprico, relativo a los hechos) Se dividen en: naturales y sociales Sistemas axiomticos (SA) a) Lenguaje formal a1) Trminos: 1) Primitivos: se eligen convencionalmente y no se definen 2) Definidos: se definen a partir de los trminos primitivos aplicando reglas de definicin (Es decir que las ciencias formales no tienen trminos observacionales y tericos, sino primitivos y definidos) a2) Reglas de formacin de frmulas Son las normas sintcticas del sistema, que determinan cmo deben combinarse los trminos del lenguaje formal Con a1) y a2) se obtienen: Frmulas bien formuladas (FBF), que sern los enunciados del sistema. b) Una vez diseado el lenguaje formal, se puede formar el sistema axiomtico, que consiste en: Axiomas: enunciados convencionalmente elegidos como verdaderos. Teoremas: enunciados que se deducen de los axiomas y que son, por lo tanto, tambin verdaderos. Atencin: se trata del concepto de verdad lgica, que es diferente de la verdad fctica propia de las ciencias fcticas. La verdad lgica se establece, en el caso de los axiomas por convencin (es decir, por una decisin arbitraria) y en el caso de los teoremas por deduccin a partir de los axiomas. Consecuencia de lo anterior: no existen axiomas falsos ni teoremas falsos. Cuando un enunciado no es axioma ni teorema es falso dentro del sistema. Propiedades de los sistemas axiomticos Consistencia: es la propiedad fundamental de un sistema axiomtico. Implica ausencia de contradiccin. Si un sistema es consistente, no se puede deducir un teorema y, a la vez, la negacin de ese mismo teorema. Es la propiedad ms importante porque si un sistema no la cumple, al aplicarlo a las ciencias fcticas se obtendrn falsedades (fcticas, no podran ser formales). Interpretar un sistema implica asignarle a sus trminos un contenido fctico (por eso se denomina otorgarle correlato fctico, porque pone en correlacin a los trminos con hechos del mundo). Mtodo Sistema Axiomtico Formal

Para explicar: nomolgico deductivo, causal, teleolgico, estadstico Para predecir: mtodo hipottico deductivo

Cuando una interpretacin no tiene enunciados falsos se denomina MODELO del sistema axiomtico. Y slo si un sistema axiomtico es consistente puede tener modelos (no significa que siempre los tenga, sino que puede tenerlos). Atencin: un sistema interpretado, como tiene contenido fctico, forma parte de las ciencias fcticas y no de las formales. (Ver ejemplo de sistema interpretado en la pgina 223 del libro). Inconsistencia: cuando al menos dos axiomas se contradicen entre s, el sistema es inconsistente porque en ese sistema se podr deducir un teorema y, a la vez, la negacin de ese mismo teorema. Si un SA es inconsistente, no puede tener modelo. Independencia: cuando ningn axioma se puede deducir como teorema, el sistema es independiente. Dependencia: cuando por lo menos un axioma se deduce de otro el sistema es dependiente. Completitud: cuando, para cada FBF se puede decidir si ella misma es teorema o bien es teorema su negacin (una o la otra, no las dos, porque en ese caso el sistema sera inconsistente). Incompletitud: existe por lo menos una FBF que no es teorema ni ella misma ni su negacin. Ejercicio Dado el siguiente sistema axiomtico: Ax. 1) Todos los R contienen al menos tres P. Ax. 2) Existe un R que contiene solamente tres P. Y los enunciados: E1) Todos los R contienen al menos dos P. E2) Existe un R que contiene cinco P. E3) Existe un R que contiene dos P. a) b) c) d) e) f) g) h) i) j) el sistema es consistente el sistema es independiente el sistema es incompleto el sistema no puede tener modelos E1 es teorema E2 es teorema E3 es teorema E1 es teorema E2 es teorema E3 es teorema

(AYUDA: existe no se puede deducir de todo)

Marcar con una X: Si el SA tiene como Es consistente axiomas: Ax1), Ax. 2) y E1 Ax1), Ax. 2) y E2 Ax1), Ax. 2) y E3 Ax1), Ax. 2) y -E1 Ax1), Ax. 2) y E2 Ax1), Ax. 2) y E3 Es independiente Es completo Puede tener modelo