LOGICA

INTRODUCCIÓN:

El lenguaje nos proporciona las herramientas mentales, la habilidad para dar razones de lo que sabemos. En la experiencia diaria, esperamos que las personas tengan razones para lo que dicen o hacen; es decir buscamos un principio de racionalidad una lógica. Lo que parece una buena razón, puede variar de acuerdo con las circunstancias y costumbres. La lógica en cambio, busca tipos particulares de demostraciones racionales que fundamenten las conclusiones y respalden nuestra ciencia y conocimiento en general.

Durante este trabajo de investigación vamos a empezar a definir ¿qué es la lógica?

La lógica es una ciencia formal que estudia la estructura o formas del pensamiento humano (como proposiciones, conceptos y razonamientos) para establecer leyes y principios válidos para obtener criterios de verdad. Como adjetivo, 'lógico' o 'lógica' significa que algo sigue las reglas de la lógica y de la razón. Indica también una consecuencia esperable natural o normal. Se utilizar también para referirse al llamado 'sentido común'. Procede del latín logĭca, y a su vez del griego λογική (logike, 'que posee razón, 'intelectual', 'dialéctico', 'argumentativo'), que a su vez deriva de la palabra λόγος (logos, 'palabra', 'pensamiento', 'razón', 'idea','argumento').

Pero esta ciencia se deriva en varias ramas una de esas es la lógica formal de la cual se hara un a breve descripción a cerca de ella .

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.

Lógica formal

La lógica formal no permitía comprobar si un argumento de los que usamos en cualquier tipo de comunicación era válido o no. Y también sabemos que usar argumentos válidos en su forma no es suficiente para que una comunicación tenga éxito o sea correcta. Un argumento puede ser formalmente válido a pesar de que algunas de las premisas y la conclusión sean falsas y, cuando ocurre que son falsas, el argumento deja de ser convincente para quienes lo usan.

También normalmente usamos argumentos que no son formalmente válidos pero que los consideramos correctos. Se suele llamar argumentación correcta a los argumentos en los que la conclusión está apoyada en sus premisas.

La lógica informal, que suelen llamarla lógica de las buenas razones estudia las condiciones que deben cumplir los argumentos para ser correctos.

El diálogo argumentativo es un juego de palabras en el que varias personas se comunican respetando ciertas reglas para cooperar juntos a que se alcance el objetivo del diálogo.

Reglas de la argumentación:

Principio cooperativo: Contribuye a la conversación como lo exige el propósito o la dirección que se sostenga. Este principio implica varias obligaciones:

− lleva el peso de la prueba cuando te corresponda.

− no hacer que el interlocutor lleve el peso de la prueba cuando no le corresponda

− no utilizar premisas no admitidas por los demás interlocutores, en el caso que estés persiguiendo que una conclusión sea admitida por todos.

− define el significado de los términos que utilices siempre que te lo pida

-No intentes finalizar el dialogo antes de tiempo.

LÓGICA PROPOSICIONAL

El lenguaje de la lógica proposicional

Proposiciones atómicas y proposiciones moleculares

La lógica proposicional trata sobre la verdad o la falsedad de las

proposiciones y de cómo la verdad se transmite de unas proposiciones

(premisas) a otras (conclusión). Una proposición es la unidad mínima de

significado susceptible de ser verdadera o falsa.

Una palabra aislada, por sí misma, no nos dice nada. La palabra ‘perro’

tiene una referencia, pero no nos da ninguna información si no es en el contexto

de una proposición como ‘El perro está haciendo cosas raras’. Por ello una palabra, a menos que constituya una proposición, no es verdadera o falsa. Sólo

tienen valor de verdad las proposiciones.

Debemos distinguir dos tipos de proposiciones: las proposiciones

atómicas y las proposiciones moleculares. Las proposiciones atómicas son

aquéllas que no se componen de otras proposiciones. La proposición

Todos los hombres son mortales

es una proposición atómica porque ninguno de sus elementos componentes es

una proposición. Como podemos observar, una proposición atómica es

verdadera o falsa, y su verdad o falsedad no depende de otras proposiciones,

sino de cómo es la realidad. Si hubiera algún hombre inmortal, la proposición del

ejemplo sería falsa.

Las proposiciones moleculares son aquéllas que están compuestas por

proposiciones atómicas. Un ejemplo de proposición molecular sería:

Voy a comprar pan y a tomar un café

La proposición del ejemplo es molecular porque se compone de dos

proposiciones atómicas:

Voy a comprar pan

Voy a tomar un café

Estas dos proposiciones atómicas están conectadas mediante la partícula

‘y’. Una proposición molecular será verdadera o falsa, pero a diferencia de lo que

ocurre con las proposiciones atómicas, su verdad o falsedad no depende

directamente de la realidad, sino que depende o es función de la verdad o

falsedad de las proposiciones atómicas que la componen. Esto significa que si

quiero saber si es verdadero o falso que voy a comprar pan y a tomar un café, es

necesario que conozca la verdad o falsedad de ‘voy a comprar pan’ y de ‘voy a

tomar un café’ por separado.

1.1.2 Conectivas lógicas

Las proposiciones atómicas pueden combinarse de diferentes formas

para dar lugar a proposiciones moleculares. Los elementos que sirven para

conectar las proposiciones

...