implicazione inversa
implicazione inversa in logica, l’implicazione inversa dell’implicazione A ⇒ B («A implica B») è l’implicazione B ⇒ A ottenuta scambiando l’antecedente con il conseguente (→ implicazione). ...
Leggi Tutto
SORITE
Guido Calogero
. Termine della logica formale, corrispondente al greco σωρίτης, il quale a sua volta è derivato da σωρός "mucchio". Il nome di sorite ha infatti, inizialmente, il sofisma megarico [...] del "mucchio" (il primo granello non costituisce un mucchio, il secondo neppure, ecc.: o si conclude che il mucchio non si costituisce mai, o, se si ammette che esso si costituisce per l'aggiunta di un ...
Leggi Tutto
ESCLUSIONE, COMPLEMENTO DI
Nell’analisi logica, il complemento di esclusione è il complemento retto dalla preposizione senza, che indica un’esclusione, una mancanza rispetto a quanto espresso dal verbo
Sono [...] andato in vacanza senza i miei amici ...
Leggi Tutto
formula atomica
formula atomica in logica, elemento di base per costruire le formule dei linguaggi formali. Per esempio, nel linguaggio degli enunciati, le formule atomiche sono le lettere enunciative, [...] che sono rappresentate dalle lettere dell’alfabeto (a, b, c, …). Componendo formule atomiche per mezzo dei connettivi si ottengono forme enunciative ...
Leggi Tutto
COLPA, COMPLEMENTO DI
Nell’analisi logica, il complemento di colpa indica la colpa di cui qualcuno è responsabile o per la quale viene accusato.
Può essere introdotto dalle preposizioni di e per
Il colpevole [...] del furto è stato arrestato
Mi sento responsabile per quello che è successo ...
Leggi Tutto
predicato semidecidibile
predicato semidecidibile in logica, predicato P(x) per il quale si riesce a stabilire, con un numero finito di operazioni, se esso è vero, mentre non esiste una procedura finita [...] per stabilire se esso è falso. La funzione caratteristica di un predicato semidecidibile è, quindi, definita solo per alcuni valori della variabile x ed è pertanto una funzione ricorsiva parziale (→ predicato ...
Leggi Tutto
legame assioma
legame assioma in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola dell’assioma (o regola dell’identità) nel calcolo [...] dei sequenti lineare. Il legame assioma è indicato con (ax), non ha premesse e ha due conclusioni etichettate rispettivamente da una formula A e dalla sua negazione A⊥ (→ proof-net) ...
Leggi Tutto
QUALITA, COMPLEMENTO DI
Nell’analisi logica, il complemento di qualità è il complemento che indica la qualità di una persona o di un essere inanimato, in senso sia proprio, sia figurato.
Il complemento [...] di qualità può essere introdotto dalle preposizioni di, a, da, con
Un professore di grande competenza
Schermo a cristalli liquidi
Un uomo con una forte moralità ...
Leggi Tutto
teoria categorica
teoria categorica in logica, locuzione che indica una teoria matematica i cui modelli interpretativi sono tutti isomorfi tra loro. È tale per esempio l’aritmetica formalizzata con gli [...] assiomi di Peano. La teoria dei gruppi è invece una teoria non categorica perché ci sono più modelli di gruppo tra loro non isomorfi (si vedano anche → modello; → categoricità) ...
Leggi Tutto
MATERIA, COMPLEMENTO DI
Nell’analisi logica, il complemento di materia è il complemento che indica la sostanza di cui si compone una cosa o una persona, in senso sia proprio sia figurato.
Può essere [...] introdotto dalle preposizioni di e in
I fili di rame del telefono
Indossava una tuta in amianto
Ma sei di ghiaccio ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...