Lógica y Preposiciones

Lógica.

El diccionario de la Real Academia Española define “lógica” cómo: la ciencia que expone las leyes, modos y formas del conocimiento científico.
Y de ésta, se pueden plantear tres tipos de lógica.

Borrosa o difusa: La que admite una cierta incertidumbre entre la verdad o falsedad de sus proposiciones, a semejanza del raciocinio humano.
Formal o matemática: La que opera utilizandoun lenguaje simbólico artificial y haciendo abstracción de los contenidos.
Natural: Disposición natural para discurrir con acierto sin el auxilio de la ciencia.

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. Lainferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática,en vez de una ciencia empírica.
La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que hapermitido su aplicación a la informática.

En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico», aporta también un sentido alrededor de un «pensamiento lateral» comparado, haciendo los contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una teoría de la ciencia, o simplemente con las creencias o evidencias transmitidas por la tradición cultural.Del mismo modo existe el concepto sociológico y cultural de lógica como, «la lógica de las mujeres», «lógica deportiva», etc. que, en general, podríamos considerar como «lógica cotidiana» - también conocida como «lógica del sentido común».
En estas áreas la «lógica» suele tener una referencia lingüística en la pragmática.
Un argumento en este sentido tiene su «lógica» cuando resulta convincente,razonable y claro; en definitiva cuando cumple una función de eficacia. La habilidad de pensar y expresar un argumento así corresponde a la retórica, cuya relación con la verdad es una relación probable.

Se aplica en:

Lógicas clásicas
Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicasrechazan. Algunos de estos principios son: el principio del tercero excluido, el principio de no contradicción, el principio de explosión y la monoticidad de la implicación. Entre los sistemas lógicos clásicos se encuentran:
Lógica proposicional.
Lógica de primer orden.
Lógica de segundo orden.

Lógicas no clásicas
Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios delos principios de la lógica clásica. Algunos de estos sistemas son:
Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.
Lógica relevante: Es una lógica para consistente que evita el principio de explosión al exigir que para que un argumento sea válido, las premisas y la conclusión deben compartir al menos unavariable proposicional.
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 monotó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...