Sistema formal

Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas,
reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar
una definición rigurosa del concepto de demostración. Un sistema formal es una formalización rigurosa y
completa del concepto de sistema axiomático, los cuales se pueden expresar en lenguaje formal o en
lenguaje natural formalizado. Al crear un sistema formal se pretende capturar y abstraer la esencia de
determinadas características del mundo real, en un modelo conceptual expresado en un determinado
lenguaje formal. Algunos de los sistemas formales más conocidos son la lógica proposicional, la lógica de
primer orden y la lógica modal.

En la teoría de la demostración, las demostraciones formales se pueden expresar en el lenguaje de los

sistemas formales, consistentes en axiomas y reglas de inferencia. Los teoremas pueden ser obtenidos por
medio de demostraciones formales. Este punto de vista de las matemáticas ha sido denominado formalista;
aunque en muchas ocasiones este término conlleva una acepción peyorativa. En ese sentido, David Hilbert
creó la metamatemática para estudiar los sistemas formales, entendiendo que el lenguaje utilizado para ello,
denominado metalenguaje era distinto del lenguaje del sistema formal que se pretendía estudiar, al que se
llama lenguaje objeto.

Un sistema así es la reducción de un lenguaje formalizado a meros símbolos, lenguaje formalizado y

simbolizado sin contenido material alguno; un lenguaje reducido a mera forma que se expresa mediante
fórmulas que reflejan las relaciones sintácticas entre los símbolos y las reglas de formación y transformación
que permiten construir las fórmulas del sistema y pasar de una fórmula a otra.1 ​

Una teoría axiomática es un conjunto de fórmulas en un determinado lenguaje formal y todas las fórmulas
deducibles de dichas expresiones mediante las reglas de inferencia posibles en dicho sistema formal. El
objetivo de las teorías axiomáticas es construir sistemas formales que representen las características
esenciales de ramas enteras de las matemáticas. Si se selecciona un conjunto más amplio o menos amplio de
axiomas el conjunto de teoremas deducibles cambian. El interés de la teoría de modelos es que en un
modelo en que satisfagan los axiomas de determinada teoría también se satisfacen los teoremas deducibles
de dicha teoría. Es decir, si un teorema es deducible en una cierta teoría, entonces ese teorema es
universalmente válido en todos los modelos que satisfacen los axiomas. Esto es interesante porque en
principio la clase de modelos que satisface una cierta teoría es difícil de conocer, ya que las teorías
matemáticas interesantes en general admiten toda clase infinita de modelos no isomorfos, por lo que su
clasificación en general resulta difícilmente abordable si no existe un sistema formal y un conjunto de
axiomas que caracterice los diferentes tipos de modelos.

En el siglo XX, Hilbert y otros sostuvieron que la matemática es un sistema formal. Pero en 1931, Kurt
Gödel demostró que ningún sistema formal con suficiente poder expresivo para capturar la aritmética de
Peano puede ser a la vez consistente y completo. El teorema de la incompletitud de Gödel, junto con la
demostración de Alonzo Church de que la matemática tampoco es decidible, terminó con el programa de
Hilbert. Sin embargo, a pesar de sus limitaciones, el enfoque sigue siendo ampliamente usado, básicamente
porque no se ha encontrado ninguna alternativa mejor al enfoque formalista de Hilbert y la pretensión de
trabajar en el seno de teorías matemáticas explícitamente axiomatizadas, aun con sus limitaciones.

Los sistemas formales también han encontrado aplicación dentro de la informática, la teoría de la
información y la estadística.
Índice
Componentes
Tipos de sistemas formales
Lógicas clásicas
Lógicas no clásicas
Lógicas modales
Metalógica
Véase también
Referencias
Bibliografía
Enlaces externos

Componentes
Un sistema formal está compuesto por:

1. Un conjunto de símbolos primitivos (el alfabeto o vocabulario).

