¿Qué es la ‘lógica exacta’?

Answer 1

La lógica exacta es la lógica sujeta a un alto grado de rigor lógico. Se puede usar para invocar que se está utilizando un sistema superior, o al menos se está buscando.

En la práctica, la cuestión de un sistema superior es eludida por aplicaciones específicas o prácticas que imponen restricciones a los tipos de sistemas posibles.

La lógica exacta termina siendo una rama de la semántica que a su vez se ramifica en lógicas ‘inspiradas / arcaicas’, ‘que adoptan supuestos / convencionales’ y ‘estándares originales / avanzados’.

Tenga en cuenta que todo esto es sólo dentro de mi sistema. Otros pueden tener otras interpretaciones y formas de hacerlo no semántico o más aplicativo.

En general, diría que el concepto es compasivamente fácil de entender, a través del concepto de estándares rigurosos aplicados a la semántica, con ramificaciones que son consecuencia de la lógica.

Básicamente, una opción en semántica de sistemas formales que se usa simplemente para invocar un alto estándar.

Answer 2

La lógica exacta es mejor conocida como “lógica formal” en la actualidad. Ver, por ejemplo, http://mtnmath.com/whatth/node20 …

Es una rama de las matemáticas que se ocupa del “estudio abstracto de proposiciones, afirmaciones o oraciones asertivamente utilizadas y de los argumentos deductivos”.

Esto fue un gran problema en el siglo XIX y principios del XX, debido al surgimiento del método escéptico y al glorioso retorno de la razón y la lógica a la escena que sucedió en este momento. Ver Historia de la lógica:

El resurgimiento de la lógica ocurrió a mediados del siglo XIX, al comienzo de un período revolucionario en el que el sujeto se convirtió en una disciplina rigurosa y formalista cuyo ejemplo era el método exacto de prueba utilizado en las matemáticas. El desarrollo de la lógica “simbólica” o “matemática” moderna durante este período es el más significativo en los 2000 años de historia de la lógica, y es posiblemente uno de los eventos más importantes y notables de la historia intelectual humana.

La lógica deóntica es aparentemente una rama de la lógica formal que limita con la ética, al concentrarse en los conceptos de permisible / permitido / inadmisible en lugar de verdadero / falso. Ver Deontic Logic (Stanford Encyclopedia of Philosophy)

Suena interesante.

Answer 3

La “lógica exacta” es un intento de adoptar la exactitud o la pureza de las matemáticas y de vincularlas a la lógica. Se ha determinado que la lógica exacta (siglo XIX) es miembro de muchos tipos de lógicas, como la lógica simbólica, que fueron populares. Todo lo cual disfrutó de la atención de filósofos y lógicos durante períodos de tiempo variables.

El estudio de ciencias de la computación y los esfuerzos prácticos ven un lugar para la lógica exacta en su ingeniería, lo que permanece abierto a conjeturas es cómo definen el término. Ciertamente suena bien, pero ¿existe realmente alguna diferencia entre la existencia de los términos, la “lógica exacta” y la lógica sola? Parece que lo exacto es innecesario. Hay debates aquí desde hace un siglo.

Tanto “lógica” como “exacta” son palabras sin apoyo empírico. Son filosóficos. Poner los dos juntos no los hace más exactos o lógicos.

Answer 4

ExactLogic es una empresa de fabricación de sensores digitales con sede en Rogers, MN. Dejando de lado las bromas, tendría que ver el contexto del uso de la “lógica exacta” para saber a qué se refiere, por ejemplo, como una descripción de la lógica como un sistema formal, o significando algo así como las razones precisas de algo para algo, o como un referencia a una lógica formal oscura oscura particular como “lógica exacta de la izquierda”. Quizás esta pregunta signifique algo como lo que es tan exacto acerca de la lógica.

Answer 5

Gracias por preguntar.

Un argumento lógico adecuado es uno que sea válido y sólido.

“Válido” significa que si todas las premisas del argumento son verdaderas, la conclusión debe ser verdadera.

Por ejemplo, si 2 + 2 es coherente, la respuesta debe ser “4”. Pero se podría argumentar que 2 burbujas agregadas a 2 burbujas podrían ser igual a una burbuja; este sería un ejemplo de una objeción lógica a la validez de un argumento.

“Sonido” significa que todas las premisas son verdaderas.

Por ejemplo, este silogismo no es sonido:

1. Todos los hombres son mortales.
2. Sócrates es un hombre.
3. Por lo tanto, Sócrates es mortal.

Este argumento contiene una premisa falsa; Es decir, que todos los hombres son mortales. Jesús declaró que todos los hombres son inmortales. Por lo tanto, el silogismo anterior no es válido ni sólido. Esta es la lógica exacta.

Answer 6

Bill, es una frase extraña.

El tema es la lógica, que no se reduce a dos categorías designadas como “exactas” y “inexactas”.

Sin embargo, la lógica, por prueba deductiva, demuestra una especie de “exactitud” en general.

Es decir, si las premisas son verdaderas,

no habrá una conclusión falsa y la conclusión se llamaría un argumento válido (deductivamente).

Algunos pueden referirse, de una manera muy general, a la lógica como una metodología “exacta”, tal como podríamos referirnos a una “matemática exacta”.