CAPITULO 7 - Nociones de Logica y Semiotica

LOGICA
- Es una ciencia formal dedicada a las estructuras de razonamiento
- Se ocupa de los razonamiento en un sentido funcional
- Se inscribe en el nivel sintactivo del lenguaje, es decir, estudia las
relaciones que existen entre diferentes oraciones, enunciados o proposiciones.
- Se inscribe en el uso informativo del lenguaje porque trabaja a partir de
proposiciones que son portadores de verdad, es decir, que puede ser verdaderas o
falsas

-Permite determinar si un razonamiento es valido o invalido. La logica busca

determinar si las premisas de un argumento ofrecen apoyo suficiente a la conclusion
en
caso de ser verdades: "Si las premisas fueran verdaderas ¿Deberia tambien ser
verdadera la conclusion?
-Es una disciplina FORMAL porque no se preocupa por la dimension semantica y
pragmatica donde aparecen las proposiciones, sino por la estructura del
razonamiento,
por las reglas que vinculan a las proposiciones

ELEMENTOS DE LOGICA
- Logica proposicional que es la que trabaja con unidades de sentido minimas: Las
proposiciones
- Trabaja con conectivas o constantes logicas cuya funciones es representar el
modo en que las proposiciones se conectan
- Utiliza en mucha cantidades la LOGICA PROPOSICIONAL
- Estos dos elementos se combinan de diferentes maneras en una Inferencia o
Razonamiento

INFERENCIAS Y RAZONAMIENTOS
-La logica se ocupa de los Razonamientos en un sentido funcional, es decir, de la
forma de las premisas y conclusiones y la vinculacion entre ellas
-Un razonamiento es una estructura logica compuesta de proposiciones. Algunas de
ellas funcionaran como PREMISAS Y otra funcionara como CONCLUSION

RAZONAMIENTO VALIDO
- El razonamiento deductivo, conserva la verdad de las premisas, si las premisas
son verdaderas, entonces la conclusion sera, necesariamente verdadera.
- No puede llevar de premisas verdaderas a conclusion falsa.
- Es valido por su forma. Si, ademas, las premisas resultan ser verdaderas, se
trata de un razonamiento Solido.
- Ej: Si los aviones vuelan, entonces son pajaros. Los aviones vuelan, por lo
tanto, los aviones son pajaros.
- "Los aviones vuelan" (p) - "Los aviones son pajaros" (q) - ((p--q).p)--q
(Modus Ponens)
- La validez del razonamiento es independiente de la verdad o falsedad de las
premisas.

PROPOSICIONES
-Dentro de un razonamiento, pueden funcionar como premisas (antecedentes)
-Son portadores de verdad; puede ser verdaderas o falsas
- Estructuras logicas con diferentes niveles de complejidad
- Refieren al contenido declarativo
- Dentro de un razonamiento, pueden funcionar como conclusiones (consecuentes)
- En el calculo proposicional son reemplazadas por las variables proposicionales
que, convencionalmente, se representan por una letra minuscula a partir de la "p"
(p,q,r,s)
- Por ej: "El gato esta sobre la alfombra y observa el gorrion" - "El gato esta
sobre la alfombra"(p), "El gato observa al gorrion" (q) - (esas son las variables
proposicionales)
- Simples o Atomicas
*Indivisibles: no pueden desagregarse sin perder la caracteristic de ser
verdaderas o falsas
*Sinteticas: Para conocer su valor de verdad, se depende de su contrastacion
con el mundo.
-Por ejemplo, "p"
-Compuestas o Moleculares
*Formadas por dos o mas proposiciones enlazadas por una conectiva.
*Su valor de verdad depende del valor de verdad de las proposiciones atomicas
que la componen y del valor de verdad de la conectiva que las une.
-Por ejemplo, "p.q"

CONECTIVAS
-La logica proposicional estudia formas de argumentos construidas a partir de
terminos como "o", "y", "si...entonces".
*Ejemplo: "llovio y la calle esta mojada" Resulta de conectar: "Llovio" (p) -
"La calle esta mojada (q) mediante el termino "y"
-Terminos como "y", "o", "si...entonces" son denominadas CONECTIVAS.
-Conjuncion, Disyuncion inclusiva, Disyuncion exclusiva, Condicional,
Bicondicional, Negacion.
*Conjuncion: Es la que une proposiciones.
Representa terminos como "y", "ademas", "pero", "sin embargo".
Es verdadera si todas las proposiciones son verdaderas. (p.q)
*Disyuncion Inclusiva o fuerte: Expresa alternativas incompatibles o excluyentes (o
bien se da una de las opciones o bien la otra, pero no ambas opciones).
Representa expresiones como "o bien eso, o bien
aquello", "esto o aquello, pero no ambos", etc. Es verdadera si se da solo una de
las alternativas.
Solo una, al menos una. (p w q)
*Condicional o Implicacion logica: Expresa una relacion necesaria entre el
antecedente y el consecuente.
Representa expresiones como
"en consecuencia", "si...entonces", "Por lo tanto", etc.
Solo es falso si el
antecendete es verdaderp y el consecuente es falso. (O: siempre en verdadero, salvo
cuando el antecedente es
verdadero y el consecuente, falso).
*Bicondicional: Expresa la implicacion reciproca entre el antecendete y el
consecuente.
Representa expresiones como "si y solo si"
Es verdadera cuando ambos terminos tienen el mismo valor de
verdad (los dos son verdaderos o los dos son falsos)
*Negacion: Invierte los valores de verdad
Representa expresiones como "no es el caso que", "no", "No es
cierto que"