LÓGICA.

*       Lógica proposicional o lógica de enunciados.

1.     Los signos: todo aquello que representa o evoca otra cosa distinta de si misma para alguien. Podemos dividirlos en señales (poseen un solo significado) y símbolos (poseen múltiples significados). En base a su significado, se clasifican en:

·       Vestigios o índices: relación signo-significado natural. El humo es vestigio del fuego.

·       Imagénes: relación signo-significado de parecido o semejanza. Ejemplo: alguna señal de tráfico.

·       Símbolos: relación signo-significado arbitraria o convencional. Ejemplo: los números o las 

      banderas.

-       Ciencia que estudia los signos: SEMIÓTICA. Se divide en tres partes (tres maneras de diferenciar los signos):

                                    I.          Sintaxis: estudia las relaciones existentes entre los signos sin tener en cuenta su significado (gramática).

                                  II.          Semántica: estudia los signos teniendo en cuenta la relación que tienen con su significado (diccionarios y etimologías).

                                III.          Pragmática: estudia los signos y su relación con las personas que los utilizan (jergas o argots profesionales).

2.     Comunicación y lenguaje

•       Comunicación: fenómenos natural basado en la capacidad que poseen todas las especies animales de transmitirse mediante signos de muy diverso tipo. El lenguaje humano es un “metalenguaje”, lenguaje que utilizamos para hablar de si mismo o de otro lenguaje.

       Lenguaje natural

      Conjunto de símbolos utilizado por una sociedad para comunicarse. Lo aprendemos socialmente, no es innato.

3.1. El lenguaje natural humano consta de vocabulario y sintaxis, las cuales determinan la formación correcta de oraciones en ese lenguaje.

3.2. Una oración es una expresión lingüística sintácticamente correcta y que posee sentido completo.

3.3. Un enunciado es una oración que puede ser verdadera o falsa.

3.4. El lenguaje natural tiene unas insuficiencias que son consecuencia de:

Ø  Imprecisiones semánticas:palabras y expresiones cuyo significado no es preciso.

Ø  Deficiencias sintácticas: las reglas sintácticas que determinan como combinar correctamente las palabras del lenguaje natural carecen de criterios rigurosos que permitan evitar las oraciones sin sentido.

4.     Lenguaje artificial

    Lenguaje bien definido que posee una estructura operativa eficaz, y que pretende evitar las insuficiencias del lenguaje natural.

4.1.Los elementos que lo forman son los mismos que los de cualquier otro lenguaje, pero además exije:

a)     Signos o simbolos definidos, sin ambigüedades.

b)     Impedimento por parte de las reglas para la formación de expresiones de construcción de expresiones carentes de sentido.

c)     Conjunto de reglas operativas o de transformación de expresiones.

5.     Lenguaje formal: 

       Lenguaje artificial cuyos simbolos son formales (no se refieren a la realidad) y cuyas reglas sintácticas poseen la operatividad y la eficacia de un calculo (mediante tales reglas siempre podremos saber si una formula es una expresión bien formada del lenguaje y mediante la aplicación de las reglas podremos deducir expresiones bien formadas del lenguaje).

6.     La lógica como lenguaje formal.

o   Lógica: aquella teorización o reflexión sistematica que estudia las condiciones o leyes que debe cumplir todo razonamiento para ser formalmente válido.

6.1. Razonamiento: proceso mental que se caracteriza porque en él se produce el paso de un enunciado a otro que se deriva, deduce o infiere a él.

6.2. Un razonamiento es válido cuando existe una conexión entre sus afirmaciones tal que la conclusión se deduce necesariamente de las premisas.

Lógica proposicional o lógica de enunciados: 

Apartado mas elemental (es el mas sencillo) y básico de la lógica. Se ocupa de estudiar la validez formal de los razonamientos tomando en bloque las proposiciones que los forman.

      *  Una proposición es simple si no puede descomponerse en partes que a su vez sean proposiciones (proposición atómica).
*       Una proposición es compleja si está compuesta por proposiciones simples unidas.

7.1. Símbolos de la lógica proposicional:

a)     Variables proposicionales: letras minúsculas del alfabeto a partir de la p. Se utilizan para simbolizar cualquier proposición del lenguaje natural.

b)     Símbolos auxiliares: paréntesis, corchetes y llaves para agrupar ordenadamente las proposiciones.

c)     Conectivas o constantes lógicas: aquellos símbolos que sirven para unir las proposiciones entre sí.

                                               I.          Negador (¬): aquella conectiva que al aplicarse a una proposición cualquiera, sea simple o compleja, la convierte en falsa si es verdadera y en verdadera si es falsa.

                                             II.          Conjuntor (^): aquella conectiva que sólo es verdadera silas dos proposiciones que une son ambas verdaderas, y que es falsa en los demás casos.

                                           III.          Disyuntor (v): aquella conectiva que solo es falsa si las dos proposiciones que une son ambas falsas, y verdadera en los demás casos.

                                          IV.          Condicional (à): aquella conectiva que solo es falsa cuando, siendo el antecedente verdadero, el consecuente sea falso, y verdadera en los demás casos. Llamamos “antecedente” del condicional a la proposición que se halla a su izquierda, y “consecuente” a la que está a su derecha.

                                            V.          Bicondicional (↔): aquella conectiva que solo es verdadera si las dos proposiciones unidas por ella tienen ambas el mismo valor de verdad, es decir, son ambas verdaderas o falsas a la vez. 

GERARDA.