In logica, in contrapposizione al termine estensione, il contenuto concettuale o cognitivo di un’espressione linguistica. Così, l’i. di un termine individuale è un certo concetto individuale: per es., [...] ‘il pianeta più vicino al Sole’ e ‘il pianeta più piccolo per dimensioni e massa’ sono termini individuali che hanno la stessa estensione, perché denotano uno stesso individuo (Mercurio), ma hanno diversa ...
Leggi Tutto
Nella logica, secondo la definizione classica, proposizione di cui ha senso dire che è vera o che è falsa. In un linguaggio formale, per e., s’intende una espressione chiusa, non contenente cioè variabili [...] libere, che denoterà quindi uno dei due valori di verità, V (vero) o F (falso).
In linguistica, sequenza di parole che forma un segmento reale di discorso (orale o scritto), prodotto in una determinata ...
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
Diritto
Attività logica del giudice, consistente nell’applicare le norme di legge al fatto da lui accertato. In senso più ampio, tutta l’attività che si svolge dinanzi all’autorità giudiziaria per giungere [...] alla pronuncia finale, cioè alla decisione, che indica il g. in senso stretto. In tale significato è sinonimo di processo.
In diritto penale, fase del procedimento, disciplinata dal libro VII del codice ...
Leggi Tutto
logicismologicismo [Der. di logica] [STF] [FAF] (a) In senso lato, ogni dottrina che pone la logica a fondamento della filosofia. (b) In senso specifico, indirizzo di pensiero che, soprattutto per opera [...] ), si proponeva di mostrare la possibilità di definire tutti i concetti matematici a partire da un numero ristretto di concetti logici fondamentali e che tutti i teoremi matematici sono dimostrabili a partire da un numero ristretto di proposizioni ...
Leggi Tutto
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
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
RESCHER, Nicholas
Antonio Rainone
Storico della logica e filosofo della scienza tedesco naturalizzato statunitense, nato a Hagen (Renania Settentrionale-Vestfalia) il 15 luglio 1928. Negli Stati Uniti [...] prospettiva si colloca il recupero di R. della teoria della verità come coerenza, nella quale gli strumenti della logica sono subordinati a un'articolata visione epistemologica volta a delineare i requisiti e i criteri, di natura pragmatica oltre ...
Leggi Tutto
Movimento filosofico (anche detto positivismo logico, neoempirismo, empirismo logico) sorto, sviluppatosi ed esauritosi tra il terzo e il sesto decennio del 20° secolo.
I primi sviluppi
La data di nascita [...] del n.: la bipartizione di tutte le proposizioni significanti in analitiche, il cui valore di verità dipende dalla loro forma logica o dal significato dei termini componenti, e sintetiche, il cui valore di verità dipende dall’esperienza. Se dunque le ...
Leggi Tutto
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzione booleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile ...
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...