Está en la página 1de 2

1.

Los lenguajes formales


Lenguajes naturales: Se heredan, han sido construidos de manera muy lenta. Una virtud es su versatilidad, permiten expresar una gran variedad de situaciones/circunstancias. Aunque a veces resultan vagos e imprecisos. Lenguajes artificiales: Se construyen, usados como instrumento auxiliar del conocimiento cientfico. Son lenguajes de precisin para referirse con mayor exactitud a objetos analizados por las distintas ciencias. El inters por construir cada vez lenguajes ms exactos lleva al deseo de crear un lenguaje nico en el que no haya imprecisiones. En esta lnea es en la que se encuentra la lgica como lenguaje formal. 1.1. El clculo Esqueleto de un lenguaje formal. Sistema de signos donde se pueden realizar ciertas operaciones. Los signos de un clculo cumplen una serie de reglas de formacin que permiten decidir qu concatenaciones de trminos del lxico son expresiones con sentido dentro del clculo. A las expresiones bien construidas se les llama frmulas bien formadas. Las frmulas bien formadas que se admiten sin demostrar se llaman axiomas. Constituyen la base del clculo a partir del cual se obtendrn otras que se denominan teoremas. Para obtener teoremas a partir de axiomas se establecen las reglas de transformacin. Un clculo que dispone de todos sus elementos es un sistema formal 1.2. Interpretacin de un clculo La principal funcin de los clculos es dar generalidad y precisin a nuestras teoras acerca del mundo. Representar un sistema formal es adjudicar un significado a cada trmino del sistema. Interpretar un sistema formal consiste en asignar a cada frmula bien formada una oracin significativa del lenguaje en el cual se hace la interpretacin. Un sistema que ha sido representado e interpretado es un lenguaje formal. Este tendr una sintaxis y una semntica. El clculo es la sintaxis del lenguaje formal, la interpretacin de ese clculo constituye la semntica de ese lenguaje formal. 1.3. Requisitos exigibles a los lenguajes formales Cuatro son los requisitos semnticos que debe reunir todo lenguaje para garantizar su correccin: Independencia: afecta principalmente a los axiomas, son independientes aquellos que no son demostrables a partir de los dems. Requisito meramente esttico, en caso de que algn axioma no sea independiente se aade a los teoremas. Consistencia: es inconsistente cuando de sus axiomas se pueden extraer consecuencias contradictorias. Se debe evitar a toda costa (hace inservible a ese lenguaje) Completud: es completo cuando todas las verdades son demostrables como teoremas en l. Un lenguaje formal sigue siendo til aunque sea incompleto. Decidibilidad: un sistema formal interpretado es decidible cuando existe un procedimiento finito que nos permite decidir si cualquier frmula bien formulada del sistema es o no deducible en ese sistema. 1.4. Lenguaje y metalenguaje Lenguaje-objeto es la lengua sobre la que se dicen cosas. El metalenguaje es la lengua en la que se dicen esas cosas. 1.5. Uso y mencin Se distingue entre el uso y la mencin de una palabra ponindola entre comillas en el segundo caso.

2. El concepto de lgica
De entre mltiples clculos, algunos pueden ser utilizados para establecer los criterios que distingan los razonamientos vlidos de los no vlidos. Estos son los clculos lgicos. La lgica (ciencia de los principios de la inferencia vlida) es una ciencia formal, para probar o refutar las afirmaciones que se hacen en lgica no es necesario recurrir a informes experimentales. Inferior -> Pasar de unos juicios a otros, las inferencias con poca precisin se llaman deducciones. Verdad Validez 2.1. Los estratos lgicos Existen distintos tipos de inferencias deductivas dependiendo de si la conexin entre las premisas se establece al considerar los enunciados que las integran de forma unitaria: lgica de enunciados. O bien esas relaciones se dan entre los elementos que componen cada uno de los enunciados: El anlisis de cada uno de los enunciados como relacin entre un sujeto y un predicado (anlisis intensional) -> lgica de predicados. Tambin es posible analizar los enunciados concibiendo que en ellos se establece una relacin entre clases de individuos e individuos que pertenecen o no a esas clases (anlisis extensional) -> lgica de clases/teora de conjuntos. Es posible un tercer tipo de anlisis si contemplamos la proposicin desde una perspectiva extensional e intensional de manera simultnea; este es el caso de la lgica de relaciones.

3. Nociones fundamentales de la lgica de enunciados


Lenguaje formal que se emplea para comprobar la validez de las inferencias deductivas en las que se consideran las relaciones existentes entre distintos enunciados tomados en su globalidad. Consta de sintaxis y semntica. 3.1. El concepto de enunciado Una frase es un conjunto de palabras que posee un sentido (completo o incompleto). Una oracin es un tipo de frase con sentido completo. Dentro de estas es posible diferenciar varios tipos, nicamente usaremos las oraciones enunciativas. Los juicios tambin son V o F, pero poseen un componente psicolgico del que adolece tanto la proposicin como el enunciado. La diferencia entre conceptos de enunciado y proposicin es una cuestin de matiz: bsicamente cabe decir que un enunciado constituye la expresin lingstica, ya sea oral o grfica, de una proposicin. Una proposicin ser as el sentido que tienen uno o varios enunciados. 3.2. Tipos de enunciados Enunciados atmicos: aqul que consta de un nico enunciado. Enunciados molecular: aqul que consta de ms de un enunciado atmico. Se emiten al menos dos proposiciones.