8

Se usa mucho en lógica: un argumento es "sound" si no solamente es correcto sino que además denota un hecho real. Por ejemplo, el silogismo que concluye que Sócrates es mortal es "sound", además de válido, pero

  1. Todos los pájaros vuelan.
  2. Los pingüinos son pájaros.
  3. Por lo tanto, os pingüinos vuelan.

no es un argumento "sound". En general lo traduzco como "coherente" o "válido en realidad", pero me gustaría saber si ya existe un vocablo que denote esta idea, o si hay mejores palabras para esto. ¡Gracias!

mathbekunkus
  • 183
  • 4

3 Answers3

3

La Wikipedia enlaza solidez como traducción de soundness. Y ambas coinciden con otras páginas sobre lógica en definirlo como la propiedad de un argumento en el que:

  • La deducción es válida.
  • Las premisas son verdaderas.

Alguno lo define de forma mucho más complicada, pero eso es ya para otro foro.

aerobiomat
  • 2,242
  • 5
  • 13
2

Es un argumento firme.
would fit here.

firme

(adj.) = firm ; powerful ; sound ; strong ; uncompromising ; steadfast ; assertive ; adamant ; taut ; tight ; uncompromised ; staunch [stanch, -USA] ; rock solid ; unswerving ; toned ; stout .

El Tercio de Flandes
  • 196
  • 1
  • 13
0

El término que buscas me parece que es

consistencia lógica

Wikipedia lo define como

En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación. La existencia de un modelo implica que una teoría lógica es consistente.

En el diccionario RAE, consistencia significa

  1. f. Duración, estabilidad, solidez.

  2. f. Trabazón, coherencia entre las partículas de una masa o los elementos de un conjunto

ipp
  • 5,041
  • 6
  • 30
  • No. La consistencia es en última instancia una propiedad absoluta: no se deducen contradicciones del sistema formal. La solidez es relativa con respecto a las premisas: bajo alguna interpretación, son verdaderas semánticamente. – mathbekunkus Feb 12 '21 at 01:56
  • Por lo que entiendo consistencia es lo mismo, de acuerdo a como este articulo define soundness : https://en.m.wikipedia.org/wiki/Soundness) – ipp Feb 12 '21 at 02:32
  • 1
    https://cs.stackexchange.com/questions/88274/why-does-soundness-imply-consistency – ipp Feb 12 '21 at 02:48
  • En términos únicamente de lenguajes formales, 'solidez' (ya me gustó el término) y consistencia son casi lo mismo, aunque la solidez se refiere a las interpretaciones semánticas. Más generalmente, la solidez de un argumento formal (Sócrates vs. los pingüinos, arriba) es distinta. – mathbekunkus Feb 12 '21 at 04:43
  • 1
    La validez y la solidez son características de silogismos o deducciones individuales. La consistencia afecta a un sistema axiomático completo. Es la inexistencia de contradicción entre todas las proposiciones que se pueden deducir de los axiomas. – aerobiomat Feb 12 '21 at 12:14