calcolo logico
calcolo logico locuzione che indica un sistema formale in cui è possibile tradurre rigorosamente il concetto di → dimostrazione. Ogni ragionamento formulato nel linguaggio naturale si [...] » viene indicata da B; l’espressione simbolica A ⇒ B (implicazione) corrisponde a «se Franco non lavora, va al mare»; la in un’altra. Il consolidamento dell’aspetto simbolico della logica e dell’utilizzo di un procedimento di calcolo per esprimere ...
Leggi Tutto
coerenza
coerenza in logica, termine (sinonimo di non contraddittorietà e di consistenza), che indica la proprietà di un sistema assiomatico in cui non è possibile derivare contraddizioni: un sistema [...] ω-coerente) qualora, data una formula a di S contenente una variabile x, indicata con a(x), si abbia la seguente implicazione: se la formula a è dimostrabile per ogni numero naturale n, allora non è possibile dimostrare che esiste una variabile x per ...
Leggi Tutto
ipotesi
ipotesi in logica, enunciato che viene assunto per indagarne le conseguenze, a prescindere dalla sua eventuale verità fattuale: nelle dimostrazioni per assurdo, per esempio, si assume come ipotesi [...] ipotesi ausiliaria, utile per indagarne le conseguenze logiche, a prescindere dalla sua eventuale correttezza. dimostrativa, per provare che dagli assiomi di una teoria T discende una implicazione A ⇒ B, si dimostra che, aggiungendo agli assiomi di T ...
Leggi Tutto
Diodoro Crono
Diodoro Crono (Iaso, Caria, fine sec. iv - inizio sec. iii a.C.) filosofo greco della scuola megarica. Al suo nome è legata una particolare concezione dell’implicazione, detta implicazione [...] in t. Tale concetto di implicazione si differenzia da quello oggi normalmente accettato e detto implicazione materiale (o filoniana, da Filone del tempo e quindi a una forma embrionale di logica temporale, per lungo tempo abbandonata e ripresa solo ...
Leggi Tutto
tautologia
tautologia (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) (principio di non contraddizione)
• ￢￢A ⇔ A (doppia negazione)
• A ⇔ A (riflessività della doppia implicazione)
• (A ⇔ B) ⇔ (B ⇔ A) (simmetria della doppia implicazione)
• ((A ⇔ B) ∧ (B ⇔ C)) ⇔ (A ⇔ C) (transitività della doppia ...
Leggi Tutto
modus ponens
modus ponens in logica, regola di deduzione (indicata sinteticamente con MP) che permette di dedurre da una implicazione (per esempio, «se Socrate è un uomo allora è mortale») e dalla premessa [...] di tale implicazione («Socrate è un uomo») la sua conseguenza («Socrate è mortale»). Questa regola può essere così rappresentata simbolicamente:
dove la linea orizzontale indica che dalle premesse (A ⇒ B e A) si inferisce la conclusione (B) (→ ...
Leggi Tutto
ideografia
ideografìa [Comp. di idea e -grafia] [LSF] Rappresentazione grafica di idee, cioè scrittura basata non su fonemi, vale a dire sui suoni articolati del linguaggio, ma su simboli significanti [...] di simboli con cui si rappresentano le operazioni logiche, quali & per la congiunzione, → per l'implicazione, ecc.; per es., la rappresentazione ideografica del sillogismo "se A implica B e B implica C, allora A implica C" è: [(A→B)&(B→C)]→(A ...
Leggi Tutto
Filosofo e logico statunitense (n. Stoneham, Massachusetts, 1883 - m. 1964). Laureatosi alla Harvard University (1906), ha insegnato nell'università della California (1911-20) e quindi a Harvard fino al [...] introduzione della nozione di implicazione stretta, sulla cui base ha dato l'avvio agli studî di logica modale. Sul piano Mind and the world-order (1929; trad. it. 1977); Symbolic logic (1932, in collab. con C. H. Langford); An analysis of ...
Leggi Tutto
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; [...] storia e utopia. Non trova più conforto l'idea che una logica intrinseca agli eventi - spiegabile secondo suoi propri ritmi e principi - della conoscenza, la quale - scostandosi da ogni implicazione morale collegata all'idea di inganno - considera ...
Leggi Tutto
IDEE, Storia delle
Jacques Le Goff
*La voce enciclopedica Storia delle idee è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Francesco Mores.
I fondamenti della storia [...] i. religiose e filosofiche; 7) storia delle matematiche, della logica e della linguistica formali e delle i. metodologiche.
È con di una società e che, beninteso, non implicano una qualsivoglia organizzazione particolare dei cervelli" (L'oubli ...
Leggi Tutto
implicazione
implicazióne s. f. [dal lat. implicatio -onis]. – 1. non com. L’implicare, l’essere implicato; lo stato di più cose implicate insieme. 2. a. Conseguenza logica, necessaria di un fatto: i. sociali, economiche, finanziarie di una...
implicare
v. tr. [dal lat. implicare, comp. di in-1 e plicare «piegare»] (io ìmplico, tu ìmplichi, ecc.; poet. io implìco, ecc.). – 1. letter. Inviluppare o avvolgere intrigando, imbrogliando: un gran vento ... dibatté e implicò lo stendardo...