Introducción a la lógica/¿Qué es una afirmación?

Desde un punto de vista formal, hay dos formas de hacer afirmaciones: Confiamos en una teoría existente y definimos a partir de afirmaciones conocidas o lo hacemos creando axiomas:

Un axioma es una proposición o enunciado tan evidente que se considera que no requiere demostración.

Cualquier sistema de axiomas puede usarse como punto de partida para una teoría, siempre que sean consistentes. Crear una teoría puede ser muy fácil, elige algunas afirmaciones y asegúrate de que formen un sistema coherente. Una forma simple seria usar la navaja de Ockham que dice:

La explicación más simple y suficiente es la más probable, mas no necesariamente la verdadera.

Pero las afirmaciones así no tendrían mucho sentido si no supiéramos la verdad, siempre es la misma pregunta metafísica ¿cuál es la verdad?, desgraciadamente los medios de la lógica formal son insuficientes para proporcionar una respuesta amplia a la pregunta de la verdad solo nos dicen si nuestra afirmación es coherente. Una afirmación por lo tanto es un enunciado que se considera verdadero, como por ejemplo: Todos los perros mueven la cola o Ningun analfabeta es escritor


Lección 2

editar
 

Preguntas guía

editar
  • ¿Qué es una afirmación?
  • ¿Qué es un axioma?
  • ¿Qué es un teoría?
  • ¿Cuando es un afirmación verdadera?

Procedimiento para el aprendizaje

editar
 
  1. Búsqueda de información
  2. Revisión de textos
  3. Elaboración de mapas conceptuales
  4. Análisis de conceptos

Producto

editar
 

Elaborar un mapa conceptual sobre el tema.

Actividades de refuerzo

editar
 
  • Desarrolle una teoría a partir de alguna afirmación que el maestro exponga en clase.

Referencias

editar
  • Copi, I. M., 2000, Introduction to Logic.

Véase también

editar