logica intuizionista

Enciclopedia della Scienza e della Tecnica (2008)

logica intuizionista Silvio Bozzi La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] Stanislaw Jaskowski dimostra che è possibile refutare ogni non teorema utilizzando una matrice finita. Questo garantisce la decidibilità della logica proposizionale intuizionista. Negli stessi anni Gerard Gentzen introduce un nuovo tipo di calcoli ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – LOGICA PROPOSIZIONALE – LOGICA MATEMATICA – ASSIOMATIZZAZIONE – DAVID HILBERT

Razionalità

Enciclopedia Italiana - VII Appendice (2007)

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. [...] va sottolineato che, nonostante l'enfasi che Davidson attribuisce alla teoria della decisione (parallela a quella posta sulla logica proposizionale), il modello di r. pratica che difende appare in ultima analisi più vicino a quello che si chiamerebbe ... Leggi Tutto

CATEGORIA: METODI TEORIE E PROVVEDIMENTI – TEMI GENERALI – DOTTRINE TEORIE E CONCETTI

TAGS: TEORIA DELLA PROBABILITÀ – TEORIA DELLE DECISIONI – FILOSOFIA DELLA MENTE – LOGICA PROPOSIZIONALE – PSICOLOGIA COGNITIVA

ŁUKASIEWICZ, Jan

Enciclopedia Italiana - III Appendice (1961)

ŁUKASIEWICZ, Jan Alberto PASQUINELLI Filosofo, nato a Leopoli il 21 dicembre 1878, morto a Dublino il 13 febbraio 1956. Insegnò filosofia e logica all'univ. di Varsavia e, dopo la seconda guerra mondiale, [...] , Crisippo, ecc., inerenti ai concetti di negazione, disgiunzione e implicazione, nonché alla sistematizzazione della logica proposizionale in genere, egli addirittura determinò in gran parte la riscoperta. Opere principali: Die logischen Grundlagen ... Leggi Tutto

Tarski, Alfred

Enciclopedia on line

Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] di metamatematica (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO

semantica

Enciclopedia on line

semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] è la nozione di soddisfacimento di una funzione proposizionale, che rappresenta una rigorosa sistematizzazione matematica della al significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme d’ ... Leggi Tutto

CATEGORIA: LINGUISTICA GENERALE – LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA GENERATIVA – TEORIA DEGLI INSIEMI – LOGICA INTUIZIONISTA

Valla, Lorenzo

Il Contributo italiano alla storia del Pensiero: Filosofia (2012)

Lorenzo Valla Rita Pagnoni Sturlese Lorenzo Valla è una delle figure più rappresentative dell’Umanesimo italiano: egli dà vita a un progetto di profondo rinnovamento pratico e teoretico che, pur non [...] . La Dialectica si presenta come una disamina critica dell’Organon aristotelico-scolastico (primo libro, logica dei termini; secondo, logica proposizionale; terzo, argomentazioni sillogistiche), ma di fatto viene a essere un nuovo ‘organo’ oppure ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: BASILICA DI SAN GIOVANNI IN LATERANO – DE CONSOLATIONE PHILOSOPHIAE – PATRIMONIO DI SAN PIETRO – DONAZIONE DI COSTANTINO – BARTOLO DA SASSOFERRATO

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer Anne L. Troelstra L'intuizionismo di Brouwer Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] con la validità intuizionista intuitiva. Da osservazioni di Georg Kreisel nel 1958 si può dedurre che, per la logica proposizionale, la validità in un modello di Beth è equivalente alla validità intuitiva. Beth e Kripke dimostrarono la completezza ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

verita

Dizionario delle Scienze Fisiche (1996)

verita verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e. ◆ [ALG] [ELT] [FAF] Valori ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – FISICA TECNICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

premessa

Dizionario delle Scienze Fisiche (1996)

premessa preméssa [Der. del lat. praemissa (sententia) "(proposizione) messa avanti"] [FAF] Nella logica proposizionale, sinon. di ipotesi: v. logica: III 484 a. ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

Logica e processi cognitivi

Enciclopedia Italiana - VII Appendice (2007)

Logica e processi cognitivi Carlo Cellucci Sarebbe difficile comprendere l'attuale stato dei rapporti tra l. e p. c. senza riferirsi a tre fattori che li hanno influenzati profondamente. Il primo fattore [...] sia il risultato congiunto del dato dello stimolo sensoriale e di inferenze implica che l'inferenza logica non deve essere ristretta all'inferenza proposizionale, ma deve essere generalizzata in modo da ammettere anche inferenze le cui premesse e la ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: RAGIONAMENTO DEDUTTIVO – SCIENZIATI COGNITIVI – MACCHINA DI TURING – LOGICA MATEMATICA – METONIMIA