intuizionismo

Enciclopedia on line

Termine filosofico con cui si designano quelle concezioni che non solo riconoscono una funzione all'intuizione, ma rivendicano a essa un ruolo privilegiato. Di i. si è parlato a proposito della scuola [...] 1856) che, nel tentativo di superare le conclusioni scettiche di D. Hume, affermò la capacità degli uomini di percepire, mediante l'intuizione, delle verità certe sia sul piano gnoseologico sia su quello morale. Nel 20° sec. l'i. di H.-L. Bergson non ... Leggi Tutto

CATEGORIA: STORIA DEL PENSIERO FILOSOFICO

TAGS: GNOSEOLOGICO – INTELLETTO

INTUIZIONISMO

Enciclopedia Italiana (1933)

INTUIZIONISMO Guido Calogero Termine filosofico, designante genericamente una dottrina nella quale abbia importanza prevalente, o almeno singolare, il motivo dell'intuizione. Vi sono, così, tante forme [...] dei valori morali e la loro discriminazione dai disvalori; e via dicendo. In tutti questi casi, l'intuizionismo è particolarmente caratterizzato dal fatto che all'attività intuitiva vengono assegnate funzioni che altrimenti possono essere ascritte ad ... Leggi Tutto

intuizionismo

Dizionario delle Scienze Fisiche (1996)

intuizionismo intuizionismo (o intuitivismo) [Der. di intuizione] [FAF] Concezione che rivendica un ruolo privilegiato all'intuizione nello sviluppo delle conoscenze, anche scientifiche; ha avuto una [...] notevole importanza nella critica dei fondamenti della matematica alla fine dell'800 (scuola di Amsterdam, scuola hilbertiana) e contribuisce ancora oggi in modo notevole alle ricerche critiche sui fondamenti ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

costruttivismo

Enciclopedia della Matematica (2013)

costruttivismo costruttivismo → intuizionismo. ... Leggi Tutto

TAGS: INTUIZIONISMO

specie

Enciclopedia della Matematica (2013)

specie specie in logica, analogo intuizionistico del concetto di insieme (→ intuizionismo). Le condizioni per definire una specie vanno precisate in senso intuizionistico per cui, per esempio, la doppia [...] negazione di una condizione non è necessariamente equivalente alla condizione stessa. Le operazioni tra specie, quali unione, intersezione e altre, sono definite in modo analogo a quelle tra insiemi, ma ... Leggi Tutto

TAGS: INTUIZIONISMO

logica intuizionista

Enciclopedia della Matematica (2013)

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

TAGS: PRINCIPIO DI NON CONTRADDIZIONE – PRINCIPIO DEL → TERZO ESCLUSO – FILOSOFIA DELLA MATEMATICA – CONGETTURA DI GOLDBACH – INFORMATICA TEORICA

Benda, Julien

Enciclopedia on line

Filosofo francese (Parigi 1867 - Fontenay-aux-Roses 1956). Ha avversato ogni forma di misticismo, intuizionismo, romanticismo, sia nel campo della filosofia (Le bergsonisme, 1912), sia nel campo della [...] letteratura e dell'arte (Belphegor, 1918; La France Byzantine, 1945). Posizione che si ritrova nei romanzi del B., L'ordination (1912) e Les amorandes (1922). Lo stesso culto per l'intelletto puro lo ha ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: INTUIZIONISMO – ROMANTICISMO – INTELLETTO – MISTICISMO – FILOSOFIA

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer

Storia della Scienza (2004)

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 [...] dell'eliminazione). Tra il 1952 e il 1967 sei degli studenti di dottorato di Heyting scrissero, da un punto di vista intuizionista, tesi su argomenti quali la topologia, la teoria della misura, la teoria degli spazi di Hilbert, l'integrale di Radon e ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

Heyting, Arend

Enciclopedia on line

Matematico e logico (Amsterdam 1898 - Lugano 1980), prof. all'univ. di Amsterdam. Insieme con L. E. J. Brouwer è uno dei creatori dell'intuizionismo. Tra le sue opere: Die formalen Regeln der intuitionistischen [...] Logik (1930), Die intuitionistische Grundlegung der Mathematik (1931), Intuitionism (1956) ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: INTUIZIONISMO – AMSTERDAM – LUGANO

matematica ed evoluzione biologica

Lessico del XXI Secolo (2013)

matematica ed evoluzione biologica matemàtica ed evoluzióne biològica. – Nel 21° sec. il dibattito sul rapporto fra matematica ed evoluzione biologica si è sviluppato intorno a posizioni radicali quali [...] annulla la distinzione fra , poiché le prime diventano conseguenza di fenomeni evoluzionistici. A tale impostazione si oppone l’intuizionismo logico di Hanna, secondo il quale in ogni animale razionale esiste una facoltà cognitiva logica a priori i ... Leggi Tutto