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 [...] dice che I è modello di H, oppure che I soddisfa H. La forma enunciativa H si dice una "fbf valida" o una "tautologia" o un'"identità" se ogni interpretazione I è modello di H: si dice "soddisfacibile" se ammette almeno un modello.
Tavole di verità ...
Leggi Tutto
LOGICA
Guido Calogero
. Il termine di "logica" λογικὴ τέχνη, ἀρετή "arte abilità logica": oppure τὸ λογικόν, sottinteso μέρος τῆς ϕιλοσοϕίας "la sezione logica della filosofia") entrò nell'uso specialmente [...] costanza formale e non già come regola per la formulazione di giudizî, che sarebbero in tal modo riusciti meramente tautologici. Il giudizio reale, in cui il particolare soggetto s'illuminava alla luce di un universale predicato, aveva luogo bensì ...
Leggi Tutto
tautologiatautologia (dal greco tautós, «stesso, identico» e lógos, «ragionamento») in logica matematica, proposizione che risulta vera indipendentemente dal valore di verità delle singole parti che [...] a ∨ ￢a è anche nota sotto il nome di principio del terzo escluso o tertium non datur.
Non è invece una tautologia un enunciato che non risulti sempre vero a seconda dei valori di verità degli enunciati componenti, quale per esempio il seguente:
Una ...
Leggi Tutto
neoempirismo
neoempirismo [Comp. di neo- e empirismo] [FAF] Termine con il quale sono designate correnti filosofiche ed epistemologiche di fine Ottocento e del Novecento (pragmatismo, neopositivismo, [...] , desumono i propri contenuti: strutture e strumenti formati (logica, matematica) sarebero incapaci di produrre novità conoscitive, conservando un valore utilitario o riducendosi alla messa in evidenza di formulazioni equivalenti (tautologie). ...
Leggi Tutto
validita
validità in logica, proprietà di una formula di essere vera per ogni interpretazione dei simboli che vi compaiono. Per esempio, la formula ∀x(x = x) (si legge «per ogni x, x = x») è vera per [...] mentre è falsa se x viene interpretata come numero intero.
Nel linguaggio degli → enunciati le formule valide sono le tautologie, cioè gli enunciati che risultano veri per ogni valore di verità dei singoli enunciati atomici che vi compaiono. Nel ...
Leggi Tutto
enunciati, linguaggio degli
enunciati, linguaggio degli linguaggio formale per esprimere affermazioni elementari a cui è attribuibile un valore di verità e per comporle tra loro, in modo tale che sia [...] A ⇒ (B ⇒ A)
b) (A ⇒ (B ⇒ C)) ⇒ ((A ⇒ B) ⇒ (A ⇒ C))
c) (￢ B ⇒ ￢A) ⇒ ((￢ B ⇒ A) ⇒ B)
Gli assiomi costituiscono tre tautologie (il primo assioma è la legge dell’«a fortiori»);
• come regola di inferenza (o di deduzione) si sceglie il → modus ponens, che ...
Leggi Tutto
non monotonicità
Claudio Pizzi
Mentre la regola di monotonicità (a) A→B ⊦(A∧C)→B e la sua variante metalinguistica (b) Γ⊦B solo se Γ ∪{C}⊦ B valgono incondizionatamente nella logica standard, c’è un’ampia [...] la motivazione del fallimento è diversa. Nelle logiche connessive, in cui le contraddizioni implicano solo contraddizioni e le tautologie solo tautologie, C potrebbe essere inaccettabile in quanto A∧¬A è una contraddizione, mentre B può essere o non ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Daniele Ruini
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
L’esperienza mistica è fondata sulla parola, detta o scritta, indispensabile per comunicare [...] di una nuova verbalizzazione di Dio, che passa attraverso l’uso insistito di alcune figure retoriche, quali ossimori e tautologie, e che rende possibile esprimere l’ineffabile.
La via mistica
Giovanni Pozzi
Una parola ricevuta e ridata
L’alfabeto ...
Leggi Tutto
proposizioni, calcolo delle
proposizioni, calcolo delle calcolo logico sviluppato nell’ambito del linguaggio degli → enunciati, detto anche calcolo proposizionale. I suoi oggetti sono le proposizioni, [...] come assiomi, attraverso una catena di → deduzione.
Nel calcolo delle proposizioni si possono derivare formalmente tutte le → tautologie, cioè le forme proposizionali sempre vere per ogni valore di verità delle proposizioni atomiche che le compongono ...
Leggi Tutto
verita, tavola di
verità, tavola di metodo semantico della logica proposizionale (→ enunciati, linguaggio degli) per determinare il valore di verità («vero» V oppure «falso» F) di un enunciato composto [...] è valido, cioè vero per qualsiasi interpretazione.
Ciò avviene nel linguaggio degli enunciati nel caso di → tautologie; simmetricamente, un enunciato che è falso, indipendentemente dai valori di verità dei suoi costituenti, è una → contraddizione ...
Leggi Tutto
tautologia
tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...
tautologico
tautològico agg. [der. di tautologia] (pl. m. -ci). – Di tautologia, che ha carattere di tautologia, o costituisce una tautologia: proposizione, definizione t.; formazione toponomastica t. (per es., Linguaglossa); denominazione...