predicatopredicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] attributo di uno o più soggetti, come, per es., "allineati" nella proposizione "i punti A, B e C sono allineati". ◆ [ALG] [FAF] Calcolo dei p.: la forma che assume il calcolo delle proposizioni (→ proposizione) ...
Leggi Tutto
predicato vago
Settimo Termini
Un predicato si dice vago se la sua estensione non ha confini ben definiti. Già i Greci hanno mostrato effetti paradossali causati dall’inserimento di predicati vaghi [...] sono ben lontane dall’essere definite in modo netto come, per es., numero primo in aritmetica − si può dire che ogni predicato è vago, nel senso della definizione data: possiamo, infatti, trovare sempre individui per i quali non si può stabilire se ...
Leggi Tutto
predicativopredicativo [agg. Der. di predicato "relativo a predicati"] [ALG] [FAF] Espressione p.: nella logica matematica, ogni espressione F che sia coerente con sé stessa; in simb., Pred (F)↔F(F) [...] (si parla di espressione impredicativa nel caso contrario); per es., l'aggettivo "astratto" è p. (mentre "concreto" è impredicativo) ...
Leggi Tutto
Filosofia
Nella logica kantiana, giudizio a. è quello nel quale il concetto del predicato è implicitamente contenuto nel concetto del soggetto, e in cui quindi basta analizzare il soggetto per ricavarne [...] il predicato (per es. i corpi sono estesi). Il giudizio a., fondato sul principio d’identità e di non contraddizione, è a priori, cioè vero necessariamente e universalmente, ma è infruttuoso, perché non estende la conoscenza, ma la chiarisce soltanto ...
Leggi Tutto
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] al predicato non fosse più la semplice asserzione di uno stato di fatto (S è P), ma quella di una realtà necessaria (S è necessariamente P) o di una realtà soltanto possibile (S può essere P); I. Kant, in una delle categorie principali, quella della ...
Leggi Tutto
minimalizzazione
minimalizzazióne [Der. di minimalizzare "rendere minimo", da minimale] [ALG] [FAF] Nella logica matematica, procedimento mediante il quale, dato un predicato P, si perviene, mediante [...] apposito operatore di m. (solitamente denotato con μ), a definire una funzione che indica il minimo valore della variabile predicativa x che verifichi il predicato P; per es., la funzione mcm(a,b), cioè il minimo comune multiplo dei due numeri a, b ...
Leggi Tutto
Nella logica aristotelica, riferito a ciò che separa una cosa da un’altra, che nega l’appartenenza di un predicato a un soggetto. La teologia a. (in opposizione alla catafatica) è quella che procede alla [...] conoscenza di Dio per via di negazioni, dicendo ciò che Dio non è ...
Leggi Tutto
Come termine specifico di logica, la c. è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere [...] piuttosto la posizione della scolastica contradictio in adiecto, in cui l’antitesi non è tra giudizi, ma tra soggetto e predicato di un possibile giudizio, e ha luogo quando si qualifica un soggetto con un attributo che è escluso dalla natura stessa ...
Leggi Tutto
poliadico
poliàdico [agg. (pl.m. -ci) Der. di poliade] [LSF] Che è relativo a una poliade, spec. nella matematica, ove equivale a n-adico. ◆ [ALG] [FAF] Predicato, o attributo, p.: nella logica matematica, [...] predicato riferibile a più elementi, come, per es., il predicato "è maggiore di". ...
Leggi Tutto
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
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,...