affermativo
agg. [dal lat. tardo affirmativus]. – 1. Che afferma o serve ad affermare: risposta a. (contrapposto a negativa), risposta che consente o risponde di sì a una domanda. In gramm., particella [...] in cui l’evento previsto è costituito dal non verificarsi di un fatto (es., se l’imputato non confessa). Nella logica, giudizio a., quello che esprime positivamente l’appartenenza al soggetto delle proprietà o attributi del predicato. 2. Con uso avv ...
Leggi Tutto
cambio
càmbio s. m. [der. di cambiare]. – 1. a. Permuta di una cosa con un’altra: fare, proporre, accettare un c.; rendere il c., contraccambiare; dare, ricevere in c., fare a cambio. b. In partic., [...] una vocale, una consonante o una sillaba (penna, panna; cantone, canzone; delusione, derisione). c. In logica simbolica, c. alfabetico, particolare procedimento consistente nella sostituzione di determinate variabili che compaiono in un’espressione ...
Leggi Tutto
affermazione
affermazióne s. f. [dal lat. affirmatio -onis]. – 1. L’atto di affermare, e le parole con cui si afferma: con la sua a. mi rassicurò; a. dei proprî diritti. Nella logica, è l’atto di enunciare [...] una proposizione affermativa: opposta dunque alla negazione, e distinta dall’asserzione. 2. L’affermarsi, acquisto di notorietà, di credito, d’importanza e sim.: il suo successo è l’a. di capacità fuori ...
Leggi Tutto
positivismo
poṡitivismo s. m. [dal fr. positivisme, der. di positif «positivo»]. – 1. Complesso orientamento filosofico, sorto in Francia nella prima metà del 19° secolo e poi diffusosi in tutta Europa [...] di radice hobbesiana), e comunque priva di specifici rapporti con il positivismo filosofico e con il positivismo logico, che, in opposizione al giusnaturalismo, rescinde ogni rapporto di principio del diritto con la morale, identificandolo piuttosto ...
Leggi Tutto
decidibile
decidìbile agg. [der. di decidere]. – 1. Che può essere deciso, cioè risolto, stabilito, determinato. 2. In logica matematica, determinabile per mezzo di un giudizio, di una decisione: in [...] partic., una teoria formalizzata si dice decidibile se e solo se esiste un procedimento per accertare in un numero finito di passi se una qualsiasi formula è o no un teorema della teoria; un insieme I ...
Leggi Tutto
decidibilita
decidibilità s. f. [der. di decidibile]. – La qualità o la condizione di essere decidibile, sia in senso generico, sia nel sign. specifico della logica matematica. ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica [...] teorica, detto di una funzione (per es., l’insieme dei numeri naturali) che si può calcolare effettivamente, cioè per la quale esiste un procedimento che permette di determinarne i valori; con sign. più ...
Leggi Tutto
possibilita
possibilità s. f. [dal lat. tardo possibilĭtas -atis]. – 1. Il fatto di esser possibile, la caratteristica di ciò che può esistere, realizzarsi, avvenire: c’è la p. che tutto finisca bene; [...] esprime nel giudizio problematico; più in generale, in filosofia, si distingue una possibilità in senso lato (p. logica), con riferimento alla concepibilità delle cose, alla loro descrivibilità in forme non contraddittorie, e una possibilità in senso ...
Leggi Tutto
illazione
illazióne s. f. [dal lat. illatio -onis, der. di illatus, part. pass. di inferre «inferire»]. – L’inferire argomentando, il processo mentale con cui da una premessa si trae una conseguenza [...] logica: ragionare per i., per successive illazioni. Più com., il giudizio stesso che s’inferisce per deduzione; congettura (e nell’uso com. s’intende per lo più, con connotazione negativa, una congettura indebita, non giustificata): trarre un’i.; la ...
Leggi Tutto
standard
stàndard s. m. [dall’ingl. standard 〈stä′ndëd〉, che è dal fr. ant. estendart «stendardo»]. – 1. Livello, grado, tenore normale: lo s. di vita di un paese, di una famiglia; s. culturale, professionale [...] l’esistenza dei bosoni intermedî. Per modello solare s., o modello s. del Sole, v. sole (n. 1 a). e. In logica matematica, modello s. di una teoria assiomatica, il modello più intuitivo e più regolare della teoria (in partic., una teoria per i numeri ...
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 della conoscenza» nell’ambiente protostoico,...
logica
Il termine designa l'insieme delle dottrine che presiedono al corretto uso dell'argomentazione e del linguaggio al fine di stabilire la verità o la falsità di un enunciato. Il termine l. non occorre nelle opere dantesche, ma occorre...