scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] sec., in The philosophy of the inductive sciences founded upon their history di W. Whewell (1840) e nel System of logic ratiocinative and inductive di J. Stuart Mill (1843). All’empirismo di Mill, che conduce a privilegiare come momenti fondamentali ...
Leggi Tutto
epsilon
èpsilon [gr. epsilòn "semplice"] [LSF] Nome della lettera greca ε (e breve) maiusc. Ε. ◆ [ALG] Operatore ε: introdotto da D. Hilbert nella logica dei predicati del 1° ordine, in relazione a un [...] predicato monadico P sceglie o privilegia un particolare elemento tra tutti quelli che appartengono a P. ◆ [FSN] Mesone ε: v. nucleone: IV 207 b ...
Leggi Tutto
scelta
scélta [Der. del part. pass. scelto di scegliere, lat. exeligere] [LSF] Atto ed effetto dello scegliere. ◆ [ALG] [FAF] Assioma di s.: nella logica matematica, afferma che, data una classe C di [...] insiemi non vuoti, si può costruire un insieme S, detto insieme selettivo in C, scegliendo uno e un solo elemento da ogni insieme di C ...
Leggi Tutto
Orientamento di pensiero sviluppatosi soprattutto in Inghilterra dagli inizi del 20° sec., e volto prevalentemente allo studio del linguaggio nei suoi vari aspetti (scientifici, quotidiani, etici, logici [...] sue analisi sulla mente, J.L. Austin, P.F. Strawson, che sviluppa particolarmente il tema dei rapporti fra logica formale-logica informale e analisi linguistica, M. Dummett, che riformula la disputa ontologica tra realismo e idealismo in termini di ...
Leggi Tutto
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e. ◆ [ALG] [ELT] [FAF] Valori ...
Leggi Tutto
ALU
ALU 〈éi-èl-iù o, all'it., alu〉 [ELT] [INF] Nella tecnica dei calcolatori elettronici, sigla dell'ingl. Arithmetic Logic Unit "unità aritmetica logica" per indicare la parte della unità centrale di [...] elaborazione (CPU) che esegue sui dati le operazioni aritmetiche e logiche elementari: v. calcolatori, architettura dei: I 392 c. ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] usati nei sistemi di elaborazione e di trasmissione dei dati, con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti l. (integrati) che usano lo stesso dispositivo elementare come porta l. e ...
Leggi Tutto
locazione
locazióne [Der. dell'ingl. location "sito", da to locate "individuare un sito", che riprende il lat. locus "luogo"] [ELT] [INF] Nella tecnica dei calcolatori elettronici, posizione logica o [...] fisica in cui è inserito un dato o un'istruzione in un elemento di memoria, in genere individuata dall'indirizzo della prima cella ...
Leggi Tutto
Nel linguaggio filosofico, termine introdotto dagli Stoici per indicare, in contrapposizione alla ‘definizione’, un discorso riferito all’individualità della cosa di cui coglierebbe i caratteri accidentali. [...] Nella logica e nella filosofia del linguaggio contemporanee, le d., concepite come termini singolari e quindi, ancora, riferite a un individuo, sono al centro di una disputa intorno al loro rapporto con un altro tipo di termini singolari, i nomi. Per ...
Leggi Tutto
classe
classe [Der. del lat. classis] [LSF] Ognuna delle divisioni in cui vengono raggruppati vari enti omogenei, in genere con opportune qualificazioni. ◆ [FAF] C., o anche c. logica, è in genere sinon. [...] di insieme: c. unità e c. vuota, insieme, rispettiv., con un solo elemento oppure con nessun elemento. ◆ [ALG] C. caratteristica per fibrati di rango uno: v. classi caratteristiche: I 628 d. ◆ [ALG] C. ...
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...