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
non monotonicità
Claudio Pizzi
Mentre la regoladi monotonicità (a) A→B ⊦(A∧C)→B e la sua variante metalinguistica (b) Γ⊦B solo se Γ ∪{C}⊦ B valgono incondizionatamente nella logica standard, c’è un’ampia [...] essere inaccettabile in quanto A∧¬A è una contraddizione, mentre B può essere o non essere tale. Vari sistemi diinferenza non-monotona sono stati elaborati riflettendo sul fatto che nella pratica della AI (Intelligenza Artificiale) si tende a far ...
Leggi Tutto
generalizzazione
generalizzazione una delle regoledi → inferenza su cui si basa il concetto di deduzione formale nell'ambito di un sistema logico. In particolare, la regoladi generalizzazione è presente [...] poi la forma predicativa vera corrispondente alla frase «se x è un numero primo allora x non è multiplo di 4»: P(x) ⇒ ￢Q(x). In base alla regoladi generalizzazione è possibile dedurre dalla formula P(x) ⇒ ￢Q(x) la formula ∀x P(x) ⇒ ￢Q(x) per la ...
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
Linguistica
Leonardo Savoia
Alberto Mancini
M. Rita Manzini
(XXI, p. 207; App. II, ii, p. 210; IV, ii, p. 344; V, iii, p. 229)
I temi legati all'evoluzione della l. e delle discipline a essa collegate [...] se essa sia un problema di denotazione del mondo esterno oppure diinferenza pragmatica. In una prospettiva degli elementi lessicali. Le regoledi movimento si applicano quindi nel corso della derivazione insieme alle regole che creano la struttura in ...
Leggi Tutto
SISTEMI ESPERTI
I s.e. sono programmi per calcolatore che cercano di riprodurre le prestazioni di esperti umani nella risoluzione di problemi. Essi rappresentano il più conosciuto risultato pratico della [...] , ottenuto componendo opportunamente il ''fattore di certezza'' delle regole d'inferenza impiegate, cioè il livello di fiducia indicato per esse dagli esperti che le hanno formulate. mycin si basa su regoledi produzione. Esso raggruppa le ...
Leggi Tutto
L'Africa subsahariana nel II millennio d.C.
Peter J. Mitchell
Giovanna Antongini
Tito Spini
Samou Camara
Rodolfo Fattovich
Zoe Crossland
L'archeologia dell'africa dal 1000 d.c.: problemi, metodi, [...] di "etnoarcheologia" che consiste in una strategia di ricerca volta ad affinare, arricchire e integrare le tecniche diinferenza al XVI-XVII secolo con una grafia sempre più uniforme e regolare e al XVII-XVIII secolo con una grafia molto ornata. ...
Leggi Tutto
Scienza indiana: periodo classico. La medicina ayurvedica
Antonella Comba
La medicina ayurvedica
La medicina come Veda
Nel subcontinente indiano sono nati e si sono sviluppati molti sistemi terapeutici [...] suggerite dall'osservazione e dall'esperienza clinica, dall'inferenza, dall'insegnamento delle autorità in materia e dal sia considerata meno importante di molte altre regole. Conviene allora esaminare la regoladi presentazione più importante, ...
Leggi Tutto
La scienza in Cina: dai Qin-Han ai Tang. Tre scuole di pensiero
Zheng Jianjian
Marc Kalinowski
Jean Levi
Tre scuole di pensiero
I moisti e il 'Canone moista'
di Zheng Jianjian
Fondatore della scuola [...] ', e tutta una serie di forme specifiche diinferenza: 'falsa', 'probabile', 'risultato', 'analogia', 'uguaglianza', 'abduzione', 'deduzione', 'conclusione'. Misero in evidenza alcune regole del pensiero all'interno di argomenti inferenziali, come i ...
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
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,...