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
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
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] è costituito da: a) un insieme di definizione dei segni base e delle espressioni; b) un insieme di premesse (dette assiomi o postulati); c) un insieme di regole di inferenza che consentono di trarre conclusioni dalle premesse; d) un insieme di ...
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 [...] Una formula si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m stesse teorie. Consideriamo, per es., la teoria G, i cui assiomi non logici sono:
Il linguaggio L di G ha i simboli ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] di punti distinti x, y di S esiste un aperto di x che non contiene y e un aperto di y che non contiene x. Un altro assioma è: per ogni coppia di punti distinti x, y di S esiste un intorno di x che non contiene y e un intorno di y che non contiene ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] e regole che stabiliscono relazioni tra programmi e proprietà dello stato. Un tipico esempio, in tal senso, è l'assioma che descrive le proprietà della composizione sequenziale (anch'esso appartenente alla logica dinamica)
Dopo i risultati teorici ...
Leggi Tutto
HEINECKE, Johann Gottlieb (Heineccius, Eineccio)
Biagio Brugi
Filosofo e giurista, nato a Eisenberg l'11 maggio 1681, morto a Halle, il 31 agosto 1741. Si dedicò dapprima alla teologia, e poi alla giurisprudenza [...] e se ora pare superficiale, ciò dipende in gran parte dal progresso degli studî. Il metodo di H. di sviscerare dalle definizioni assiomi per la teoria e postulati per la pratica mostra in lui l'influenza del Tomasio; e non se ne può negare l'utilità ...
Leggi Tutto
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia decidibile l’insieme degli assiomi, e in questo caso la teoria è più comunemente detta teoria assiomatica; b) se sia decidibile l’insieme dei teoremi ...
Leggi Tutto
Diritto
Fabio Alonzi
Raffaella Bonsignori
Il diritto può essere definito, in estrema sintesi, come un insieme di previsioni normative che, supportato da un adeguato apparato sanzionatorio, tende a [...] un mutamento sostanziale non solo nel cammino evolutivo della scienza medica, ma anche nella rappresentazione di alcuni importanti assiomi culturali: in primo luogo la presunzione dell'indispensabilità di ogni parte del corpo umano che è venuta meno ...
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...