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
LOGICA MATEMATICA
Enciclopedia Italiana - III Appendice (1961)
LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] J. C. McKinsey, O. Becker, G. H. von Wright, A. Schmidt, B. Sobociński, ecc. L'interesse per la logica intuizionistica, ricavabile dalla l. m. classica mediante opportune restrizioni della base assiomatica, è stato motivato prevalentemente dalla sua ...
Leggi Tutto
logica
Enciclopedia della Matematica (2013)
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] diverse. Per esempio, restano così caratterizzate la logica intuizionistica, molte logiche intermedie fra la logica intuizionistica e quella classica, la logica quantistica, molte logiche modali e temporali. Può essere significativo studiare modelli ...
Leggi Tutto
Kripke, Saul Aaron
Enciclopedia on line
Logico e filosofo statunitense (n. Bayshore, New York, 1940); 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, secondo cui ...
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
semantica
Dizionario di filosofia (2009)
semantica
Dal fr. sémantique, der. del greco σημαντικός «significativo», der. di σημαίνω «segnalare, significare». Termine coniato da M. Bréal nel 1883 come sostituto di semasiologia per riferirsi a [...] su diverse concezioni filosofiche, sia per la logica classica sia per altre logiche. Basti menzionare le s. dei mondi possibili per le logiche modali (dovute soprattutto a Kripke), le s. per la logica intuizionistica, in cui i modelli possono essere ...
Leggi Tutto
Johansson
Enciclopedia della Matematica (2013)
Johansson
Johansson Ingebrigt (Narvik 1904 - Oslo 1987) matematico norvegese. Si occupò di logica simbolica, definendo (1936) la cosiddetta → logica minimale che non prevede né il principio del terzo [...] escluso, come la logica intuizionistica, né il principio ex falso quodlibet. ...
Leggi Tutto
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
SIGNIFICATO
Enciclopedia Italiana - V Appendice (1994)
SIGNIFICATO
Federica Casadei
Antonio Rainone
Linguistica. - Cardine della riflessione sul linguaggio, poiché questo serve innanzitutto a significare, e luogo della relazione mondo-pensiero-linguaggio, [...] dalle analogie che, sulla base della concezione intuizionistica della matematica, egli individua tra gli asserti e 29 (1919), pp. 32-63, 190-222, 345-80 (rist. in Id., Logic and knowledge, Londra 1956, pp. 175-282; trad. it., Milano 1961, pp. 105-245 ...
Leggi Tutto
Intuizionismo
Enciclopedia del Novecento (1978)
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] escludere in assoluto la possibilità che insorgano equivoci; 6) la logica si può studiare o come una parte della matematica o come Il seguente esempio mostra che questo non vale dal punto di vista intuizionistico. Sia an = 1 − 1/n se fra le prime n ...
Leggi Tutto