Warning:
JavaScript is turned OFF. None of the links on this page will work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: CAPÍTULO 4, 4.1 Elementos de la geo. de Euclides AXIOMAS, 4.1 Elementos de la geo. de Euclides Geometría: de reglas empíricas a ciencia deductiva, Cohen y Nagel Demostración Argumento: P: Axiomas C: Teoremas deducidos (no dicen nada acerca del mundo), INDEPENDIENTE ???? Ningún axioma debe derivarse de otro, Interpretación: modelo. ???? Se interpreta un concepto primitivo cuando se le da un sentido, (No es necesario que los axiomas sean evidentes/elementales) ???? CONSISTENTE, CAPÍTULO 4 ???? 4.3, Se tiene un modelo de un sist. axiomático cuando son ciertas las prop. que resultan de los axiomas. Dos modelos, un sist. axiomático ISOMORFOS, 4.1 Elementos de la geo. de Euclides De conocimiento científico a conocimiento formal, 4.1 Elementos de la geo. de Euclides POSTULADOS, 4.1 Aristóteles Tres supuestos fundamentales, CAPÍTULO 4 ???? 4.2, ISOMORFOS ???? Estos modelos tienen las mismas prop. formales, SISTEMAS AXIOMÁTICOS Propiedades: (No es necesario que los axiomas sean evidentes/elementales), COMPLETO ???? Cuando se permite derivar de los axiomas todas las leyes del sist. (el agregado de una ley no derivable, hace inconsistente el sistema), CAPÍTULO 4 ???? 4.1, 4.1 Lógica formalizada Cuando se enumeran en ella todos los signos no definidos, CONSISTENTE ???? Tarski, 4.3 Un mismo sist. axiomático, varias interpretaciones Interpretación: modelo., CONSISTENTE ???? Si desde los axiomas no se puede derivar una fórmula y su negación