Logica Simbolica

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 existe entre las palabras y las cosas, y su estudio tiene fundamento empírico: puesto que el lenguaje, idealmente es un reflejo de la realidad, sus signos se vinculan con cosas y hechos.
La lógica simbólica usa una anotaciónmatemá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, correctamente un metalenguaje (leguaje técnico formal) que se emplea para hablar de la lengua como si otro objeto se tratara: la lengua es un objeto de un determinado estudio semántico.
En el libro “notas de lógica aplicadas al derecho” de RicardoEloy Gutiérrez nos habla de que, es aquella cuyos símbolos especiales permiten exponer con mayor claridad las estructuras lógicas de proposiciones y razonamientos cuyas formas pueden referirse a cosas muy diferentes y sin embargo tiene estructuras comunes.
Hablamos de la simbolización del lenguaje lógico. Y que el al simbolizar un lenguaje lo que se persigue es, básicamente, sencillez,claridad y exactitud. Es más sencillo y también resulta más claro y exacto representar las cosas por medio de símbolos. Por ello, la simbolización del lenguaje lógico nos permite examinar más fácilmente las formas del pensamiento y sus leyes, las cuales es preciso seguir si queremos que nuestro pensamiento sea correcto.
Hablamos de la lógica proposicional y se examinan las posibles relaciones entreproposiciones, sin atender a su contenido. En esto es particularmente útil simbolizar las proposiciones con simples literales y las expresiones mediante las cuales son relacionadas (como “Y”, “O”, “SI”, “ENTONCES”), por medio de signos cuyo significado sea constante. De esta manera es más fácil, como se verá más adelante, decidir si, por ejemplo, un razonamiento es correcto o no, lo cual no siempreresulta sencillo como en el siguiente caso:
“Si en la luna hay vida, entonces en la luna hay agua”
“No ocurre que en la luna hay vida”
“luego no es cierto que en la luna hay agua”
Destaca el concepto de conector y letra sentencial.
Las ecuaciones u operaciones que tienen un solo conector y una sola letra sentencial se llaman ATÓMICAS, y las que tienen dos o más conectores o letras sentencialesse llaman MOLECULARES.
Las letras sentenciales representan pensamientos, cualquiera de los cuatro tipos de pensamientos, pueden ser cualquier símbolo que te convenga, pero para efectos didácticos se convino que fueran: “p”, “q”, “r”. “s”. En cuanto a los pensamientos, vamos a utilizar las proposiciones, a efecto de poder realizar un desarrollo comprensible de las leyes, reglas y formas de operary utilizar los conectores o conectivas lógicas y las letras sentenciales.
Así podemos decir que la oración:
Los juzgados son federales, se simboliza: con la letra sentencial “p”.
Esta simbolización es atómica, porque tiene una sola letra sentencial.
Y si por el contrario en la proposición u oración queremos decir que: los juzgados no son federales, se simboliza con la letra sentencial “p” yel símbolo del conector de la negación “-“: quedando representada como “-p”. y también es atómica, porque tiene una sola letra sentencial y un solo conector o conectivo lógico.
Los conectores lógicos que son los que nos permiten relacionar las diferentes letras sentenciales entre sí, de forma que tengan significado intencional son:
Conector | Símbolo | Lectura |
Negación | (-) | no p |Conjunción | (.) | P y q |
Disyunción inclusiva | (v) | P o q |
Disyunción exclusiva | (/=_) | O p o q |
Condicional | () | Si p entonces q |
Bicondicional | (<->) | P si y solo si q |

Con los conectores lógicos y las letras sentenciales, se relacionan pensamientos entre sí, simbolizándolos, estas representaciones se sistematizan para saber su veracidad, concluyéndose lo que se...