„Dedukció” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Robot: következő módosítása: pt:Método dedutivo |
.. |
||
14. sor:
Ha a premisszám az az [[univerzális állítás]], hogy „Minden ember halandó”, akkor ebből a klasszikus kétértékű logika szabályai szerint dedukálhatom azt, az [[egyedi állítás]]t hogy „Szókratész halandó”. Ezt a levezetést bizonyításnak tekinthetjük, amely az általános állítás igazságától függ.
Ugyanakkor, ha csak véges sok egyedi állításom: „Szókratész halandó”, „Russell halandó”, „Nietzsche halandó” stb., akkor ebből ugyan általánosíthatok, hogy „minden ember halandó”, azonban ez a következtetés nem lesz dedukció, ugyanis a deduktív logika szerint ez nem következik, azaz nem biztos a levezetés, nem ad bizonyosságot akkor sem, ha a véges sok egyedi állításom igaz. Véges sok ember megfigyelését adottnak véve logikailag még bármikor bekövetkezhet, hogy egy nem halandó embert figyelünk meg...
[[Kategória:Logika]]
| |||