Dottrina etica che rinvia per la sua origine agli scritti di Bentham (➔) e che si affermò nella cultura filosofica britannica dell’Ottocento, grazie soprattutto alla formulazione che ne diede J.S. Mill [...] u. «scientifico»” basato sulla teoria dell’evoluzione e teso a colmare il divario tra utilitaristi e intuizionisti, mostrando come le intuizioni morali dell’individuo, istintive e dunque innate, sono comunque il prodotto delle esperienze di utilità ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] è interpretabile in una delle logiche modali standard, S4. E Saul Kripke nel 1965 proporrà una semantica per la logica intuizionista che è simile in spirito a quella per S4.) L’idea di Gentzen per il suo calcolo di deduzione naturale era ...
Leggi Tutto
logica intuizionista
logica intuizionista teoria logica nata nel contesto dell’→ intuizionismo, filosofia della matematica elaborata da L.E.J. Brouwer nel 1907. Secondo Brouwer in matematica sono da [...] anche ￢P, P ∧ Q, P ∨ Q, P ⇒ Q, P ⇔ Q sono formule ben formate.
Una volta stabilito il linguaggio, un sequente della logica intuizionista è una espressione del tipo A1, A2, …, An ⊢ B, in cui B è una formula ben formata mentre A1, A2, …, An è una lista ...
Leggi Tutto
POSTULATO (lat. postulatum; gr. αἴτημα)
Federigo ENRIQUES
Goffredo COPPOLA
Guido CALOGERO
Significa supposizione o domanda che si fa al principio dell'insegnamento della geometria o di altra scienza [...] s'incontrano in questo campo (v. logica matematica) determinano due atteggiamenti opposti. Il primo di questi appartiene ai cosiddetti intuizionisti o neo-nominalisti (come L. E. J. Brouwer e H. Weil), che riescono a limitare rigorosamente al finito ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Per la vastità della sua opera e la varietà dei campi indagati, Charles Sanders Peirce [...] la grande erudizione, lo stile spesso arduo e digressivo ne fanno un autore di difficile accesso. Muore nel 1914.
L’anti-intuizionismo e i segni
L’autore che più attrae il giovane Peirce è Kant, e proprio le problematiche kantiane fanno da sfondo al ...
Leggi Tutto
infinito
infinito astrazione matematica (espressa dal simbolo ∞) che indica una grandezza illimitatamente grande o che può essere fatta crescere in modo illimitato. L’esempio più elementare è costituito [...] dai cosiddetti predicativisti come Russell e A.N. Whitehead, l’infinito veniva invece bandito in maniera radicale dagli intuizionisti come L. Brouwer, che riteneva sensata solo l’accettazione della reiterazione indefinita di processi generatori di 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 [...] regole e in cui l’ultima espressione è A. Con alcune modifiche il calcolo N diventa accettabile anche dagli intuizionisti.
Storia
Nell’antica Grecia, la delegazione che le città-Stato inviavano alle grandi celebrazioni religiose e ginniche; era ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] dei tipi; e, non senza risalto antitetico, la formulazione da parte di L. E. J. Brouwer dell'intuizionismo (o neo-intuizionismo, tenendo conto di specifici antecedenti ravvisabili nel pensiero di Poincaré, di L. Kronecker, e simili).
Il contributo ...
Leggi Tutto
Giochi, teoria dei
Roberto Lucchetti
Ogni essere vivente, quando deve prendere delle decisioni, lo fa sempre in modo interattivo: il risultato delle sue scelte, e quindi la sua soddisfazione, dipendono [...] cui un teorema del genere possa essere considerato controverso; infatti non tutti i matematici lo accettano, come nel caso dei logici intuizionisti. La tecnica con cui si dimostra il teorema di Zermelo, e che si applica ai giochi a un numero finito ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] che avevano motivato la formazione dei nuovi concetti. In questo modo, le figure geometriche sono segni per le immagini dell'intuizione spaziale" e aggiunse che "i segni aritmetici sono figure scritte e le figure geometriche sono formule disegnate. E ...
Leggi Tutto
intuizione
intuizióne s. f. [dal lat. tardo intuitio -onis; v. intuire]. – 1. Conoscenza diretta e immediata di una verità, che si manifesta allo spirito senza bisogno di ricorrere al ragionamento, considerata talora come forma privilegiata...
intuizionismo
s. m. [der. di intuizione]. – In filosofia, ogni concezione che assegna all’intuizione un ruolo privilegiato, come capacità di cogliere verità certe sia sul piano gnoseologico sia su quello morale: l’i. di Bergson contrappone...