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 [...] sulla filosofia della matematica ‒ dal 1893 fino alla morte ‒ Poincaré si interessò più del ruolo dell'intuizione che di quello della logica. In particolare, egli riteneva che il sistema dei numeri naturali fosse direttamente comprensibile e che il ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] delle regole sui connettivi. Il teorema si può estendere a logiche diverse da quella classica (per es., quella intuizionista LJ) e a teorie – non più calcoli logici – opportunamente formalizzate. La cosa è particolarmente importante nell’ambito del ...
Leggi Tutto
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; [...] , soltanto di una questione di periodizzazione: è la logica sotterranea delle alleanze tra neoarchimedismo e teorie dell'impetus essi ve ne sarà sempre un terzo. In breve, l'intuizionismo di Abū 'l-Huḏayl, che tende ad assimilare verità e ...
Leggi Tutto
Neopositivismo
FFrancesco Barone
di Francesco Barone
Neopositivismo
sommario: 1. Cenni storici. 2. Fonti e precedenti del neopositivismo. 3. Prima fase del neopositivismo: analisi logica del linguaggio [...] fine degli anni sessanta (v. Lakatos, 1968), invece, Carnap opta per una concezione aprioristica della scelta degli assiomi della logica induttiva: è un'‛intuizione induttiva' che ci guida nella scelta degli assiomi. Si tratta, senza dubbio, di una ...
Leggi Tutto
intuizionista
s. m. e f. e agg. [der. di intuizionismo] (pl. m. -i). – Sostenitore o seguace dell’intuizionismo. Come agg., relativo all’intuizionismo, spec. con riferimento alla filosofia della matematica: teoria i., matematica i.; logica...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...