L'organizzazione assiomatica di una disciplina consiste nel
trovare un numero finito (il più piccolo possibile) di proposizioni accettate
nella disciplina e di concetti capiti nella disciplina, tali che:
- usando quelle proposizioni come ipotesi, mediante dimostrazioni logiche, si possono ottenere come conclusioni tutte le altre proposizioni accettate nella disciplina
- partendo da quei concetti, mediante definizioni logiche, si possono ottenere tutti gli altri concetti della disciplina.
Le proposizioni di una disciplina dalle quali si ottengono tutte
le altre proposizioni accettate della disciplina mediante dimostrazioni logiche
sono chiamate "Assiomi della disciplina"; i concetti di una
disciplina dai quali si ottengono tutti gli altri concetti della disciplina
mediante definizioni logiche sono chiamati "Concetti fondamentali o
basilari della disciplina".
Quindi l'organizzazione assiomatica di una disciplina consiste
nel trovare un numero finito (il più piccolo possibile) di assiomi e di
concetti basilari di quella disciplina.
Nessun commento:
Posta un commento