Accions

Diferència entre revisions de la pàgina «Contraexemple»

De Wikisofia

(Es crea la pàgina amb «{{ConcepteWiki}} En filosofia de la ciència, qualsevol exemple que mostra un cas concret contrari a la generalització|generalitzac...».)
 
 
Línia 6: Línia 6:
 
En el següent exemple:
 
En el següent exemple:
  
 
+
::::::*Si el "Quixot" és un clàssis, llavors és una obra important
[[File:804.png|400px]]
+
::::::*El "Quixot" és una obra important
 
+
::::::——————————————————————————
 +
::::::*Per tant, el "Qixot" és una obra important
  
 
el raonament té premisses i conclusió veritables, però és lògicament invàlid. La seva invalidesa es posa de manifest amb el següent contraexemple, amb igual forma lògica,
 
el raonament té premisses i conclusió veritables, però és lògicament invàlid. La seva invalidesa es posa de manifest amb el següent contraexemple, amb igual forma lògica,
  
 
+
::::::*P→Q
[[File:804A.png|400px]]
+
::::::*Q
 +
::::::————
 +
::::::*P
  
  
Línia 19: Línia 22:
  
  
[[File:804B.png|400px]]
+
::::::*Si el "Quixot" el va escriure Shakespeare, llavors és un clàssic
 +
::::::*El "Quixot" és un clàssic
 +
::::::——————————————————————————
 +
::::::*Per tant, el "Qixot" el va escriure Shakespeare
  
  

Revisió de 17:26, 5 abr 2020

 En filosofia de la ciència, qualsevol exemple que mostra un cas concret contrari a la generalització d'una hipòtesi. L'enunciat «aquest compost de sal de sodi no crema amb flama groc-ataronjada» és el contraexemple, i la refutació, de «tots els compostos amb sals de sodi cremen amb flama groc-ataronjada».

Un raonament és un contraexemple d'un altre si té igual forma lògica que aquest, però amb les premisses veritables i la conclusió falsa. La seva utilitat consisteix que demostra la invalidesa formal d'un raonament.

En el següent exemple:

  • Si el "Quixot" és un clàssis, llavors és una obra important
  • El "Quixot" és una obra important
——————————————————————————
  • Per tant, el "Qixot" és una obra important

el raonament té premisses i conclusió veritables, però és lògicament invàlid. La seva invalidesa es posa de manifest amb el següent contraexemple, amb igual forma lògica,

  • P→Q
  • Q
————
  • P


però amb premisses veritables i conclusió falsa.


  • Si el "Quixot" el va escriure Shakespeare, llavors és un clàssic
  • El "Quixot" és un clàssic
——————————————————————————
  • Per tant, el "Qixot" el va escriure Shakespeare


La interpretació de la mateixa fórmula lògica fa evident que tal raonament admetria premisses veritables i conclusions falses. Aquests aparents raonaments amb tan greus inconvenients no interessen ni a la ciència ni a ningú.