Está en la página 1de 6

LOGICA FORMAL

*La Lgica fue una de las ramas tradicionales de la Filosofa


*durante siglos, se consider en Occidente que la Lgica Silogstica de
Aristteles era el paradigma definitivo de esta ciencia, aceptada como un
cuerpo de conocimiento acabado.
*Sus obras fueron agrupadas en un conjunto que se denomin Organon.
*La Lgica Aristotlica parte del supuesto de que las formas de
pensamiento reproducen la realidad; se ocupa de los conceptos y de las
categoras del pensamiento completndose con el anlisis de los juicios y
de las formas de razonamiento centrndose en las formas de demostracin
adecuadas al conocimiento cientfico.
TIPOS DE LENGUAJES: NATURAL Y ARTIFICIAL
*Suele llamarse lenguaje natural al que utilizamos los seres humanos para
comunicarnos y expresarnos
*artificial indicando que este tipo de lenguaje se ha conformado sin el
diseo ni la prescripcin de ninguna disciplina. debido a la naturaleza vaga
y equvoca de las palabras usadas.
*LENGUAJE ARTIFICIAL Es un lenguaje diseado y aplicado adrede a
diferentes fenmenos o aspectos de la realidad con el propsito de lograr
mayor precisin y rigurosidad
*puede dividirse en dos subtipos de lenguaje: el lenguaje tcnico y el
simblico.
*El primero de ellos consiste en todas las jergas que se utilizan en las
diferentes profesiones y oficios.
*El lenguaje formal o simblico, en cambio, consiste en la utilizacin de
smbolos, que guardan cierta autonoma con las expresiones del lenguaje
natural.
}}no hay vaguedades ni ambigedades ya que se constituye a nivel
sintctico.
*La rama de la Lgica que opera con smbolos vacos de contenido se
denomina, obviamente, Lgica Simblica.

2.2Lenguaje formal y simblico


Las ventajas del lenguaje formal nos permiten operar con mayor precisin
con los razonamientos y proposiciones que la pesadez del lenguaje natural
obstaculizara.
los enunciados del lenguaje natural pueden ser expresados con
bastante similitud a partir de cinco smbolos bsicos que nos
permitiran hacer razonamientos simples

Enunciados atmicos
Los enunciados atmicos seran esos elementos simples, que consistira en
algn nombre (no necesariamente un nombre propio) , por ejemplo miedo
lo que convierte a estas expresiones en enunciados es que pueden ser
verdaderos o falsos

Conectivas
dos enunciados atmicos estn conectados dando origen a lo que
llamaramos un enunciado complejo
Las conectivas son smbolos lgicos que reemplazan a trminos del
lenguaje natural con los que formamos enunciados compuestos a partir de
enunciados simples.
*l lenguaje formal es un lenguaje veritativo-funcional, esto significa que
la verdad o falsedad de los enunciados compuestos dependen de la verdad
o la falsedad de los enunciados atmicos.
a) Conjuncin
En tanto a la verdad y falsedad de este ltimo enunciado diremos podemos
pensar que hay cuatro casos posibles, y el valor de verdad de la conjuncin
en cada uno de ellos, pueden exponerse de la siguiente forma:
si P es verdadero y Q es verdadero, PQ es verdadero;

(si tengo fro y tengo miedo, es verdad que tengo fro y miedo)
si P es verdadero y Q es falso, PQ es falso ;
(si tengo fro y no tengo miedo, es falso que tengo fro y miedo)
si P es falso y Q es verdadero, PQ es falso ;
(si no tengo fro y tengo miedo, es falso que tengo fro y miedo)
si P es falso y Q es falso, P Q es falso.
(si no tengo ni fro ni miedo, es falso que tengo fro y miedo)
b) Disyuncin ()
Siguiendo con nuestros ejemplos podramos decir que estos enunciados
anteriores no son igual que otros enunciado donde en lugar de una
conjuncin uniramos los enunciados atmicos con una conectiva diferente
en donde en lugar de equivaler a una y equivaliera a una o.
La disyuncin de dos enunciados se forma en castellano insertando la
palabra 'o' entre ellos. Los dos enunciados constituyentes combinados de
este modo son llamados los disyuntos
Una disyuncin inclusiva es verdadera si uno de los disyuntos o ambos son
verdaderos; solamente en caso de que sean ambos falsos ser falsa la
disyuncin inclusiva.
En Lgica Formal generalmente se entiende la disyuncin en sentido
inclusivo, es decir uno u otro, o ambos. Por lo tanto interpretamos la
disyuncin inclusiva de dos enunciados en el sentido de que afirma la
verdad de al menos uno de los enunciados.
Al igual que en la conjuncin, hay cuatro casos posibles, y el valor de
verdad de la disyuncin tambin depender de los enunciados atmicos:
Si P es verdadero y Q es verdadero, P Q es verdadero
(si tengo fro y tengo miedo, es verdad que tengo fro o miedo)
Si P es verdadero y Q es falso, P Q es verdadero
(si tengo fro y no tengo miedo, es verdad que tengo fro o miedo)
Si P es falso y Q es verdadero, P Q es verdadero
(si no tengo fro y tengo miedo, es verdadero que tengo fro o miedo)
Si P es falso y Q es falso, P Q es falso.
(si no tengo ni fro ni miedo, es falso que o bien tengo fro o bien tengo
miedo)
c) Negacin ()

La negacin de un enunciado se forma a menudo en castellano insertando


