Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] logica. Inoltre, il programma di Hilbert segnò l’avvio di una branca importante della l. matematica, la teoriadelladimostrazione, costituita da Hilbert stesso per la necessità (congenita al suo programma) di studiare gli oggetti formali chiamati ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] da L. Löwenheim e T. Skolem, all’origine dellateoria dei modelli, nella quale è per lo più inquadrata la s. logica.
Mentre la teoriadelladimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al significato e ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] tra linguaggio formalizzato e altre strutture. Sebbene nell'uso linguistico corrente l'esame di una teoria matematica in termini di teoriadelladimostrazione sia considerato come ‛metamatematica' e l'analogo esame di un calcolo con interpretazione ...
Leggi Tutto
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 [...] stessa come un oggetto matematico", aveva proposto allora. È la chiave di volta della Beweistheorie (teoriadelladimostrazione) che Hilbert elabora negli anni Venti, insieme alla rigorosa distinzione tra matematica e metamatematica. L'obiettivo ...
Leggi Tutto
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 [...] con metodi esclusivamente finitari.
Oltre a questo programma generale, Hilbert propose anche alcune specifiche tecniche di teoriadelladimostrazione per realizzarlo. Nella sua concezione, l'infinito attuale sorge già, nell'aritmetica classica, in ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] Haskell B. Curry e William A. Howard di una fondamentale corrispondenza tra funzionali e dimostrazioni, il calcolo svolge un ruolo centrale nella teoriadelladimostrazione, mentre nell’informatica fornisce una base per la formulazione e lo studio di ...
Leggi Tutto
Logico e filosofo svedese (n. Stoccolma 1936), prof. di filosofia all'univ. del Michigan (1969), di Stanford (1970), di Oslo (1971-77) e (dal 1976) di filosofia teoretica all'univ. di Stoccolma; membro [...] mirante all'automazione del ragionamento e noto come deduzione automatica, alla teoria del significato e alla teoriadelladimostrazione: a quest'ultima branca della logica ha dato un contributo decisivo in Natural deduction (1965), mettendo ...
Leggi Tutto
Logico e filosofo austriaco (Graz 1923 - Salisburgo 2015), docente (1962-85) alla Stanford University (California). Si è occupato dei problemi relativi ai fondamenti della matematica, nonché di logica [...] intuizionista, di teoriadelladimostrazione e di teoriadella ricursione. Tra i suoi scritti: Eléments de logique mathématique. Théorie des modèles (1967, in collaborazione con J. L. Krivine). ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] in cui permette di associare un'ars inveniendi e un'ars demonstrandi, che è presentata come un procedimento fondato su una teoriadelladimostrazione che Ibn Sinān tentò di elaborare.
Nella generazione successiva a Ibn Sinān, al-Siǧzī, un matematico ...
Leggi Tutto
Scienza greco-romana. Galeno
Mario Vegetti
Galeno
L'eccezione Galeno
Galeno rappresenta senza dubbio, e per molti motivi, un caso eccezionale nel panorama intellettuale e scientifico del II sec. d.C.; [...] in via preliminare bisognerà studiare le opere che forniscono gli strumenti epistemologici (gnoseologia, logica, teoriadelladimostrazione) per il controllo della consistenza argomentativa del sistema; si tratta del De demonstratione e del De optima ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
pull factor (pull-factor) loc. s.le m. Secondo alcune interpretazioni politiche, l’insieme dei fattori economici, politici e sociali che attrarrebbero la migrazione verso Paesi in condizioni sociali, economiche, politiche, ambientali più favorevoli...