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
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
proposizione
proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] . semplici) e connettivi; se le p. fossero espresse anche mediante predicati e, oltre ai connettivi, si usassero anche quantificatori, si avrebbe il calcolo dei predicati. ◆ [ALG] [FAF] Legge delle p. inverse: una delle leggi proposizionali (v. sopra ...
Leggi Tutto
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] , espressa, sul piano logico-linguistico, da una funzione proposizionale, cioè un'espressione con una variabile non vincolata da quantificatori (per es., "x è un numero primo") e che, prendendo oggetti come argomenti, assume come valore il vero ...
Leggi Tutto
matrice
matrice [Der. del lat. matrix -icis "utero, madre"] [LSF] Raro nel signif. di cosa da cui se ne trae un'altra, indica in genere, concret., la struttura principale di un corpo, nella quale eventualmente [...] da D. Hilbert nella teoria delle equazioni integrali). ◆ [ALG] [FAF] Nella logica matematica: (a) espressione priva di quantificatori, contraddistinta da un punto esclamativo collocato subito dopo di essa; precis., data una espressione predicativa in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] forma di iterazione di schemi di giudizio che, partendo dall'uguaglianza e appartenenza, applicano ripetutamente i connettivi e i quantificatori. Nel 1918 Weyl presenterà con il suo libro Das Kontinuum una fondazione predicativa dell'analisi, con una ...
Leggi Tutto
Locuzione introdotta da A. Robinson nel 1960 per indicare l’analisi basata su un modello matematico in cui, utilizzando una (opportunamente modificata) logica del primo ordine, viene data una definizione [...] è la semplicità della struttura logica che non richiede, a differenza della corrispondente definizione standard, l’alternarsi dei quantificatori universali-esistenziali dell’ε-δ meccanismo di Weierstrass, per es. la continuità di una funzione f in x ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] essere ridotta al problema di decisione della teoria dei reali. Il metodo dimostrativo usato da Tarski, l'eliminazione dei quantificatori, è uno degli strumenti più importanti della teoria dei modelli.
Teoria di Hodge. William V.D. Hodge, usando la ...
Leggi Tutto
lineare
lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] della logica matematica (e quindi anche dell'informatica) che si propone un'analisi più profonda dei connettivi e dei quantificatori (per es., i connettivi della logica l. permettono di precisare l'ordine secondo cui vanno enunciate le ipotesi di ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] lunghezza dell'input. Si ha NP⊂PSPAZIO. Un tipico problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio:
[2] ∀x∀y(x∧¬y∨∃z((x∧z)∨(y∧z))).
Un recente risultato caratterizza la classe PSPAZIO in ...
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...