TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] (o anche di "sistema formale" o "formalismo") quando T è costituita soltanto dal suo linguaggio simbolico, dal suo apparato deduttivo (insieme degli assiomi e regole di deduzione) e dai teoremi derivabili in essa, senza alcun riferimento esterno. Un ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] non euclidee, avvenuta nel 19° sec., il metodo assiomatico classico fu posto in crisi. La concezione moderna di t. deduttiva è fondata sulla negazione di qualsiasi forma di intuibilità e di verità assoluta degli assiomi: questi sono considerati solo ...
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 [...] cura di M. Quaranta, 1987, 1° vol., p. 68; M. Pieri, Uno sguardo al nuovo indirizzo logico-matematico delle scienze deduttive, «Annuario della Università di Catania», 1906-1907, pp. 21-82, poi in Opere sui fondamen-ti della matematica, 1980, pp. 389 ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Galilei e la geometria del moto accelerato
Enrico Giusti
Galilei e la geometria del moto accelerato
Tra l'impressionante numero di testi scientifici, [...] assiste qui alla creazione di una nuova disciplina, non più solamente speculativa e allo stesso tempo non ancora puramente deduttiva, che separandosi dal corpo della filosofia darà origine alla fisica moderna.
Di questo processo Galilei fu l'ideatore ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] sembrare strana l'intenzione di voler dimostrare un principio o assioma meccanico che si trova come premessa di un sistema deduttivo. Essa rivela invece una "crisi dei principî" (Bailhache 1975, p. 7), dovuta al fatto che la meccanica analitica nella ...
Leggi Tutto
TARSKI, Alfred
Vito A. BELLEZZA
Studioso di logica matematica, nato a Varsavia il 14 gennaio 1902, naturalizzato americano nel 1945. Dopo aver insegnato nell'univ. di Varsavia e dal 1939 in varie università [...] filosofica.
Tra le sue opere: Pojécie prawdy w jézykach nauk dedukeyjnych ("Il concetto della verità nei linguaggi delle scienze deduttive"), in Travaux de la Société des sciences et des lettres de Varsovie, cl. III, Varsavia 1933, n. 34, trad ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] precede i tre libri dei Principia offre un chiaro esempio di questo metodo combinato. La struttura dei Principia è assiomatico-deduttiva, nel senso che Newton aveva indicato a Oldenburg nel 1672, quindi con l'avvertenza che, sia le definizioni sia ...
Leggi Tutto
Econometria
Edmond Malinvaud
Introduzione
L'econometria è oggi una branca della scienza economica; ma per conoscerla a fondo bisogna tener presente che a suo tempo essa fu anche un movimento che propugnava [...] . È solo verso la metà del nostro secolo che si è delineata una metodologia che associa i due procedimenti, deduttivo e induttivo; essa peraltro è ancora oggetto di discussioni riguardanti le sue modalità e talvolta addirittura i suoi stessi principî ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] retta passa una e una sola parallela a una retta data; fig. 2). Tale g. è in altre parole un sistema ipotetico-deduttivo costruito in base ai postulati della g. euclidea a esclusione del 5°. Naturalmente non esiste un’immagine concreta della g. non ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] all’Isagoge e alle opere di Aristotele (in particolare agli Analytica, di cui il 13° sec. fece propria la concezione deduttiva della scienza), dall’altra la trattazione organica sotto forma di summa.
All’inizio del 14° sec., la Summa logicae di ...
Leggi Tutto
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all’esperienza...
progressus in infinitum
locuz. lat. (propr. «il procedere all’infinito»), usata in ital. come s. m. – Espressione con cui, nella filosofia scolastica, è designato un modo di procedere logico che, per spiegare qualcosa, ricorre a un termine,...