Assioma: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Etichette: Modifica da mobile Modifica da web per mobile |
m Annullate le modifiche di Keyzenn (discussione), riportata alla versione precedente di Elwood Etichetta: Rollback |
||
Riga 15:
===Filosofia antica===
Ogni sistema deduttivo prende le mosse da un sistema di enunciati, che si possono genericamente definire ''premesse'' (greco singolare ''protasis'', latino ''praemissa'').
Tali premesse venivano distinte dai filosofi greci (Aristotele in particolare, ma si trovano diverse anticipazioni anche nel suo maestro Platone) in diversi tipi:
*necessarie
**''definizioni'' (gr. sing. ''horismos'', lat. ''definitio'')
**''assiomi'' (gr. sing. ''axiōma'')
*non necessarie
**''ipotesi'' (gr. sing. ''hypothesis'')
**''postulati'' (gr. sing. ''aitēma'', lat. ''postulatum'')
Le definizioni erano considerate necessarie poiché si riteneva impossibile parlare di qualcosa senza aver detto "che cosa fosse" la cosa di cui si stava parlando.
| |||