un no en el enunciado original. Tambin es posible expresar la negacin
de un enunciado en castellano anteponindole la frase es falso que o no
se da el caso de que.
La negacin de todo enunciado verdadero es falsa y la negacin de todo
enunciado falso es verdadera.
Si P es verdadero, P es falso
(si tengo fro, no es verdad que no tengo fro)
Si P es falso, P es verdadero;
(si es falso que tengo fro, es verdad que no tengo fro)

d) Condicional ()
nos permite incorporar la idea de implicancia que aparece en nuestro
lenguaje cotidiano.
Cabe aclarar que lo que afirma un enunciado condicional es que su
antecedente implica su consecuente. No afirma que su antecedente sea
verdadero, sino solamente que si el antecedente es verdadero, entonces su
consecuente tambin es verdadero. Tampoco afirma que el consecuente
sea verdadero, sino solamente que su consecuente es verdadero si el
antecedente lo es. El significado esencial de un condicional reside en la
relacin de implicacin que se afirma entre el antecedente y el
consecuente, en este orden.
Lo que importa es la relacin condicional de los enunciados, no los
enunciados en s mismos.
un enunciado condicional slo es falso si el antecedente es verdadero y el
consecuente es falso. En cualquier otra circunstancia es verdadero.
Si P es verdadero y Q es verdadero, P Q es verdadero
(si es verdad que tengo fro y es verdad que tengo miedo; es verdad que si
tengo fro, entonces tengo miedo)
Si P es verdadero y Q es falso, P Q es falso
(si es verdad que tengo fro pero es falso que tengo miedo; es falso que si
tengo fro entonces tengo miedo)
Si P es falso y Q es verdadero, P Q es verdadero
(si es falso que tengo fro pero es verdadero que tengo miedo; es verdadero
que si tengo fro entonces tengo miedo)
Si P es falso y Q es falso, P Q es verdadero
(si es falso que tengo fro y es falso que tengo miedo; es verdadero que si
tengo fro entonces tengo miedo).

d) Bicondicional ()
Si P es verdadero y Q es falso, P Q es falso
(si es verdad que tengo fro pero es falso que tengo miedo; es falso que si
y slo si tengo fro entonces tengo miedo)
Si P es falso y Q es verdadero, P Q es falso
(si es falso que tengo fro pero es verdadero que tengo miedo; es falso que
si y slo si tengo fro entonces tengo miedo)
Si P es falso y Q es falso, P Q es verdadero
(si es falso que tengo fro y es falso que tengo miedo; es verdadero que si
tengo fro entonces tengo miedo).
De esta manera, si elaboramos la representacin de los valores de verdad
de un condicional en la tabla de verdad correspondiente podemos ver ms
claramente como el nico caso en el que sera falso y si el antecedente es
verdadero y el consecuente es falso.

2.2.6 -Estados de verdad


La frmula para calcular la cantidad combinaciones posibles entre los
valores de verdad es la siguiente: 2n (donde n es la cantidad de enunciados
atmicos que conformen el enunciado complejo).
una conjuncin slo es verdadera si todos los enunciados que la conforman
son verdaderos, por lo tanto slo en la primera fila en la que P, Q y R son
verdaderas el enunciado complejo (que en este caso en una conjuncin) es
verdadero.

2.2.7 -Razonamientos y validez


Diremos que un razonamiento es una serie de enunciados que tienen una
relacin lgica entre s, en donde algunos de estos enunciados son
premisas y otras conclusiones.
Cuando los razonamientos son deductivos pueden ser vlidos o invlidos,
segn sea la forma de ese razonamiento deductivo.
Diremos que es vlida la forma de un razonamiento cuando no admita
ningn razonamiento que tenga premisas verdaderas y conclusin falsa.
Como un razonamiento deductivo es aquel del cual a partir de las premisas
se saca una conclusin basada necesariamente en ellas, si las premisas son
verdaderas la conclusin lo ser tambin.

No puede haber razonamiento deductivo vlido en el que partiendo de


premisas verdaderas se llegue a una conclusin falsa.
Tomemos los siguientes ejemplos:
Todos los argentinos son latinoamericanos.
Todos los mendocinos son argentinos.
Todos los mendocinos son latinoamericanos
un razonamiento vlido es el nico que garantiza que si hay premisas
verdaderas habr necesariamente conclusin verdadera.
No debemos confundir validez con verdad.
Los enunciados (premisas o conclusin) pueden ser verdaderos o falsos,
pero los razonamientos pueden ser vlidos o invlidos segn su forma.
Un razonamiento es vlido si la conclusin se sigue de las premisas.

Consideraciones finales
La Lgica es una disciplina que estudia los principios y los mtodos que
debemos usar para que nuestros razonamientos sean correctos.
nuestros razonamientos siempre persiguen algn fin u objetivo como
alcanzar algn grado de certeza sobre nuestras acciones, convencer a otros
de nuestras creencias o darle cierta coherencia a nuestro discurso.
El pensamiento lgico es aquella forma de pensar en donde se deslegitiman
todos los intereses, sean polticos, morales, estticos o metafsicos para
darle exclusividad al criterio de la correccin del razonamiento.
**La parte de la Lgica que estudia los argumentos tal como se presentan
en nuestra vida cotidiana se llama Lgica Informal
**aquella que estudia, en cambio, las formas abstractas de los
razonamientos para lograr mayor precisin se llama Lgica Formal