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 [...] enunciati
Permette di stabilire la verità o falsità di un enunciato formato da proposizioni semplici e connettivilogici: congiunzione (e), disgiunzione (o), negazione (non), implicazione (se... allora...), in ragione della verità o falsità delle ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] insiemi sfumati si diranno identici se gli stessi oggetti appartengono a essi con lo stesso grado di appartenenza. I connettivilogici riproducono le operazioni insiemistiche e la logica che ne risulta ammette infiniti valori intermedi tra 0 e 1. La ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] f, c ∈ L.
Per qualsiasi interpretazione i connettivi enunciativi e i quantificatori sono applicati sulle corrispondenti si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m. di ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] intuizionista
Sin dal 1935 Gentzen aveva affiancato a LK un calcolo LJ per la logica intuizionista ottenibile da LK con due sole modifiche: 1) non prendendo ⌝ come connettivo primitivo ma definendo A come (A⇒); 2) limitandosi a sequenti del tipo Γ⇒A ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logicaLogica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] puro"), è indubbio che anche le sue scoperte si connettono a una situazione determinata in gran parte dall'attività del sistema booleano è il procedimento per sviluppare una data funzione logica f(x), f(x,y), ecc., sviluppo che Boole concepisce ...
Leggi Tutto
Linguistica
Termine con il quale si indicano gli elementi (specialmente avverbi o locuzioni avverbiali e congiunzioni coordinanti o subordinanti) che hanno la funzione di collegare le parti di un testo [...] , disgiuntivi, avversativi, concessivi, temporali, causali, finali.
Medicina
Per il tessuto connettivo ➔ connettivo, tessuto.
Matematica
Connettivi enunciativi
In logica matematica, termini sincategorematici che o si premettono a un enunciato ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] comune, e la logica matematica, che studia le forme di ragionamento delle scienze deduttive e della matematica in particolare. L’opera si suddivide in quattro capitoli: Nozioni generali (i numeri, le proposizioni e i connettivi), Il raziocinio ...
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...