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
Rinaldo Rinaldi
Nelle pagine di M. l’esame degli eventi politici e militari, antichi e moderni, non si affida mai a categorie morali o a griglie teoriche precostituite, com’era usuale nella letteratura umanistica, ma si fa guidare da un rigoroso criterio utilitaristico. Come l’autore dichiara in una ... ...
Leggi Tutto
razionalità Facoltà propria degli esseri dotati di ragione.
Economia
La r. è una caratteristica dell’homo oeconomicus. Nella teoria economica tradizionale e moderna si distinguono due approcci alla r.: il primo definisce la scelta razionale in base alla coerenza interna che rispetta le condizioni di ... ...
Leggi Tutto
Dal lat. ratio («calcolo», «rapporto»). Termine con cui Cicerone tradusse il greco λόγος e che conserva di quest’ultimo diversi significati, indicando la disposizione intrinseca e ideale di una cosa, o la sua costituzione matematica (i numeri ἄλογοι sono gli irrationales, «irrazionali», nel senso di ... ...
Leggi Tutto
Anna Lisa Schino
Guida della conoscenza e della condotta dell’uomo
La ragione è la facoltà di ragionare, ossia di mettere in rapporto i concetti. È quindi la facoltà di giudicare, cioè di trarre le corrette conclusioni dalle premesse poste, e di distinguere il vero dal falso o il bene dal male. Per ... ...
Leggi Tutto
ragióne [Der. del lat. ratio -onis propr. "conto, conteggio", e questo da ratus part. pass. di reri "fissare, stabilire"] [FAF] R. cosmica: v. caso: I 513 b. ◆ [ANM] R. di una progressione aritmetica: la differenza costante tra ciascun termine e il precedente. ◆ [ANM] R. di una progressione geometrica: ... ...
Leggi Tutto
Nicolò Mineo
. Personaggio allegorico del Fiore, corrispondente a " Raison " del Roman de la Rose. Personifica, lei che è opera di Dio (XXXV 9-10), il momento della riflessione e del controllo razionale sull'impulso dei sensi e si configura come portavoce di una saggezza fondata sostanzialmente su ... ...
Leggi Tutto
Guido Calogero
. Il termine filosofico di "ragione" ha una storia assai complessa, tanto dal punto di vista linguistico quanto da quello concettuale. Etimologicamente, esso proviene dal latino ratio, il quale corrisponde a sua volta al greco λόγος, partecipando di varî dei suoi molteplici significati. ... ...
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,...