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
Formalizzazione della vaghezza
Settimo Termini
Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] troppo semplice perchè possa riuscire a carpire aspetti essenziali di una nozione estremamente sottile e sfuggente come quella di predicato vago (non a caso espulsa da Gottlob Frege dal dominio della logica). Si ha l’impressione che l’impostazione ...
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
matematica In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data proprietà, che viene [...] solitamente espressa da un predicato (➔ operatore). linguistica Il termine è usato, oltre che con accezioni analoghe a quelle della logica, per indicare un determinante che, riferito al sostantivo, ne esprime la quantità (uno, due..., ogni, qualcuno, ...
Leggi Tutto
Particolare tipo di procedimento, usato in logica matematica e soprattutto nella teoria della ricorsività, nel quale si fa uso dell’operatore di m., o operatore-μ, che consente di definire in modo opportuno [...] : «f(x1, ..., xn) è uguale al più piccolo y tale che sia g(x1, ..., xn, y)=0». Se, invece, si parte da un predicato noto Px1 ... xn y, la formula è:
f(x1, ..., xn) = μyPx1 ... xn y.
Qualora in una delle due definizioni si supponga che questo valore ...
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
Linguistica
In grammatica, si intende per c. la disposizione dei vari sintagmi, o elementi sintattici, nella proposizione o nel periodo secondo un ordine determinato; si dice c. diretta quando le parole [...] sono disposte secondo un ordine logico o che per convenzione si ritiene normale (soggetto, predicato, complemento); c. inversa quando l’ordine naturale è invertito. Il termine c. indica inoltre la particolare reggenza richiesta, nella proposizione o ...
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
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] tesi (o ipotesi o legge) di Ch., la quale afferma che ogni funzione effettivamente calcolabile (cioè ogni predicato decidibile) è ricorsiva generale. Essa ha formulazioni equivalenti nella tesi di Turing, nel principio di Markov di normalizzazione ...
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,...