EL LENGUAJE FORMAL DE LA LÓGICA
A. ¿Qué es un Sistema Axiomático Formal?
La lógica se organiza, o puede ordenarse, como un sistema axiomático formal (SAF). Un SAF tiene la siguiente estructura:
1. Parte morfológica de un SAF:
1.1 Componentes primitivos, e. d., signos que carecen de todo contenido material, de todo significado semántico. Los signos del SAF no son “semantemas”. Son los “átomos” del lenguaje formal. Ejemplo: p, q, r, s, etc. Estos componentes son las variables de nuestro lenguaje lógico. Sea p cualquier proposición, puede valer en una lógica bivalente 1 (verdad) ó 0 (falsedad).
1.2 Operadores. Un montón de signos aislados no constituyen un lenguaje lógicamente articulado. Tienen que poder enlazarse, relacionarse, componerse entre sí, mediante operaciones, que conectan (conectores o conectivas) unos signos con otros. Su número puede ser variable. En nuestra lógica bivalente, podríamos jugar con 16 conectores distintos, aunque suelen usarse menos.
Mostrando entradas con la etiqueta teorema de incompletitud. Mostrar todas las entradas
Mostrando entradas con la etiqueta teorema de incompletitud. Mostrar todas las entradas
martes, 12 de mayo de 2009
Suscribirse a:
Comentarios (Atom)
Entradas
