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
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logicaLogica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] questo periodo, nell'ambito della cultura europea, si afferma l'idea di stabilire uno stretto rapporto tra logica e matematica: un'idea che, giudicata nella prospettiva degli sviluppi successivi, costituisce un risultato di gran lunga più importante ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] molto in auge negli anni Sessanta e veniva applicato nei campi più disparati della matematica in un tentativo di algebrizzazione di varie discipline, dalla logica all'analisi funzionale. Successivamente vi è stata una certa revisione, dovuta all ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] Dedekind fornisca esempi del ruolo che i Dualgruppen potrebbero avere nell'algebra della logica, nella teoria dei campi e in altri contesti della matematica, egli non stabilisce alcun collegamento diretto fra questi oggetti e le altre strutture ...
Leggi Tutto
logicalògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] : v. calcolatori, architettura dei: I 396 b. ◆ [ALG] [FAF] L. modale: indagine filosofica e matematica che sviluppa sistemi logici relativi ai concetti di necessità, possibilità, impossibilità e simili. ◆ [ELT] [INF] L. negativa: v. oltre ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] sperimentali della fisica; ciò significa semplicemente che quel s. ipotetico-deduttivo, pur essendo logicamente coerente, non è un modello matematico astratto dello spazio fisico. Normalmente si richiede che i postulati siano indipendenti, cioè che ...
Leggi Tutto
Botanica
F. biologica Insieme di piante che, anche se sistematicamente lontane, hanno in comune caratteri ecologici e di adattamento. Tra i vari sistemi di classificazione delle f. biologiche, il più noto [...] che deriva direttamente dalla f. di Platone).
Logica formale si dice la logica classica, in quanto studia le f. dei concetti f. differenziali esterne è uno strumento essenziale nella ricerca matematica, efficace anche per i collegamenti che ha con l ...
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...