2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas
bien formadas a partir de los símbolos primitivos. El lenguaje del sistema será el conjunto
de todas esas fórmulas.
3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien
formada.
4. Un sistema deductivo o conjunto de reglas de inferencia. Estas reglas determinan qué
fórmulas se pueden inferir de qué fórmulas. Por ejemplo, una regla de inferencia clásica es
el modus ponens, según el cual, dada una fórmula A, y otra fórmula A→B, la regla nos
permite inferir B.

Estos cuatro elementos completan la parte sintáctica de los sistemas formales. Sin embargo, todavía no se
ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema formal se puede definir sin
tener que hacerlo. Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un
quinto elemento:

5. Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar
diversas cosas dependiendo de la interpretación que se le dé. Por ejemplo, en el idioma
español, la palabra «banco» puede significar un edificio o un asiento, mientras que en otros
idiomas puede significar algo completamente distinto o nada en absoluto, y dependiendo
de la interpretación, variará también el valor de verdad de la oración «el banco está cerca».
Las interpretaciones formales asignan significados inequívocos a los símbolos primitivos, y
valores de verdad a las fórmulas.

Para entender mejor estos elementos, definimos un sistema formal minimalista llamado M.

El sistema M tiene un alfabeto con un único símbolo: a

Las fórmulas bien formadas de M son aquellas que se construyen con las siguientes reglas de formación:

1. a es una fórmula
2. Si φ es una fórmula, entonces φa también es una fórmula
 3. Nada más es una fórmula

Por lo tanto, el lenguaje de M consta de las siguientes fórmulas: a, aa, aaa, aaaa, aaaaa, ...

M tiene un único axioma: a

M tiene una única regla de inferencia: de φ se puede inferir φa

Los teoremas son aquellas fórmulas que se deducen de los axiomas a través de las reglas de inferencia en
un número finito de pasos. En este caso, los teoremas de M serán: aa, aaa, aaaa, aaaaa, ...

Es decir todas las fórmulas bien formadas, excepto a.

Tipos de sistemas formales

Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han
desarrollado no uno, sino varios sistemas formales diferentes, que capturan y formalizan distintas partes del
lenguaje natural.

Lógicas clásicas

Una lógica clásica o lógica estándar2 3​ ​es un sistema formal que respeta los siguientes principios:

Principio del tercero excluido

Principio de no contradicción
Principio de explosión
Monotonicidad de la implicación

Los ejemplos más comunes de lógicas clásicas son la lógica proposicional, la lógica de primer orden y la
lógica de segundo orden.

Las lógicas clásicas son los sistemas formales más estudiados y utilizados de todos.

Lógicas no clásicas

Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las
lógicas clásicas. Hay varias formas de hacerlo, incluyendo a modo de extensiones, desviaciones, y
variaciones, por ejemplo, rechazando uno o varios de los principios de la lógica clásica. El objetivo de estas
desviaciones es para hacer posible construir distintos modelos de consecuencia lógica y verdad lógica.

La lógica filosófica, especialmente en la ciencia computacional teórica, se usa para abarcar y centrarse en
las lógicas no clásicas, a pesar de que el término tiene otros significados también.4 ​

Algunos ejemplos de lógicas no clásicas son:

Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y
propone un número infinito de valores de verdad.
Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir
que para que un argumento sea válido, las premisas y la conclusión deben compartir al
menos una variable proposicional.
 Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica
cuántica; su característica más notable es el rechazo de la propiedad distributiva.
Lógica no monotónica: Una lógica no monotónica es una lógica donde, al agregar una
fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa teoría
se reduzca.
Lógica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las
transformaciones de las proposiciones.

Lógicas modales

Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de
operadores modales.5 ​Los operadores modales son expresiones que califican la verdad de los juicios.5 ​Por
ejemplo, en el juicio «es necesario que 2 + 2 = 4», la expresión «es necesario que» es un operador modal
que califica de necesaria a la verdad del juicio «2 + 2 = 4». De manera análoga, la expresión «siempre»
califica a un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo
decir «está lloviendo» que decir «siempre está lloviendo».

