La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] , la logica di Frege era un calcolo dei predicati del secondo ordine, che utilizzava negazione, implicazione e quantificatoreuniversale come operatori logici di base, e conteneva un sistema completo per il calcolo proposizionale e dei predicati del ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] , altri simboli del formalismo sono: ‘∩’ (congiunzione), ‘∪’ (disgiunzione), ‘−’ (negazione), ‘⊃’ (derivazione), ‘∧’ (falso o assurdo); una notazione per la quantificazioneuniversale ‘a ⊃x,y b’, da leggersi ‘per ogni x, y da a si deduce b’; inoltre ...
Leggi Tutto
universale1
universale1 agg. [dal lat. universalis, der. di universus: v. universo1]. – 1. a. Che riguarda tutto l’universo, che si estende o è valido per l’intero universo fisico (nell’accezione scient. di questo termine): legge dell’attrazione...
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...