In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] in tutti i modi possibili sugli individui del dominio della struttura e quelle vincolate nei modi consentiti dall’interpretazione dei quantificatori. Una formula di L è detta vera in un’interpretazione I del linguaggio se e soltanto se per ogni ...
Leggi Tutto
Diritto
C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] tra le c. sintattiche è quella tra ‘funtori’ e ‘argomenti’. Tra i funtori si annoverano i connettivi e i quantificatori, tra gli argomenti i nomi propri e gli enunciati.
Sono detti categoriali i simboli che servono a rappresentare una determinata c ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] asintotica positiva contiene segmenti di progressioni aritmetiche di lunghezza arbitraria.
Una procedura per l'eliminazione dei quantificatori. George E. Collins presenta una nuova procedura decisionale per la teoria dei campi realmente chiusi basata ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] ricorsive primitive. Teorema 3: i predicati ottenuti da predicati ricorsivi primitivi mediante connettivi enunciativi e quantificatori limitati sono ricorsivi primitivi. Questi teoremi sono importanti nel procedimento di aritmetizzazione, cioè di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] esplicitamente di semantica per le modalità è stato Rudolf Carnap (1891-1970), che analizzò le modalità in termini di quantificazione su mondi possibili. Oltre che con possible worlds, di derivazione leibniziana, Carnap si riferisce ai mondi con le ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] ‘vero-in-L’, una novità decisiva della s. tarskiana è la trasposizione della concezione fregeana di connettivi e quantificatori in una vera e propria metateoria matematica, che costituisce un’applicazione particolare della teoria degli insiemi. Quest ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] dal punto di vista grammaticale erano categoremi, potevano assumere in una proposizione una funzione di quantificatori (signa) ed essere perciò considerati termini sincategorematici; in altre parole, alcuni termini categorematici erano classificati ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] , il saggio formalizza le nozioni di assioma implicito ed esplicito, di teorema e di dimostrazione. Si definiscono i quantificatori e si stabiliscono le loro proprietà. Si introducono le relazioni e i simboli funzionali.
Il secondo capitolo dal ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] L'idea dell'interpretazione è di codificare in modo ereditario informazioni sulla realizzazione esplicita di disgiunzioni e quantificatori esistenziali, ricorsivamente in parametri numerici. La definizione è per induzione sul numero di simboli logici ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] che permette di tradurre ogni insieme di formule del calcolo dei predicati del primo ordine (contenente quindi in generale dei quantificatori) in un insieme di clausole.
Il metodo di risoluzione è un metodo che permette di stabilire se una clausola è ...
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...