Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] l.; a lui si richiameranno poi il francese L. Couturat e l’italiano G. Peano, cui si deve l’elaborazione di un simbolismo logico vicino a quello comune e la fondazione di una ‘scuola italiana’ di l. molto attiva tra la fine dell’Ottocento e l’inizio ...
Leggi Tutto
logicalogica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] teoria della dimostrazione automatica. In virtù di un teorema di A. Church del 1936, si sa che il concetto di verità logica non è, in generale, decidibile. Ciò significa che, in linea di principio, non può esistere una macchina capace di risolvere in ...
Leggi Tutto
logica
Il termine designa l'insieme delle dottrine che presiedono al corretto uso dell'argomentazione e del linguaggio al fine di stabilire la verità o la falsità di un enunciato. Il termine l. non occorre [...] è celebre quello di Pietro Ispano, poi divenuto papa col nome di Giovanni XXI (v.).
D. ha conoscenza di dottrine logiche: utilizza i procedimenti propri di quest'arte nel Convivio e soprattutto nella Monarchia, oltre che nelle altre opere, e si serve ...
Leggi Tutto
È la logica applicata ai discorsi giuridici. In particolare, la logica delle norme o del linguaggio normativo (logica deontica) si propone di stabilire criteri di validità assoluta delle proposizioni normative. [...] giuridica risalgono ai primi anni 1950 (E.G. Máynez, G.H. von Wright, J. Kalinowski). Accanto a una logica dimostrativa, finalizzata a dimostrare la validità dei ragionamenti giuridici (per la quale solo i ragionamenti deduttivi, che dal generale ...
Leggi Tutto
pòrta lògica Circuito elettronico al quale è demandato il compito di eseguire operazioni elementari dell'algebra booleana (NOT, AND, OR ecc.) all'interno di circuiti più complessi. Le p.l. sono le unità [...] fondamentali dei circuiti integrati e sono classificate in funzione del tipo di semiconduttore utilizzato per la loro realizzazione ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] e la costruzione da parte di Gottlob Frege di un linguaggio formale in grado di riprodurre e analizzare la struttura logica del linguaggio in uso nella pratica matematica (1879). Una doppia origine che sottolinea una duplice vocazione: da una parte l ...
Leggi Tutto
L’analisi logica potrebbe essere definita come quel tipo di analisi tradizionalmente incentrata sull’identificazione delle funzioni nella frase semplice: fondamentalmente del ➔ soggetto e del predicato [...] , e si accorda col nome che accompagna solo nel numero in italiano, in numero e caso in latino.
Fin qui l’analisi logica tradizionale. Non c’è molto da aggiungere a questo quadro, se non che questa analisi scompone il costituente sintattico (sia esso ...
Leggi Tutto
LOGICA POLIVALENTE
Claudio Pizzi
Viene chiamata polivalente qualunque logica che risulti completa rispetto a semantiche che ammettono più valori dei due valori di verità standard (di solito identificati [...] truth-value gaps) ma non valori di verità diversi dal vero e dal falso. Per un altro verso la cosiddetta logica ''sfumata'' (fuzzy logic) di L. Zadeh (1975) costituisce un approccio molto più radicale in quanto basato sull'idea di insieme sfumato: il ...
Leggi Tutto
LOGICA DEONTICA
Claudio Pizzi
La nascita della l. d. nella sua forma attuale si fa risalire a un articolo di G.H. von Wright del 1951, in cui per la prima volta si analizzava l'affinità strutturale [...] posti dalla presenza di lacune e di antinomie, inaugurato soprattutto da C. Alchourrón ed E. Bulygin, è un punto d'incontro tra logici e teorici del diritto e, al giorno d'oggi, un terreno di sviluppo progressivo per la l. d. stessa.
Bibl.: G.H ...
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...