enunciati, linguaggio degli
enunciati, linguaggio degli linguaggio formale per esprimere affermazioni elementari a cui è attribuibile un valore di verità e per comporle tra loro, in modo tale che sia [...] B ⇒ ￢A) ⇒ ((￢ B ⇒ A) ⇒ B)
Gli assiomi costituiscono tre tautologie (il primo assioma è la legge dell’«a fortiori»);
• come regola di inferenza (o di deduzione) si sceglie il → modus ponens, che consente di dedurre, dalle due fbf A e A ⇒ B, la fbf B ...
Leggi Tutto
I segnali discorsivi (detti anche marcatori di discorso) sono elementi linguistici (parole, espressioni, frasi), di natura tipicamente pragmatica, diffusi in specie nella ➔ lingua parlata, che, a partire [...] parlante PRE, proferendo allora in fine enunciato e con tono interrogativo, richiede all’interlocutore CUS di compiere appunto un’inferenza circa la pertinenza o meno della questione di cui si tratta:
(25) CUS [ . . . ] questa è una questione/che non ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] fondamentali prestazioni cognitive umane, come comprendere o riconoscere eventi e situazioni dell'esperienza quotidiana e compiere le giuste inferenze e previsioni riguardanti un contesto dato e i discorsi a esso relativi. Un frame - nozione di cui ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] è un metodo che permette di stabilire se una clausola è una conseguenza di un insieme di clausole.
Esso si basa sulla regola di inferenza di risoluzione che è definita nel modo seguente. Siano C1 e C2 le clausole C1=A1 ⋁...⋁ An e C2=B1 ⋁...⋁ Bm. Se ...
Leggi Tutto
(XIV, p. 243; App. IV, i, p. 720)
Filosofia
di Valerio Verra
Negli ultimi anni l'e. è stata indubbiamente una delle correnti filosofiche che ha avuto maggiore diffusione e risonanza, fino al punto che [...] la sua 'giustezza'. Il significato del testo normativo si palesa, dunque, nella sua applicazione, non più risultato d'inferenza logica attraverso il congegno del sillogismo giudiziale ma frutto d'una continua opera di valutazione degli interessi in ...
Leggi Tutto
Malattia e salute
Mirko D. Grmek
I termini che nelle diverse lingue vengono usati per indicare la malattia appartengono, per la loro etimologia, a più campi semantici: essi rinviano sia alla mancanza [...] della diagnosi medica. Non si tratta più solamente di una classificazione dei dati osservabili, ma di un'inferenza logica: si passa dai dati empirici visibili alla lesione fondamentale (cioè un difetto nascosto) e alla determinazione ipotetica ...
Leggi Tutto
Ricerca archeologica. Le analisi matematico-statistiche e l'archeologia sperimentale
Amilcare Bietti
Paola Moscati
Luca Bachechi
I metodi matematici e statistici in archeologia
di Amilcare Bietti
L'insieme [...] ), ampiamente applicate in casi archeologici.
Distribuzioni campionarie, teorema del limite centrale e decisione statistica - L'inferenza statistica si basa su due fattori fondamentali: la teoria del campionamento (sampling theory) e il concetto ...
Leggi Tutto
Elettronica
Vittorio Capecchi
Definizione di elettronica
L'elettronica è la tecnica che permette di manipolare gli elettroni (le particelle dell'atomo che hanno carica negativa) in modo da ottenere [...] ) c'è infatti una zona grigia su cui le persone basano la maggior parte delle loro valutazioni. Si può quindi arrivare a una inferenza di tipo fuzzy che è diversa da quella binaria. Ad esempio, nella logica binaria, se si sa che A=B e si verifica ...
Leggi Tutto
L’interno della Terra
Fabio Catino
Per comprendere lo stato della conoscenza della Terra nel suo interno e le relative prospettive di miglioramento, è opportuno prendere brevemente in considerazione [...] un tipico problema inverso e comporta limitazioni che devono essere opportunamente considerate, pena il rischio dell’inferenza ridondante che può colpire, con modalità ed effetti ovviamente differenti, sia il ricercatore disciplinare sia il ...
Leggi Tutto
Cultura politica
Gabriel A. Almond
La preistoria della teoria della cultura politica
Il tentativo di spiegare la dottrina e l'azione politica attraverso la teoria della cultura politica risale alle [...] e di rapportarle a variabili teoriche; 4) la crescente sofisticazione dei metodi di analisi statistica e di inferenza, a partire da statistiche meramente descrittive per giungere alle analisi bivariata, multivariata, della regressione e del percorso ...
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,...