biblio toscana

La filosofia della matematica è la branca della filosofia della scienza che cerca di dare risposta a domande quali: "perché la matematica è utile nella descrizione della natura?", "in quale senso, qualora se ne trovi uno, le entità matematiche (in particolare i numeri) esistono?" "perché e in che modo gli enunciati matematici sono veri?". In questo articolo sono presentati i vari approcci che vengono seguiti per rispondere a questioni come le precedenti. È utile precisare che tre sono i problemi della filosofia della matematica: Un problema ontologico: risponde alla domanda "Esistono i numeri?"; Un problema metafisico: risponde alla domanda "Che cosa sono i numeri?"; Un problema epistemologico: "Come facciamo ad accedere epistemicamente alle verità della matematica o, meglio, come possiamo sapere che ciò che ci dice la matematica è vero?";Questi sono i problemi che la maggior parte dei filosofi, oggigiorno, ritengano debbano essere risolti da una buona filosofia della matematica.

Il circolo di Vienna (in tedesco Wiener Kreis), fu un circolo filosofico e culturale, organizzato da Moritz Schlick nel 1922 e animato da numerosi filosofi e scienziati del tempo. L'approccio filosofico del Circolo, noto come positivismo logico (o neopositivismo) o anche fisicalismo, si diffuse nel resto dell'Europa e nei Paesi di lingua inglese. Le riunioni del circolo si tennero ogni settimana con regolarità fino all'avvento del nazismo. La morte violenta di Schlick (1936), assassinato sulle scale dell'università di Vienna da un fanatico nazista, e la fuga dalla città dei suoi membri per evitare le persecuzioni politiche e razziali del nuovo regime, ne segnarono la fine. Alle sedute del circolo parteciparono con assiduità: Rudolf Carnap, Otto Neurath, Philipp Frank, Friedrich Waismann (assistente di Schlick), il matematico Hans Hahn, Gustav Bergmann, Carl Menger, Herbert Feigl, Viktor Kraft, Ludwig von Bertalanffy. Ne furono ospiti occasionali Hans Reichenbach, Kurt Gödel, Carl Hempel, Alfred Tarski, Willard Van Orman Quine, Alfred Julius Ayer, Arne Næss. Ludwig Wittgenstein e Karl Popper non furono mai presenti alle riunioni del circolo anche se, negli stessi anni, intrattennero rapporti con i suoi membri. Il Circolo organizzò conferenze internazionali su temi scientifici e filosofici; la prima fu tenuta a Praga nel 1929 ove fu distribuito il manifesto per una Wissenschaftliche Weltauffassung (concezione scientifica del mondo), composto soprattutto da Neurath, Carnap e Hahn, dedicato a Moritz Schlick.

In matematica si chiamano postulati o assiomi tutti e soli gli enunciati che, pur non essendo stati dimostrati, sono considerati veri. Generalmente forniscono il punto di partenza per delineare un quadro teorico come può essere quello della teoria degli insiemi, della geometria, dell'aritmetica, della teoria dei gruppi o nel calcolo delle probabilità. Nella logica matematica l'idea di assioma e dimostrazione viene completamente formalizzata. Gli assiomi di una teoria proposizionale o di una teoria del primo ordine sono un ben definito insieme di formule che possono essere usate nella teoria per costruire dimostrazioni formali. In questo ambito si fa una netta distinzione tra le due nozioni di assioma logico e assioma non-logico.