positivismo logico (detto anche neopositivismo, neoempirismo, empirismo logico)
positivismo logico
(detto anche neopositivismo, neoempirismo, empirismo logico) Movimento filosofico sorto, sviluppatosi [...] una vitale tradizione pragmatista – Carnap intravide la possibilità di sfruttare alcuni risultati ottenuti dal logico polacco Tarski per introdurre nell’analisi logica della scienza concetti come verità e denotazione, e dette inizio alla ...
Leggi Tutto
assiomatizzazione
Processo che riconduce un insieme di conoscenze a principi dai quali l’insieme può essere derivato o dedotto. È possibile distinguere nella riflessione matematica (e in quella filosofica [...] di assiomi G è indipendente se e solo se nessun assioma di G è derivabile dai rimanenti assiomi di G. Importanti contributi allo studio delle a. formali sono venuti, tra gli altri, da Hilbert, dalla scuola di Peano, da Tarski, A. Robinson, K. Gödel. ...
Leggi Tutto
assioma
Dal lat. tardo axioma, gr. ἀξίωµα der. di ἄξιος «degno di valore». In generale designa una proposizione il cui ruolo conoscitivo è quello di un principio evidente di per sé e mediante il quale [...] catturare quello che è specifico di una particolare teoria. Frege, Peano (e la sua scuola), Russell, Hilbert, Tarski, ecc. seppero interpretare le evoluzioni delle scienze moderne e contemporanee fornendo contributi fondamentali al loro sviluppo e a ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] loro radice comune nella confusione tra linguaggio e metalinguaggio, confusione superabile mediante la formalizzazione del linguaggio. A. Tarski, nel 1930, dimostrò che non è possibile in generale definire il concetto semantico di verità all’interno ...
Leggi Tutto
INTEGRAZIONE E MISURA
Giorgio Letta
. La moderna teoria dell'i. si occupa del concetto generale di "misura" e del concetto di "integrale" relativo a un'arbitraria misura. Essa costituisce una notevole [...] e integrazione, Roma 1959; E. Hewitt, K. A. Ross, Abstract harmonic analysis, Berlino 1963; H. J. Keisler, A. Tarski, From accessible to inaccessible cardinals, in Fund. Math., 53, 1964 (contiene una ricca bibliografia sul "Problema della misura"); G ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] La semantica per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone, Alfred Tarski, Garrett Birkhoff e Toziro Ogasawara negli anni 1936-1940, era una semantica algebrica, con la semantica topologica come ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] , basato sulla nozione intuitiva di formula vera, con quello teorizzato entro i sistemi logici, ma spetta ad A. Tarski (1935) il merito di una precisa fondazione della metateoria semantica dei linguaggi formalizzati.
Nasce con questo la teoria dei ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I luoghi e le istituzioni
Umberto Bottazzini
I luoghi e le istituzioni
Nei decenni che separano l'ultimo quarto del XIX sec. dalla Seconda guerra [...] e Stanisław Leśniewski (1886-1939) danno vita a una scuola di logica, resa celebre a livello internazionale da Alfred Tarski (1902-1983). La straordinaria fioritura della 'scuola polacca' di logica e matematica dura tuttavia lo spazio di un ventennio ...
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 [...] primitivi: se lo fosse, le due interpretazioni coinciderebbero anche rispetto a R. Questo procedimento, riscoperto da Alfred Tarski negli anni Trenta, diventerà noto come metodo di Padoa. Un altro interessante risultato metateorico si registra nella ...
Leggi Tutto
Econometria
Luigi Pasinetti
Guido Gambetta
di Luigi Pasinetti, Guido Gambetta
Econometria
sommario: 1. Definizione. 2. I precedenti storici. 3. La nascita dell'econometria. 4. I maggiori centri econometrici. [...] form of interdependent systems, in Logic methodology and philosophy of science (a cura di E. Nagel, P. Suppes, A. Tarski), Stanford 1962, pp. 232-239.
Intriligator, M.D., Econometric models, techniques, and applications, Amsterdam 1978.
Johnston, J ...
Leggi Tutto