categoricità In logica matematica, proprietà di un sistemaassiomatico i cui modelli siano isomorfi. Si considerino, per es., gli assiomi di Peano per i numeri naturali: a) 0 (zero) è un numero naturale; [...] anche il successivo di questo ne gode, allora ogni numero naturale gode di quelle proprietà. Un modello del sistemaassiomatico a)-e) è un’interpretazione dei termini non definiti «0», «numero naturale», «successivo di un numero naturale», che ...
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 [...] ciascun simbolo non logico di L, da opportuni enti relativi a quel dominio. Per es., se T è il sistemaassiomatico di Peano, T potrà acquistare un significato se viene interpretato nella struttura costituita dal dominio dei numeri naturali (per le ...
Leggi Tutto
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] metterla al riparo dai paradossi; il suo metodo specifico consiste, innanzitutto, nel trasformare una teoria matematica in un sistemaassiomatico mediante la piena formalizzazione del suo significato intuitivo e nel dimostrare, poi, le proprietà del ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] geometria metrica. Per tutte queste geometrie sono stati formulati in vari modi e studiati in grande dettaglio dei sistemiassiomatici. Di particolare interesse è la connessione tra le proprietà geometriche di un dato spazio e le proprietà algebriche ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] quella matematica, non coincide con i processi di pensiero, che hanno invece per oggetto strutture quali i sistemiassiomatici, le teorie, i modelli esplicativi (explanatory patterns); queste entità rappresentano cioè l'intenzione degli atti mentali ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] apprendimento non ha cercato di formalizzare un qualche particolare sistema teorico di comportamento, anche se l'influsso delle teorie vari modelli piuttosto che il puro uso di metodi assiomatici, qual è riflesso negli enunciati espliciti e precisi ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] ampliata in due volumi: 1842-1845) di fornire una sistemazione della teoria dei numeri complessi e di quelli negativi, ricorrendo a una trattazione rigorosamente logica, di tipo assiomatico, che gli valse l'appellativo di 'Euclide dell'algebra ...
Leggi Tutto
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] reali non negativi, che soddisfa alcune condizioni che dipendono dal sistema considerato.
Gli assiomi base sono i seguenti :
a) h( Yager, però, non conduce fuori dallo schema assiomatico delineato sopra, pur arricchendolo di una interessante ...
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 [...] , a cui egli aveva fatto cenno per la prima volta ne I principii e che s’imporrà nel Novecento in ogni sistemazioneassiomatica, non si coniuga però con un analogo l’interesse verso la problematica metateorica che terrà banco all’inizio del nuovo ...
Leggi Tutto
assiomatico
assiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Di assioma, che ha carattere di assioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, trattazione a. (di una data questione),...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...