sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] Syntax der Sprache – di fondare un’analisi puramente combinatoria dei sistemi deduttivi visti come sistemi formali. Un logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemi formali di questo tipo e il ...
Leggi Tutto
Locuzione con cui G. Leibniz definì quella che già R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli [...] , la sussistenza di un mondo concettuale in sé conchiuso ed esauribile nei suoi limiti, e dall’altro la possibilità di simboleggiare i concetti in segni geometrici o algebrici. A quest’ultimo aspetto si rifarà più tardi la logica matematica. ...
Leggi Tutto
combinatorio
combinatòrio agg. [der. di combinare]. – Fondato sulla combinazione, risultante dalla combinazione dei varî elementi. In partic.: 1. In filologia, metodo c., metodo che consiste nell’accertare l’esatta interpretazione di un elemento...
mathesis
‹màteṡis› s. f. [traslitt. del gr. μάϑησις, dal tema μαϑ- di μανϑάνω «imparare»]. – Termine che significa propriam. «apprendimento, conoscenza», adottato nel linguaggio filosofico e matematico con il sign. di «scienza matematica»,...