categoria
categoria [Der. del lat. categoria, dal gr. kategoría "attributo"] [ALG] Nell'algebra astratta, struttura algebrica costruita nel modo seguente. Sia data una famiglia M di enti matematici (detta [...] oggetti) e per ogni paio di oggetti x,y∈M un insieme di relazioni Hom(x,y) i cui elementi f:x→y, detti morfismi, soddisfino i seguenti assiomi: (a) dati f,g∈Hom(x,y) si può definire il morfismo composto g✄f; (b) dati f,g,h∈Hom(x,y) si ha (h°g)°f ...
Leggi Tutto
Filosofo e giurista (Eisenberg 1681 - Halle 1741). Insegnò a Halle filosofia (1713) e diritto (1720); quindi a Franeker (1723), a Francoforte sull'Oder (1727) e di nuovo a Halle (1733). Le sue opere (8 [...] . Fu inoltre editore di fonti (le Observationes di Cuiacio e il Dictionarium iuridicum di B. Brisson) e consulente. Il suo metodo di sviscerare dalle definizioni assiomi per la teoria e postulati per la pratica mostra l'influenza di C. Tomasio. ...
Leggi Tutto
incompleto
incomplèto [agg. Comp. di in- neg. e completo] [CHF] Reazione i.: reazione che s'arresta prima della completa trasformazione delle sostanze reagenti. ◆ [ALG] [FAF] Teoria i.: nella logica [...] dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può dimostrare né la verità né la falsità, e si dice semanticamente i. se esistono conseguenze dell'insieme dei suoi assiomi che non sono teoremi della teoria stessa. ...
Leggi Tutto
Rawls, John
Filosofo statunitense (Baltimora 1921-Cambridge, Massachusetts, 2002). Professore al MIT e successivamente alla Harvard University. Tra i maggiori filosofi della politica della seconda metà [...] in numerosi articoli e nella sua opera fondamentale A theory of justice (1971; trad. it. 1982), che parte da due assiomi. Il primo, d’ispirazione liberale, stabilisce che ciascun individuo possiede un eguale diritto a una libertà di base la più ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] alla teoria logicista che considera la l. come fondamento della matematica; non però, come i formalisti, in quanto gli assiomi sono in sé privi di riferimenti ad ambiti particolari di esperienza, e quindi non ha senso considerare un sistema formale ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o di sistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] di divisione: → algoritmo. ◆ [ALG] Connessione e.: v. connessione: I 725 f. ◆ [ALG] Geometria e.: quella basata sui postulati e gli assiomi di Euclide, l'unica sino a quasi tutto il sec. 19°: v. geometria. ◆ [ALG] Gruppo e.: è da taluno così chiamato ...
Leggi Tutto
algoritmizzazione
algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. [...] un'a. della matematica, quale metodo più rigoroso di derivazione logica dei teoremi della matematica a partire dagli assiomi: ogni teorema dovrebbe, secondo questo programma di lavoro, essere visto come il risultato di un "calcolo meccanico" ben ...
Leggi Tutto
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] di Peano mediante nozioni di logica pura e della moderna teoria degli insiemi, quanto di ricondurre deduttivamente tutti gli assiomi peaniani a un'esigua classe di principi logici e insiemistici. Il notevole valore critico della dottrina in tal modo ...
Leggi Tutto
schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] con un'unica formula, in cui compaiono uno o più simboli la cui precisazione porta a identificare ognuno degli assiomi. ◆ [FTC] S. funzionale: rappresenta, più che la struttura di un dispositivo, la successione delle varie unità nell'ordine che ...
Leggi Tutto
ipotetico
ipotètico [agg. (pl.m. -ci) Der. di ipotesi] [FAF] Che si fonda su un'ipotesi o che si serve della formulazione di un'ipotesi. ◆ [FAF] Giudizio i.: ogni giudizio logico del tipo "se A è, allora [...] .-deduttivo: insieme di nozioni omogenee collegate, costruito formulando una serie di ipotesi (variamente denominate e spesso chiamate assiomi e postulati) e deducendo da esse, per ragionamento logico, tutte le possibili conseguenze; è questo il modo ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
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...