LOGICA MATEMATICA Aldo Marruccelli Alberto Pasquinelli (XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999). Princìpi di logica matematica. È opportuno premettere all'articolo che dà notizia dei progressi [...] del 1931. Mentre G. Kreisel e D. Prawitz hanno affrontato senza incertezze il compito di E. Yates), Amsterdam 1971 (con contributi di G. Kreisel, G. E. Sacks, H. Hermes, D. Gabbay, E. Specker); A. A. Fraenkel, Y. Bar-Hillel, A. Levy, Foundations of ... Leggi Tutto

Verità Massimo Dell'Utri (XXXV, p. 164) In sintonia o in contrasto con la tradizione, buona parte della riflessione novecentesca sul concetto di v. può essere vista come un tentativo di esplicitare [...] . 55-117. R. Cartwright, A neglected theory of truth, in R. Cartwright, Philosophical essays, Cambridge (Mass.) 1987, pp. 71-93. D. Prawitz, Dummett on a theory of meaning and its impact on logic, in Michael Dummett, ed. B. Taylor, Dordrecht 1987, pp ... 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 [...] generale per le l. non-classiche. Un metodo alternativo a quello di risoluzione è il metodo dei tableaux introdotto da D. Prawitz (1960) sviluppando un metodo precedente di E. Beth (1955). Esso si applica a insiemi di formule qualsiasi e ha naturali ... Leggi Tutto

metamatematica metamatematica o teoria della dimostrazione, termine con cui si indica il programma proposto da D. Hilbert attorno agli anni Venti del secolo scorso al fine di garantire che le usuali [...] a opera di G. Gentzen (→ deduzione; → sequenti, calcolo dei). Negli anni Sessanta del secolo scorso il logico svedese D. Prawitz ha proseguito il lavoro di Gentzen inquadrando la teoria della dimostrazione nell’ambito della deduzione naturale, che ... Leggi Tutto

Dimostrazione, teoria della Jean-Yves Girard La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] Dj[t1,…,tp] siano conseguenze di Γ′. b) Una formula atomica D è conseguenza di Γ se e solo se la si può dimostrare da Klaus F. Jørgensen, Dordrecht, Kluwer Academic, 2000. Prawitz 1965: Prawitz, Dag, Natural deduction, Stockholm, Almqvist & ... Leggi Tutto

Andrea Bernardoni Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] per il calcolo NJ e NK sarà dimostrato da Dag Prawitz solo nella prima metà degli anni Sessanta. Gentzen introduce un forma: oppure Una dimostrazione è data dall’applicazione delle regole d’inferenza che termina con il sequente dimostrato e inizia con ... Leggi Tutto