LOGICA MATEMATICA (XXI, p. 398)
Ludovico GEYMONAT
MATEMATICA Negli ultimi decennî si è notevolmente sviluppata in direzioni assai diverse.
L'indirizzo di Peano. - L'uso del simbolismo di G. Peano, che [...] può venire riguardata come una proposizione molecolare. RudolfCarnap dimostrò che essa costituisce, non una relazione sintattica che intende adoperare (principio di tolleranza di R. Carnap): importante è che determini con esattezza le regole ...
Leggi Tutto
PROBABILITÀ
Italo Scardovi
Giorgio Dall'Aglio
Misura della probabilità
di Italo Scardovi
La probabilità come numero reale
Nel parlar comune, 'probabilità' è parola che esprime incertezza, ora per [...] in cui ricorrono i requisiti della confrontabilità.
La visione keynesiana acquisisce rigore sistematico nell'opera di RudolfCarnap (Logical foundations of probability, Chicago 1950), ove sono addotti due distinti concetti della probabilità: la ...
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 [...] due soli esempi ‒ dalla teoria assiomatica degli insiemi di Ernst Zermelo (1908) e dalla logica induttiva di RudolfCarnap (1950). Tali assiomatizzazioni avevano però per oggetto nozioni considerate extralogiche, mentre le nozioni modali fondamentali ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Domenico Costantini
La statistica metodologica
La statistica metodologica è la disciplina che, sulla scorta della [...] in certo senso agli albori della metodologia statistica. Ci riferiamo alle inferenze predittive su cui lavorarono dapprima RudolfCarnap (1891-1970) in un contesto logico e successivamente Thomas S. Ferguson in un contesto più propriamente statistico ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] di Vienna, animato da personalità come Otto Neurath (autore del manifesto del neopositivismo logico), Moritz Schlick, RudolfCarnap e Karl Menger (figlio di Carl appartenente alla prima generazione di marginalisti). Menger organizza il Mathematisches ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] delle scienze esatte, organizzata dalla Gesellschaft für empirische Philosophie. Il primo giorno furono tenute le relazioni di RudolfCarnap, Arend Heyting, John von Neumann e Friedrich Waismann, che presentarono, rispettivamente, il punto di vista ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematizzazione della biologia e la biomatematica
Giorgio Israel
La matematizzazione della biologia e la biomatematica
Le sorgenti concettuali [...] vitalistiche, nonché la ripresa di un punto di vista materialistico, sia pure in senso metodologico, secondo la locuzione di RudolfCarnap (1891-1970). Se ancora agli inizi del secolo gran parte dei biologi e dei matematici era ostile o scettica nei ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] si impose.
Fu esso, fra l'altro, che rese del tutto inefficace la proposta avanzata l'anno prima da RudolfCarnap. Nel tentativo di delineare consapevolmente e sullo sfondo di una visione filosofica coerente il sistema e le prospettive di ricerca ...
Leggi Tutto
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 [...] che maggiormente ha contribuito alla sua diffusione. Il primo a occuparsi esplicitamente di semantica per le modalità è stato RudolfCarnap (1891-1970), che analizzò le modalità in termini di quantificazione su mondi possibili. Oltre che con possible ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] anni Venti del secolo scorso coi tentativi di Emil L. Post e David Hilbert – ripresi in altra prospettiva da RudolfCarnap nel 1934 con la sua Logische Syntax der Sprache – di fondare un’analisi puramente combinatoria dei sistemi deduttivi visti ...
Leggi Tutto