semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] . Basti qui menzionare le s. dei mondi possibili per le logiche modali (dovute soprattutto a S. Kripke), le s. per la logicaintuizionista, in cui i modelli possono essere intesi come rappresentazioni matematiche dei diversi stadi conoscitivi di ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] stato i se e solo se A è vera solo se B è vera in tutti gli j tali che i⊆j.
I rapporti tra logicaintuizionista e logica modale sono complessi. Sia A* la traduzione che interpreta A come □A nel senso 'A è dimostrabile nell'aritmetica' e A→B come □*A ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] legati al concetto di realizzabilità iniziati da Stephen C. Kleene per dare una semantica costruttiva alla logicaintuizionista e lo sviluppo sistematico del collegamento tra derivazioni naturali e funzionali (il cosiddetto isomorfismo di Curry ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] , ma a priori, in senso kantiano, mentre rifiutò esplicitamente una posizione analoga riguardo all'intuizione dello spazio. Per quanto riguarda la logica, egli la considerò un'astrazione del pensiero matematico, invertendo in tal modo l'ordine di ...
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,...