¿Qué es la lógica? ¿Qué hace que la lógica sea lógica?

Answer 1

Repetiré aquí parte de una de mis respuestas anteriores, pero con más detalles.

Primero, sería interesante distinguir entre “lógica”, la disciplina (escrita con una “L” en mayúscula) y “lógica”, que significa un sistema lógico particular. Se suele decir que la disciplina es la ciencia de la inferencia, el estudio del razonamiento correcto y otras “definiciones” que, de hecho, no cubren eso que entendemos hoy por Logic. Como cualquier otra disciplina, el alcance de la lógica cambia con el tiempo. Pero, para hoy, el lector interesado puede echar un vistazo a la entrada 03-Lógica y Fundamentos de la Clasificación de asignaturas matemáticas, que por cierto está sufriendo una nueva revisión (algunos temas pueden desaparecer, algunas noticias pueden entrar, la disciplina está viva ).

Una lógica, un sistema particular de lógica, como el cálculo proposicional clásico, el sistema de Brouwer-Heyting de la lógica de los intuicionistas, etc., puede verse como un mecanismo de inferencia. Pero recordemos que por * inferencia * no queremos decir solamente inferencia deductiva. También se aceptan razonamientos no monotónicos y otras formas de inferencias no deductivas. De todos modos, el currículum es este: una lógica es una forma de obtener inferencias de las premisas. Pero la forma de hacerlo también cambia. Si comienza con un conjunto de postulados y cambia la definición de “prueba”, cambia la lógica. Entonces, una lógica puede verse como un par ordenado , donde F es un conjunto de objetos llamados * fórmulas * y D es un concepto adecuado de inferencia (ya sea deductivo o inductivo).

En este sentido, los supuestos principios más seguros, el principio de no contradicción, pueden ser violados y no necesitan ser obedecidos en general. Este es el núcleo de las lógicas paraconsistentes . También se pueden cuestionar otros principios “clásicos”, como el principio intermedio excluido (en lógica intuicionista, en lógicas de muchos valores) y el principio de identidad en lógicas no reflexivas (consulte aquí las lógicas no reflexivas). Por supuesto que otros principios * clásicos * como la extensionalidad también pueden ser restringidos.

Por lo tanto, no piensen que hay principios lógicos que deben mantenerse necesariamente. Todos ellos pueden ser cuestionados, puestos entre paréntesis. La utilidad de estos otros sistemas es otra cuestión. Pero, ¿quién había imaginado que la geometría de Riemann podría usarse en la teoría de la relatividad? Como dijo Hilbert Onde, el matemático debe investigar todas las teorías lógicamente posibles. Y la lógica no clásica son, de hecho, posibilidades lógicas.

Answer 2

¿El mundo está centrado en el ser humano o es el mundo más grande que nosotros? ¿Hay una lógica más profunda que la lógica humana? ¿Hay una sabiduría más profunda que la lógica humana? ¿Hay un valor más profundo que el valor egocéntrico?

¿Por qué el mundo se ejecuta principalmente en la lógica? Es interesante que preguntes, hay personas que han preguntado lo mismo sobre:

• Lógica
• Mentes humanas
• Diseño
• Sintonia FINA
• Mates

¿Es la lógica y la racionalidad una propiedad emergente de la suciedad de la tierra? ¿El mundo lo hace lógicamente mágico?

Para tener leyes, como las leyes de la ciencia, generalmente tienes un legislador. Para tener diseño, normalmente tienes un diseñador. Estos son principios que generalmente se sostienen sobre la realidad, la historia y el tiempo.

Answer 3

¿Qué hace la lógica lógica? Lógicamente, es el principio lógico de la no contradicción. El axioma lógico de la no contradicción afirma que una contradicción lógica es cuando algo es tanto cierto como no verdadero al mismo tiempo, en el mismo lugar, en el mismo sentido . Lógicamente, no se puede creer algo así sobre la lógica, ya que sería ilógico, y en la lógica formal se expresa con la fórmula lógica, ~ (P & ~ P).

De ello se deduce (lógicamente) que la lógica no puede ser lógica y no lógica, porque eso sería ilógico. Volando frente a toda la lógica, podríamos hacer una afirmación ilógica de que la lógica no es lógica, excepto cuando es lógica, pero luego seríamos golpeados con un registro. ¡WHAM!

Answer 4

Esa es una pregunta no científica, metafísica. Así que estoy feliz de responder. 🙂

La lógica es una característica inexplicable del universo: nos resulta difícil imaginar un mundo sin sentido en el que la lógica simplemente no existe.

Entonces, para un teísta, explicar la lógica es fácil: es una característica de Dios que Él imbuye en Sus hijos para permitirles saber qué es verdadero y qué es falso, o en otras palabras, cómo usar su conocimiento de las leyes naturales para lograr su objetivos

La mayoría de los ateos explicarán que la lógica es simplemente lo mismo que la existencia en sí misma, ya sea que no necesita ninguna explicación o simplemente es un producto del funcionamiento de la forma en que son las cosas.

Así que personalmente, doy gracias a Dios por la lógica.

Answer 5

Acércate a dos polos iguales de imanes y sentirás un tirón físico. Pero contrariamente a esto, ahora piense en dos afirmaciones contradictorias como “Sr. A ha matado a tres personas “y” Sr. A es una persona inocente “. Mientras piensa en estas dos afirmaciones contradictorias, debe sentirse un imbécil mental. Si lo sentiste, tienes una mente lógica.

Fuente de la lógica es esta identificación de las contradicciones. La lógica es un intento de eliminar “contradicciones” y de traer “consistencias”. La consistencia interna hace lógica la lógica. Ahora considere estas dos declaraciones: “Sr. A es una buena persona y trata a todos muy bien ”. y “Sr. A es una persona inocente “. Ahora estas dos afirmaciones son internamente consistentes y por lo tanto lógicas. Pero todavía no son consistentes con los hechos reales porque el Sr. A en realidad mató a tres personas. Una declaración que sea coherente internamente es lógica, pero que en realidad no es correcta no es una declaración lógicamente “convincente”.

Answer 6

La lógica es considerada una de las tres o cuatro ramas principales de la filosofía.

Es el estudio de cómo hacer argumentos persuasivos y, por lo tanto, comprender racionalmente el mundo.

Los lógicos (personas que estudian la lógica) son conocidos por formular tipos específicos de preguntas como filosofía de los besos. Aquí hay una lista: la respuesta de Nathan Coppedge a ¿Cuáles son algunas preguntas lógicas interesantes?