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!

4
  • 1
    La wikipedia lo llama solidez, argumento “sólido”.
    – aerobiomat
    Feb 11 at 18:35
  • ¡Buenísimo! Gracias :) Feb 11 at 19:20
  • @aerobiomat: ponlo como respuesta para marcarlo, por favor. Feb 12 at 1:57
  • De acuerdo, lo ampliaré un poco para que no parezca un comentario.
    – aerobiomat
    Feb 12 at 8:14
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.

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 .

1
  • 1
    Este también funciona, junto con el de arriba. Gracias :) Feb 12 at 17:22
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

5
  • 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. Feb 12 at 1:56
  • Por lo que entiendo consistencia es lo mismo, de acuerdo a como este articulo define soundness : en.m.wikipedia.org/wiki/Soundness)
    – ipp
    Feb 12 at 2:32
  • 1
  • 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. Feb 12 at 4: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 at 12:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.