negazionenegazió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 [...] determinatezza di grado superiore (n. della negazione), in cui peraltro è conservata, sia pure ad altro livello, la positività del grado precedente. In logica matematica, n. di una proposizione, funzione logica che assume il valore contrario a quello ...
Leggi Tutto
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 [...] 1 se e solo se tutti i suoi ingressi sono al livello logico 1; il circuito l. NOT (corrispondente alla negazionelogica), che ha come uscita il livello logico 1 se il suo ingresso è al livello logico 0, e viceversa; ecc. 2. a. Che è conforme alla ...
Leggi Tutto
dialettica
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti [...] e la retorica. c. In Kant, d. trascendentale o «logica dell’apparenza» è la teoria degli errori naturali dello spirito umano, al suo opposto (negazione o antitesi) per giungere a una sintesi (negazione della negazione) che conserva elementi ...
Leggi Tutto
contrario
contràrio agg. [dal lat. contrarius, propr. «che sta di fronte», der. di contra «contro»]. – 1. a. Opposto, contrastante: opinioni, qualità, idee c.; io sono di parere c.; questo atto sarebbe [...] quale da una supposizione (ipotesi) si trae una conseguenza (tesi), è quella che dalla negazione dell’ipotesi fa conseguire la negazione della tesi. d. In logica formale, detto di due proposizioni universali di uguale soggetto e attributo, di cui l ...
Leggi Tutto
negativo
agg. [dal lat. tardo negativus, der. di negare «negare, dire di no»]. – 1. a. Che nega, che serve a negare, che esprime una negazione (è, in questo senso, il contr. di affermativo), spec. nella [...] particella no; avverbî n., gli avverbî non, né; proposizione n., quella il cui verbo è accompagnato da una negazione. b. Nella logica, giudizio n., quello che si esprime con una proposizione negativa, sia universale (per es.: «nessun uomo è immortale ...
Leggi Tutto
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni [...] , se preferisci; se me l’avesse detto, lo saprei; con negazione: se non vuoi altro, me ne vado; in frasi tipiche: se essi); in logica matematica, la locuz. se ... allora corrisponde al connettivo implicazione; in matematica e in logica matematica si ...
Leggi Tutto
inversione
inversióne s. f. [dal lat. inversio -onis, der. di invertĕre «invertire»]. – 1. Cambiamento in senso contrario del verso del moto, che può essere operato sia mediante un rivolgimento della [...] né le ampiezze dei singoli intervalli, né la configurazione ritmica della linea melodica originale). c. Nella logica formale, operazione che introduce la negazione tra il soggetto e il predicato di una data proposizione ipotetica, ottenendo una nuova ...
Leggi Tutto
contraddizione
contraddizióne (o meno corretto contradizióne) s. f. [dal lat. contradictio -onis, der. di contradicĕre «contraddire»]. – 1. a. Il contraddire, il contraddirsi: cadere in c.; cogliere [...] di antitesi vigente tra un’affermazione e una negazione di egual concetto ed egual predicato; l’incongruenza non è vero che A non è B, e viceversa). b. Nella logica scolastica, c. nell’attributo (lat. contradictio in adiecto), contraddizione che ...
Leggi Tutto
necessario
necessàrio agg. e s. m. [dal lat. necessarius, der. di necesse, agg. neutro, comp. di ne e cedĕre, propr. «da cui non c’è modo di ritirarsi»]. – 1. agg. a. Che è per necessità; raro con uso [...] sono (in opposizione a possibile e contingente): Ente n., Dio; conseguenza, premessa n., in logica; verità necessarie (o di ragione), in Leibniz, quelle la cui negazione è non solo falsa ma assurda (in contrapp. alle verità contingenti o di fatto ...
Leggi Tutto
contronominale
agg. [comp. di contro- e nominale]. – In logica, proposizione c., la contraria dell’inversa, cioè quella che ha come ipotesi la negazione della tesi della proposizione primitiva, e come [...] tesi la negazione dell’ipotesi di quella; è sempre vera accanto alla proposizione diretta. ...
Leggi Tutto
Nessuna cosa. Il problema filosofico del n., originato da quello dell’antitesi tra essere e non essere nella filosofia eleatica, si risolve sostanzialmente nel problema del non essere. Il problema del n. ha accompagnato poi l’intero sviluppo...
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, lontana dall'essere una restrizione...