13/2/2020 (1) (PDF) Sistema formal | Emanth Ponce Zelaya - Academia.

edu

 Download PDF Bulk Download  Library  Share

 Search for papers, people, and interests  PREMIUM

Sistema formal
Emanth Ponce Zel…

1,141 Views

Sistema formal

Un   sistema formal   es un tipo de sistema lógico- de teoremas.

deductivo constituido por un   lenguaje formal, una
gramática formal que restringe cuales son las expresiones
correctamente formadas de dicho lenguaje y las   reglas
de inferencia y
contrar un conjunto
las proposiciones de axiomas
derivables que permite
de dichos en-
axiomas.
Un sistema lógico está compuesto por:
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, para proporcionar una definición rigurosa del
concepto de  demostración. La noción de sistema formal
corresponde a una formalización rigurosa y completa del
concepto de sistema axiomático, los cuales pueden ser ex-
presados en lenguaje formal o en lenguaje natural forma-
lizado.
Llamamos   formalización   al acto de crear un sistema
formal, con la que pretendemos capturar y abstraer la
esencia de determinadas características del mundo real,
en un modelo conceptual expresado en un determinado
lenguaje formal.
En la Teoría de la demostración, las demostraciones for-
males pueden expresarse en el lenguaje de los sistemas
formales, consistentes en axiomas y reglas de inferencia.
Los teoremas pueden ser obtenidos por medio de demos-
traciones formales. Este punto de vista de las matemáti-
cas ha sido denominado  formalista; aunque en muchas
ocasiones este término conlleva una acepción peyorati-
va. En ese sentido David Hilbert creó la disciplina deno-
https://www.academia.edu/9304697/Sistema_formal
1 Sistemas lógicos
1. Un conjunto de símbolos primitivos (conectivas ló
gicas, cuantificadores, variables, el alfabeto, o voca
bulario).
2. Un conjunto de reglas de formación (la gramática
que nos dice cómo construir fórmulas bien formada
a partir de los símbolos primitivos.
3. Un conjunto
Cada de  axiomas o
axioma debe esquemas
ser una fórmula biende axiomas
formada.
4. Un sistema deductivo o conjunto de reglas de infe
rencia y axiomas. Estas reglas determinan qué fór
mulas pueden inferirse de qué fórmulas. Por ejem
plo, una regla de inferencia clásica es el  modus po
nens, según el cual, dada una fórmula A, y otra fór
mula A → B, la regla nos permite afirmar que B.
Estos cuatro elementos completan la parte  sintáctica  d
los sistemas lógicos. Sin embargo, todavía no se ha dado
ningún significado  a los símbolos discutidos, y de hecho
1/7
13/2/2020 (1) (PDF) Sistema formal | Emanth Ponce Zelaya - Academia.edu
p
minada  metamatemática dedicada al estudio de los siste- un sistema lógico puede definirse sin tener que hacerlo
 Download
masPDF Bulk Download
formales, entendiendo Librarypara Tal
que el lenguajeutilizado tarea corresponde al campo llamado  semántica for
Share
ello, denominado metalenguaje era distinto del lenguaje mal, que se ocupa de introducir un quinto elemento:
del sistema formal que se pretendía estudiar. El lenguaje
formal que se estudia, en este caso se llama también, en 1. Una  interpretación formal. En los lenguajes natura
ocasiones,  lenguaje objeto. les, una misma palabra puede significar diversas co
sas dependiendo de la interpretación que se le dé
Un sistema así es la reducción de un  lenguaje formaliza-
Por ejemplo, en el idioma español, la palabra «ban
do a meros símbolos, lenguaje formalizado y simboliza-
co» puede significar un edificio o un asiento, mien
do sin contenido material alguno; un lenguaje reducido
tras que en otros idiomas puede significar algo com
a mera forma que se expresa mediante fórmulas que re- pletamente distinto o nada en absoluto. En conse
flejan las relaciones sintácticas entre los símbolos y las
cuencia, dependiendo de la interpretación, variará
reglas de formación y transformación que permiten cons-
también el valor de verdad de la oración «el banco
truir las fórmulas del sistema y pasar de una fórmula a
[1] está cerca». Las interpretaciones formales asignan
otra.
significados inequívocos a los símbolos, y valores de
El objetivo de un sistema formal es señalar como válidas verdad a las fórmulas.
determinadas cadenas. Estas cadenas válidas se denomi-
nan  teoremas. Para obtener los teoremas se emplean las
reglas de producción que convierten una cadena en otra. 1.1 Lógicas clásicas
Hay ciertos teoremas iniciales que no se obtienen de nin-
guna regla, éstos son los axiomas que se suponen válidos Los sistemas  lógica clásica   lógicos clásicos son los má
por definición y se convierten en el germen de producción estudiados y utilizados de todos, y se caracterizan por in
corporar ciertos principios tradicionales que otras lógica

2   1 SISTEMAS LÓGICOS

rechazan. Algunos de estos principios son: el   principio
del tercero excluido, el principio de no contradicción, el
principio de explosión y el principio de identidad. Entre
los sistemas lógicos clásicos se encuentran:
•   Lógica proposicional
•   Lógicaepistémica: Es la lógica que formaliza los ra
zonamientos relacionados con el conocimiento.
•  Lógica doxástica: Es la lógica que trata con los ra
zonamientos acerca de las  creencias.

•  Lógica de primer orden 1.4 Metalógica

•  Lógica de segundo orden
Mientras la lógica se encarga, entre otras cosas, de cons
truir sistemas lógicos, la metalógica se ocupa de estudia
1.2 Lógicas no clásicas las propiedades de dichos sistemas. Las propiedades má
importantes que se pueden demostrar de los sistemas ló
Los sistemas lógicos no clásicos son aquellos que recha- gicos son:
zan uno o varios de los principios de la lógica clásica.
Algunos de estos sistemas son:
1.4.1 Consistencia

•   Lógica difusa: Es una lógica plurivalente que recha-

Un sistema tiene la propiedad de ser consistente cuando
za el principio del tercero excluido y propone un nú-
no es posible deducir una contradicción dentro del siste
mero infinito de valores de verdad.
ma. Es decir,y un
de axiomas, dado un lenguaje
aparato formal
deductivo condeun
(reglas conjunto
inferencia)
• Lógica relevante: Es una lógica paraconsistente que
https://www.academia.edu/9304697/Sistema_formal 2/7
13/2/2020 (1) (PDF) Sistema formal | Emanth Ponce Zelaya - Academia.edu
•   Lógica
relevante: Es una  lógica paraconsistente que
evita el principio de explosión al exigir que para que no es posible llegar a una contradicción.
 Download PDF
un argumento seaBulkválido,
Download  yLibrary
las premisas la conclu-  Share
sión deben compartir al menos una variable propo-
sicional. 1.4.2 Decidibilidad
•   Lógicacuántica: Desarrollada para lidiar con ra-
zonamientos en el campo de la   mecánica cuánti-
ca; su característica más notable es el rechazo de la
propiedad distributiva.
•   Lógicano 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 con-
secuencias de esa teoría se  reduzca.
•   Lógicaintuicionista: Enfatiza las pruebas, en vez de
la verdad, a lo largo de las transformaciones de las
proposiciones.
1.3 Lógicas modales
Las lógicas modales están diseñadas para tratar con ex-
presiones que  califican  la verdad de los juicios. Así por
ejemplo, la expresión «siempre» califica a un juicio ver-
dadero como verdadero en cualquier momento, es decir,
siempre. No es lo mismo decir «está lloviendo» que decir
«siempre está lloviendo».
•  Lógica modal: Trata con las nociones de necesidad,
posibilidad, imposibilidad y contingencia.
•  Lógicadeóntica: Se ocupa de las nociones morales
de obligación y permisibilidad.
•  Lógica temporal: Abarca operadores temporales co-
mo «siempre», «nunca», «antes», «después», etc.
de incompletitud de Gödel  demuestra que ningún siste-
ma (definido recursivamente) con cierto poder expresivo
puede ser a la vez consistente y completo.
2 La matemática como sistema for-
mal
https://www.academia.edu/9304697/Sistema_formal
Se dice de un sistema que es  decidible  cuando, para cual
quier fórmula dada en el lenguaje del sistema, existe un
método efectivo para determinar si esa fórmula pertene
ce o no al conjunto de las verdades del sistema. Cuando
una fórmula no puede ser probada verdadera ni falsa, se
dice que la fórmula es  independiente, y que por lo tanto
el sistema es no decidible . La única manera de incorpora
una fórmula independiente a las verdades del sistema es
postulándola como axioma. Dos ejemplos muy importan
tes de fórmulas independientes son el axioma de elección
en la teoría de conjuntos, y el quinto postulado de la geo
metría euclidiana.
1.4.3 Completitud
Se habla de completitud en varios sentidos, pero quizá
los dos más importantes sean los de completitud semánti
ca y completitud sintáctica. Un sistema S en un lenguaje
L es  semánticamente  completo cuando todas las verdade
lógicas de L son teoremas de S. En cambio, un sistema
S es  sintácticamente  completo si, para toda fórmula A de
lenguaje del sistema, A es un teorema de S o ¬A es un teo
rema de S. Esto es, existe una prueba para cada fórmul
o para su negación. La lógica proposicional y la  lógica de
predicados de primer orden son ambas semánticamente
completas, pero no sintácticamente completas. Por ejem
plo, nótese que en la lógica proposicional, la fórmula  p no
es un teorema, y tampoco lo es su negación, pero como
ninguna de las dos es una verdad lógica, no afectan a la
completitud semántica del sistema. El  segundo teorema
El último postulado entraña el principio de inducción ma
temática e ilustra claramente el alcance de una “verdad”
matemática por convención. Se construye la aritmétic
fundamental sobre esta base, definiendo los diversos nú
meros naturales como el sucesor de cero ( 0‘ ), el sucesor
del sucesor de cero( 0‘‘ ), y así hasta el infinito.
Lenguaje formal
3/7
13/2/2020 (1) (PDF) Sistema formal | Emanth Ponce Zelaya - Academia.edu

La matemática fue considerada por David Hilbert un sis-

 Download
temaPDF
formal ya que Bulk
toda Download ser inter- Los
 Library
la matemática puede símbolos que designan los conceptos primitivos son
Share
pretada a base de símbolos, axiomas y reglas de produc- N, 0 , x′ .
ción. Pero en 1931 Kurt Gödel demostró que la coheren- Axiomas:
cia y la completitud no podían ser ciertos a la vez en las
matemáticas, o al menos en los números enteros. Es lo
que se denomína el teorema de la incompletitud de Gö-
A1  :  N (0)
del. Por otra parte Alonzo Church demostró que la mate-
mática tampoco podía ser decidible, con lo que la idea de
A2  :   ∀x(N (x)  →  N (x′ ))
las matemáticas como sistema formal tal y como Hilbert
pretendía, resultó demolida. A3  :   ¬∃x(N (x)  ∧  0 =  x ′ )
Sin embargo, a pesar de que el llamado programa de Hil- ′ ′
A4  :   ∀x∀y((N (x)  ∧ N (y )  ∧ x =  y )  →  x  =  y )
bert resultó inviable para los fines pretendidos, el enfoque
ha seguido siendo ampliamente usado, a pesar de sus limi-
􀀨 ′
A5  :  φ (0)  ∧ ∀x (φ(x)  →  φ (x ))  → ∀x φ (x)
􀀩
taciones, básicamente porque no se ha encontrado ningu-
na alternativa mejor al enfoque formalista de Hilbert y la 󰀨 􀀨( ( ) 􀀩 󰀩
′ ′
pretensión de trabajar en el seno de teorías matemáticas A5  :   ∀φ φ(0)  ∧ ∀x φ x  →  φ (x ))  → ∀x φ x
( )
explícitamente axiomatizadas, aun con sus limitaciones.
Luego, se establece la definición de suma, que expresa
que la adición de un número natural a otro dado puede
3 El sistema axiomático de Peano considerérsela como la suma repetida de 1; esta última
operación es fácilmente expresable por medio de la rela
ción de sucesor:
El sistema de Peano es un sistema axiomático de segundo
orden a partir del cual puede deducirse toda la aritmética (a)  n  + 0 =  n; (b) n  + k' = (n  + k)'
de los números naturales. Los primitivos de este sistema Pasando ahora a la multiplicación de los números natu
son los términos “0” (cero), “número” y “sucesor”, de los rales, se la puede definir por medio de la siguiente defi-
cuales, por ser primitivos no se da definición alguna. Sin nición por recurrencia, que expresa de manera rigurosa
embargo, se entiende por “0” dicho número, el término que el producto  nk  de dos números naturales puede se
“número” designa a los números naturales 0, 1, 2, 3,... ex- considerado como la suma de k  términos cada uno de lo
clusivamente, y con “sucesor” de un número natural  n  se cuales es igual a  n, en otros términos:
refiere al número natural inmediato siguiente de  n  en el (a)  n  . 0 = 0; (b)  n. k' =  n. k +  n
orden natural. El Sistema de Peano contiene los 5 postu-
lados que siguen:

Lenguaje natural 4 Véase también

•  P1 0 es un número. •  Lógica matemática

•   P2 El sucesor de un número es siempre un número. •   Lenguaje formalizado

•   P3 Dos números nunca tienen el mismo sucesor. •   Noción primitiva

•   P4 0 no es el sucesor de número alguno. •  teoría (lógica)

•   P5Si P es una propiedad tal que (a) cero tiene la

propiedad P, y (b) siempre que un número  n  ten-
ga la propiedad P el sucesor de  n  también tendrá la 5 Referencias
propiedad P, entonces todos los números tendrán la
propiedad P. [1] Encyclopædia Britannica, Formal system definition, 2007

https://www.academia.edu/9304697/Sistema_formal 4/7
13/2/2020 (1) (PDF) Sistema formal | Emanth Ponce Zelaya - Academia.edu

Free Writing
 Download PDF BulkAssistant
Download  Library  Share
Polish your words and sound the best you possibly can. Try DOWNLOAD
Grammarly today

4   5 REFERENCIAS

5.1 Bibliografía

•   Raymond M. Smullyan, 1961.   Theory of Formal 

Systems: Annals
University Press of Mathematics
(April 156 ,pag.
1, 1961)Studies Princeton
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.

5.2 Enlaces externos

•   Wikcionario tiene definiciones y otra informa-
ción sobre formalización.Wikcionario

•   Formal system, definición en la Enciclopedia Britá-

nica, 2007.

•   ChristerBlomqvist,  an introduction to formal sys-

tems, página web 1997.

•   What is a Formal System?: Algunas citas de `Ar-

tificial Intelligence: The Very Idea' (1985) de John
Haugeland, pp. 48–64.

•   Heinrich Herre   Formal Language and systems,

1997.

•   Peter Suber, Formal Systems and Machines: An Iso-

morphism, 1997.

https://www.academia.edu/9304697/Sistema_formal 5/7
13/2/2020 (1) (PDF) Sistema formal | Emanth Ponce Zelaya - Academia.edu

 Download PDF Bulk Download  Library  Share

6 Text and image sources, contributors, and licenses

6.1 Text
•   Sistema formal Fuente:  http://es.wikipedia.org/wiki/Sistema%20formal?oldid=76667067 Colaboradores:  Pilaf, Sanbec, Comae, Meloco
ton, Troodon, Taichi, Rembiapo pohyiete (bot), Maltusnet, Dibujon, Yrbot, YurikBot, MONIMINO 1, J.R.Menzinger, Fer31416, Aljullu
CEM-bot, JMCC1, Dumydam, Davius, JulianMendez, P.o.l.o., Isha, Szvest, Judas Ali-Qu, Lnegro, Raystorm, Kikobot, Atila rey, AV
BOT, Diegusjaimes, Arjuno3, Saloca, Vic Fede, Luis Felipe Schenone, Jkbw, Dreitmen, Jerowiki, KamikazeBot, Waeswaes, EmausBo
ChuispastonBot, MerlIwBot, Acratta, Justincheng12345-bot, Legobot, Addbot y Anónimos: 29

6.2 Images
•   Archivo:Commons-emblem-merge.svg  Fuente:   http://upload.wikimedia.org/wikipedia/commons/8/8b/Commons-emblem-merge.sv
Licencia:  CC-BY-SA-3.0 Colaboradores: 
•   File:Gnome-emblem-important.svg Artista original:  GNOME icon artists,  Fitoschido
•   Archivo:Wiktionary-logo-es.png Fuente:   http://upload.wikimedia.org/wikipedia/commons/0/06/Wiktionary-logo-es.png Licencia:  CC
BY-SA-3.0 Colaboradores:  originally uploaded there by author, self-made by author  Artista original:  es:Usuario:Pybalo

6.3 Content license

•   Creative Commons Attribution-Share Alike 3.0

https://www.academia.edu/9304697/Sistema_formal 6/7
13/2/2020 (1) (PDF) Sistema formal | Emanth Ponce Zelaya - Academia.edu

 Download PDF Bulk Download  Library  Share

About Press Blog People Papers Job Board Advertise  We're Hiring!  Help Center

Terms Privacy Copyright Academia ©2020

https://www.academia.edu/9304697/Sistema_formal 7/7