- El símbolo es un "elemento sustitutivo" que el ser humano utiliza para referirse a algo que está alejado espacial o temporalmente.
- Estos "elementos sustitutivos" son diferentes del elemento simbolizado.
- Los símbolos son creados artificialmente y pueden tener un significado individual (un objeto que haga recordar a un ser querido) o un significado admitido convencionalmente (las señales de tráfico).
- Los símbolos se transmiten por aprendizaje y permite que los conocimientos sean compartidos por todos.
- Con los símbolos somos capaces de expresarlo todo.
- Ir más allá de lo concreto e inmediato, de lo material, y poder pensar en abstracto.
- Compartir experiencias y conocimientos.
2. LA LÓGICA SIMBÓLICA.
LENGUAJE NATURAL.
Es el lenguaje ordinario, el que utilizamos normalmente para comunicarnos y expresar nuestros sentimientos. Éste tiene algunas dificultades:
- La ambigüedad. Muchas palabras cotidianas son polisémicas (poseen varios significados).
- Las paradojas. A veces el uso correcto del lenguaje nos lleva a caer en contradicciones.
Son lenguajes artificiales como el de las matemáticas o el de la lógica.
- Utiliza símbolos, no palabras.
- Los símbolos se enlazan unos con otros mediante símbolos especiales.
- Tienen reglas para utilizar y operar correctamente con dichos símbolos.
- Prescinde por completo del significado semántico. El razonamiento está correctamente construido. Ésto permite evitar problemas, ambigüedades, ... Y hace que este lenguaje artificial se convierta en modelo de todo lenguaje.
Es la ciencia que estudia las formas generales de nuestro pensamiento, es decir, el razonamiento correcto, que pone en orden nuestros pensamientos y en las palabras que los expresan.
Razonamiento: Es aquel conjunto de enunciados que presenta una serie de afirmaciones o juicios de forma estructurada.
Razonar: Es deducir (acto de la razón mediante el que se obtienen ciertos resultados) una o varias conclusiones (resultado y finalidad del razonamiento) a partir de ciertos datos [premisas (datos obtenidos)] que ya se poseían previamente.
La verdad formal.
- La lógica prescinde del significado semántico del contenido.
- El objetivo de la lógica es averiguar la validez o invalidez de la estructura, el orden y la coherencia de nuestras ideas.
- Verdad material. Los conceptos de verdad y falsedad se aplican sólo a aquellas proposiciones que se refieren a la experiencia real.
- Verdad formal. La lógica se mue
ve exclusivamente en el mundo de las ideas.
LA LÓGICA PROPOSICIONAL.Los enunciados. Es toda proposición con sentido completo susceptible de ser catalogada de verdadera o falsa.
Las variables. Cada una de las frases de un enunciado simbolizadas con letras: p, q, r, s, ...
Las conectivas. Sirven para enlazar las variables.
- Conjunción/conjuntor. ^
- Disyunción/disyuntor. V
- Condicional/implicador. ->
- Bicondicional/coimplicador. <->
- <-> es dominante siempre.
- -> domina a ^ v.
Tabla de verdad de la negación.
Si un enunciado es verdadero, su negación será falsa.
Tabla de verdad de la conjunción.
Sólo es verdadera cuando los dos enunciados son verdaderos.
Tabla de verdad de la disyunción.
Sólo es falsa cuando los dos enunciados son falsos.
Tabla de verdad del condicional.
Sólo es falso cuando el primer enunciado es verdadero y el segundo es falso.
Tabla de verdad del bicondicional.
Sólo es verdadero cuando los dos enunciados son verdaderos o los dos falsos.
Interpretación de una tabla de verdad.
Tautología. Siempre verdadera.
Contradicción. Siempre falso.
Indeterminación. Puede ser verdadero o falso.
En la página que indico a continuación hay varios ejercicios para practicar la formalización de enunciados y la realización de tablas de verdad.
http://auladefilosofia.net/2008/10/25/ejercicios-resueltos-de-tablas-de-verdad-y-formalizacion/
Al teclado, lacasito! :)
