Solidesa

De la Viquipèdia, l'enciclopèdia lliure
Per a altres significats sobre l'estat de la matèria, vegeu «sòlid».

En lògica, la solidesa és la propietat que tenen els arguments quan són vàlids i les seves premisses són totes vertaderes.[1][2] Si un argument és deductivament vàlid i és sòlid, la seva conclusió serà necessàriament veritable.[3]

Validesa i solidesa[modifica]

Per exemple, considerem el següent argument:

  1. Tots els homes són mortals.
  2. Tots els grecs són homes.
  3. Per tant, tots els grecs són mortals.

Aquest argument és sòlid, perquè d'una banda és vàlid, i per altra banda les premisses són totes vertaderes. Però considereu el següent argument:

  1. Tots els homes són mortals.
  2. Totes les plantes són homes
  3. Per tant, totes les plantes són mortals.

Aquest argument no és sòlid, perquè encara vàlid, una de les premisses és falsa. Finalment, considerem el següent argument:

  1. Tots els homes són mortals.
  2. Tots els ànecs són animals.
  3. Per tant, tots els animals són mortals.

Aquest argument tampoc és sòlid, perquè encara que les premisses són totes vertaderes, l'argument no és vàlid. En res canvia que la conclusió sigui també vertadera.

Bibliografia[modifica]

  • Hinman, P.. Fundamentals of Mathematical Logic. A K Peters, 2005. ISBN 1-56881-262-0.  (anglès)
  • Copi, Irving. Symbolic Logic. 5th. Macmillan Publishing Co., 1979. ISBN 0-02-324880-7.  (anglès)
  • Boolos, Burgess, Jeffrey. Computability and Logic, 4th Ed, Cambridge, 2002. (anglès)

Referències[modifica]

  1. «Soundness». A: Robert Audi. The Cambridge Dictionary of Philosophy (en anglès). 2nd Edition. Cambridge University Press. 
  2. «Soundness | logic | Britannica» (en anglès). [Consulta: 16 juny 2023].
  3. «Validity and Soundness | Internet Encyclopedia of Philosophy» (en anglès). [Consulta: 17 juny 2023].

Vegeu també[modifica]