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
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] pubblicazione della sua monografia (Heyting 1956), che Heyting riuscì a suscitare uno studio più attento della matematica intuizionista.
Logica e aritmetica intuizioniste
All'epoca della propria dissertazione Brouwer non si era ancora reso conto del ...
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 paraconsistente
Claudio Pizzi
Termine coniato dal filosofo peruviano Francisco Mirò Quesada con cui si indica qualsiasi logica in cui non compare il cosiddetto principio di esplosione A∧←A⊦B, [...] nel secondo dopoguerra da diversi autori, tra cui merita speciale menzione il matematico brasiliano Newton da Costa, si presentano tipicamente come sottosistemi della logica classica, anche se in alcuni casi convalidano tesi non standard o impiegano ...
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...