Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] che la soddisfa; ma, come abbiamo già visto, l'applicazione senza restrizioni di questa concezione conduce all'antinomiadiRussell. Un'altra possibilità è quella di introdurre un linguaggio ‛multigenere', in cui individui, relazioni e funzioni sono ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] il terzo escluso, che risulta un teorema nel sistema minimale C1 di da Costa e nella gerarchia di sistemi costruiti su questo. Dato il ruolo decisivo avuto dall'antinomiadiRussell nella crisi dei fondamenti, è stato naturale costruire anche una ...
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 [...] vale per i numeri ordinali, e solo dopo la diffusione del paradosso diRussell del 1902, l’argomento di Burali-Forti assume il carattere diantinomia (Moore, Garciadiego 1981).
Tornando agli Arithmetices principia, altri simboli del formalismo sono ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] elaborato da Whitehead e Russell nei Principia mathematica, corredato però di un'interpretazione empiristica. anche la crisi dei fondamenti della matematica, l'insorgere diantinomie connesse soprattutto con la nascita della teoria degli insiemi. ...
Leggi Tutto
paradosso1
paradòsso1 agg. e s. m. [dal gr. παράδοξος, comp. di παρα- nel sign. di «contro» e δόξα «opinione»; come sost., dal gr. παράδοξον (neutro sostantivato), lat. paradoxum]. – 1. agg. Che va contro l’opinione o contro il modo di pensare...