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, [...] la proprietà φ. Gli assiomi e le regolediinferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regolediinferenza logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà ...
Leggi Tutto
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 [...] dipende la diversa scorrevolezza delle due inferenze? Secondo la teoria delle regole formali, che riprende il punto di vista della logica classica, la mente è dotata di un insieme diregolediinferenza che viene tacitamente e inconsapevolmente usato ...
Leggi Tutto
La nozione di comprensione (Verstehen) risale alla tradizione dello storicismo tedesco. In misura non trascurabile, essa è stata utilizzata anche dalla filosofia ermeneutica, che riprendeva, oltre ai temi [...] (per es., "Se A desidera x e crede che facendo y otterrà x, allora tenderà a fare y") come regolediinferenza sia per spiegare sia per predire il comportamento dei suoi simili.
Per contro, i difensori della teoria della simulazione hanno messo ...
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. [...] farà qualcosa di totalmente stupido" (Dennett 1978; trad. it. 1991, p. 49). Nei casi più elementari - per es., la regola del modus di r. che in realtà non trovano in quei meccanismi perfetta esemplificazione: strategie che conducono a inferenze ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] ciascuna delle quali o è un assioma o si può ricavare dalle formule precedenti tramite regolediinferenza, così che la verifica della correttezza di una dimostrazione può essere fatta meccanicamente. D’altra parte Frege vuole creare una scrittura ...
Leggi Tutto
Territorio, pianificazione e sistemazione del
Corrado Beguinot
con la collaborazione di Luigi Dadda
Giampio Bracchi
Adriano De Maio
Giorgio Noseda
di Corrado Beguinot, con la collaborazione di Luigi [...] che nei procedimenti scientifici è ormai operante una sorta di determinismo metodologico, in base al quale, quando si applicano correttamente certe regolediinferenza a un insieme di premesse, è consentito prevedere il probabile comportamento futuro ...
Leggi Tutto
Scienza greco-romana. Scienza e forme di sapere in Platone
Luc Brisson
Scienza e forme di sapere in Platone
L'atteggiamento di Platone nei confronti del sapere relativo al mondo sensibile è oggetto [...] formale nel quale, a partire da proposizioni considerate valide a priori, si cerca di dedurre un insieme di proposizioni vere, applicando alcune regolediinferenza non numerose e ammesse da tutti.
Le conoscenze
Il termine epistḗmē in Platone è ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
La logica antica
Walter Cavini e Luca Castagnoli (*)
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Dalla tarda Antichità all’Età Moderna la logica [...] anapodittici sono anch’essi “sillogistici” qualora siano riducibili agli anapodittici tramite l’applicazione di una o più regolediinferenzadi secondo livello, chiamate thémata, che operano su argomenti complessi “risolvendoli” o “analizzandoli” in ...
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, [...] . C'è infine la tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un sistema di assiomi e diregolediinferenza, e che definisce la conoscenza come l'insieme di tutti i possibili sistemi deduttivi logicamente coerenti.
A ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] generale e quelli che riguardano il contenuto di T; inoltre, dovranno essere date regolediinferenza per costruire dimostrazioni (o derivazioni) formali dagli assiomi sotto forma di successioni finite di formule. In queste ipotesi, può essere deciso ...
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,...