fondamento
1. MAPPA Un FONDAMENTO è ciascuna delle strutture murarie su cui si costruisce e su cui poggia un edificio. Con questo significato il termine è usato molto spesso nella particolare forma [...] alcuni elementi di estetica marxista, che per lui, in quel momento della sua traiettoria, erano nuovi, e perciò vivi e appassionanti.
Carlo Levi,
L’orologio
Vedi anche Architettura, Edificio, Filosofo, Logica, Matematica, Ragionare, Ragione, Teoria ...
Leggi Tutto
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso [...] di, in relazione con, in dipendenza da: il ritmo di produzione è in f. del tempo disponibile. 6. In logicamatematica, operazione che, applicata a elementi (detti argomenti) di un certo insieme, dà come risultato un elemento (valore) dello stesso ...
Leggi Tutto
sintattico
sintàttico agg. [dal gr. συντακτικός, der. di σύνταξις «sintassi»] (pl. m. -ci). – 1. Di sintassi, che riguarda la sintassi: problemi, studî, procedimenti s.; usi s.; accento s. (o di frase), [...] ◆ Avv. sintatticaménte, secondo le norme della sintassi, sotto il profilo sintattico: un periodo sintatticamente involuto. Nella logicamatematica, una teoria formalizzata si dice sintatticamente chiusa se è in grado di esprimere la propria sintassi ...
Leggi Tutto
universale1
universale1 agg. [dal lat. universalis, der. di universus: v. universo1]. – 1. a. Che riguarda tutto l’universo, che si estende o è valido per l’intero universo fisico (nell’accezione scient. [...] (in partic., Guglielmo di Champeaux), mentre nella seconda si riconoscevano i nominalisti (in partic., Roscellino). b. In logicamatematica, quantificatore u., v. quantificatore; chiusura u. di un’espressione, v. chiusura, n. 3 b. c. In diritto ...
Leggi Tutto
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione [...] l’impianto stesso e l’insieme del personale che lo gestisce. 2. In logica, accompagnato da speciali qualificazioni, nome di particolari sistemi deduttivi; in logicamatematica, s’intende comunque per calcolo un sistema deduttivo in cui la definizione ...
Leggi Tutto
termine
tèrmine s. m. [dal lat. termĭnus «limite, confine»]. – 1. a. Sinon. letter. o raro di confine, come limite di paesi e regioni, poderi e altri spazî territoriali. È usato per lo più al plur.: [...] o elementi tra i quali si istituisce il raffronto; termini di una proposizione, il soggetto e il predicato. In logicamatematica, t. di un linguaggio formale, una variabile, una costante o, più in generale, ogni espressione che denota un elemento ...
Leggi Tutto
logico2
lògico2 (ant. lòico) s. m. [dall’aggettivo prec.] (pl. -ci). – 1. Studioso, cultore di logica; autore di opere di logica o di logicamatematica. 2. Persona che ragiona con rigore logico; forte [...] ragionatore. ◆ Con l’una e con l’altra accezione, è raro l’uso del femm. logica, con riferimento a donna. ...
Leggi Tutto
conclusione
concluṡióne (raro conchiuṡióne) s. f. [dal lat. conclusio -onis, der. di concludĕre «concludere»]. – 1. a. Il fatto di concludere, d’essere concluso; compimento, termine: c. di un affare, [...] l’una di fede, l’altra di ragione, ottenuta per mezzo di dimostrazione rigorosa per via di sillogismo deduttivo. b. In logicamatematica, il risultato di una derivazione. 3. Nel linguaggio giur., conclusioni, le rispettive istanze che le parti (o il ...
Leggi Tutto
NOR
‹nòr› [acronimo di N(ot) «non» e OR (v.)]. – Termine ingl. talora usato, con valore di sost. e in funzione appositiva, in logicamatematica per indicare l’operazione di negazione della somma logica [...] (OR) di due o più variabili binarie (operazione NOR), e più spesso nell’elettronica digitale per indicare il dispositivo che attua tale operazione (circuito NOR) ...
Leggi Tutto
argomento
argoménto s. m. [dal lat. argumentum, der. di arguĕre «dimostrare»]. – 1. Ciò che si adduce a sostegno di quanto si afferma; ragione, prova: allegare, recare, addurre, confutare, ribattere [...] sopra l’origine del linguaggio»; e in forma ellittica, nei titoli: «il carme Dei sepolcri, di U. Foscolo»). 4. In logicamatematica si dà il nome di argomenti a elementi di insiemi cui, in una funzione, si applicano gli operatori della funzione ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti...