deduzione
deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] taluno) come il ragionamento che giunge a proposizioni particolari partendo da proposizioni generali. ◆ [ALG] [FAF] Nella logicamatematica, l'operazione (detta anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene una ...
Leggi Tutto
semantica
semàntica [Der. del fr. sémantique, termine introdotto, dal gr. semantikós (da semaíno "significare"), nel 1897 dal linguista M.-J.-A. Bréal per indicare quel ramo della linguistica che s'occupa [...] del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato] [ALG] [FAF] Nella logicamatematica, in contrapp. a sintassi, che studia i linguaggi formali (intese come pure sequenze di simboli), l'elaborazione con ...
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 logicamatematica, 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
Church Alonzo
Church 〈cèrcë〉 Alonzo [STF] (n. Washington 1903) Prof. di logicamatematica nell'univ. di Princeton (1947) e nell'univ. della California, a Los Angeles (1967). ◆ [FAF] Tesi, o ipotesi, [...] di C.: enunciata da C. nel 1936, afferma che ogni funzione effettivamente calcolabile, cioè ogni predicato decidibile, è ricorsiva generale. La tesi di C. e l'affermazione inversa (cioè che ogni funzione ...
Leggi Tutto
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logicamatematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni in cui occorrono sia l'espressione H sia l' ...
Leggi Tutto
antinomia
antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logicamatematica, sinon. di paradosso logico (→ paradosso). ...
Leggi Tutto
spiegazione In epistemologia, lo scopo distintivo della scienza o comunque uno degli obiettivi fondamentali dell’impresa scientifica. Uno dei meriti indiscutibili del positivismo logico è l’aver elaborato [...] quanto aspira a fornire un modello unico per i vari tipi di s., rigorosa in quanto formulabile nel linguaggio della logicamatematica. Secondo la teoria di Hempel, a volte designata come «modello della legge di copertura» (covering law model), una s ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] la specificità dei processi cognitivi umani, che non sempre sono riconducibili alle regole formulate in sede di teoria logica. Per es., benché la logicamatematica così come fu sistematizzata, tra la fine del 19° secolo e l'inizio del 20°, da G ...
Leggi Tutto
simbolico
simbòlico [agg. (pl.m. -ci) Der. di simbolo] [ANM] Calcolo s.: calcolo condotto su simboli; per es., calcolo operatorio s., detto anche semplic. calcolo s. (→ operatorio). ◆ [PRB] Dinamiche [...] s. markoviane: → dinamica: D. simbolica. ◆ [ALG] [FAF] Logica s.: lo stesso che logicamatematica. ◆ [EMG] Metodo s., o metodo di Steinmetz o di Steinmetz-Kennelly: metodo di calcolo correntemente impiegato nell'elettrotecnica nella trattazione di ...
Leggi Tutto
simmetrico
simmètrico [agg. (pl.m. -ci) Der. di simmetria] [LSF] Di sistemi che presentino una qualche simmetria, per lo più geometrica, nella loro configurazione ma anche di funzioni che li descrivono, [...] qualsiasi polinomio s. può essere scritto come un polinomio le cui indeterminate siano polinomi fondamentali. ◆ [ALG] [FAF] Proprietà s.: nella logicamatematica, la proprietà di una relazione R tale che se a è associato a b (in simb.: aRb) anche b è ...
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...