lògicamatemà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 [...] , giustificandone le definizioni e le procedure deduttive. Questo spiega la caratteristica più evidente che distingue la logicamatematica dalla logica formale tradizionale: la coesistenza in essa di un livello dove si situano i linguaggi, le regole ...
Leggi Tutto
Logica, matematica, evoluzione biologica
Carlo Cellucci
L’influenza della tradizione antievoluzionista
Nei primi anni del nuovo secolo si è imposta all’attenzione una questione che nel Novecento era [...] pensare su noi stessi» (p. 59).
Il riduzionismo radicale di Cooper
Un netto cambiamento di atteggiamento circa i rapporti tra logica, matematica ed evoluzione biologica si è avuto nei primi anni del nuovo secolo, come si vede da due posizioni che si ...
Leggi Tutto
Matematica e logicamatematica (Saint Louis 1919 - ivi 1985), dal 1976 prof. di matematica all'univ. della California a Berkeley. Si è interessata di logicamatematica (funzioni ricorsive e problemi di [...] decidibilità) e di teoria dei numeri. Di particolare importanza la scoperta (completata da J. V. Matijasević nel 1970) dell'indecidibilità del 10º problema di D. Hilbert: non esiste un metodo generale ...
Leggi Tutto
matematica In logicamatematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data proprietà, che viene [...] espressa da un predicato (➔ operatore). linguistica Il termine è usato, oltre che con accezioni analoghe a quelle della logica, per indicare un determinante che, riferito al sostantivo, ne esprime la quantità (uno, due..., ogni, qualcuno, tutti ecc ...
Leggi Tutto
logica lineare
logica lineare area di ricerca della logicamatematica nata nel 1986 e diffusasi in seguito alla pubblicazione, nel 1987, dell’articolo Linear logic del logico francese Jean-Yves Girard [...] in quanto perde la sua validità dopo che i 30 euro sono stati spesi.
Una delle maggiori innovazioni introdotte dalla logica lineare è costituita dai proof-net o reti di prova; un proof-net è un grafo che rappresenta geometricamente una dimostrazione ...
Leggi Tutto
In logicamatematica è uno dei connettivi logico-proposizionali; si interpreta come l’«o» alternativo oppure «o» debole, per cui l’espressione «p o q» è vera quando almeno uno dei due enunciati p, q è [...] vero (non si esclude però che lo siano entrambi). In questo caso si usa il simbolo logico «⋁» o altro segno equivalente. La d. esclusiva che si indica per es. con «v̇» corrisponde invece all’«o» disgiuntivo, per cui «p o q» è vera se e solo se uno ...
Leggi Tutto
In logicamatematica, metodo del c., procedimento per dimostrare che una data espressione H non è una conseguenza (➔) di un insieme di espressioni M; esso consiste nel mostrare l’esistenza di un certo [...] modello di M che non è un modello di H. In particolare in matematica, un c. è un’eccezione a una data congettura generale che permette di dimostrarne la falsità. ...
Leggi Tutto
categoricità In logicamatematica, 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
In logicamatematica, data una teoria formale, occorre distinguere un teorema sintattico di f. da uno semantico. Il primo si riferisce ai concetti di derivabilità e di non contraddittorietà, il secondo [...] due formulazioni equivalenti del teorema semantico di f.: c) un’espressione A è conseguenza logica di un insieme P di espressioni se e solo se A è conseguenza logica di un sottoinsieme finito di P; d) un insieme P di espressioni è soddisfacibile ...
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,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...