En un sentido más restringido, sin embargo, una lógica modal es un sistema formal que intenta capturar el
comportamiento deductivo de las expresiones «es necesario que» y «es posible que».5 ​ Este artículo trata
exclusivamente sobre lógicas modales en este sentido restringido. Las lógicas modales pertenecen al grupo
de las llamadas «extensiones de la lógica clásica» o «lógicas extendidas» entre las cuales se incluyen
además la lógica deóntica, la lógica temporal, la lógica epistémica y la lógica doxástica.

Metalógica
La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas
formales.6 ​ Las propiedades más importantes que se pueden demostrar de los sistemas formales son la
consistencia, decidibilidad y completitud.7 ​Ejemplos de teoremas metalógicos importantes son los teoremas
de incompletitud de Gödel, el teorema de completitud de Gödel y el teorema de Löwenheim-Skolem. Otra
propiedad es la compacidad.

Véase también
Lógica matemática
Lenguaje formalizado
Noción primitiva
Teoría (lógica)

Referencias
1. Encyclopædia Britannica, Formal system (http://www.britannica.com/eb/article-9034889/form
al-system) definition, 2007.
2. The Blackwell dictionary of Western philosophy (http://books.google.com/books?id=OskKWI
1YA7AC&pg=PA266). Wiley-Blackwell. 2004. p. 266. ISBN 978-1-4051-0679-5.
3. Gamut, L. T. F. (1991). Logic, language, and meaning, Volume 1: Introduction to Logic (http://
books.google.com/books?id=Z0KhywkpolMC&pg=PA156). University of Chicago Press.
pp. 156-157. ISBN 978-0-226-28085-1.
4. Burgess, John P. (2009). Philosophical logic (https://books.google.com/books?id=k32w3_wj
BoYC&pg=PR7). Princeton University Press. pp. vii-viii. ISBN 978-0-691-13789-6.
 5. Garson, James. «Modal logic» (http://plato.stanford.edu/archives/sum2009/entries/logic-mod
al/). En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Summer 2009
Edition edición).
6. Shapiro, Stewart. «metalógica» (http://www.oxfordreference.com/views/ENTRY.html?subvie
w=Main&entry=t116.e1583). The Oxford Companion to Philosophy. Oxford University Press.
Consultado el 6 de octubre de 2009.
7. Jesús Padilla Gálvez, Jesús. (1995). Sobre metalógica. Un análisis histórico en torno a
1931. Arbor, 150, pp. 73-90.

Bibliografía
Raymond M. Smullyan, 1961. Theory of Formal Systems: Annals of Mathematics Studies,
Princeton University Press (April 1, 1961) 156 pag. ISBN 069108047X
S. C. Kleene, 1967. Mathematical Logic Reprinted by Dover, 2002. ISBN 0486425339
Douglas Hofstadter, 1979. Gödel, Escher, Bach: An Eternal Golden Braid. 777 pag. ISBN
978-0465026562.

Enlaces externos
Wikcionario tiene definiciones y otra información sobre formalización.
Formal system (http://www.britannica.com/eb/article-9034889/formal-system), definición en
la Enciclopedia Británica, 2007.
Christer Blomqvist, an introduction to formal systems (https://web.archive.org/web/20080216
025351/http://hemsidor.torget.se/users/m/mauritz/math/logic/inform.htm), página web 1997.
What is a Formal System? (http://www.cs.indiana.edu/~port/teach/641/formal.sys.haug.html):
Algunas citas de `Artificial Intelligence: The Very Idea' (1985) de John Haugeland, pp. 48–
64.
Heinrich Herre Formal Language and systems (https://web.archive.org/web/2011071911121
8/http://www-ls.informatik.uni-tuebingen.de/psh/forschung/publikationen/RoutledgeFLS199
5.pdf), 1997.
Peter Suber, Formal Systems and Machines: An Isomorphism (http://www.earlham.edu/~pet
ers/courses/logsys/machines.htm), 1997.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Sistema_formal&oldid=145139561»

Esta página se editó por última vez el 2 ago 2022 a las 16:58.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.