implicazione
Dizionario delle Scienze Fisiche (1996)
implicazione
implicazióne [Der. del lat. implicatio -onis, dal part. pass. implicatus di implicare "piegare, avvolgere, coinvolgere", comp. di in- e plicare da plica "piega"] [FAF] Conseguenza necessaria [...] di una proposizione, di un evento, ecc. ◆ [ALG] [FAF] I. logica: la relazione intercorrente tra due proposizioni, o condizioni, A e B, quando dalla prima segue la seconda, scrivendosi A→B e leggendo "A implica B" oppure "se è vera A, allora è vera B ...
Leggi Tutto
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 [...] valori semantici di tutte le espressioni composte e ogni enunciato risulti vero oppure falso nel modello. Un enunciato E è una conseguenza logica classica di un insieme di enunciati Γ se, e solo se, per ogni modello classico M, se tutti gli enunciati ...
Leggi Tutto
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] formula di L si dice contraddittoria se e solo se è falsa per ogni interpretazione. Si dice che una formula K è conseguenza logica (o conseguenza) di una formula H (o in generale di un insieme M di formule) se e solo se le interpretazioni che rendono ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
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 [...] del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza logica, nozione semantica e sintattica di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre di questioni di decidibilità ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Spinèlli, Francesco Maria, dei principi di Scalea
Enciclopedia on line
Filosofo cartesiano (Morano Calabro 1686 - Napoli 1752). Formatosi alla scuola di Gregorio Caloprese, si dedicò alla diffusione della filosofia cartesiana. Prese le difese dei suoi amici cartesiani accusati [...] . d'Althann, governatore di Napoli, e polemizzò contro P. M. Doria che sosteneva essere lo spinozismo una conseguenza logica del cartesianesimo (Riflessioni sopra di solidissimi argomenti tratti dalla prima filosofia, 1733). Notevoli anche De origine ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
LABRIOLA, Antonio
Dizionario Biografico degli Italiani (2004)
LABRIOLA, Antonio
Stefano Miccolis
Nacque a Sangermano (l'odierna Cassino) il 2 luglio 1843, da una "famiglia patriottico-liberale" (scriveva egli stesso a Friedrich Engels il 14 ag. 1891) di modeste [...] , cioè al disegno di legge governativo che proponeva di introdurre questo istituto, lo definiva "una legittima e naturale conseguenza logica" del concetto dello "Stato moderno". E argomentava che fosse il sintomo della nuova strategia della Chiesa di ...
Leggi Tutto
Ideologia
Enciclopedia Italiana - VI Appendice (2000)
Ideologia
Remo Bodei
(XVIII, p. 706)
Fine dell'ideologia o crisi dell'utopia?
Negli ultimi decenni del Novecento si è molto parlato di 'morte', 'fine' o 'tramonto' dell'i. (cfr., per es., Bell 1960; [...] tra storia e utopia. Non trova più conforto l'idea che una logica intrinseca agli eventi - spiegabile secondo suoi propri ritmi e principi - cui la realtà si rivela al soggetto in conseguenza della sua diversa posizione sociale. Infatti, le strutture ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
teorema di compattezza
Enciclopedia della Scienza e della Tecnica (2008)
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] la possibilità di usare questi linguaggi per classificare i grandi cardinali e viceversa. Va notato infine che lo studio della validità o meno di forme del teorema di compattezza si estende a linguaggi e logiche non classiche.
→ Modelli, teoria dei ...
Leggi Tutto
CATEGORIA:
LOGICA
semantica
Enciclopedia della Scienza e della Tecnica (2008)
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] classi di linguaggi, nozioni centrali come quelle di interpretazione, denotato, verità, soddisfazione, definibilità, modello e conseguenza logica. Tutti questi concetti sono definiti all’interno della teoria degli insiemi, che viene così a costituire ...
Leggi Tutto
CATEGORIA:
LOGICA
DE MEIS, Angelo Camillo
Dizionario Biografico degli Italiani (1990)
DE MEIS, Angelo Camillo
Fulvio Tessitore
Nacque il 14 luglio 1817 a Bucchianico, un paesino dell'Abruzzo chietino, situato sulle falde orientali della Maiella. Il padre, Vincenzo, fu medico, carbonaro [...] "il 2 dicembre fece presto a venire", e non per mera ambizione di uno e servilità di pochi altri, ma per logica conseguenza della frattura non sanata ed anzi traboccante con sempre più pericolosi ondeggiamenti così da favorire quello che nel '51 il D ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE