LGICA FORMAL I

La forma lgica
Entendemos por forma el cdigo en que se transmiten los mensajes que comunican
informacin; esa informacin es el contenido del mensaje.
La forma puede ser esttica, aprovechando la polisemia o ambigedad del lenguaje para
expresar valores e ideales que deben realizarse en un futuro incierto: la forma esttica se
basa en la metfora y la metonimia, figuras poticas que representan los mecanismos del
inconsciente, desplazamiento y condensacin.
La forma lgica en cambio representa el cdigo del lenguaje consciente que utilizamos
en el razonamiento; es decir, el lenguaje que representa el mundo natural en el que
vivimos conscientemente y que se nos ofrece a travs de la experiencia colectiva de la
humanidad.
Segn la teora generativo-transformacional de Noam Chomski, todas las lenguas tienen
una estructura gramatical idntica, que est fundada en los universales lingsticos. La
lgica pretende captar esas estructuras bsicas del lenguaje, que forman la esencia del
razonamiento humano.
El lenguaje bien hecho
El lenguaje cotidiano es muy ambiguo mezcla la forma esttica y la forma lgica-, de
ah su riqueza y flexibilidad; pero no sirve para construir la ciencia, que necesita un
lenguaje claro y preciso. La lgica pretende crear un cdigo de comunicacin, que evite
los equvocos y la prdida de informacin producida en la transmisin de conocimiento.
La lgica formal es una ciencia fundada a principios del s.XX por Whitehead y Russell,
que escribieron Principia mathematica publicado en 1900. Hizo posible la computacin
y la informtica, a partir de las propiedades lgicas de los circuitos elctricos.

Semitica
El lenguaje es el principal instrumento de la comunicacin humana; utiliza signos para
nombrar los hechos: las palabras son signos lingsticos; estn compuestas por fonemas.
Semitica. Es el estudio de los signos. Se divide en tres partes:
Sintaxis: estudia cmo se relacionan los signos entre s, el cdigo lingstico.
Semntica: estudia la relacin de los signos con los objetos que significan.
Pragmtica: estudia cmo el contexto determina el significado de los signos.
La lgica formal parte de la sintaxis gramatical del lenguaje, apoyndose en la
semntica. La lgica informal estudia los argumentos que se emplean en la
comunicacin para expresar razones o convencer a los que participan del dilogo; por
tanto la lgica informal parte del contexto de emisin de un mensaje, la pragmtica.
La referencia es la relacin de un signo con su significado. Un signo es polvoco cuando
su referencia es mltiple, significa varias cosas a la vez. Es unvoco cuando su
referencia est bien establecida. Para construir signos unvocos utilizamos la definicin.

La definicin puede ser intensa, cuando establecemos las caractersticas esenciales de

un objeto. Por ejemplo, Aristteles deca que la definicin consista en exponer el
gnero prximo y la diferencia especfica (la definicin de las especies vivas).
La definicin es extensa cuando se nombran y enumeran todos los objetos que caen bajo
un concepto (ejemplo, la definicin de un conjunto mediante el diagrama de Venn)

