Cerca in:
sequenti, calcolo dei
Enciclopedia della Matematica (2013)
sequenti, calcolo dei
sequenti, calcolo dei calcolo logico introdotto da G. Gentzen negli anni Trenta del xx secolo i cui elementi sono i sequenti, vale a dire espressioni del tipo Γ ⊢ Δ in cui Γ e Δ [...] qualsiasi termine del linguaggio e A[x] rappresenta la sostituzione della variabile x al posto del termine t)
introduzione del quantificatore esistenziale a sinistra
(in questa regola la variabile x non è una variabile libera nelle formule di Δ e Γ ...
Leggi Tutto
proposizione
Dizionario delle Scienze Fisiche (1996)
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
espressione
Enciclopedia della Matematica (2013)
espressione
espressione scrittura formale che coinvolge un numero finito di numeri, lettere (dotate di valore simbolico) e operazioni. Un’espressione algebrica è un’espressione che coinvolge solamente [...] è anche detta espressione frazionaria. Un’espressione in cui intervengano operatori differenziali o integrali è detta differenziale; un’espressione logica è un’espressione in cui intervengono operatori logici, quali connettivi o quantificatori. ...
Leggi Tutto
Frege, Gottlob
Enciclopedia on line
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
CATEGORIA:
BIOGRAFIE
suppositio
Dizionario di filosofia (2009)
suppositio
Sostantivo lat., propr. «supposizione». Con questo termine si fa riferimento alla dottrina logica medievale che designa la proprietà di un termine categorematico all’interno di una proposizione. [...] termine quando ricorre in un contesto, e in primo luogo in una proposizione, nella quale la sua occorrenza è condizionata dai quantificatori, dal tempo del verbo e dagli eventuali operatori modali; il termine ha così s. per (supponit pro) le cose ch ...
Leggi Tutto
ordine
Dizionario di filosofia (2009)
ordine
Dato un insieme qualsiasi è possibile organizzare i suoi elementi secondo una certa regola (o relazione) che definisce un ordine degli elementi nell’insieme. Si chiamano relazioni d’o. (o semplicemente [...] o., per es., è la logica dei linguaggi nei quali i predicati prendono come argomenti solo individui e i quantificatori quantificano su variabili individuali; la logica dei predicati del secondo o. è quella che contiene anche variabili per proprietà ...
Leggi Tutto
massa, nomi di
Enciclopedia dell'Italiano (2011)
La categoria dei nomi di massa, presente in molte lingue del mondo, è costituita da ➔ nomi che presentano diverse proprietà, in particolare:
(a) indicano tipicamente sostanze o materie anziché individui;
(b) [...] a. e i nomi numerabili (o con interpretazione numerabile) sono indicati con b.
I nomi di massa accettano ➔ quantificatori indefiniti come abbastanza, molto, poco, quanto, i quali possono modificare nomi numerabili solo se questi sono al plurale (4 ...
Leggi Tutto
CATEGORIA:
LESSICOLOGIA E LESSICOGRAFIA
logica
Enciclopedia della Matematica (2013)
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] distinzione semantica fra uso e menzione delle espressioni quanto alla formulazione delle relazioni tra i quantificatori;
• una teoria generale dell’implicazione (consequentia), posta alla base della logica delle proposizioni;
• dettagliate indagini ...
Leggi Tutto
matrice
Dizionario delle Scienze Fisiche (1996)
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
Storia della Scienza (2004)
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
CATEGORIA:
STORIA DELLA MATEMATICA