Logica

1.1 Definición de Lógica simbólica

La lógica simbólica es un sistema formal que analiza los signos y lo que designan. El positivismo lógico entiende que el significado es la relación que existeentre las palabras y las cosas, y su estudio tiene un fundamento empírico: puesto que el lenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan con cosas y hechos. Ahora bien, lalógica simbólica usa una notación matemática para establecer lo que designan los signos, y lo hace de forma más precisa y clara que la lengua también constituye por sí misma un lenguaje, concretamente unmetalenguaje (lenguaje técnico formal) que se emplea para hablar de la lengua como si de otro objeto se tratara: la lengua es objeto de un determinado estudio semántico. Una de las figuras másdestacadas del Círculo de Viena, el filósofo alemán Rudolf Carnap, realizó su más importante contribución a la semántica filosófica cuando desarrolló la lógica simbólica

1.2 El objeto de estudio de lalógica

La lógica es una ciencia y su objeto de estudio lo constituyen las formas, estructuras o esquemas del pensamiento. Si comparamos los siguientes ejemplos de pensamientos, encontraremos quepueden referirse a cosas muy diferentes (es decir, su contenido es variable), y sin embargo tienen estructuras comunes:
1. 7 es un número primo y 4 es par.
2. La gasolina es inflamable y la potasa escáustica.
3. Venus es un planeta y sirio es una estrella.
4. Marzo tiene 30 días o marzo tiene 31 días.
5. El hombre hace su historia o la historia hace al hombre.
6. 4 es impar o 4 es par.
7. Siel hombre hace su historia, entonces el destino es un mito.
8. Si 4 es par, entonces 4" también es par.
9. Si el tabaco produce cáncer, entonces los cigarros son un medio de Suicidio.
Pese atener diferente contenido, estos ejemplos pueden ser agrupados en tres clases, de acuerdo con las expresiones "Y", "O", "si...entonces", que relacionan entre sí a pensamientos como "4 es impar", a los...