inferenza inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. [...] d’i., in un sistema deduttivo, l’insieme delle regole secondo le quali le proposizioni possono essere dedotte dai postulati. 2. I. statistica: procedimento di deduzione delle caratteristiche di una popolazione, a partire da una rilevazione effettuata ... 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 [...] possono essere definite regole di calcolo (calcolo logico) che permettono di eseguire operazioni (operazioni logiche) tra enunciati; l. degli enunciati, la parte della logica che studia le condizioni di validità dell’inferenza unicamente in base ... Leggi Tutto

deduttivo agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento [...] e sulla deduzione; sistema d., ogni sistema formale che, date un certo numero di premesse (postulati) e determinate regole (regole di inferenza), include in sé soltanto le proposizioni (teoremi) dedotte da quelle premesse. ◆ Avv. deduttivaménte ... Leggi Tutto

assiomatica assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in [...] a. astratta (o formale), in cui gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regole di inferenza. 2. Tendenza al formalismo puro, nell’ambito della critica dei fondamenti delle scienze ... Leggi Tutto

definizione definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. [...] usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più semplici appartenenti al metalinguaggio. 3 ... Leggi Tutto