Cerca in:
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] provato da Gödel per cui se si traducono nel modo ovvio i connettivi in termini di ∧ e ← tutti i teoremi della logica classica – letti in questo modo – saranno teoremi anche di quella intuizionista. Il risultato estende un teorema di Glivenko per cui ...
Leggi Tutto
CATEGORIA:
LOGICA
Kripke, Saul Aaron
Enciclopedia on line
Logico e filosofo statunitense (n. Bayshore, New York, 1940 - m. 2022); docente della Rockefeller University (New York) dal 1968 al 1976, dal 1977 ha insegnato alla Princeton University. Ha elaborato una [...] semantica formale per la logica intuizionistica e per quella modale, estendendo successivamente i risultati di quest'ultima all'analisi filosofica del riferimento dei termini del linguaggio naturale. Di qui è nata la teoria causale del riferimento, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Prawitz, Dag
Enciclopedia on line
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 [...] tra teoria generale della dimostrazione e teoria del significato. Come filosofo del linguaggio ha analizzato, tra l'altro, le ripercussioni dell'opzione per una data teoria del significato sul contrasto tra logica classica e logica intuizionistica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] e l’italiano G. Peano, cui si deve l’elaborazione di un simbolismo logico vicino a quello comune e la fondazione di una ‘scuola italiana’ di l. kantiana, Brouwer sostiene che «la matematica intuizionistica è un’attività della mente di natura ...
Leggi Tutto
Epistemologia
Enciclopedia del Novecento (1977)
Epistemologia
VVincenzo Cappelletti
di Vincenzo Cappelletti
Epistemologia
Sommario: 1. Dalla gnoseologia all'epistemologia. 2. Il mentale tra il soggettivo e l'oggettivo. 3. La scienza del secondo Novecento [...] di fronte ai problemi dell'infinito, e provoca la reazione intuizionistica, che ha in L. E. J. Brouwer il E., Principles of the theory of probability, Chicago 1939.
Nagel, E., Logic without ontology, in Naturalism and the human spirit (a cura di Y. ...
Leggi Tutto
La considerazione morale dei viventi non umani
Frontiere della Vita (1999)
Mentre vi è un generale consenso sulla valutazione morale di specifici comportamenti verso gli esseri umani, almeno nelle questioni essenziali (uccidere o provocare un danno fisico oppure esercitare una [...] severamente protetti. La teoria di Regan è sostanzialmente intuizionistica, cioè si basa sulle intuizioni del senso comune , per esempio, il bene collettivo o una regola logica universalizzante comune, come nell'utilitarismo; gli interessi di un ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
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 [...] secolo si era posto per primo Gauss e che un grande logico come Gottlob Frege (1848-1925) ancora agita contro le nuove teorie teoria cantoriana del transfinito, dal punto di vista intuizionistico perdono di senso le dimostrazioni di esistenza fondate ...
Leggi Tutto
Idealismo
Enciclopedia del Novecento (1978)
Idealismo
VVittorio Mathieu
di Vittorio Mathieu
Idealismo
sommario: 1. Introduzione. 2. Il trascendentalismo. 3. Lo ‛gnoseologismo'. 4. L'apporto romantico. 5. L'idealismo rovesciato. 6. Il ‛significato [...] tuttavia questa quadruplicità (tutta legata, a partir dalla Logica del 1909, nella ‛circolarità dello spirito') va intesa questa volta kantiano, è la concezione della matematica detta intuizionistica, dove l'ente matematico si genera a partire dall' ...
Leggi Tutto