Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] nei suoi vari sviluppi (dottrina del λόγος di Eraclito, eleatismo diZenone, dottrine eristiche dei sofisti e dialettica Russell nel 1902 (➔ paradosso) rivelò come il sistema logico di Frege e la teoria degli insiemi di Cantor fossero contraddittori, ...
Leggi Tutto
completezza logica il termine completezza viene utilizzato in logica con due diversi significati; si parla infatti di completezza semantica o di completezza sintattica di un sistema di assiomi.
Completezza semantica
Un sistema formale è semanticamente completo se in esso è possibile dimostrare formalmente ... ...
Leggi Tutto
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» in un ambiente protostoico, pur conservando λογικός per tutta la grecità il valore originario e non tecnico di ‘relativo al λόγος’ (nelle molteplici accezioni di questa parola chiave ... ...
Leggi Tutto
Claudio Pizzi
Proposta dal francese Jean-Yves Girard nel 1987, la logica lineare non si limita a considerare le proposizioni come oggetti dotati di valori di verità come nella logica standard, ma alla stregua di risorse impiegabili una volta sola ai fini del calcolo e quindi dotate di un costo. Anche ... ...
Leggi Tutto
Carlo Cellucci
Sarebbe difficile comprendere l'attuale stato dei rapporti tra l. e p. c. senza riferirsi a tre fattori che li hanno influenzati profondamente. Il primo fattore è costituito dall'impronta fortemente anticognitivista impressa alla logica moderna dal suo creatore, G. Frege, secondo cui, ... ...
Leggi Tutto
Bruno Antoni
Uno strumento per ragionare bene
La parola logica viene dal greco lògos, che significa «parola», ma anche «discorso» o «ragionamento». Aristotele viene considerato a buon diritto come il creatore della logica, anche se egli non usò questa parola, introdotta per la prima volta dagli stoici ... ...
Leggi Tutto
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico o informatico; a seconda della tecnica con cui sono realizzati questi circuiti si parla di l. a diodi, ... ...
Leggi Tutto
Domenico Costantini
Fra le interpretazioni che nel passato furono date della l. i. la più nota si deve a J.S. Mill, secondo cui questa è la l. della scoperta scientifica. Se, come si credeva, l'induzione è il processo mediante il quale si perviene alla formulazione delle leggi scientifiche, la l. i. ... ...
Leggi Tutto
CChaïm Perelman
di Chaïm Perelman
Logica
sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo di Frege e il problema dello status delle proposizioni; c) l'impostazione di Quine: la nozione di ... ...
Leggi Tutto
Guido Calogero
. Il termine di "logica" λογικὴ τέχνη, ἀρετή "arte abilità logica": oppure τὸ λογικόν, sottinteso μέρος τῆς ϕιλοσοϕίας "la sezione logica della filosofia") entrò nell'uso specialmente con lo stoicismo, che con esso designò la parte della filosofia concernente le forme del pensiero e ... ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] a prima vista rigorosa. È famoso, tra essi, il p. diZenone (➔ Achille), connesso a un’indebita estensione a insiemi infiniti di principi validi solo per insiemi finiti.
Tipi diparadossi
In logica, il p. è un enunciato contrario all’opinione comune ...
Leggi Tutto
paradosso1
paradòsso1 agg. e s. m. [dal gr. παράδοξος, comp. di παρα- nel sign. di «contro» e δόξα «opinione»; come sost., dal gr. παράδοξον (neutro sostantivato), lat. paradoxum]. – 1. agg. Che va contro l’opinione o contro il modo di pensare...
serie
sèrie s. f. [dal lat. series, der. di serĕre «intrecciare, infilare»]. – 1. Successione ordinata e continua di elementi, concreti o astratti, dello stesso genere: è il quarto nella s. dei papi, degli imperatori romani; la s. dei numeri...