monadico
monàdico agg. [der. di monade] (pl. m. -ci). – Relativo a una monade, a un unico individuo; in partic., in logica matematica, predicato (o attributo) m., predicato riferibile a singoli individui. ...
Leggi Tutto
alogico
alògico agg. [comp. di a- priv. e logico] (pl. m. -ci). – 1. In filosofia, di ciò che è estraneo ma non contrario (illogico) alla logica. 2. In neuropsichiatria, sindrome a., sindrome demenziale [...] dovuta a un complesso di lesioni a focolaio e caratterizzata da varî disturbi psichici (afasia sensoriale, agnosia, ecc.) ...
Leggi Tutto
cacologia
cacologìa s. f. [comp. di caco- e -logia; cfr. gr. κακολογία «il dir male, maldicenza»]. – In retorica, espressione difettosa che, senza costituire una scorrettezza grammaticale, contrasta [...] all’uso, alla logica, ecc.; in partic., l’accostamento, in una medesima locuzione, di elementi che appartengono a metafore differenti. ...
Leggi Tutto
ricorrenza
ricorrènza s. f. [der. di ricorrere]. – 1. Il fatto di ricorrere, cioè il ritorno periodico di un avvenimento a determinati intervalli di tempo: r. cicliche; r. di un fatto, di un fenomeno; [...] nel linguaggio com. che in quello scient., sono detti ricorrenze (o r. femminili) i flussi mestruali. 3. In matematica e logica matematica, sinon. di induzione (completa), nelle locuz. definizione per r., dimostrazione o ragionamento per ricorrenza. ...
Leggi Tutto
ricorsivita
ricorsività s. f. [der. di ricorsivo]. – In matematica e in logica matematica, la proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., teoria matematica che si propone lo studio, [...] nell’ambito dei numeri naturali, di tutti i procedimenti effettivi (v. ricorsivo) ...
Leggi Tutto
ricorsivo
agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono [...] ottenere dalle funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e di induzione. Con altro sign., in matematica e in informatica, procedura r., algoritmo r., quelli ...
Leggi Tutto
banda1
banda1 s. f. [dal provenz. banda, prob. dal lat. mediev. banda nel senso di «partito, fazione» (v. banda2)]. – 1. non com. Lato, parte: passare da b. a b.; uscio, sportello a due b., a due battenti; [...] , tralasciare, non curare o non fare più: mettiamo da b. i complimenti; posi da b. le analisi grammaticali e l’analisi logica, noiosissima, e feci l’analisi delle cose, a loro gustosissima (F. De Sanctis). In geometria, ciascuna delle due parti (o ...
Leggi Tutto
subordinazione
subordinazióne s. f. [dal lat. mediev. subordinatio -onis]. – 1. a. La condizione oggettiva di chi dipende da altre persone gerarchicamente superiori per grado e per autorità; in senso [...] il nome (lavoro subordinato, o dipendente), ed è elemento distintivo del rapporto di lavoro dal contratto d’opera. 2. Nella logica, relazione per la quale un concetto è contenuto nell’estensione dell’altro (v. comprensione, n. 2 b; intensione, n. 2 ...
Leggi Tutto
valere
valére v. intr. [lat. valēre «essere forte, sano; essere capace; significare»] (pres. indic. valgo [ant. o poet. vàglio], vali, vale, valiamo, valéte, vàlgono [ant. o poet. vàgliono]; pres. cong. [...] : come traduttore, vale certamente meno di te; crede forse di v. più di me? d. Avere forza ed efficacia legale o logica: non è la parola, è la firma che vale; le tue sono ragioni che non valgono proprio; vale qualcosa questa dichiarazione?; la ...
Leggi Tutto
freccia
fréccia s. f. [dal fr. ant. fleche (in fr. mod. flèche), voce di origine germ.] (pl. -ce). – 1. a. Arma da getto, in uso dalla più remota antichità a tutto il medioevo, sino all’introduzione [...] rinvio; in formule chimiche per indicare il senso di una reazione; e altri sign. specifici ha in analisi vettoriale, in analisi e logica matematica. c. In passato, nelle calze da donna, nome dato talvolta alla baghetta. 3. Con usi più partic.: a. In ...
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...