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
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] e lo ritiene affidato a regole sul cui uso si possa realizzare un accordo: è questa la posizione convenzionalistica della logica contemporanea per cui le regole della d. non si fondano più né sulla sostanza degli oggetti, né sull’evidenza sensibile ...
Leggi Tutto
categoricità In logica matematica, proprietà di un sistema assiomatico i cui modelli siano isomorfi. Si considerino, per es., gli assiomi di Peano per i numeri naturali: a) 0 (zero) è un numero naturale; [...] b) se n è un numero naturale, allora n′ (il successivo di n) è un numero naturale; c) se m e n sono numeri naturali, allora m′ = n′ solo se m = n; d) se n è un numero naturale, allora n′ ≠ 0; e) se lo ...
Leggi Tutto
ricorsivita
ricorsività in logica, caratteristica di un procedimento che riduce la complessità di un problema riportandolo a problemi via via più semplici cui il procedimento stesso viene applicato. [...] La teoria della ricorsività è una delle branche fondamentali della logica matematica e si pone come obiettivo quello di definire, fra la teoria della ricorsività e altre branche della logica, in particolare la teoria degli insiemi. Quanto alla teoria ...
Leggi Tutto
Diritto
Argomentazione logica che permette di risalire da un fatto noto a un fatto ignorato (art. 2727 c.c.). Le p. possono essere legali (art. 2728 c.c.) o semplici (art. 2729 c.c.). Le p. legali si distinguono [...] le p. legali assolute non è ammessa la prova contraria e quindi si può dire che esse integrano un processo logico già compiuto in astratto dal legislatore, per cui – date certe premesse in fatto – se ne devono trarre necessariamente certe conseguenze ...
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
semantica
semantica parte della logica che si occupa di fissare le regole per la interpretazione delle formule di un linguaggio formale in modo da attribuire loro un significato. Per gli usuali sistemi [...] un suo → modello, c’è comunque una semantica del linguaggio degli enunciati e di quello dei predicati. Per esempio, la logica degli enunciati può essere interpretata come l’analisi del significato dei → connettivi, cioè come l’analisi del modo in cui ...
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
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...