verita, funzione di

Enciclopedia della Matematica (2013)

verita, funzione di verità, funzione di nella logica proposizionale (→ enunciati, linguaggio degli), legge che associa a ogni stringa finita di valori di verità (per esempio VVFVFVVVF), uno dei due valori [...] V o F. Ogni tavola di verità definisce una funzione di verità; per esempio la tavola di verità associata al connettivo ∨ della disgiunzione definisce la funzione disg seguente: Viceversa a ogni funzione ... Leggi Tutto

TAGS: LOGICA PROPOSIZIONALE – TAVOLA DI VERITÀ

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

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

logica temporale

Enciclopedia della Matematica (2013)

logica temporale logica temporale particolare → logica modale che studia la struttura delle proposizioni che esprimono, in vario modo, il concetto di temporalità. Interessanti riflessioni in proposito, [...] che, a partire dalla seconda metà degli anni Cinquanta del secolo scorso, la logica temporale è andata costituendosi come branca autonoma della logica. La logica proposizionale temporale può essere formulata in un linguaggio che, oltre ai simboli del ... Leggi Tutto

TAGS: FONDAMENTI DELLA MATEMATICA – LOGICA PROPOSIZIONALE – RELAZIONE BINARIA – LINGUAGGI FORMALI – LOGICA FORMALE

Łukasiewicz, Jan

Enciclopedia on line

Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] dei predicati o delle classi" che si svolge nella sillogistica) e la logica megarico-stoica (in cui individua aspetti che possono riportarsi alla logica proposizionale e a temi di semiotica). Nel campo della teoria della deduzione elaborò numerosi ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: CALCOLO PROPOSIZIONALE – LOGICA MATEMATICA – DEDUZIONE – VARSAVIA – LEOPOLI

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

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

STORIA DELLA MATEMATICA

Enciclopedia della Matematica (2013)

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 [...] che la sua non esistenza generava una contraddizione. Gödel dimostrerà che una logica proposizionale intuizionista e il classico calcolo proposizionale sono mutuamente traducibili e quindi in un certo senso equivalenti, traendone come conseguenza ... Leggi Tutto

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – METODO DEI MOLTIPLICATORI DI LAGRANGE – ACCADEMIA DELLE SCIENZE DI BERLINO – TEOREMA FONDAMENTALE DELL’ALGEBRA – MEDITATIONES DE PRIMA PHILOSOPHIA

La grande scienza. Cronologia scientifica: 1971-1980

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1971-1980 1971-1980 1971 I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] sta in P. L'esempio di problema NP-completo trovato da Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia di problemi NP-completi. Pubblicato il libro di Siegel e Moser ... Leggi Tutto

CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA