quantificazione
quantificazióne [Der. dell'ingl. quantification, da to quantify "quantificare" (→ quantificatore), "atto ed effetto del quantificare"] [LSF] Termine talora usato, impropr., come sinon. [...] di quantizzazione. ◆ [ALG] [FAF] Teoria della q.: nella logica matematica, lo studio dei quantificatori e delle loro funzioni, strettamente collegato con lo studio dei predicati. ...
Leggi Tutto
poliadico
poliàdico [agg. (pl.m. -ci) Der. di poliade] [LSF] Che è relativo a una poliade, spec. nella matematica, ove equivale a n-adico. ◆ [ALG] [FAF] Predicato, o attributo, p.: nella logica matematica, [...] predicato riferibile a più elementi, come, per es., il predicato "è maggiore di" ...
Leggi Tutto
strutturato
strutturato [agg. Part. pass. di strutturare "dotare di una struttura"] [ELT] [INF] Dati s.: nella tecnica dei calcolatori elettronici, i dati organizzati in record e file che rispecchiano [...] la struttura logica dei dati medesimi. ◆ [MCF] Fluido s.: costituito da un fluido vero e proprio contenente particelle materiali di natura diversa (microelementi), dotati di propri gradi di libertà di traslazione e rotazione, che influenzano il ...
Leggi Tutto
esistenza
esistènza [Der. del lat. existentia, da existere "esistere"] [ALG] [ANM] Teorema di e.: proposizione la quale dimostri che esiste almeno una soluzione di un dato problema. ◆ [FAF] Teorema di [...] di analisi, per es. in problemi estremali (di massimo e minimo), K. Weierstrass e i suoi allievi, costruendo degli esempi nei quali non si hanno soluzioni, hanno messo in luce la necessità logica di dimostrare in primo luogo l'e. di una soluzione. ...
Leggi Tutto
Sheffer Henry Maurice
Sheffer (talora Sheller) 〈šèfër〉 Henry Maurice [STF] (n. in Russia 1883 - Cambridge, Massachusetts, 1964) Prof. di matematica nell'univ. Harvard di Cambridge, Massachusetts. ◆ [ALG] [...] [FAF] Funtore di S.: nella logica matematica, detto anche operatore di S., e anche negazione alternativa o non congiunzione o incompatibilità, introdotto da S. nel 1913 e denotato con il simb. |; se p e q sono due enunciati, p|q è sempre vero, salvo ...
Leggi Tutto
conclusione
conclusióne [Der. del lat. conclusio -onis, dal part. pass. conclusus di concludere, comp. di cum "insieme" e claudere "chiudere", e quindi "chiusura, compimento"] [FAF] C. della regola: [...] nella regola del modus ponens: v. logica: III 484 a. ...
Leggi Tutto
assioma
assiòma [Der. del lat. axíoma -atis, dal gr. axíoma -atos, da áxios "degno"] [ALG] [FAF] Principio certo per immediata evidenza e costituente la base per l'ulteriore ricerca. Nella matematica, [...] è in genere sinon. di postulato, da cui tuttavia si distingue, spec. nella logica matematica, quando gli a. di un sistema formale indicano le proprietà che costituiscono una definizione implicita degli enti e delle relazioni cui si riferiscono, a ...
Leggi Tutto
tricotomia
tricotomìa [Comp. del gr. trícha "in tre parti" e -tomia, sul modello di dicotomia] [ALG] Nella teoria degli insiemi, termine per indicare la situazione in cui si danno tre possibilità. ◆ [...] [ALG] [FAF] Nella logica matematica, la situazione in cui un concetto è diviso in tre (come nella dicotomia esso è diviso in due). ...
Leggi Tutto
irrazionale
irrazionale [agg. Der. del lat. irrationalis "non razionale", comp. di in- neg. e rationalis "razionale"] [FAF] Non conforme a ragione; di tutto ciò che non possa essere penetrato, dimostrato, [...] giustificato dalla forza logica del pensiero o sia comunque ritenuto estraneo all'attività razionale di quest'ultimo. ◆ [ALG] Curva i.: curva tale che le coordinate dei suoi punti non possono essere espresse altro che da funzioni irrazionali. ◆ [ANM] ...
Leggi Tutto
sofisma
sofisma [Der. del lat. sophisma, dal gr. sóphisma, che è da sophíxesthai "fare ragionamenti cavillosi"] [FAF] Ragionamento apparentemente valido perché le premesse sono vere e sono, almeno apparentemente, [...] rispettate le leggi della logica ma inconcludente perché porta a una conclusione assurda, quindi con signif. simile a quello di paradosso (per es., il noto s., o paradosso, di Achille e della tartaruga). In partic., se l'ambito è quello di una ...
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,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...