modalita
modalità [Der. di modale "modo di essere"] [FAF] Nella logica, ciascuno dei modi con cui può configurarsi il nesso tra soggetto e predicato, per es., di necessità, possibilità, impossibilità. [...] ◆ [LSF] Ciascuno dei modi possibili con cui può presentarsi un carattere o un fenomeno, i quali possono differenziarsi o qualitativamente (per es., un corpo generic. elettrizzato può avere carica elettrica ...
Leggi Tutto
Filosofia
L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] loro insieme lo definiscono: d. reale, soprattutto nella filosofia scolastica, quella che ha per oggetto una cosa e ne spiega in parole l’essenza; d. nominale, quella che si limita a spiegare il significato ...
Leggi Tutto
epsilon
èpsilon [gr. epsilòn "semplice"] [LSF] Nome della lettera greca ε (e breve) maiusc. Ε. ◆ [ALG] Operatore ε: introdotto da D. Hilbert nella logica dei predicati del 1° ordine, in relazione a un [...] predicato monadico P sceglie o privilegia un particolare elemento tra tutti quelli che appartengono a P. ◆ [FSN] Mesone ε: v. nucleone: IV 207 b. ...
Leggi Tutto
diadico
diàdico [agg. (pl.m. -ci) Der. di diade "relativo a una coppia, binario"] [ALG] Numerazione d.: lo stesso che numerazione binaria. ◆ [ALG] Operazione d., o binaria: operazione mediante la quale [...] di elementi di un insieme si fa corrispondere un elemento del medesimo insieme. ◆ [ALG] [FAF] Predicato d.: nella logica matematica, qualsiasi predicato che si riferisca a due individui. ◆ [ALG] [FAF] Relazione d.: relazione tra due soli elementi ...
Leggi Tutto
Church Alonzo
Church 〈cèrcë〉 Alonzo [STF] (n. Washington 1903) Prof. di logica matematica nell'univ. di Princeton (1947) e nell'univ. della California, a Los Angeles (1967). ◆ [FAF] Tesi, o ipotesi, [...] di C.: enunciata da C. nel 1936, afferma che ogni funzione effettivamente calcolabile, cioè ogni predicato decidibile, è ricorsiva generale. La tesi di C. e l'affermazione inversa (cioè che ogni funzione ricorsiva è effettivamente calcolabile) non si ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato riferibile a singoli elementi. ...
Leggi Tutto
quantificatore
quantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene [...] indica quanti oggetti, tra quelli rappresentati dalla variabile, godono di una certa proprietà, di solito indicata da un predicato; precis.: (a) q. universale, di simb. ∀ (l'iniziale rovesciata dell'ingl. all "tutti"), che significa "qualunque sia ...
Leggi Tutto
analitico
analìtico [agg. (pl.m. -ci) Der. di analisi] [ANM] Continuazione a.: v. funzioni di variabile complessa: II 777 f. ◆ [RGR] Estensione a.: lo stesso che varietà pseudoriemanniana completa, varietà [...] a.: v. funzioni di variabile complessa: II 776 d. ◆ [FAF] Giudizio a.: nella logica, quello in cui il concetto del predicato è implicitamente contenuto nel concetto del soggetto. ◆ [ANM] Prolungamento a.: lo stesso che continuazione a. (v. sopra). ...
Leggi Tutto
proprieta
proprietà [Der. del lat. proprietas -atis, da proprius "proprio"] [LSF] Qualità propria e particolare che un ente (una sostanza, un corpo, un sistema materiale, un essere vivente, una specie [...] Il termine, quando non è usato, come ora detto, in relazione alla specificità di un ente, è sinon. di attributo, qualità, predicato e simili. ◆ [ALG] [ANM] P. formali di un ente matematico: ogni conseguenza logica della definizione stessa del-l'ente ...
Leggi Tutto
Economia
Si dice di prezzi, tassi, valori, convenzionali o di comodo, che esistono soltanto di nome e che non necessariamente corrispondono alla realtà: corso n., il prezzo attribuito in borsa ai titoli [...] e passato); frase n., frase in cui manca il predicato verbale (es., tutti a casa!) o in cui il predicato n. è applicato al soggetto senza la copula (es., traduttori traditori); predicato n., quello consistente in un aggettivo o sostantivo e una ...
Leggi Tutto
predicato
s. m. [dal lat. praedicatum, part. pass. neutro sostantivato di praedicare (v. predicare), che come termine della logica e della grammatica traduce, nel lat. tardo e mediev., il gr. κατηγορούμενον «detto, asserito»]. – 1. Ciò che...
predica
prèdica s. f. [der. di predicare]. – 1. a. Discorso che il sacerdote tiene in chiesa ai fedeli, parlando dal pulpito, dall’altare o dal presbiterio, su qualche passo della Scrittura o su argomenti di carattere morale, liturgico, sociale,...