proof-net
proof-net o rete dimostrativa o rete di prova, in logica lineare è un grafo che rappresenta una dimostrazione, termine con cui si intende una deduzione formale nel calcolo dei → sequenti della [...] Gli archi di un proof-net sono etichettati da formule della logica lineare; i nodi sono detti legami e rappresentano le regole etichettate rispettivamente da una formula A e dalla sua negazione A⊥ e nessuna conclusione.
Per definire formalmente un ...
Leggi Tutto
megarica, scuola
Locuz. con la quale si designa il gruppo di pensatori che – secondo uno schema dossografico delineato già dagli antichi e ormai per lo più considerato artificioso – seguirono l’indirizzo [...] bene, cioè il molteplice, è irreale. Ne seguiva la negazione del movimento, il rifiuto dei dati sensibili, la dimostrazione dell O 30) Stilpone negò la validità di ogni forma di logica discorsiva, sostenendo la validità del solo giudizio di identità; ...
Leggi Tutto
paranoia
Psicosi caratterizzata dallo sviluppo di un delirio cronico (di grandezza, di persecuzione, di gelosia, ecc.), lucido, sistematizzato, dotato di una propria logica interna, non associato ad [...] descrisse come un disturbo psichico consistente nella deduzione logica di conseguenze legittime da principi falsi, da significativo al riconoscimento dei meccanismi psicodinamici della negazione e della proiezione come centrali nello sviluppo ...
Leggi Tutto
De Morgan, leggi di
De Morgan, leggi di equivalenze logiche che permettono il passaggio da una congiunzione fra proposizioni a una disgiunzione e viceversa. In simboli:
Per esemplificare la prima legge [...] verità dellʼenunciato ￢a ∨ ￢b e si verifica lʼequivalenza logica fra le due proposizioni.
Le due leggi hanno un corrispettivo nella sottoinsieme A di un insieme universo X;
• alla negazione di una proposizione ￢a corrisponde il complementare dellʼ ...
Leggi Tutto
Enciclopedia delle scienze filosofiche in compendio
(Enzyklopädie der philosophischen Wissenschaften im Grundrisse) Opera di G.W.F. Hegel, pubblicata nel 1817, poi in ed. accresciuta, nel 1827, e nel [...] è oltre ogni realtà finita e comprende in sé ogni realtà finita. L’idea assoluta avvia la trattazione dalla logica alla natura, che è secondo Hegel negazione dell’idea, la quale si estrinseca nello spazio e nel tempo, ma che, nella sua impotenza a ...
Leggi Tutto
reductio ad absurdum
reductio ad absurdum (lat., «riduzione all’assurdo») tecnica dimostrativa, detta anche dimostrazione per assurdo, usata spesso in matematica; essa consiste nel dimostrare la validità [...] fra 0 e 1 sono infiniti.
Dal punto di vista logico la reductio ad absurdum può essere così sintetizzata: per dimostrare una assiomi la formula ￢A (si legge «non A»), cioè la negazione di A, detta anche ipotesi assurda, si giunge a una contraddizione ...
Leggi Tutto
paranoia
Sintomo psichiatrico caratterizzato dallo sviluppo di un delirio cronico (di grandezza, di persecuzione, di gelosia, ecc.), coerente, sistematizzato, dotato di una propria logica interna, non [...] . In quegli anni Sigmund Freud diede un contributo significativo al riconoscimento dei meccanismi psicodinamici della negazione (➔) e della proiezione (➔) come centrali nello sviluppo paranoide. La psicoanalisi ha prodotto anche fecondi studi ...
Leggi Tutto
porta logica
porta logica circuito elementare dell’elaboratore in grado di ricevere più segnali in ingresso e di emetterne uno solo in uscita sulla base di quelli ricevuti in ingresso e della propria [...] e viceversa, L’operazione corrispondente è detta complemento; il connettivo corrispondente è la negazione.
A partire da queste porte logiche elementari si possono costruire circuiti più complessi, detti anche circuiti combinatori, tramite l’opportuna ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti le variabili xi hanno tutte valore 1; (c) l'inversione o negazione (operazione NOT) di una variabile, come l'operazione il cui risultato ...
Leggi Tutto
operatore logico
operatore logico in un’algebra di → Boole, sinonimo di operazione su variabili booleane. Gli operatori logici fondamentali sono gli operatori and, per il prodotto logico, or, per la [...] corrispondono rispettivamente ai connettivi ∧, ∨ e ￢ della congiunzione, della disgiunzione e della negazione. Analogamente, corrispondono ad aggregazioni di connettivi alcuni operatori logici, quali il nand e il nor, utili per la semplificazione di ...
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...