Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] 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 ‘più vero’ di un altro; ma in quanto la matematica trova diretto ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] nel 1931 dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomidi un sistema standard come quello di Peano. Tale risultato ebbe un grande significato per i fondamenti della matematica, ma l’enunciato non ...
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). [...] iterativo.
Tecnica
Nell’ingegneria gestionale, le tecniche e i sistemidi supporto alle d. sono un insieme di modelli, di metodologie e di applicazioni informatiche che consentono di sostenere le azioni che accompagnano la gestione, il cambiamento ...
Leggi Tutto
Ente geometrico fondamentale, in genere assunto come primitivo nelle trattazioni assiomatiche.
Astronomia
R. d’altezza Proiezione di un tratto del cerchio d’altezza (➔ cerchio) sopra una carta di Mercatore. [...] ci si limita ad assegnare un gruppo diassiomi o postulati che costituiscono una definizione implicita di un punto variabile sulla retta. L’equazione di una r. ha nei diversi sistemidi riferimento forme diverse; nel caso particolare di un sistemadi ...
Leggi Tutto
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemidi c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...] c.: i c. logistici e i c. naturali o sistemidi deduzione naturale.
C. logistico È un sistema che consta di: a) un insieme di espressioni primitive, o assiomi, cioè di espressioni scelte nell’insieme delle espressioni (la scelta avviene in base alle ...
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 [...] di questo procedimento che permette di combinare insieme i vantaggi del metodo deduttivo e di quello induttivo. I nuovi m. si presentano generalmente sotto forma di tabelle, disistemidi equazioni o didiassiomi non logici. Vale il teorema di ...
Leggi Tutto
Superficie piana, generalmente orizzontale, ma anche verticale o variamente inclinata.
Disegno, rappresentazione grafica di opere naturali o artificiali, di un luogo, di un terreno, o di un complesso di [...] come riferimento di un determinato sistemadi coordinate sferiche celesti. Nel sistema altazimutale (altezza rette, in modo che siano soddisfatte queste 3 condizioni (dette spesso assiomidi incidenza): a) per 2 punti distinti A, B passa una e ...
Leggi Tutto
Anatomia
N. del seno (o n. seno-atriale) Formazione anatomica situata nell’atrio destro del cuore, in corrispondenza dello sbocco della vena cava superiore, importante nella regolazione del ritmo cardiaco.
Astronomia
Per [...] −(t) = (t1/2−t−1/2)VK0(t).
Questo schema diassiomi per il polinomio di Jones è simile a quello utilizzato da J.H. Conway per una base alla considerazione dell’equilibrio dei singoli n. del sistema.
In una rete elettrica, ogni punto nel quale ...
Leggi Tutto
Biologia
In biologia cellulare, r. endoplasmatico (o endoplasmico), sistemadi cavità delimitate da membrane, presente nel citoplasma di tutte le cellule. È costituito da una membrana formata da un unico [...] determinata regione, danno origine a un sistema costituito da un corso d’acqua principale assiomidi ciascuna delle 4 coppie di proprietà si ottengono l’uno dall’altro scambiando le operazioni di unione e di intersezione: segue da ciò il principio di ...
Leggi Tutto
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] per vera. In questo modo si perviene necessariamente, in un certo momento, a un sistemadi proposizioni ‘primitive’ (termini o definizioni, e assiomi), non ulteriormente riducibili a proposizioni più semplici. Esse possono essere considerate, da un ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
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...