definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] struttura per L caratterizzabili da formule del linguaggio. Esemplifichiamo nel caso in cui il linguaggio sia elementare. Data la teoria T nel linguaggio formale L in cui occorrono le costanti predicative ...
Leggi Tutto
indipendenza
indipendenza in logica, due proposizioni A e B si dicono indipendenti se non è possibile dedurre logicamente B da A né è possibile derivare A da B cioè se non è vera alcuna delle due implicazioni [...] a un triangolo rettangolo). In generale, due o più proposizioni si dicono indipendenti se nessuna di esse può essere logicamente dedotta dalle altre.
Si parla di indipendenza di un sistema di assiomi (assiomi indipendenti) per intendere che tale ...
Leggi Tutto
metalinguaggio
metalinguaggio in logica, linguaggio all’interno del quale sia possibile parlare di un altro linguaggio (che in tale contesto viene detto linguaggio-oggetto); in generale, in contrapposizione [...] al → linguaggio formale, indica il linguaggio naturale che necessariamente si utilizza per presentare termini o enunciare regole del linguaggio formale stesso (che in questo contesto costituisce il linguaggio ...
Leggi Tutto
PREDICATO
Goffredo COPPOLA
Guido CALOGERO
Giacomo DEVOTO
. Col latino praedicatum Boezio tradusse il termine logico di καρτηγούμενον o di κατηγόρημα, messo in uso da Aristotele. Questo significava [...] se non una diversa forma, più legata ai motivi costituenti della gerarchia platonica delle idee. Dal punto di vista puramente logico, qualsiasi noema poteva apparire come predicato in un giudizio; ma dal punto di vista dell'adeguazione al reale, che ...
Leggi Tutto
calcolabilita
calcolabilità in logica, termine che indica la possibilità di descrivere in modo sequenziale, deterministico e finito, una procedura di calcolo che consenta di pervenire a un dato risultato. [...] e matematici negli anni Trenta del Novecento, ben prima quindi della realizzazione dei calcolatori elettronici. In particolare il logico inglese A.M. Turing descrisse un automa esecutore in grado di eseguire azioni elementari e di comporle in modo ...
Leggi Tutto
quantificatore
quantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene [...] almeno un"; per es., ∃x∀y(x+y=y) significa che esiste almeno un numero (x) che sommato a un qualunque altro numero (y) lo lascia inalterato (x+y=y) (si tratta dello zero). ◆ [FAF] Campo d'azione di un q. e indice di un q.: v. logica: III 484 d. ...
Leggi Tutto
elaboratore elettronico, organizzazione logica di un
elaboratore elettronico, organizzazione logica di un → elaboratore elettronico, unità di un. ...
Leggi Tutto
Logica come scienza del concetto puro
Michele Maggi
Il concetto
La Logica come scienza del concetto puro (d’ora in poi Logica) esce nel 1909 quale seconda parte della Filosofia come scienza dello spirito, [...] u n g i u d i z i o i n d i v i d u a l e; ossia ogni definizione è insieme giudizio individuale (Logica, cit., p. 161).
Se «nella considerazione empirica l’individuo si cangia in qualcosa d’isolato, di ritagliato e di chiuso in sé» e come tale ...
Leggi Tutto
Sistema di logica come teoria del conoscere
Biagio de Giovanni
Un’opera che si completa negli anni
Il primo volume del Sistema di logica come teoria del conoscere fu pubblicato da Giovanni Gentile nel [...] della Teoria generale dello spirito qui non c’è più con la stessa intensità. Si potrebbe dire che tra la Teoria e la Logica (1916-17) passi la stessa differenza che passò tra il Rosmini e Gioberti e La filosofia di Marx (1898-99), a conferma della ...
Leggi Tutto
Logica genetica della morfogenesi nel metazoi: l'esplosione cambriana
Antonio García-Bellido
(Centro Biologia Molecular, Universidad Autonoma de Madrid, Madrid, Spagna)
I metazoi presentano un'enorme [...] a sua volta, costituisce la base per la diversificazione morfologica. Dal punto di vista generativo, l'esplosione tipo logica cambriana rappresenta un'espansione sul piano della diversità piuttosto che un aumento di complessità degli organismi; la si ...
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...