Johansson
Johansson Ingebrigt (Narvik 1904 - Oslo 1987) matematico norvegese. Si occupò di logica simbolica, definendo (1936) la cosiddetta → logica minimale che non prevede né il principio del terzo [...] escluso, come la logica intuizionistica, né il principio ex falso quodlibet. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] studio di questo collegamento ha preso il nome di teoria della corrispondenza e ha rappresentato lo sviluppo più interessante della logica modale moderna. Ne vediamo alcuni esempi. L'enunciato □α→α, che caratterizza il calcolo T, vale in ogni punto w ...
Leggi Tutto
Scienza indiana. Il pensiero indiano
Raffaele Torella
Il pensiero indiano
Una 'filosofia' indiana?
I diversi modi in cui nel tempo si è articolata questa domanda e le risposte date a essa sono da inquadrare, [...] del X sec. d.C.): "Questa sottile essenza è estratta dalla foresta di erbe del sistema Nyāya, è estratta dalla scienza della logica come il burro dal latte. Come potrei io essere capace di escogitare qualcosa di nuovo? Tutt'al più è lecito aspirare a ...
Leggi Tutto
tipo
tipo termine che assume significati diversi in informatica e in logica.
☐ In informatica, con il termine tipo o tipo di dato si indica la caratteristica comune dei valori che possono essere assunti [...] x a un termine t creando il termine (x)t o viceversa applicare t a x creando il termine (t)x.
☐ In logica, con il termine teoria dei → tipi si indica il tentativo portato avanti da B. Russell, successivamente in collaborazione con A.N. Whitehead ...
Leggi Tutto
In elettronica, termine usato con diversi significati: a) sinonimo di porta logica, circuito avente un’uscita e un insieme di ingressi, tale che il segnale d’uscita è presente solo in corrispondenza a [...] di realizzazione di circuiti integrati VLSI. Secondo tale tecnica il costruttore realizza sul chip un elevato numero di porte logiche e di transistori isolati non connessi fra di loro, disposti secondo uno schema a matrice. L’utilizzatore, sulla base ...
Leggi Tutto
proposizionale
proposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logica matematica, lo stesso che algebra delle proposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logica matematica, ogni variabile che rappresenti una proposizione. ...
Leggi Tutto
premessa
preméssa [Der. del lat. praemissa (sententia) "(proposizione) messa avanti"] [FAF] Nella logica proposizionale, sinon. di ipotesi: v. logica: III 484 a. ...
Leggi Tutto
teoria, consistenza di una
teoria, consistenza di una o coerenza, in logica, proprietà di un sistema di assiomi specifici di una teoria matematica da cui non è possibile dedurre una formula ben formata [...] a e la sua negazione ￢a (→ coerenza; → consistenza; → teoria) ...
Leggi Tutto
ab uno disce omnes
Locuz. lat. («da uno conoscili tutti»). Nella logica formale, si denomina così il sofisma per cui da alcuni particolari forniti dall’esperienza si derivano proposizioni universali. [...] Per es.: «Alcuni uomini sono cattivi, dunque gli uomini sono cattivi» ...
Leggi Tutto
forma normale disgiuntiva
forma normale disgiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come disgiunzione generalizzata di sottoforme proposizionali, [...] ciascuna delle quali è una congiunzione generalizzata di lettere enunciative (→ forma normale congiuntiva; → Horn, clausola di) ...
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...