Inferència: diferència entre les revisions

1 octet eliminats ,  fa 14 anys
cap resum d'edició
Cap resum de modificació
Cap resum de modificació
En el [[raonament inductiu]] hom infereix una conclusió (que es pretén plausible) a partir de múltiples observacions empíriques. La conclusió, també empírica, podria ser vertadera o falsa, i típicament serà objecte d'un procés de [[verificació]] o de [[falsació]] a partir de noves observacions. En canvi, la inferència deductiva no s'ha de restringir a les proposicions empíriques. Tampoc no necessita ni verificació ni falsació, ja que en una inferència deductiva lògicament correcte, si les premisses són vertaderes, aleshores necessàriament la conclusió també ho és. Això es deu al fet que la inferència deductiva és purament formal.
 
==Un exemple d'inferència deductiva: els sil·logismes clàssics===
 
[[Aristòtil]] introduí un grapat de [[sil·logisme|sil·logismes]], que eren inferències formades per tres proposicions: dues premisses i una conclusió. Aquests n'és el més famós:
542

modificacions