Espressione con cui si nega, contrario di affermazione.
Filosofia
Il latino negatio corrisponde all’ἀπόϕασις della logica aristotelica, designante il giudizio che connette il soggetto e il predicato in [...] quando è falsa la prima. La n. non è perciò intesa come atto del negare ma anche come contenuto negato. Alla n. logica corrisponde, nell’algebra delle classi, il passaggio da un insieme A all’insieme complementare A´. Infatti, se A è la classe degli ...
Leggi Tutto
godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] di un sistema formale del primo ordine. Il criterio per eseguire questo collegamento è, per lo più, il seguente. Si scelgono una volta per tutte più numeri interi a, b, c, d, ..., da farsi corrispondere ...
Leggi Tutto
connettivi generalizzati
Settimo Termini
John von Neumann aveva osservato già nel 1951 che la forma rigida della logica classica poneva una forte limitazione all’espressività di linguaggi di tipo logico [...] l’analisi è la parte della matematica meglio elaborata e più di successo dal punto di vista tecnico. Quindi la logica formale, per la natura della sua impostazione, è tagliata fuori dai settori meglio coltivati della matematica e costretta dentro la ...
Leggi Tutto
Diritto
Istituto del diritto civile che prevede, ove le cose restino separabili, ancorché unite, il diritto per ciascun proprietario a conservare il diritto di proprietà e la possibilità di chiedere la [...] un nome di persona.
Matematica
Nella teoria degli insiemi, dati due insiemi A e B, si chiama u. (o, meno comunemente, somma logica) di A e B l’insieme formato da tutti gli elementi che appartengono ad almeno uno dei due insiemi dati, cioè al primo ...
Leggi Tutto
rappresentabile
rappresentàbile [Der. di rappresentare (→ rappresentazione) "che è suscettibile di rappresentazione"] [ALG] [FAF] Funzione r.: nella logica matematica, è tale una funzione di una o più [...] variabili numeriche f(x₁,x₂,..., xn) in un sistema S se e solo se c'è in S una formula P(x₁,..., xn+1), tale che per ogni sostituzione di valori numerici k₁,..., kn+1 rispettiv. alle variabili x₁,..., ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] da alcuni matematici nella seconda metà dell'Ottocento allo scopo di rendere più rigorosa l'analisi matematica, fondandola su una teoria dei numeri reali e, in definitiva, sull'aritmetica; (b) in partic., ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] l'assioma della catena. Per quanto Dedekind fornisca esempi del ruolo che i Dualgruppen potrebbero avere nell'algebra della logica, nella teoria dei campi e in altri contesti della matematica, egli non stabilisce alcun collegamento diretto fra questi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematizzazione della biologia e la biomatematica
Giorgio Israel
La matematizzazione della biologia e la biomatematica
Le sorgenti concettuali [...] e pratiche
La prima utilizzazione diffusa di metodi quantitativi nell'analisi dei fenomeni biologici si ebbe nel Seicento con la compilazione delle tavole di mortalità, che riportavano il numero degli ...
Leggi Tutto
recursione
recursióne [Der. del lat. recursio -onis, dal part. pass. recursus di recurrere "ricorrere"] [ALG] [FAF] Nella logica matematica, sinon. di ricorrenza. ...
Leggi Tutto
indiscernibilità Caratteristica di ciò che non si può percepire o distinguere.
Principio dell’i. degli identici In logica matematica, è stato così chiamato (per es., da W.V.O. Quine e S. Kripke) il principio, [...] detto anche legge di Leibniz, secondo cui individui identici hanno in comune tutte le proprietà; in base a esso due nomi dello stesso individuo sono intercambiabili in ogni contesto senza che se ne alteri ...
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...