Unidad 1 KLIMOVSKY CIENCIA ANTIGUA: Inters del conocimiento por el conocimiento mismo CLASIFICACIN DE LAS CIENCIAS: Aristteles 1.

. Ciencias productivas o poiticas: procuran producir objetos tiles o hermosos. Ej. arquitectura, literatura 2. Ciencias/disciplinas prcticas: tienen que ver con dirigir las acciones humanas. Ej. tica, economa, poltica 3. Conocimiento terico (teorticas): su finalidad es el conocimiento mismo. Segn el objeto: a. Naturales: se ocupan de entidades sujetas al cambio y al movimiento que son los objetos naturales. b. Propiedades matemticas: se ocupan de entidades sujetas al cambio y al movimiento, pero al estudiarlas abstrae tales variables. c. Metafsica: se ocupa de entidades que no estn sujetas al cambio y al movimiento. Son entidades que permanecen inmutables. Reclasificacin de las ciencias: 1. FORMALES: lgica y matemtica. Proponen un conocimiento a priori. Tienen sus verdades garantizadas. Proveen poca informacin sobre la realidad. 2. FCTICAS: existen teoras falibles porque la experiencia puede desmentirlas. Clasificacin actual: 1- FORMALES: sus objetos de estudio son entidades abstractas, a veces denominadas ideales. Emplean el mtodo demostrativo o deductivo. 2- FCTICAS O EMPRICAS: se ocupa de los hechos, fenmenos, acontecimientos, sucesos del mundo situados en tiempo y espacio. Emplean el mtodo deductivo y el inductivo. a. Sociales: se ocupan de las acciones del hombre y de sus resultados. b. Naturales Aristteles se inspira en la matemtica y propone el concepto de ciencia o conocimiento demostrativo/deductivo (ciencia terica). 1. 2. MTODOS PARATENER CONOCIMIENTO: Racionalismo: el conocimiento se obtena a travs de la razn. Comparten la idea de la demostracin por deduccin. (Aristteles, Euclides) Empirismo: fctica, experiencia

SAF (Sist. Axiomtico Formal)- Ciencia Moderna . Ej: Geometra No Euclidiana, Se caracterizan por un lenguaje formal con trminos primitivos sin significacin, a partir de los cuales se constituyen axiomas que no son necesariamente verdaderos, sino frmulas convencionalmente elegidas (mediante trminos lgicos, primitivos y reglas de formacin). Es formal: importa la forma de postular los trminos, no su significado. Los axiomas son puntos de partida de los que se deducen teoremas (conclusiones de las operaciones de deduccin). Una vez asignada una interpretacin, si los axiomas son verdaderos, los teoremas tambin lo son; constituyendo as, un MODELO DE SISTEMA (entidad real). Los SAF no tienen valor de verdad(ni los axiomas ni los teoremas). Los axiomas son indemostrables relativos. Son axiomas dentro de un sistema, pero pueden serlo o no en otro. Unicos elementos convencionales: TERMINOS PRIMITIVOS Y AXIOMAS. Estructura lgico-sintctica que no tiene categoras semnticas. Est abierto potencialmente a distintas interpretaciones. Componentes: Axiomas: enunciados arbitrarios cuyos trminos no afirman ni niegan la existencia de los objetos a los que refieren. Sus trminos no designan cosas que existen. No son necesariamente verdaderos, ni susceptibles de ser intuidos Lgica Subyacente: son reglas de formacin que establecen cmo se deducirn los teoremas. Hay diferentes lgicas y cada lgica sugiere un mundo donde se aplica. Caractersticas: Trminos lgicos: conectivos y cuantificadores (o, no, todo) Categora gramatical de los trminos no lgicos. Para construir una proposicin se deben conocer: las reglas de uso de los trminos lgicos y las categoras de los trminos no lgicos. Morfologia: reglas de formacin de frases Teoria de la deduccin correcta Teoria de la definicin nominal: introduccin de trminos nuevos a partir de los anteriores. Se establece el vocabulario tcnico del sistema, cuyos trminos no tienen significado, pero tienen categora gramatical. Consiste en trminos descriptivos de dos clases:

 T. primitivos: no son definidos en el sistema .Eleccin arbitraria y convencional. En la antigedad tienen significado claro y evidente. Pero, en la axiomtica moderna, al ser formal, no tienen significado. Son una estructura lgicosintctica. Su papel es relativo ya que pueden ser definidos en otro sistema. Cuando los trminos primitivos adquieren significados se transforman en PROPOSICIONES. T. definidos o introducidos: a partir de los anteriores (segn la teora de la definicin nominal). Las formulas o cuasi proposiciones se obtienen mediante los trminos primitivos y los lgicos a travs de las reglas de formacin. No es posible, en principio, asignarles valor de verdad. De estas se elige un conjunto que sern los axiomas del sistema, el punto de partida de las operaciones deductivas.

