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 [...] per la logica classica semplicemente eliminando alcuni assiomi validi classicamente. I connettivi ∧,∨,→ risultano non dimostrare molte proprietà significative di HI, per es., che esso è interpretabile nel sistema modale S4 di Clarence I. Lewis dove ...
Leggi Tutto
uniforme
unifórme [agg. Der. del lat. uniformis "che ha una medesima forma, che è costantemente uguale", comp. di uni- e formis "-forme"] [ALG] [ANM] In matematica, di ente che si presenta con le stesse [...] cui è costante la velocità vettoriale), ecc. ◆ [ALG] Struttura u.: su uno spazio X, è definita da un sistema U di sottoinsiemi dell'insieme X╳X che soddisfi gli assiomi seguenti: (a) ogni insieme u∈U contiene la diagonale Δ={ (x, x): x∈X} ; (b) se u ...
Leggi Tutto
inferenza
inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] richiede l'esame di informazioni a priori attraverso un'applicazione ripetuta del teorema di Bayes, portando infine a una nuova di generalizzazione alla totalità dei casi riguardanti un fenomeno di ] Regole di i.: in un sistema deduttivo, ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato riferibile a singoli elementi. ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...