eliminazione
eliminazione termine generico che indica la riscrittura in forma equivalente, ma più semplice, di una espressione matematica in cui compare un numero minore di termini. In algebra lineare, [...] Gauss, metodo di). In logica classica si introducono regole deduttive per l’eliminazione della congiunzione o della disgiunzione (→ inferenza, regola di); nel calcolo dei → sequenti una particolare eliminazione riguarda l’uso del cosiddetto taglio. ...
Leggi Tutto
sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (s. categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime [...] ’ e, nelle altre due forme, ‘ogni’; le vocali che indicano le quattro forme sono prese dai verbi latini affirmo e nego). Un’inferenza sillogistica sarà valida se e solo se non si dà che le premesse siano entrambe vere e la conclusione falsa, e sarà ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] a una contraddizione; se n = 0, B1,..., Bm significa (B1 o...o Bm); se m = n = 0, significa che c’è una contraddizione. Un’inferenza è una relazione tra sequenti S1, S2, S, della forma:
oppure
Una dimostrazione è data dall’applicazione delle regole d ...
Leggi Tutto
motore inferenziale
motore inferenziale in informatica, programma cui, all’interno di un sistema esperto, è assegnato il compito di trarre delle conseguenze coerenti con le premesse e i dati di un problema. [...] rafforza, l’indebolisce o la scarta valutandone gli effetti.
Un motore inferenziale lavora secondo due tipi di inferenza: inferenza deduttiva, detta anche forward chaining, cioè concatenazione in avanti, perchè partendo da fatti noti si applicano le ...
Leggi Tutto
vikalpa
Termine sanscr. che significa «concettualizzazione», l’operazione intellettuale mediante la quale un dato bruto della percezione sensibile viene appreso in quanto, per es., sostanza dotata di [...] legato al momento seguente, quello del vikalpa. Ancora secondo il Pramāṇavāda, rientrano nel v. casi patenti di errore, ma anche l’inferenza (anumāna), che parte da dati già concettuali (per es., l’universale «fumo» e non il dato bruto di una massa ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] il linguaggio, si costituisce il calcolo, fissando un insieme di postulati costituito da assiomi e regole di inferenza; applicando queste regole si possono ottenere, a partire dagli assiomi, mediante le dimostrazioni, le formule dimostrabili, dette ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Per la vastità della sua opera e la varietà dei campi indagati, Charles Sanders Peirce [...] sia così inesplicabile si potrebbe scoprire soltanto per via di ragionamento tramite i segni. Ma l’unico scopo proprio di un’inferenza, o ragionamento tramite i segni, è di giungere a una conclusione che spiega il fatto; mentre, supporre il fatto ...
Leggi Tutto
Stimare alta la probabilità che un dato evento si realizzi (per es., che riprenda la crescita economica dopo una crisi) o che una persona si attenga a una certa norma comportamentale (per es., che un proprio [...] un fenomeno sociale o naturale; nel secondo attiene alla cognizione sociale. I due tipi di f. sono generati da un’inferenza basata su regole. Nel primo caso la regola è qualche generalizzazione sugli accadimenti naturali o sociali, mentre nel secondo ...
Leggi Tutto
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...]
a) data un’espressione qualsiasi, si deve sempre poter determinare se essa è o no uno degli assiomi,
b) data un’inferenza qualsiasi di un’espressione da un certo numero di altre espressioni, si deve sempre poter determinare se essa è o no in accordo ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il pensiero di John Stuart Mill prende le mosse da una sofferta reazione all’educazione [...] logica che ne fornisce il metodo e ne assicura una valida fondazione scientifica è costruita sul corretto rapporto tra l’inferenza di nuove verità ricavate dall’osservazione di fatti paticolari e la loro legittimazione deduttiva a partire da leggi e ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...