Heyting, Arend
Matematico e logico olandese (Amsterdam 1898 - Lugano 1980). Insegnò nella univ. di Amsterdam e fu tra i più brillanti allievi di Brouwer, il fondatore dell’intuizionismo. Distanziandosi [...] già stato sostenuto da Brouwer) o dell’eliminazione della doppia negazione. Sul piano filosofico H. ha affiancato Brouwer nella sua critica al logicismo. Poiché la logica registra e studia le regolarità nei processi di costruzione matematica, non ...
Leggi Tutto
Sheffer, funtori di
Sheffer, funtori di espressione che denota due connettivi logici, il primo indicato con il simbolo ↓, il secondo indicato con il simbolo |. Il primo operatore è utilizzato per comporre [...] con B». La sua tavola di verità è:
L’enunciato A|B è logicamente equivalente a ¬(A ∧ B) e, quindi, a ¬A ∨ ¬B (per questo è anche detto negazione alternativa o barra di Sheffer). Utilizzando i due funtori di Sheffer è possibile ricostruire ...
Leggi Tutto
Karnaugh, mappa di
Karnaugh, mappa di metodo grafico-sistematico per la semplificazione e la rappresentazione di funzioni logiche a n variabili, a partire da somme di mintermini o prodotti di maxtermini. [...] di n variabili. Si indica con 0 il valore falso, con 1 il valore vero, con ⋅ l’operatore logico e (and), con + l’operatore logico o (or) e con ¬ la negazione. Una funzione con due variabili A e B richiede una mappa di Karnaugh con quattro celle. Le ...
Leggi Tutto
nor
nor operatore logico (o porta logica) che a ogni coppia di valori binari in ingresso (0 e 1) associa in uscita un solo valore, che è 1 solo se entrambi i valori in ingresso sono 0 ed è 0 in tutti [...] enunciati. Esso è un particolare connettivo corrispondente alla negazione di una disgiunzione: dati due enunciati A e altri casi. La sua tavola di verità è:
Il circuito logico corrispondente all’operatore nor si ottiene con la connessione in serie ...
Leggi Tutto
atman
ātman
Nella filosofia indiana, termine chiave, ma non unico, per indicare il «sé», o principio di individualità personale contrapposto alla materia, al corpo e alle sue funzioni anche cognitive. [...] sembrano negare l’esistenza di un ā., anche se i termini di tale negazione sono tuttora oggetto di studio. I tentativi delle scuole non buddiste di fondare la necessità logica o morale di un ā. come principio unificante le attività cognitive e ...
Leggi Tutto
storiografia Scienza e pratica dello scrivere opere relative a eventi storici del passato, in quanto si possano riconoscere in essa un’indagine critica e dei principi metodologici.
Il complesso delle opere [...] mancò la reazione da parte della filologia alla rigidezza del suo schema logico, alla tendenza a sistemare a priori gli eventi. Anche la grande di storia e filosofia e sulla negazione delle pretese conoscitive degli pseudoconcetti sociologici ...
Leggi Tutto
necessità Carattere, qualità, condizione di ciò che non può non essere o essere diversamente da come è.
Filosofia
Nel mondo greco, il termine corrispondente a n., ἀνάγκη, è adoperato inizialmente per [...] n. va annoverato Parmenide con la scoperta della n. logica, per cui la pura asserzione dell’essere esclude ogni asserzione sé medesimo. In questo senso, esso tende a configurarsi come negazione di ogni volontà e libertà: donde l’opposta dottrina del ...
Leggi Tutto
Linguistica
Termine con il quale si indicano gli elementi (specialmente avverbi o locuzioni avverbiali e congiunzioni coordinanti o subordinanti) che hanno la funzione di collegare le parti di un testo [...] tessuto connettivo ➔ connettivo, tessuto.
Matematica
Connettivi enunciativi
In logica matematica, termini sincategorematici che o si premettono a un enunciato (negazione) o si interpongono fra due enunciati (congiunzione, disgiunzione, condizionale ...
Leggi Tutto
In elettronica e informatica, denominazione internazionale, composta dalla N di NOT e da AND, dell’operazione di inversione (o negazione) del prodotto logico AND tra variabili booleane, della funzione [...] circuito che la realizza. Come avviene per l’altra funzione logica universale NOR, tramite l’uso ripetuto della funzione NAND in chip integrati, appartenenti alle principali famiglie logiche, con configurazioni diverse per realizzare circuiti ...
Leggi Tutto
Nella logica kantiana, il giudizio che, insieme a quello apodittico e a quello problematico, costituisce la categoria della modalità; consiste in un’affermazione o negazione (A è B; A non è B), senza alcuna [...] idea di necessità o di possibilità, ossia esprime una semplice verità di fatto (mentre la verità di diritto è espressa dal giudizio apodittico), e viene perciò detto anche ‘giudizio di realtà’ ...
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...