Ragionamento, psicologia del
Paolo Legrenzi
Fin da Aristotele la logica formale - le procedure che permettono di operare delle inferenze, cioè trarre conclusioni da premesse - è stata considerata alla [...] L'assunto della teoria dei modelli mentali è che le persone non abbiano una mente già equipaggiata con regole formali di inferenza; esse si affidano alla loro capacità di comprendere le premesse di un ragionamento. Sulla base di questa comprensione e ...
Leggi Tutto
stima
stima [Der. del lat. aestimare "determinare il valore di un bene"] [LSF] Valutazione approssimata del valore di una grandezza e anche il valore medesimo: s. per eccesso e s. per difetto, quando [...] a s. della posizione di un indice sulla sua scala graduata; ecc. ◆ [PRB] S. dei parametri: caso particolare di inferenza statistica che si presenta quando si conosce la forma della distribuzione dei dati riguardanti un dato fenomeno; si effettua ...
Leggi Tutto
teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. [...] di esse o è un assioma o è una conseguenza immediata di formule precedenti ottenuta in base a una delle regole di inferenza. In un t. si distinguono in genere l’ipotesi (proprietà che si suppongono valide fin dall’inizio) e la tesi (proprietà che ...
Leggi Tutto
Comparativo, metodo
Neil J. Smelser
Introduzione
Il metodo comparativo è ormai entrato nel novero dei metodi tradizionalmente usati nelle scienze sociali e comportamentali. Nei libri di testo e nei [...] moderna è quello di spiegare in modo sistematico - seguendo i canoni dell'osservazione scientifica, della misurazione e dell'inferenza - le varianti dei fenomeni sociali riscontrabili in unità sociali chiaramente differenti. Ma l'impulso a valutare e ...
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 [...] per entrambi queste componenti. L’apparato deduttivo di un sistema formale è costituito dagli assiomi e dalle regole di inferenza. L’insieme degli assiomi si compone di due sottoinsiemi distinti di formule, quello degli assiomi logici e quello degli ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un sistema di assiomi e di regole di inferenza, e che definisce la conoscenza come l'insieme di tutti i possibili sistemi deduttivi logicamente coerenti.
A ciascuna di queste ...
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 [...] usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più semplici appartenenti al metalinguaggio. ◆ [FAF] D ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regole di inferenza) da alcuni degli assiomi o teoremi precedenti. ...
Leggi Tutto
Orientamento di pensiero sviluppatosi soprattutto in Inghilterra dagli inizi del 20° sec., e volto prevalentemente allo studio del linguaggio nei suoi vari aspetti (scientifici, quotidiani, etici, logici [...] i saggi di W.V. Quine sui problemi ontologici e semantici, le ricerche di N. Goodman sui linguaggi fenomenisti e sull’inferenza induttiva, gli studi di H. Putnam sui problemi del significato, della verità e del realismo, nonché quelli di S. Kripke ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] di una dimostrazione di correttezza si propagano le precondizioni e le postcondizioni lungo il programma, sfruttando le regole di inferenza che specificano il comportamento dei costrutti del linguaggio (per es., la regola:
specifica che se per le ...
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,...