lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] di stabilire la verità o falsità di un enunciato formato da proposizioni semplici e connettivi logici: congiunzione (e), disgiunzione (o), negazione (non), implicazione (se... allora...), in ragione della verità o falsità delle proposizioni e dei ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] che il risultato della sostituzione in Ai è identico alla negazione del risultato della sostituzione in Bj), allora la clausola +1 ⋁...⋁ An ⋁ B1 ⋁...⋁ Bj-1 ⋁ Bj+1 ⋁...⋁ Bm) è una conseguenza logica (un risolvente) di C1 e C2. Per es. se C1=¬P(s(0), s ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] a essa una e una sola parallela. Si cercava di provarne la validità e necessità mostrando come la sua negazione portasse a risultati logicamente assurdi o in contrasto con il senso comune. Agli inizi del 19° sec. le ricerche assumono una direzione ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] e l’italiano G. Peano, cui si deve l’elaborazione di un simbolismo logico vicino a quello comune e la fondazione di una ‘scuola italiana’ di l. accettato come un principio generale il principio della doppia negazione, «non non p implica p»: il fatto ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] un assetto della m. più soddisfacente dal punto di vista puramente logico.
Il nuovo atteggiamento di critica degli studi matematici, che ha esperienza, risultano dall’inconcepibilità della loro negazione, in quanto questa implicherebbe contraddizione, ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] un valore di una (o più) variabili reali.
Funzioni di verità
In logica matematica, particolare tipo di f. che ha sia come argomenti sia come tramite i connettivi in questione. Per es., la negazione viene interpretata come quella f. a un argomento che ...
Leggi Tutto
Antropologia
Nel dibattito antropologico e sociologico contemporaneo, il termine g. ha sostituito il termine sesso per indicare la tipizzazione sociale, culturale e psicologica delle differenze tra maschi [...] histoire de la littérature (1890).
Il Novecento
La prima sistematica negazione della teoria dei g. si profila nell’estetica del Novecento comodo, svincolata dallo stesso processo della critica. Nella Logica (1909) si precisa il carattere di pseudo- ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] solo se tutte le xi hanno il valore 0; si definisce prodotto logico (operazione AND) l’operazione il cui risultato vale 1 se e tutte le xi hanno il valore 1; infine, inversione o negazione (operazione NOT) della variabile x è l’operazione il cui ...
Leggi Tutto
Come termine specifico di logica, la c. è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere [...] si qualifica un soggetto con un attributo che è escluso dalla natura stessa del soggetto (per es. sfera cubica).
In logica matematica il principio di c. è espresso dalla formula ¬ (p ⋀ ¬ p). Questo principio, in relazione a un calcolo logistico ...
Leggi Tutto
negazione
negazióne s. f. [dal lat. negatio -onis]. – 1. a. L’atto del negare, e l’espressione con cui si nega (il contrario di affermazione): una n. recisa, timida, ostinata; la n. di una verità, di un fatto, di un concetto; la n. dell’evidenza;...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...