validita
validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logicamatematica, afferma che qualunque teorema di un calcolo predicativo [...] del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione. ...
Leggi Tutto
transfer
trànsfer [Lettura it. di un s.ingl. "trasferimento", dal v. to transfer 〈trènsfëë〉 "trasferire", che è dal lat. transferre, comp. di trans "oltre" e ferre "portare"] [ALG] [FAF] Principio del [...] t.: importante teorema della logicamatematica: v. analisi non standard: I 147 d. ...
Leggi Tutto
logomatica
logomàtica [Comp. del gr. lógos "discorso" e máthesis "istruzione"] [FAF] Termine, di recente introduzione e collegabile a un proposito di G.W. Leibniz, usato per designare un linguaggio universale [...] comune a ogni discorso scientifico, cui tenderebbe la moderna logicamatematica. ...
Leggi Tutto
prenesso
prenésso [agg. Der. dell'ingl. prenex, che è dal lat. praenexus "unito prima"] [ALG] [FAF] Forma normale p. (dall'ingl. prenex normal form): nella logicamatematica, espressione predicativa [...] in cui tutti i quantificatori si trovano all'inizio ...
Leggi Tutto
metasimbolo
metasìmbolo [Comp. di meta- e simbolo] [ALG] [FAF] Nella logicamatematica, simb. non appartenente all'alfabeto di una teoria e che viene introdotto con funzione ausiliaria per semplificare [...] l'esposizione della teoria medesima ...
Leggi Tutto
metamatematica
metamatemàtica [Comp. di meta- e matematica] [ALG] [ANM] [FAF] La scienza che ha per oggetto l'analisi formale delle strutture matematiche e che può essere identificata con la logicamatematica. ...
Leggi Tutto
refutabile
refutàbile [Der. del lat. refutabilis "confutabile", da refutare "respingere, confutare"] [ALG] [FAF] Nella logicamatematica, di un enunciato del quale, in un dato insieme formale, sia dimostrabile [...] la negazione ...
Leggi Tutto
recursione
recursióne [Der. del lat. recursio -onis, dal part. pass. recursus di recurrere "ricorrere"] [ALG] [FAF] Nella logicamatematica, sinon. di ricorrenza. ...
Leggi Tutto
particolarizzatore
particolarizzatóre [Der. di particolarizzare] [ALG][FAF] Uno dei due quantificatori della logicamatematica (l'altro è il generalizzatore). ...
Leggi Tutto
logicismologicismo [Der. di logica] [STF] [FAF] (a) In senso lato, ogni dottrina che pone la logica a fondamento della filosofia. (b) In senso specifico, indirizzo di pensiero che, soprattutto per opera [...] ), si proponeva di mostrare la possibilità di definire tutti i concetti matematici a partire da un numero ristretto di concetti logici fondamentali e che tutti i teoremi matematici sono dimostrabili a partire da un numero ristretto di proposizioni ...
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 viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...