L’atto del prendere coscienza di una realtà che si considera esterna a noi.
Filosofia
Si possono distinguere due sensi con cui il termine p. è usato nella storia della filosofia. In un senso generale [...] caso della visione, soprattutto al processo di convergenza): sia la teoria dei segni locali di Lotze, sia quella dell’inferenza inconscia di Helmholtz (che sottolinea il ruolo che giocano, per es., la dimensione e la grandezza degli oggetti percepiti ...
Leggi Tutto
Il periodo ipotetico (detto meno spesso costrutto condizionale) è una costruzione formata da due frasi, la principale (detta apodosi, cioè «conseguenza») e una subordinata ipotetica (detta protasi, cioè [...] l’angolo»:
(5) se hai fame c’è un bar aperto dietro l’angolo
Del pari, il costrutto ipotetico codifica processi di inferenza:
(6) se il frigo è vuoto, è tornata Silvia
che significa «se il frigorifero è vuoto, non può averlo svuotato che Silvia ...
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
Razionalità
Antonio Rainone
Claudio Sardoni
Filosofia
di Antonio Rainone
È quasi un luogo comune la constatazione che la r. e i problemi a essa connessi costituiscano temi eterni della ricerca filosofica. [...] organismi requisiti di r. che in realtà non trovano in quei meccanismi perfetta esemplificazione: strategie che conducono a inferenze sbagliate o a credenze false - è questa la conclusione cui perviene Stich - risultano spesso più adattive rispetto a ...
Leggi Tutto
Scienza indiana: periodo classico. Matematica
Takao Hayashi
Matematica
'Gaṇita' ('matematica')
Prima dell'introduzione e diffusione dell'astrologia oroscopica e dell'astronomia matematica nella società [...] fumo e al fuoco nella cucina, e agli stessi nella montagna. La regola del tre può quindi essere considerata un'inferenza.
Mahāvīra
Mahāvīra, matematico jaina della setta Digambara, fu attivo in Karnataka durante il regno di Amoghavarṣa (814 ca.-880 ...
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 [...] 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 esempio, la regola:
[3] {φ} p {ψ}, {ψ} q {ξ ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] della formula (Z(a)&Z(b)&Z(c)&Z(p)&(p>2))→(ap+bp≠cp) dalla quale, mediante sostituzione e inferenza, si ottiene ap+bp≠cp. Così sarebbero dimostrabili tanto ap+bp=cp quanto anche ap+bp≠cp. Ma ciò, come è mostrato in una maniera ...
Leggi Tutto
Monte Carlo, metodo
Samantha Leorato
Classe di algoritmi (➔ algoritmo) che sfruttano il campionamento casuale per ottenere un’approssimazione di un risultato, il cui calcolo esatto può essere difficile [...] essere proporzionale alla funzione g.
Una famiglia di algoritmi M. C. usata, abitualmente in ambito bayesiano (➔ inferenza statistica), per campionare da una distribuzione di probabilità, è chiamata Markov Chain Monte Carlo (MCMC). Questi algoritmi ...
Leggi Tutto
logiche a più valori
Settimo Termini
Nel ricco panorama delle varianti della logica classica esse si presentano come logiche non classiche vero-funzionali (cioè, il valore di verità di un enunciato [...] canoni tradizionali della matematica; la logica fuzzy in senso stretto, o logica fuzzy matematica, è da intendere come un capitolo delle logiche a più valori riguardante in particolare i problemi di inferenza in presenza di forme di vaghezza.
→ Fuzzy ...
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,...