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
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] che H»); cioè la m. di possibilità è definita nel metalinguaggio a partire dalla m. di necessità e dalla negazione. Nei vari sistemi di logica modale enunciativa gli assiomi e le regole sul simbolo L corrispondono a ipotesi sul significato e sull’uso ...
Leggi Tutto
Espressione con cui si nega, contrario di affermazione.
Filosofia
Il latino negatio corrisponde all’ἀπόϕασις della logica aristotelica, designante il giudizio che connette il soggetto e il predicato in [...] un’altra determinatezza di grado superiore (n. della negazione), in cui peraltro è conservata, sia pure ad come atto del negare ma anche come contenuto negato. Alla n. logica corrisponde, nell’algebra delle classi, il passaggio da un insieme A ...
Leggi Tutto
Botanica
Qualifica di organi appartenenti a uno stesso verticillo, più o meno fusi insieme. Sono c. (o coesi) i sepali dei calici gamosepali (Lamiacee) o i carpelli che costituiscono un ovario unico. Se [...] ondulatorie che queste siano coerenti.
Matematica
In logica matematica, una teoria formalizzata viene detta c. essa non sono dimostrabili contemporaneamente un enunciato e la sua negazione. Qualora, viceversa, accadesse questo, allora, per un ...
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 informatica e in elettronica, denominazione di uso internazionale dell’operazione logica di inversione (o negazione): data una proposizione logica p, che può essere vera (true) o falsa (false), NOT(p)=false [...] se p=true e NOT(p)=true se p=false ...
Leggi Tutto
In informatica ed elettronica, denominazione internazionale, composta dalla N di NOT e da OR, dell’operazione di inversione (o negazione) della somma logica OR fra variabili booleane, della funzione corrispondente, [...] e anche del circuito che la realizza ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] di una questione di periodizzazione: è la logica sotterranea delle alleanze tra neoarchimedismo e teorie dell -Nīsābūrī, dunque, ci permette senza dubbio di spostare la prima negazione della tesi aristotelica indietro di due secoli e di cogliere la ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] possibile per la ragione". Vuole con ciò stabilire la negazione di questa tesi: esistono cose che non si possono al-Kindī lo era stato del IX. Per questo grande metafisico, logico e medico, le matematiche avevano un ruolo diverso da quello che ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] 1° vol., parte I, p. 79).
La diagnosi è intempestiva perché la logica non si esaurisce più nello studio delle nozioni di ‘individuo’, ‘classe’, ‘appartenenza’, ‘inclusione’, ‘negazione’; tanto più che l’autore cita, sia pure en passant, i Grundzüge ...
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...