Lgica de enunciados.
Un enunciado o proposicin es una oracin que representa un hecho.
Formalizacin: simbolizamos un enunciado por una letra minscula a partir de la p, q, r,
Por tanto una frmula simple de nuestro sistema lgico es una letra.
Los enunciados se relacionan entre s a travs de las conjunciones, que en el sistema
lgico se llaman conectores.
Los conectores son signos que simbolizan conjunciones; se llaman didicos cuando
relacionan dos letras; los conectores didicos ms importantes son:
Conjuncin representa la conjuncin copulativa y y sus equivalentes.
Disyuncin representa la conjuncin disyuntiva o y sus equivalentes.
Condicional representa la conjuncin condicional si entonces y sus equivalentes.
Bicondicional representa la equivalencia como la conjuncin si y solamente si
El condicional se llama tambin implicacin y representa la relacin causal entre los
hechos de experiencia. El hecho que expresa la condicin si se llama causa y se
representa delante de la flecha; es el antecedente; el hecho que aparece con la
conjuncin entonces se llama efecto y se representa despus de la flecha; es el
consecuente. El bicondicional se llama tambin coimplicacin y equivalencia.
Tambin hay un conector mondico que se aplica a un solo enunciado; es la negacin ,
se representa delante de la letra mediante una raya delante con un trazo vertical. Se
llama frmula compuesta a la combinacin de letras y conectores.
Formalizar el lenguaje consiste en transformar las oraciones en frmulas lgicas. Para
formalizar se utilizan tambin signos de puntuacin: los parntesis. Utilizamos los
parntesis para saber de qu manera los conectores unen a los enunciados.
No es lo mismo decir si llueve y hace sol, entonces sale el arco iris que si llueve,
entonces hace sol y sale el arco iris.
El sistema axiomtico
La lgica de enunciados tiene dos aspectos:
1. el sistema axiomtico es un conjunto de frmulas lgicas relacionadas entre s
por reglas de deduccin. Se dividen en dos clases:
a) los axiomas no son demostrables, pero sirven de fundamento a toda
demostracin (en la lgica clsica de Aristteles los axiomas son
verdaderos porque son evidentes, y haba tres axiomas fundamentales:
identidad, no contradiccin y tercero excluido);
b) los teoremas se obtienen a partir de los axiomas por deduccin: podemos
deducir los teoremas a partir de los axiomas utilizando ciertas reglas
lgicas (la verdad de los teoremas deriva de la verdad de los axiomas).
Ejemplo clsico de sistema axiomtico es la Geometra de Euclides.

2. las reglas de la deduccin natural son un conjunto de frmulas que nos permiten
sacar conclusiones a partir de otros enunciados llamados premisas. Demostrar un
argumento es exponer cmo se deduce una conclusin a partir de las condiciones
dadas por las premisas.

Verdad y validez
Un enunciado es verdadero cuando representa adecuadamente la realidad que
observamos mediante los sentidos. La verdad es una propiedad de la referencia, por
tanto es semntica.
La validez es una propiedad sintctica de los signos del lenguaje. Se llama una frmula
bien formada cuando est bien construida sintcticamente.
Un razonamiento es vlido cuando est bien construido desde el punto de vista lgico,
lo que significa que puede obtenerse con las reglas de la deduccin natural.
Una lgica bivalente es aquella en la que un enunciado simple tiene dos valores de
verdad (verdadero y falso). El valor de verdad de un enunciado compuesto depende del
valor de verdad de los enunciados simples y de las conectores que los unen.
Una lgica trivalente tiene tres valores de verdad (verdadero, falso e indeterminado).
Puede haber lgicas con ms valores de verdad.

La tabla de verdad es un algoritmo que sirve para establecer los valores de verdad de un
enunciado compuesto a partir de los valores de los enunciados simples. Para ello hay
que estudiar cmo los conectores modifican el valor de los enunciados compuestos.
-la negacin invierte el valor de verdad de un enunciado
-la conjuncin es verdadera slo cuando los dos enunciados son verdaderos
-la disyuncin es falsa slo cuando los dos enunciados son falsos
-la implicacin es falsa slo cuando el antecedente es verdadero y el consecuente falso.
-la bicondicional o equivalencia es verdadera cuando los valores de los enunciados son
iguales y falsa cuando los valores son distintos.

Tipos de enunciados
Un enunciado se llama tautologa cuando todos sus valores son verdaderos.
Una tautologa representa un razonamiento vlido o correcto.
Por tanto, el sistema axiomtico es un conjunto de tautologas.
Se llama contradiccin cuando todos los valores de un enunciado son falsos: en lgica
bivalente se entiende que la contradiccin es siempre falsa.
Un enunciado es indeterminado cuando en su tabla de verdad tiene al mismo tiempo
valores de verdadero y falso.
Los enunciados indeterminados representan la realidad del mundo sensible y son
posibles pertenecen a la categora modal de posibilidad o contingencia-.
Las tautologas representan los razonamientos correctos y son necesarios -categora
modal de necesidad-.

Las contradicciones representan las situaciones imposibles categora modal de

imposibilidad-.
Tambin puede construirse una lgica trivalente en la que las contradicciones no sean
completamente falsas o en la que no se utilice el axioma de tercero excluido; en este
tipo de lgica la contingencia no equivale a la posibilidad que viene dada por la
indeterminacin y no por la combinacin de valores que es la contingencia-.