AXIOMTICA CLSICA: PROPIO DE LAS CIENCIAS FORMALES Y DE LA MATEMTICA EN PARTICULAR (Geometra Euclidiana). Sistema Axiomtico no formal- Ciencia Antigua Origen: Concepcin Aristotlica de la ciencia Fuente de conocimiento: la RAZON La ciencia trata acerca de objetos con una referencia externa al lenguaje (real). La ciencia es un conjunto de afirmaciones necesariamente verdaderas y generales, i.e: con forma de ley (nomotticas). La deduccin lgica es una herramienta fundamental de la ciencia. Si es correcta, garantiza la conservacin de la verdad; por lo tanto, las conclusiones que se obtengan tambin forman parte de la ciencia. Hay un nmero finito de afirmaciones (axiomas) que pueden justificarse por su simplicidad y evidencia. De ellas se deducen otras afirmaciones llamadas teoremas. La ciencia parte de principios indemostrables y llega a conclusiones. Hay trminos primitivos (nmero finito de palabras) a partir de los cuales se definen otros. Estas definiciones son reales, i.e: a travs de ellas se alcanza la esencia de las cosas. A cada campo o gnero de objetos corresponde una nica ciencia que trata de l. Existe una jerarqua ontolgica de las ciencias. Cada ciencia presupone algo de las que la preceden en este ordenamiento. Relacionado con los grados de abstraccin del conocimiento. Mtodo de la ciencia: DEMOSTRATIVO. A partir de principios considerados verdaderos por medio de la razn, porque son autoevidentes, y de ellos se deducen conclusiones verdaderas. El mtodo deductivo permite la conservacin de la verdad si los principios son verdaderos. Principios de la ciencia: Premisas: son verdades indemostrables cuyo conocimiento no es consecuencia de la ciencia, sino de una intuicin intelectual. Este conocimiento es de 2 tipos: 1. Axiomas o proposiciones que se deben conocer si se quiere conocer algo. Incluyen: Proposiciones verdaderas acerca de cualquier cosa. Proposiciones comunes a algunas ciencias pero restringidas en su alcance.

Los axiomas no son considerados por las ciencias en su forma universal, si no en la medida en que se aplican al objeto de una ciencia particular. 2. Tesis: no necesitan ser demostradas porque no son proposiciones(susceptibles de valor de verdad), sino posiciones y por tanto deben ser enseadas. Son propias de cada campo de conocimiento. Comprenden: Definiciones: son nominales, independientes de la existencia de sus objetos, dicen lo que es tal o cual objeto. Hiptesis: las premisas del silogismo que dicen que tal cosa es o no es.

Sistema Geomtrico Euclideano: Alrededor del ao 300 a.C., en Alejandria, Euclides public Elementos, en el que edifica la geometra a partir de 3 tipos de proposiciones: (categoras semnticas) Definiciones de las nociones geomtricas primitivas. Son 118. (=definiciones aristotlicas) Postulados: (son 5) Aristteles los considera proposiciones no universalmente admitidas o que deben ser probadas. Se asemejan a las hiptesis aristotlicas. Estas premisas no son equivalentes a los postulados de Euclides. stos se asimilan ms bien a las hiptesis aristotlicas. 3. Nociones comunes: corresponde a los axiomas aristotlicos. Sistema axiomtico interpretado, no formal. La relacin que existe entre los axiomas y los teoremas es deductiva. De sus definiciones, postulados y nociones comunes, Euclides deduce una serie de teoremas y problemas. Estos principios de los que se deducen teoremas son evidentes por s mismos; la inteligencia sera la facultad que permitira un conocimiento inmediato, intuitivo de los mismos. Geometras NO Euclideanas: el desarrollo del mtodo axiomtico est ligado al de las geometras no euclideanas. Son SAF Comienzan con la sospecha de que el 5 postulado de Euclides (El todo es mayor que la parte) no era un axioma, sino un teorema, susceptible de ser demostrado a partir del resto de los postulados. Los desarrollos de distintos matemticos negaban el 5 postulado, pero de ello no se derivaba ninguna contradiccin, sino una serie de afirmaciones cuyo conjunto constituira la geometra no euclidiana. Se descubren que podra haber descripciones del espacio. Proponen partir de principios no intuitivamente verdaderos, desde los que se infieren lgicamente consecuencias. 1. 2.

