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. 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
Scienza
Gerard Radnitzky
Paolo Rossi
di Gerard Radnitzky, Paolo Rossi
SCIENZA
Teoria della scienza di Gerard Radnitzky
sommario: 1. Introduzione. 2. Che specie di disciplina è la teoria della scienza [...] sul tema della rilevanza delle macchine), Borkenau, richiamandosi a Marx, tendeva a identificare l'avvento dei ‛metodi quantificatori' adottati sul piano delle filosofie e della teoria con la produzione industriale.
Pochi anni prima della comparsa ...
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...