Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] vero, ∃x(x+5=7), cioè «esiste un x (nell’insieme dei numeri reali), tale che x+5=7». Si dimostra che tutti i quantificatori possono ridursi ai primi due, anzi a uno qualunque di essi, in quanto valgono le due relazioni
∀x Px ↔ Ó ∃x (Ó Px),
∃x ...
Leggi Tutto
operatore logico
operatore logico in un’algebra di → Boole, sinonimo di operazione su variabili booleane. Gli operatori logici fondamentali sono gli operatori and, per il prodotto logico, or, per la [...] soli operatori logici che è possibile definire. Innanzitutto vanno considerati nell’insieme degli operatori logici anche i quantificatori che intervengono nelle formule di logica classica in cui compaiono delle variabili (→ predicati, linguaggio dei ...
Leggi Tutto
In linguistica, la categoria di nome astratto non è universalmente accettata. I nomi astratti non sarebbero infatti di facile definizione dal punto di vista semantico: non a caso l’‘astrattezza’ non rientra [...] a una riclassificazione del nome come numerabile – i nomi astratti non possono occorrere, di fatto, con veri e propri quantificatori numerali:
(11) * cinque dolcezze
(12) * tre diffidenze
Da qui si potrebbe supporre che sintagmi come le dolcezze, le ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] elemento tra tutti quelli che soddisfano a P. Il postulato debole degli ε, che viene posto in luogo degli assiomi dei quantificatori, afferma che se ogni elemento di un insieme gode del predicato P, gode di tale predicato anche l'elemento prescelto ...
Leggi Tutto
predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] un metodo effettivo per controllare se una data formula è logicamente valida oppure no.
Se ci si limita alla quantificazione su variabili individuali, si ha il cosiddetto calcolo predicativo elementare (o del primo ordine); se si ammette anche la ...
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 [...] ).
Un sistema di logica modale può essere enunciativo (basato su un linguaggio senza quantificatori) o quantificato (basato su un linguaggio con quantificatori). Il linguaggio formale per i sistemi di logica modale enunciativa, ossia il linguaggio ...
Leggi Tutto
alfabeto
alfabeto insieme finito e non vuoto di simboli detti caratteri. La giustapposizione di caratteri permette di costruire stringhe (o parole) a ciascuna delle quali è associato un numero naturale, [...] , l’alfabeto è l’insieme dei simboli che vengono usati per scrivere un’espressione logica; essi sono connettivi, quantificatori, costanti, variabili, simboli di funzione e di relazione, parentesi, virgole ecc. Insieme ai termini e alle formule ben ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] (x))
dove U (x) sta per “(–) è uomo” e M (x) per “(–) è mortale”.
Nel quadro della sua teoria della quantificazione Frege risolve anche il problema della generalità multipla, ovvero l’occorrenza in una stessa proposizione di più di una espressione di ...
Leggi Tutto
insieme
insieme nella teoria ingenua degli insiemi termine primitivo (cioè non definibile se non in modo tautologico, e pertanto assunto come noto) legato alla possibilità di considerare una moltitudine [...] se un elemento appartenga o no all’insieme. Nella definizione intensionale di un insieme è molto utile l’uso dei quantificatori universali ∀ (che si legge «per ogni») ed ∃ (che si legge «esiste») e della congiunzione «tale che», per la quale si ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] gli oggetti, predicative per denotare gli attributi, ecc.) e simboli di termini sincategorematici (come connettivi e quantificatori); in essi si definiscono in modo inequivoco le espressioni possibili (formule bene formate) costituite a partire dai ...
Leggi Tutto
quantificatore
quantificatóre agg. e s. m. [der. di quantificare]. – 1. 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...
quantificazione
quantificazióne s. f. [dall’ingl. quantification, der. di (to) quantify: v. quantificare]. – 1. L’operazione e il risultato del quantificare: q. del predicato, nella logica, teoria, elaborata soprattutto da W. Hamilton sulla...