inferenza /infe'rɛntsa/ s. f. [der. di inferire]. - 1. (filos.) [procedimento logico per cui, date certe premesse e certe regole, una conclusione consegue come logicamente necessaria: dimostrare per i.] [...] ≈ deduzione. ‖ sillogismo. ↔ induzione. 2. (estens.) [ragionamento condotto sulla base di indizi e probabilità: i. legittima, arbitraria] ≈ [→ INDUZIONE (1. b)]. ...
Leggi Tutto
deduzione /dedu'tsjone/ s. f. [dal lat. deductio-onis, der. di deducĕre "dedurre"]. - 1. (filos., matem.) [processo logico nel quale, date certe premesse e certe regole, una conclusione consegue come logicamente [...] necessaria] ≈ inferenza. ⇓ sillogismo. ↔ induzione. 2. [giudizio che si desume da un complesso di dati: dagli indizi si possono trarre molte d.] ≈ conclusione. ↑ congettura, illazione, ipotesi, supposizione. 3. (amministr.) [atto dello scorporare una ...
Leggi Tutto
generalizzazione
generalizzazione una delle regole di → inferenza su cui si basa il concetto di deduzione formale nell'ambito di un sistema logico. In particolare, la regola di generalizzazione è presente nel calcolo dei predicati e permette...
particolarizzazione
particolarizzazione una delle regole di → inferenza utilizzabile per la deduzione formale in un sistema logico. Nel linguaggio dei predicati permette l’eliminazione del quantificatore universale, indicato con il simbolo...