secondo ordine, teoria del
secondo ordine, teoria del in logica, locuzione utilizzata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa [...] esprimere i suoi assiomi nonché le sue regoledi → inferenza in un linguaggio formale (si consideri per esempio l’aritmetica formalizzata dagli assiomi di → Peano). Solitamente le teorie matematiche sono formalizzate in un linguaggio dei → predicati, ...
Leggi Tutto
deduzione
deduzione in logica, termine indicante il rapporto di derivazione che in un ragionamento lega la conclusione alle premesse. Poiché la deduzione ha carattere formale, prescinde cioè dal contenuto [...] S;
• la formula P può essere dedotta a partire dagli assiomi della teoria e da una premessa, o ipotesi, A attraverso le regolediinferenza. In questo caso si usa il simbolo A ⊢ sP e si dice che P è conseguenza logica dell’ipotesi A.
In quest’ultimo ...
Leggi Tutto
calcolo logico
calcolo logico locuzione che indica un sistema formale in cui è possibile tradurre rigorosamente il concetto di → dimostrazione. Ogni ragionamento formulato nel linguaggio naturale si [...] . In un calcolo logico tale procedimento viene formalizzato attraverso regole che sono dette regolediinferenza o regoledi deduzione; applicando tali regole si può creare una catena di deduzioni che, a partire dagli assiomi del sistema formale ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] e tempo: V 442 f, 444 e. ◆ [FAF] D. costruttiva: d. di un ente in termini tali da indicare un procedimento atto a determinare l'ente stesso; usata per individuare gli assiomi e le regolediinferenza del sistema, oppure per abbreviare determinate ...
Leggi Tutto
deduzione, regoladi
deduzione, regoladi locuzione equivalente a regoladi → inferenza; indica una regola che permette il passaggio da una formula ben formata (ƒbƒ) a un’altra in una catena di deduzione. [...] rappresentazione formale è, quindi, una successione finita di formule ben formate collegate l’una all’altra tramite regole che sono appunto dette regoledi deduzione o regolediinferenza. Nella catena di deduzione le formule ben formate da cui si ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] (o assiomi) possono essere ricavati, per mezzo diregolediinferenza deduttive, altri enunciati (teoremi). Naturalmente, una t. viene di solito formulata attraverso l’utilizzazione di termini descrittivi tipicamente teorici e le sue connessioni con ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] proprietà φ. Gli assiomi e le regolediinferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regolediinferenza delle logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà ...
Leggi Tutto
Programmazione, linguaggi di
Gian Marco Todesco
I computer «possono fare tutto quello che gli sappiamo ordinare» scriveva nel 1842 Ada Augusta Byron Lovelace, considerata la prima programmatrice della [...] ) applicano alla programmazione tecniche di intelligenza artificiale (sistemi esperti, regolediinferenza, riconoscimento del linguaggio naturale). In questi linguaggi, invece di descrivere dettagliatamente l’algoritmo di soluzione, si descrive il ...
Leggi Tutto
Tecnologie per la gestione dell’informazione
Francesco Rogo
Era digitale e società dell’informazione
L’informazione ha ormai conquistato i più diversi ambiti della nostra società, ricoprendo ruoli d’importanza [...] a pieno il significato delle informazioni: bisogna affiancare a esso alcune regolediinferenza che riescano ad associare i concetti a regole logiche (motori di ragionamento, per es., basati sul paradigma ECA, evento-condizione-azione; Dockhorn ...
Leggi Tutto
Cognizione
Claudio de' Sperati
Massimo Piattelli Palmarini
Antonio Semerari
Il termine indica sia l'atto del conoscere e la facoltà stessa che consente di conoscere (la facoltà di apprendere e di [...] . Queste ricorrenze tematiche indicano l'esistenza diregolediinferenza e di strutture di significato stabili che sottendono i processi di pensiero e l'attività immaginativa. Tali strutture, di solito chiamate schemi, sono astrazioni prototipiche ...
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,...