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 i., quella fondata sui principî dell’intuizionismo, e quindi sull’uso di concetti matematici primitivi, cioè di tipo intuitivo e costruttivo (come la serie dei numeri naturali), e caratterizzata tra l’altro dal ... Leggi Tutto

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 [...] come «tutti», «qualche», ecc. Per gli sviluppi attuali delle teorie logiche e le locuz. relative (l. intuizionista, l. polivalente, l. modale, ecc.), v. ai singoli aggettivi. 2. Trattato di logica, o quella parte del sistema di un filosofo che espone ... Leggi Tutto