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