Cerca in:
MISES, Richard von
Enciclopedia Italiana - III Appendice (1961)
MISES, Richard von
Vito A. BELLEZZA
Matematico e filosofo della scienza, nato a Leopoli il 19 aprile 1883, morto a Boston il 14 luglio 1953. Professore nelle università di Strasburgo (1909), Dresda [...] e vagliare interpretazioni filosofiche di questioni di fisica e di biologia, nonché indirizzi filosofici contemporanei, quali l'intuizionismo bergsoniano e l'esistenzialismo heideggeriano.
Tra i suoi scritti di filosofia della scienza: Grundlagen der ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
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 [...] al platonismo insiemistico che portò allo sviluppo di un programma fondazionale che a esso si oppose: l'intuizionismo.
L'intuizionismo di Brouwer
Il primo critico della teoria cantoriana degli insiemi, da un punto di vista costruttivista, fu ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] insiemi astratti. Un insieme è definito come "una riunione in un tutto M di oggetti distinti e ben definiti della nostra intuizione e del nostro pensiero" e la sua potenza (o numero cardinale) è "quel concetto generale che, per mezzo della nostra ...
Leggi Tutto
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] ha senso considerare un sistema formale ‘più vero’ di un altro; ma in quanto la matematica trova diretto fondamento in una intuizione-base, comune a tutti gli uomini, e indipendente dal linguaggio e dal mutare dell’esperienza. La l. è una parte, più ...
Leggi Tutto
formalismo
Enciclopedia on line
Diritto
F. giuridico Concezione del diritto secondo la quale l’essenza del fenomeno giuridico consiste nella qualificazione da parte del diritto di atti, fatti e comportamenti che non sarebbero giuridici [...] del f. matematico fu D. Hilbert, nel 1900-20. L’indirizzo formalista hilbertiano, anziché respingere (come fa l’intuizionismo) quelle parti della matematica classica che fanno uso dell’infinito attuale e che quindi vanno oltre l’evidenza intuitiva ...
Leggi Tutto
Poincaré, Jules-Henri
Enciclopedia on line
Matematico (Nancy 1854 - Parigi 1912), tra i più grandi dell'età a cavallo tra i secc. 19º e 20º; cugino di Raymond. Fu tra i più grandi matematici francesi del sec. XIX. L'attività scientifica veramente [...] posizione di P. è nettamente avversa al logicismo di Russell e si avvicina piuttosto, precorrendole, alle tesi dell'intuizionismo di L. E. Brouwer; critico dell'idea cantoriana dell'infinito attuale e dell'interpretazione estensionale delle costanti ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La civiltà islamica: condizioni materiali e intellettuali. Kalām e filosofia naturale
Storia della Scienza (2002)
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] sia la coppia di punti che il matematico voglia prendere, tra di essi ve ne sarà sempre un terzo. In breve, l'intuizionismo di Abū 'l-Huḏayl, che tende ad assimilare verità e costruttività, dipende dal carattere 'indefinito' del numero di punti di un ...
Leggi Tutto
Enriques, Federigo
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Federigo Enriques
Giorgio Israel
La figura di Federigo Enriques occupa una posizione centrale nella storia della cultura italiana tra la fine dell’Ottocento e la Seconda guerra mondiale. Egli fu uno [...] la matematica procede per postulati astratti che consentono l’uso della logica e conferiscono rigore alle sue deduzioni. Tra intuizionismo e formalismo – le due correnti che dividevano il campo della matematica tra la fine dell’Ottocento e gli inizi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] precedenza tra le algebre di chiusura e le algebre di Heyting, si riproduce tra il calcolo S4 e il calcolo intuizionista. Abbiamo quindi il seguente
Sviluppi ulteriori
Consideriamo la seguente proprietà di una relazione R: per ogni punto w esiste ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] sull’esperienza. La fondazione trascendentale kantiana riusciva a determinare la possibilità della m. come scienza sulla base delle intuizioni a priori dello spazio e del tempo, entro le quali soltanto sarebbero possibili i giudizi sintetici a priori ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA