Sparrow Carrel Mason
Sparrow 〈spàro〉 Carrel Mason [STF] (Baltimore 1880 - m. 1941) Prof. di fisica nell'univ. della Virginia, a Charlottesville. ◆ [FAT] Criterio di S.: enunciato nel 1916, stabilisce [...] che due righe spettroscopiche di lunghezza d'onda λ e λ + Δλ sono risolte da uno strumento spettroscopico se nello spettro fornito da questo nell'intervallo Δλ si presenta un minimo relativo; il valore ...
Leggi Tutto
congiunzione
congiunzione connettivo logico che corrisponde, nel linguaggio naturale, alla congiunzione «e», indicato con il simbolo ∧. Dati due enunciati A e B, se ne costruisce un terzo A ∧ B (che [...] definisce congiunzione generalizzata la generalizzazione del connettivo della congiunzione (∧) in modo tale che esso operi su un numero qualunque di enunciati A1, …, An. Essa può essere indicata con il simbolo
ed è vera se e solo se è vera per ogni ...
Leggi Tutto
Le formule dubitative sono elementi eterogenei (parole, sintagmi, frasi) accomunati dalla funzione di esprimere un atteggiamento di dubbio o di incertezza del parlante rispetto al contenuto dell’enunciato.
Nel [...] modo, da un certo punto di vista, ecc.
Citiamo l’avverbio quasi, che può essere usato per attenuare la perentorietà dell’enunciato:
(28) direi quasi che ci siamo
o può essere reiterato per esprimere, più che il dubbio, la propensione ad agire:
(29 ...
Leggi Tutto
Russell, antinomia di
Russell, antinomia di contraddizione intrinseca della teoria ingenua degli → insiemi di G. Cantor, quando a essa si applica il principio di → comprensione, enunciato da G. Frege. [...] L’antinomia fu individuata da B. Russell nel 1902 e comunicata a Frege in una lettera. L’antinomia di Russell muove dalla possibilità di considerare per una qualsiasi proprietà P l’insieme di tutti gli ...
Leggi Tutto
logica
lò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 [...] De Morgan, l'algebra di Boole e altro. ◆ [FAF] L. a molti valori, o polivalente o plurivoca: la l. in cui ciascun enunciato può essere interpretato su un insieme di più valori, anziché su due valori (generalm. "vero" e "falso") come avviene nella l ...
Leggi Tutto
not
not uno degli operatori logici fondamentali dell’algebra di → Boole, anche denominato complemento. Corrisponde, in logica, al connettivo della negazione indicato con il simbolo ￢. Esso associa a [...] A la sua negazione, cioè l’enunciato ￢A (si legge «non A»), che è vero nel caso in cui A sia falso e, viceversa, è falso nel caso in cui A sia vero. La tavola di verità che esprime l’azione del connettivo ￢ è, quindi, la seguente:
tab
Nell’algebra ...
Leggi Tutto
dichiarazione
dichiarazione modalità di passaggio dell’informazione nei linguaggi di programmazione. Questi prevedono sostanzialmente due modalità di passaggio delle informazioni: l’istruzione e la dichiarazione. [...] di azione sui dati o sulle variabili, mentre la dichiarazione è un enunciato di controllo su di essi. Nella parte dichiarativa di un programma, che precede sempre la parte esecutiva contenente le istruzioni vere e proprie, si specifica, cioè ...
Leggi Tutto
Scienza
Gerard Radnitzky
Paolo Rossi
di Gerard Radnitzky, Paolo Rossi
SCIENZA
Teoria della scienza di Gerard Radnitzky
sommario: 1. Introduzione. 2. Che specie di disciplina è la teoria della scienza [...] da esso altri asserti di controllo e assoggettarli a loro volta a controllo empirico. Come tutti gli altri asserti, gli enunciati osservativi/asserti di controllo rimangono in linea di principio criticabili, il che non toglie che vi siano casi in cui ...
Leggi Tutto
disgiunzione
disgiunzione in logica, connettivo, indicato con il simbolo ∨, che corrisponde, nel linguaggio naturale, alla congiunzione disgiuntiva «o» usata in senso inclusivo (come il latino vel) e [...] così come per i numeri che siano sia pari sia multipli di 5 (come 10); per questo si parla di disgiunzione inclusiva. Dati due enunciati A e B, l’enunciato A ∨ B (si legge «A o B») è falso solo nel caso in cui sia A sia B siano falsi, mentre è vero ...
Leggi Tutto
Borel, paradosso di
Borel, paradosso di o paradosso della scimmia, paradosso probabilistico dovuto alla considerazione, senza le dovute cautele, di spazi di probabilità infiniti. Può così essere enunciato: [...] una scimmia che digiti a caso su una tastiera riuscirà prima o poi a scrivere la Divina Commedia? (le versioni del paradosso sono molte, a seconda delle propensioni culturali, per esempio, una enciclopedia, ...
Leggi Tutto
enunciato
s. m. [propr., part. pass. di enunciare, sostantivato con valore neutro]. – In generale, le parole con cui si enuncia una questione, un problema, un argomento: formulare, dettare l’e. del tema d’italiano; in partic., e. di un teorema,...
enunciare
(o enunziare) v. tr. [dal lat. enuntiare, comp. di e-1 e nuntiare «annunciare», der. di nuntius «messaggio»] (io enùncio o enùnzio, ecc.). – Esprimere, manifestare un concetto, esporre lo stato di una questione, per lo più con una...