PROPIEDADES GENERALES Y REQUISITOS DE LOS SISTEMAS AXIOMTICOS FORMALES 1. PROPIEDADES SINTCTICAS: aquellas que se encuentran en un sistema axiomtico, independientemente de su interpretacin. Consistencia/ Coherencia: un sistema axiomtico es consistente si no puede haber en l, a la vez, un teorema tal que su negacin sea tambin teorema; es decir, no encontramos en el sistema dos teorema contradictorios. La inconsistencia permite que de las premisas se deduzca cualquier proposicin e impide que el sistema admita aplicaciones, modelos. Completitud sintctica: dada una cuasi proposicin, el desarrollo del sistema permite demostrarla o bien demostrar su negacin. Saturacin: un SA est saturado si no existe la posibilidad de ampliarlo con un nuevo axioma que no es teorema del sistema dado ni tampoco lo es su negacin. Un sistema saturado es sintcticamente completo: ya que dada una cuasi proposicin,ella o su negacin tendrn que ser teorema, y por consiguiente, el teorema estar saturado. A la inversa, si el sistema est saturado, toda cuasiproposicion del sistema o bien su negacin se podr deducir de los axiomas, y por tanto el sistema ser completo. Independencia: una cuasi proposicin es independiente de los axiomas de un sistema si ella no es teorema del sistema ni tampoco lo es su negacin. De este modo, descubrimos que el sistema no est saturado y se puede ampliar. Decidibilidad sintctica: un SA es sintcticamente decidible si existe un mtodo efectivo (que permita resolver el problema en un nmero finito de pasos) tal que, para toda cuasiproposicin del sistema, permite poner en evidencia se ella es teorema o no del sistema. No todos los SA poseen esta propiedad. PROPIEDADES SEMNTICAS: ataen al significado que podramos dar a los trminos especficos. Satisfactibilidad: un sistema es satisfactible si posee al menos un modelo. Categoricidad semntica o Isomorfismo: un sistema es categorico si todos sus modelos son isomrficos, es decir, cuando hay entre ellos una relacin que cumple dos condiciones: a. Cada individuo del primer modelo se corresponde con uno del segundo

2. 3.

4.

5.

1. 2.

b. 3.

4.

Las propiedades y relaciones del primero quedan representadas por propiedades y relaciones del segundo, y viceversa. Completitud semntica: un SA es semnticamente completo con relaciona a todos sus modelos si toda propiedad que se cumple para todos sus modelos puede ser demostrada en el sistema como teorema; si toda cuasiproposicion que sea verdadera en todos los modelos es un teorema en el sistema. Los axiomas de un sistema, convertidos en proposiciones verdaderas en todos sus modelos, darn lugar a que los teoremas se conviertan en proposiciones verdaderas. Decidibilidad semntica: un sistema axiomtico es semnticamente decidible con relacin a un modelo determinado del sistema si existe un mtodo para poner en evidencia, para toda proposicin verdadera en tal modelo, si ella es deducible o no en el sistema dado.

_ Si un SA es satisfactible debe ser consistente, pero no es necesario que ello ocurra a la inversa. VERDAD Y VERDAD LOGICA: Verdad: una proposicin es verdadera si existe correspondencia entre lo que se expresa en ella y lo que ocurre en la realidad(segn la tradicin aristotlica) Verdad lgica: cuando la verdad de una proposicin no depende del modo en que se nos presenta la realidad, sino de su propia estructura lgica. Las verdades lgicas son irrefutables, triviales, y no informan nada acerca de la realidad. Nocin de completitud semntica con respecto a la verdad lgica: un SA es completo con respecto a la verdad lgica si toda cuasi proposicin del mismoque sea lgicamente verdadera en todos su modelos aparece como teorema.

Los modelos interesan porque en ellos los axiomas se convierten en proposiciones verdaderas en forma no lgica. FORMALIZACION: proceso inverso a la interpretacin. Ventajas: 1. 2. 3. 4. 5. Elimina la vaguedad propia del discurso ordinario Permite el uso ntido de la lgica formal Permite calcular y computar sin necesidad de atender a los significados del discurso semntico Permite descubrir estructuras con configuraciones emparentadas con la estructura semntica dada Permite advertir que estructuras distintas corresponden a un nico conjunto de condiciones expresadas por un nico sistema sintctico.

INTERPRETACION: proceso que transforma una estructura lgico-sintctica en una teora por medio de la atribucin de significado. Vincula los sistemas axiomticos con el mundo real. Las cuasi-proposiciones se convierten en proposiciones y los axiomas se hacen susceptibles de ser V o F. Interpretacin buena o adecuada: axiomas verdaderos. MODELO: interpretacin de un sistema axiomtico formal que respeta las relaciones sintcticas entre los elementos del vocabulario y cuyas proposiciones son todas verdaderas. Un mismo SAF admite en general diferentes modelos. El significado otorgado a un trmino debe respetar la categora prefijada, de lo contrario, al interpretar, podran deducirse absurdos. Los SAF, as, son esqueletos de investigacin que permiten establecer propiedades que deben cumplirse simultneamente en todos los modelos.