legame par
legame par in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola di introduzione della disgiunzione moltiplicativa (detta [...] par e indicata anche con il simbolo ℘; → logica lineare). Il legame par ha due premesse etichettate dalle formule A e B e una conclusione etichettata dalla formula A ℘ B (→ proof-net). ...
Leggi Tutto
legame tensore
legame tensore in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola di introduzione della congiunzione moltiplicativa [...] (detta times e indicata con il simbolo ⊗; → logica lineare). Il legame tensore ha due premesse etichettate dalle formule A e B e una conclusione etichettata dalla formula A ⊗ B (→ proof-net). ...
Leggi Tutto
doppia negazione
doppia negazione in logica, applicazione, effettuata due volte, del connettivo della negazione, indicato dal simbolo ￢ (si legge «non»), a una formula A in modo da ottenere la formula [...] , la frase «qui non c’è nessuno» ha un significato di negazione pur contenendo due negazioni. L’equivalenza logica fra la formula A e la formula ￢￢A corrisponde al fatto che le due formule hanno lo stesso valore di verità, come si vede anche dalla ...
Leggi Tutto
Indagine critica intorno alla struttura logica e alla metodologia delle scienze. Il termine, coniato dal filosofo scozzese J.F. Ferrier, designa quella parte della gnoseologia che studia i fondamenti, [...] , articolata anche su basi sperimentali, della nascita graduale, nel corso dell’evoluzione psichica infantile, dei concetti logici, matematici e fisici.
E. evoluzionistica Complesso di teorie gnoseologiche secondo cui i processi cognitivi che si ...
Leggi Tutto
termine
tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] i suoi addendi, di una moltiplicazione i suoi fattori, di una frazione il numeratore e il denominatore. ◆ [ALG] [FAF] Nella logica matematica, in una teoria formalizzata del primo ordine o di ordine superiore, ogni costante individuale (se ve ne sono ...
Leggi Tutto
variabile individuale
variabile individuale in logica, simbolo dell’alfabeto di un linguaggio formale che ne rappresenta un termine (→ predicati, linguaggio dei). ...
Leggi Tutto
forma proposizionale
forma proposizionale in logica, espressione sinonimo di → enunciato o, in termini più formali, non facendo riferimento ad alcuna semantica, di → forma enunciativa. ...
Leggi Tutto
. Come termine tecnico della logica classica, la contrarietà (ἐναντιο0της) è una delle quattro forme di opposizione distinte da Aristotele (v. antitesi), ed è propriamente definita come forma estrema della [...] differenza (p. es., tra i differenti colori, contrarî sono il bianco e il nero). L'opposizione di contrarietà ha quindi luogo, essenzialmente, tra due singoli concetti: ma può trasferirsi anche nella sfera ...
Leggi Tutto
SUSSUNZIONE
Guido CALOGERO
. Termine della logica formale, corrispondente al latino subsumptio. Indica l'azione del "sussumere" (subsumere), cioè del ricondurre un noema (ossia un qualsiasi contenuto [...] di pensiero, "termine" di giudizio o di sillogismo) nell'ambito di quello nella cui estensione esso è compreso.
Si può così parlare di "giudizî di sussunzione, o sussuntivi" (il cane è vertebrato) e 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...