postulato

Linguistica

Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza come etimi di parole moderne (per es., il lat. *rocca che, pur non ricorrendo in alcun testo latino, è ritenuto il necessario antecedente dell’italiano rocca, del provenzale roca, del francese roche e del logudorese rocca).

Matematica

Proposizione che, senza essere dimostrata, si assume, o si richiede all’interlocutore di assumere, come fondamento di una dimostrazione o di una teoria (in generale, di un sistema deduttivo). È termine in uso soprattutto nella matematica, mentre in fisica e nelle scienze applicate le proposizioni che hanno carattere di p. sono più comunemente ricordate con il nome di principi.

Euclide distinse tra assiomi (verità evidenti o nozioni comuni) e p. (enunciati che esprimono ciò che si chiede di ammettere e che riguarda l’esistenza di determinati enti geometrici). Nella logica moderna la differenziazione tra assiomi e p. è venuta meno a partire dalla fine del 19° sec., specialmente per opera di G. Frege, G. Peano, B. Russell e D. Hilbert. Oggi per assioma o p. si intende un enunciato primitivo di una teoria (➔ assioma).