II.I.Logica

Es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia valida.
La lógica examina la validez de los argumentos en términos de su estructura, independientemente del contenido específico de los estados reales a los que aquéllos se puedan referir.

Diferentes acepciones del término "lógica"
Incluso hoy en día en las diferentes disciplinas como la lógica de la literatura , etc. distribuidos, la "lógica" no es una teoría del razonamiento que se entiende, sino una doctrina general de "leyes" o las prácticas que se aplican en un campo determinado.

1. Un argumento es una "lógica" coloquialmente sabe si este válida, convincente, convincente, razonable y clara.

2. En un argumento lógico es la habilidad de pensar para expresarlo.

METALOGICA
Mientras la lógica se encarga, entre otras cosas, de construir sistemas lógicos, la metalógica se ocupa de estudiar las propiedades de dichos sistemas.

PROPIEDADES MÁS IMPORTANTES QUE SE PUEDEN DEMOSTRAR DE LOS SISTEMAS LÓGICOS SON:
Consistencia
Un sistema tiene la propiedad de ser consistente cuando no es posible deducir una contradicción dentro del sistema.

Decidibilidad
Se dice de un sistema que es decidible cuando, para cualquier fórmula dada en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.

Completitud
Se habla de completitud en varios sentidos, pero quizás los dos más importantes sean los de completitud semántica y completitud sintáctica. Un sistema S en un lenguaje L es semánticamente completo cuando todas las tautologías de L son teoremas de S.

FALACIA
Una falacia es un argumento que si bien puede ser convincente o persuasivo, no es lógicamente válido. Esto no quiere decir que la conclusión de los argumentos falaces sea falsa, sino que el argumento mismo es malo, no es válido.

CLASIFICACIÓN DE FALACIAS:
Falacias formales
Falacias informales



FALACIAS FORMALES
Algunos ejemplos conocidos de falacias formales son:
Afirmación del consecuente: Un ejemplo de esta falacia podría ser:
– Si María estudia, entonces aprobará el examen.
– María aprobó el examen.
– Por lo tanto, María estudió.
Generalización apresurada: se intenta concluir una proposición general a partir de un número relativamente pequeño de casos particulares. ejemplo:
– Todas las personas altas que conozco son rápidas.
– Por lo tanto, todas las personas altas son rápidas.

FALACIAS INFORMALES
Falacia ad hominem: se llama falacia ad hominem a todo argumento que, en vez de atacar la posición y las afirmaciones del interlocutor, ataca al interlocutor mismo.
Falacia ad verecundiam: se llama falacia ad verecundiam a aquel argumento que apela a la autoridad o al prestigio de alguien o de algo a fin de defender una conclusión, pero sin aportar razones que la justifiquen.
Falacia ad ignorantiam: se llama falacia ad ignorantiam al argumento que defiende la verdad o falsedad de una proposición porque no se ha podido demostrar lo contrario.

Falacia ad baculum: Se llama falacia ad baculum a todo argumento que defiende una proposición basándose en la fuerza o en la amenaza.
Falacia circular: se llama falacia circular a todo argumento que defiende una conclusión que se verifica recíprocamente con la premisa, es decir que justifica la vericidad de la premisa con la de la conclusión y viceversa, cometiendo circularidad.
Falacia del hombre de paja: Sucede cuando, para rebatir los argumentos de un interlocutor, se distorsiona su posición y luego se refuta esa versión modificada. Así, lo que se refuta no es la posición del interlocutor, sino una distinta que en general es más fácil de atacar.
PARADOJA
Una paradoja es una razonamiento en apariencia válido, que parte de premisas en apariencia verdaderas, pero que conduce a una contradicción o a una situación contraria al sentido común.
Los esfuerzos por resolver ciertas paradojas han impulsado desarrollos en la lógica, la filosofía, la matemática y las ciencias en general.
SISTEMA LOGICO
Un sistema lógico se define como un conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo más convenientemente posible.

COMPUESTOS POR:
1.Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
2.Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.
3.Un conjunto de axiomas o esquemas de axiomas.
4.Un conjunto de reglas de inferencia.
5.Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé.

LOGICAS CLASICAS
Se caracterizan por incorporar ciertos principios tradicionales que otras lógicas rechazan.
Se dividen en:
Lógica proposicional. sólo puede representar hechos acerca del mundo
Lógica de primer orden. describe un mundo que consta de objetos y propiedades (o predicados) de esos objetos.

LOGICAS NO CLASICAS
Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de los principios de la lógica clásica
Lógica difusa o borrosa: se basa en lo relativo de lo observado
Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir que para que una implicación sea válida, el antecedente y el consecuente deben compartir al menos una variable.
Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica; su característica más notable es el rechazo de la propiedad distributiva.
Lógica no monotónica: Una lógica no montónica es una lógica donde, al agregar una fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa teoría se reduzca.
Lógica intuicionista: rechaza el principio del tercero excluido, pero conserva principio de explosión.

LOGICAS MODALES
Las lógicas modales están diseñadas para tratar con expresiones que califican la verdad de los juicios.
Por ejemplo, la expresión "siempre" califica a un juicio verdadero.

Lógica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
Lógica deóntica: Se ocupa de las nociones morales de obligación y permisibilidad.
Lógica temporal: Abarca operadores temporales como "siempre", "nunca", "antes", "después", etc.
Lógica epistémica: Es la lógica que formaliza los razonamientos relacionados con el conocimiento.
Lógica doxástica: Es la lógica que trata con los razonamientos acerca de las creencias.
La lógica deductiva: es cuando a partir de un universo sacas conclusiones de un elemento del universo.