Resumen IPC-Catedra Asti Vera 2013

Resumen IPC- Segundo Parcial 2013
Capítulo 4
Prueba lógica: relación entre el axioma (no se demuestra, premisas) y los teoremas(se demuestran, conclusiones).
Demostración: Prueba lógica.
Postulado de deducibilidad: admite que la ciencia demostrativa debe partir de los principios indefinibles que sirven para definir cualquier término y los indemostrables o axiomas para demostrar lo mismo peromediante reglas.
Postulado de evidencia: exige que los axiomas sean aceptados sin demostración.
Postulado de realidad: existencia de P. de deducibilidad y de P. de evidencia.
Definición: encargadas de declarar solo el “ser” de las cosas y siempre son verdaderas.
Axiomas: proposiciones de carácter general, su verdad es sin demostración (V.Apriori-> no necesita ni tiene demostración) se puedeformalizar (Formula).
Postulados: puntos de partida de cada ciencia.
Teoremas: proposición o formula que se deduce del axioma por aplicación de las reglas de inferencia.
Lógica formalizada: se da cuando se enumeran los signos no definidos, cuando se especifica la fórmula del sistema, se enumeran los axiomas, y las reglas de inferencias que se consideran aceptadas.
Sistema axiomático: es unsistema sintáctico donde se intenta probar la coherencia entre el teorema y un axioma mediante reglas de inferencia.
-Componentes:
*términos primitivos (variables): no se definen pero sirven para definir otros términos.
*definiciones (incorporación de nuevos temas)
*Axiomas (proposiciones).
*Reglas de inferencia (razonamientos validos que conservan la verdad del teorema).
*Teoremas.-Pasos para desarollarlo:
*lista de términos primitivos
*establecer axiomas
*establecer definiciones
*deducir consecuencias lógicas (reglas de inferencia)
*desarrollar el teorema.
-Propiedades:
*Consistente (En un axioma no se puede deducir teoremas contradictorios, y si pasa uno de ellos no se puede demostrar)-> inconsistente.
*independiente (deben ser independientes entre, es decir no sepuede derivar uno de otro).
*Completitud (esto permite derivar de los axiomas todas las leyes del sistema) ->Completo.
* si ambos modelos cumplen con estas tres propiedades anteriores, son isomorfos.
Interpretación: denomina un modelo, interpreta un consejo concepto o primitivo cuando se le atribuye un sentido y se obtiene un modelo de un sistema axiomático cada vez que los conceptos seinterpretan de manera cierta.
Modelo: sistema compatible, lo que da cada interpretación del sistema axiomático.
Capítulo 5
Teoría empírica: conjunto de hipótesis de partida y consecuencias lógicas, pueden ser cálculos interpretados. Calculo axiomático empíricamente(realidad) interpretado.
-tipos de términos:
*términos lógicos: vocabulario formal, enlaces sintácticos EJ: Y, entonces, todos, etc.*términos observacionales: entidades, propiedades y relaciones observables EJ: Azul, Frio, Mas pesado que, sentimientos,etc.
*términos teóricos: entidades, propiedades y relaciones NO observables EJ: electrón, gen, protón, etc
-componentes:
*calculo abstracto (esqueleto lógico, que define las nociones básicas del sistema)
*conjunto de reglas (asignan contenido empírico al cálculo abstractoponiéndolo ante la observación y la experimentación)
*una interpretación o modelo (resultado del cálculo abstracto)
-Estructura:
*Formulación de una hipótesis de partida (primer premisa) .
*deducción.
*extracción de hipótesis derivada.
*consecuencias observacionales
-condiciones:
*No puede haber tautologías entre las hipótesis.
*No puede haber contradicciones en las hipótesis. Debe sercontrastable->Consecuencia Observacional.
-perspectivas:
*Paso de una perspectiva sincrónica (analiza algo en un momento determinado) a una perspectiva diacrónica(analiza algo largo de un tiempo determinado).
-Características:
*evoluciona con el tiempo
*no pueden ser ni verdaderas ni falsas.
*componente formal (leyes o hipótesis) y empírico (sistemas).
*ciertas partes intocables por razones...