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 [...] , giustificandone le definizioni e le procedure deduttive. Questo spiega la caratteristica più evidente che distingue la logica matematica dalla logica formale tradizionale: la coesistenza in essa di un livello dove si situano i linguaggi, le regole

lògica matemàtica

logica matematica 

logica matematica → logica.

logica matematica

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

LOGICA, MATEMATICA, EVOLUZIONE BIOLOGICA

Matematica e logica matematica (Saint Louis 1919 - ivi 1985), dal 1976 prof. di matematica all'univ. della California a Berkeley. Si è interessata di logica matematica (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

Robinson, Julia

matematica In logica matematica, 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

quantificatore

logica lineare 

logica lineare area di ricerca della logica matematica 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

logica lineare

In logica matematica è 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

disgiunzione

In logica matematica, 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à.

controesempio

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

categoricità

In logica matematica, 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

finitezza, teoremi di

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, ...

lògica

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 ...