Inferință
Această intrare sau secțiune despre subiectul logic nu citează sursele necesare sau cei prezenți sunt insuficienți . |
În inferență logică (din latinul inferer , literalmente a aduce ) este procesul ( inductiv sau deductiv etc.) prin care se derivă o propoziție , de exemplu, stabilită adevărată. Adesea, într-o deducție deductivă, se presupune că propozițiile sunt adevărate și, pe baza conținutului lor, se derivă adevărul altuia, trecând de la prima la ultima în conformitate cu regulile de inferență corespunzătoare .
A deduce înseamnă a trage o concluzie așa cum se întâmplă de exemplu în silogism . A deduce X înseamnă a concluziona că X este adevărat; o deducție este concluzia extrasă dintr-un set de fapte sau circumstanțe. O mare parte din studiul logicii explorează validitatea sau non-validitatea inferențelor și implicațiilor .
Există o diferență subtilă între implicare și deducere : prima implică în mod tacit o consecință, cea din urmă o atinge în mod explicit. Dacă se afirmă că „toți oamenii sunt muritori” și că „Socrate este un om”, înseamnă că Socrate este muritor, dar un cititor atent la această implicație o poate face explicită ca aferență , exprimând concret ceea ce anterior era doar un implicit. a gândit, adăugând astfel la primele două propoziții o a treia aferentă și concluzionantă: „prin urmare, Socrate este muritor”.
„Și când cineva îți propune să crezi într-o propunere, trebuie mai întâi să examinezi dacă este acceptabilă, deoarece rațiunea noastră a fost creată de Dumnezeu și ceea ce ne place rațiunii noastre nu poate să nu facă pe plac rațiunii divine, despre care știm doar ce, prin analogie și adesea prin negare , deducem din procedurile rațiunii noastre. " |
| ( Guglielmo da Baskerville în: Umberto Eco , Numele trandafirului , p. 139 ) |
În lingvistică vorbim de „formularea inferențelor”, cu referire la schema lui Roman Jakobson , înțeleasă ca un sistem de semne utile comunicării . Aceasta este o procedură care nu prevede niciun emitent voluntar, ci doar prezența unui obiect care este interpretat ca un mesaj. Un exemplu (deductiv) este următorul:
- subiect: „case cu acoperișuri înclinate” → mesaj interpretat: „aici ninge des”.
Elemente conexe
- Afirmație logică
- Deducere
- Modus ponens
- Motor inferențial
- Procedura de deducție
- Raţionament
- Reguli de inferență
- Silogism
- Sistem expert
- Valabilitate (logică)
- Eroare
- Inferință imediată
- Inferință statistică
- Inferența bayesiană
- Proprietate tranzitivă
Alte proiecte
-
Wikționarul conține lema dicționar „ inferență ”
linkuri externe
- Inferență , pe Treccani.it - Enciclopedii online , Institutul Enciclopediei Italiene .
- Inferență , în Dicționar de filosofie , Institutul Enciclopediei Italiene , 2009.
- ( EN ) Inference , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.
- Inferință , în Treccani.it - Enciclopedii online , Institutul Enciclopediei Italiene.
| Controlul autorității | Tesauro BNCF 19421 · LCCN (EN) sh85066082 · GND (DE) 4139983-3 · BNF (FR) cb11935348h (dată) · NDL (EN, JA) 00.571.577 |
|---|
